In recent years, processing and exploration of time series has experienced a noticeable interest. Growing volumes of data and needs of efficient processing pushed the research in new directions, including hardware based ...
The aim of this dissertation is to investigate the geometry of resolutions of quotient
singularities C
n/G for G ⊂ SLn(C) with use of an associated algebraic object – the Cox
ring. We are interested in construction of ...
In this dissertation we take an algorithmic view on resource allocation problems in distributed systems. We present a comprehensive perspective by studying a variety of distributed systems---from abstract models of generic ...
Most statistical analyses or modelling studies must deal with the discrepancy between the measured aspects of analysed phenomenona and their true nature. Hence, they are often preceded by a step of altering the data ...
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 ...
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 ...
Illative systems of combinatory logic consist of combinatory logicextended with additional constants intended to represent logicalnotions. We introduce some strong systems of illative combinatorylogic, extending earlier ...
The Shapley value is one of the most important solution concepts in coalitional game theory. It was originally defined for classical model of a coalitional game, which is relevant to a wide range of economic and social ...
Tematem niniejszej pracy są osobliwości minimalizujących przekształceń harmonicznych o wartościach w zamkniętej rozmaitości, ze szczególnym uwzględnieniem przekształceń w sferę S
2
. Z de nicji są to przekształcenia z ...
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 ...
This thesis covers three models of theoretical biology, each one treated mathematically in a rigorous manner, using different mathematical approaches. Their common core is that they are all modelling transmission of signals ...
Formal methods promise the ultimate quality of software artifacts with mathematicalproof of their correctness. Algebraic specification is one of such methods, providingformal specifications of system components suitable ...
W rozprawie zajmujemy się badaniem globalnej stabilności w skończonym czasie pewnych klas sieci neuronowych typu Hopfielda. Rozważane przez nas sieci mogą być opisane zarówno układem równań różniczkowych, jak też inkluzją ...
The thesis contains several results concerning the quantitive aspects of Poincar\'{e} recurrence. In particular, bounds on the limit $\liminf_{n\to +\infty} n^\beta d(T^n(x),x)$ (and similar expressions) are obtained in ...
This thesis falls within the field of Graph Theory. A central theme is the study of exclusion theorems and their uses in related topics. One of them is well-quasi-ordering: we identify well-quasi-ordered subclasses for ...
In this thesis a model of the dynamics of size-structured population subject to selective predation is built and analyzed. The study is motivated by biological phenomena concerning limnology and oceanography, and in ...
The main goal of this thesis is the analysis of a wide class of structured population models in the space of finite, nonnegative Radon measures equipped with the flat metric. This framework allows a unified approach to a ...