Przedmiotem bada´n opisanych w rozprawie doktorskiej sa˛ symulacje systemów
typu desktop grid. Systemy te charakteryzuja˛ sie˛ cze˛stymi wła˛czeniami i wyła
˛czeniami we˛złów, a takz˙e wykorzystaniem sieci o zmiennej ...
Research on computer Go is almost as old as research on the other board games.
But until recent developments of Monte Carlo Go, programs were not considered to be particularly strong.
The key to the current programs ...
With the explosive growth of data stored in digital format, there is a need for
a new approach to data storage. Large amount of stored data requires modern
storage systems to be scalable and easily extendable on-line. ...
The process in which a mathematical model of a molecular biological system is formulated and refined helps to articulate hypotheses and thereby supports the design of experiments to validate these hypotheses and the model ...
W rozprawie rozważane są zagadnienia wyceny i zabezpieczenia wypłat w ogólnym modelu rynku z czasem dyskretnym. W pierwszej części proponujemy formalny opis stosowanej w praktyce metody wyceny przez analizę scenariuszy. ...
Our purpose is to investigate mathematical properties of some systems of nonlinear partial differential equations where the nonlinear term is monotone and its behaviour - coercivity/growth conditions are given with the ...
In recent years, the scalability of web applications has become crit-
ical. Web sites get more dynamic and customized. This increases
servers' workload. Furthermore, the future increase of load is dif-
cult to predict. ...
This thesis is about an extension of context-free grammars with partial commutation on nonterminal symbols. In particular, we investigate the subclass with transitive dependence relation and the corresponding automaton ...
In this dissertation we set out to study a simplified model of activation flow in artificial neural networks with geometrical embedding.
The model provides a mathematical description of abstract neural activation transfer ...
We present a comprehensive Arabic tagging system: from the raw text to tagging
disambiguation. For each processing step in the tagging system, we analyze the
existing solutions (if any) and use one of them or ...
This thesis presents new techniques of static program analysis by
abstract interpretation.
In the first part of the thesis we focus on numerical abstract domains
that can be used to automatically discover certain numerical ...
In this thesis, we present several new methods and algorithmic results related to probabilistic
graphical models. In the first part, we present a short introduction to graphical models in the
context of the thesis ...
We introduce a new notion flexible extractor. It is a generalization of the standard concept of a two-source-extractor which require each of a sources to have some entropy, flexible extractor requires the sum of sources ...
Rozprawa doktorska wprowadza nowy, zdefiniowany przez autora model obliczeń kryptograficznych, nazwany SBA–modelem. Charakterystyczne ce- chy tego modelu to ograniczona pamieć, wycieki oraz użycie losowej wyroczni. W ...
The following thesis is dedicated to the mathematical analysis of a model governing the flow of chemically reacting compressible mixtures. We investigate the existence of weak solutions to the Navier-Stokes system supplemented ...
In this dissertation we introduce a new notion of tractability which is called
uniform weak tractability. We give necessary and sufficient conditions on
uniform weak tractability of homogeneous linear tensor product ...
Umieszczenie grafu w książce jest definiowane przez kolejność jego wierzchołków
na grzbiecie książki i przyporządkowanie jego krawędzi stronom
książki tak, aby na żadnej stronie krawędzie nie przecinały się. Umieszczenie
zbioru ...
The aim of this thesis is to investigate certain properties of two constructions of algebraic varieties based on a finite group action. In the first part we investigate Cox rings of minimal resolutions of (complex) surface ...
The rapid growth of computer industry requires creating large, highly complicated and sophisticated software. This implies increasing probability for errors, bugs and failures. Various software verification techniques are ...