Browsing Doktoraty Wydziału Matematyki, Informatyki i Mechaniki (Archiwum) by Issue Date

University of Warsaw Repository

pl | en
 
 

Browsing Doktoraty Wydziału Matematyki, Informatyki i Mechaniki (Archiwum) by Issue Date

Sort by: Order: Results:

  • Jurkiewicz, Jakub (2012-10-29)
    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 ...
  • Lew, Łukasz (2012-11-05)
    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 ...
  • Gryz, Leszek (2012-11-07)
    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. ...
  • Rybiński, Mikołaj (2012-11-09)
    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 ...
  • Tkaliński, Tomasz (2012-12-11)
    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. ...
  • Wróblewska-Kamińska, Aneta (2012-12-21)
    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 ...
  • Leszczyński, Paweł (2012-12-26)
    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. ...
  • Czerwiński, Wojciech (2013-03-06)
    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 ...
  • Piersa, Jarosław (2013-04-08)
    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 ...
  • Aliwy, Ahmed Hussein (2013-04-27)
    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 ...
  • Fulara, Jędrzej (2013-04-27)
    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 ...
  • Matuszak, Michal (2013-05-10)
    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 ...
  • Obremski, Maciej (2013-05-28)
    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 ...
  • Kazana, Tomasz (2013-05-29)
    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 ...
  • Skrzypczak, Iwona (2013-06-03)
    Naszym celem jest wprowadzenie nowej metody konstruowania nier´owno´sci typu Hardy’ego. Konstruujemy je znaj¸ac rozwi¸azania u zagadnie´n p oraz A– harmonicznych. Wyprowadzamy nier´owno´sci typu Caccioppoli dla u. ...
  • Zatorska, Ewelina (2013-09-04)
    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 ...
  • Siedlecki, Paweł (2013-09-05)
    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 ...
  • Kwiatkowska, Anna Beata (2013-10-07)
    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 ...
  • Donten-Bury, Maria (2013-10-08)
    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 ...
  • Jakubczyk, Krzysztof (2013-10-17)
    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 ...

Search Repository


Advanced Search

Browse

My Account

Statistics