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 ...
Niniejsza rozprawa dotyczy równania transportu w przestrzeni skończonych miar Radona M(Rd). Oznacza to, że zarówno warunek początkowy µ0, jak i rozwiązanie µt przyjmują wartości w tej właśnie przestrzeni. Rozważane jest ...
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 ...
The thesis is devoted to the study of weak-type, strong-type and maximal estimates for martingale transforms in the weighted context. We put a particular emphasis to the following two aspects of the subject:
I. To identify ...
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 ...