Repository Home
→
Wydział Matematyki, Informatyki i Mechaniki
→
Doktoraty Wydziału Matematyki, Informatyki i Mechaniki (Archiwum)
→
Browse by department

Browse by document department

Now showing items 1-20 of 149

A Unified Approach to Opetopic Algebra

Szawiel, Stanisław (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 ...
Abstract Analysis of Numerical and Container Variables

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 ...
Access structures and elliptic curve cryptosystems

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 ...
Actions in information-rich environments: a paraconsistent approach

Białek, Łukasz (2021-05-26)

The dissertation presents both theoretical and practical research on action planning under inconsistent and incomplete information. The work is firmly rooted in a related research area of beliefs, belief change and action ...
Additive problems in abelian groups

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 ...
Addytywne grupy pierścieni łącznych

Woronowicz, Mateusz (2019-04-16)

This doctoral dissertation deals with issues related to additive groups of rings, mainly associative ones. Neither unitarity nor commutativity of rings is assumed. The main goal of creating this work was the continuation ...
Algebraic methods in the theory of infinite trees

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 ...
Algorithms and models for protein structure analysis

Jarmolińska, Aleksandra (2019-11-04)

In this work we present several algorithmic approaches designed to help researchers in the study of various orders of protein structure. To facilitate the study of molecular sequence evolution we present an algorithm for ...
Algorithms for Similarity Relation Learning from High Dimensional Data

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, ...
Algorithms Inspired by Petri Nets in Modeling of Complex Biological Systems

Gogolińska, Anna (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 ...
Algorytmy kombinatoryczne i graficzne w spektralnej klasyfikacji skończonych bigrafów oraz sieciowych systemów pierwiastków

Zając, Katarzyna (2018-12-04)

Celem niniejszej rozprawy doktorskiej jest klasyfikacja względem kongruencji Grama ∼ℤ lub ≈ℤ oraz spektralna klasyfikacja Coxetera nieujemnych oznakowanych grafów krawędziowo- dwudzielnych (bigrafów) 𝛥� = (𝛥�0, 𝛥�1) ...
Algorytmy numeryczne w spektralnej analizie Coxetera bigrafów

Felisiak, Mariusz (2018-06-05)

Celem rozprawy jest rozwiązanie klasy problemów algorytmiczno-obliczeniowych (sformułowanych w pracach [48]–[50], [69]–[76]) występujących w spektralnej klasyfikacji Coxetera-Grama spójnych dodatnich prostych grafów ...
Algorytmy poprawy czytelności formalnych rozumowań zapisanych w systemie naturalnej dedukcji

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 ...
Analysis and construction of logical systems: a category-theoretic approach

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 ...
Analytic methods in inequalities concerning means

Pasteczka, Paweł (2015-04-17)
Analytic properties of operators on the non-reflexive spaces of smooth functions

Kazaniecki, Krystian (2019-05-22)

This doctoral thesis consist of four parts, in which the properties of operators on nonreflexive spaces of smooth functions are investigated.
Anisotropic least gradient problems

Górny, Wojciech (2020-06-09)

The goal of this dissertation is to examine, in the anisotropic least gradient problem, what is the influence of the geometry of the domain and properties of the anisotropy on existence,uniqueness and regularity of the ...
An application of Orlicz spaces in partial differential equations

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 ...
Approximation algorithms: new results for stochastic and parameterized problems

Włodarczyk, Michał (2019-07-03)

This doctoral dissertation is based on 3 articles, which I have written during my PhD studies. They consist of novel results in the theory of approximation algorithms. Two of them concern the subdomain of stochastic ...
Arabic Morphosyntactic Raw Text Part of Speech Tagging System

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 ...