Przeglądaj Doktoraty Wydziału Matematyki, Informatyki i Mechaniki (Archiwum) według tytułu

Repozytorium Centrum Otwartej Nauki

pl | en
 
 

Przeglądaj Doktoraty Wydziału Matematyki, Informatyki i Mechaniki (Archiwum) według tytułu

Sortuj według: Kolejność: Wyniki:

  • Szawiel, Stanisław [APD] (2014-11-03)
    We develop an approach to opetopic sets based on algebra, that is monoids in monoidal categories. These categories naturally assemble into bifibrations, as do their monoidal structures. Consequently, they form monoidal ...
  • 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 ...
  • Derbisz, Jakub (2013-12-03)
    We develop the theory of access structures and include elliptic curve based cryptosystems applications. Shown are results concerning methods of encrypting monotonic access structures basing on logical formulae and our ...
  • Cwalina, Karol (2014-04-25)
    In this thesis we shall present some results concerning additive properties of finite sets in abelian groups. It will be of primary importance to us to consider the sumsets A+B={a+b:a\in A,b\in B} for subsets A,B of an ...
  • Tomasz, Idziaszek (2014-06-20)
    In the thesis we explore an algebraic approach to regular languages of infinite trees. We have decided to take a two-pronged approach: to develop a concept of an algebraic structure for infinite trees and to use it to get ...
  • Idziaszek, Tomasz [APD] (2014-01-30)
    In the thesis we explore an algebraic approach to regular languages of infinite trees. We have decided to take a two-pronged approach: to develop a concept of an algebraic structure for infinite trees and to use it to get ...
  • Janusz, Andrzej (2014-02-06)
    The notion of similarity plays an important role in machine learning and artificial intelligence. It is widely used in tasks related to a supervised classification, clustering, an outlier detection and planning. Moreover, ...
  • Gogolińska, Anna [APD] (2015-05-04)
    In this dissertation new tools for the fields of bioinformatics, data mining and operational research are developed. New algorithms were inspired by Petri nets. Petri nets (PNs) belong to mathematical modeling languages ...
  • Pąk, Karol (2013-12-16)
    Przedmiotem badań opisanych w rozprawie doktorskiej są metody poprawy czytelności formalnych rozumowań zapisanych w systemie naturalnej dedukcji. Wykorzystanie komputerowej weryfikacji jest znanym narzędziem ułatwiającym ...
  • Pasteczka, Paweł [APD] (2015-04-17)
  • 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 ...
  • 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 ...
  • Betliński, Paweł [APD] (2016-06-01)
    This work is focused on the problem of Bayesian network structure learning. There are two main areas in this field which are here discussed.The first area is a theoretical one. We consider some aspects of the Bayesian ...
  • 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 ...
  • Majewska, Gabriela [APD] (2016-06-22)
    In this dissertation, we show various results of our research on β-skeletons. The β-skeletons are graphs introduced first by Kirkpatrick and Radke, that belong to the family of proximity graphs, geometric graphs in which ...
  • Rezaei-Divroodi, Ali [APD] (2015-02-23)
    We provide results on preservation of semi-positive concepts, the Hennessy-Milner property w.r.t. bisimulation-based comparisons, characterizing bisimulation for tidy interpretations by semi-positive concepts, and minimization ...
  • Nayar, Piotr (2014-05-07)
    In this dissertation we deal with several problems concerning sums of random vectors. Our work consists of four scientific articles. In particular, we solve the so-called S-inequality problem for certain product measures. ...
  • Peszek, Jan [APD] (2016-03-10)
    The models that describe a collective dynamics of interacting particles belong to a wide class of kinetic models with non-local interaction. A notable example of such model is the classical Vlasov equation. One of the ...
  • Woźniak, Michał [APD] (2015-03-25)
    The development of drug resistance in bacteria causes antibiotic therapies to be less effective and more costly. The rapidly growing number of bacterial genomes being fully sequenced and publicly available opens new ...
  • Dittwald, Piotr (2014-09-15)
    This thesis covers a topic of fast and reliable processing of the high-throughput biomedical data, that is currently needed in genetics and proteomics. We therefore concentrate on these two rapidly developing research areas ...

Szukaj w repozytorium


Szukanie zaawansowane

Przeglądaj

Moje konto

Statystyki