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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • Przybyłek, Michał (2014-10-15)
    The aim of this dissertation is to develop categorical foundations for studying lambda calculi and their logics formed into logical systems. We show how internal models for polymorphic lambda calculi arise in any 2-category ...
  • 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. ...
  • Pawlik, Dominika (2014-10-15)
    W~niniejszej pracy badamy przedstawienia brzegów Gromowa skończenie generowanych grup hiperbolicznych w~postaci kompaktów Markowa oraz przestrzeni semi-markowowskich.Główny wynik pracy orzeka, że brzeg Gromowa dowolnej ...
  • 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 ...

Szukaj w repozytorium


Szukanie zaawansowane

Przeglądaj

Moje konto

Statystyki