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

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

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

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

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

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

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

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

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

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