Algorytmy parametryzowane dla problemów spójności, separacji i edycji w grafach
(Parameterized algorithms for connectivity, separation, and modification problems in graphs)
Data obrony: 15 października 2021 08:00Data nadania: 28 października 2021Stopień doktora nauk matematycznych w zakresie informatykiAutoreferat w języku polskimRozprawa
Teoria Fraïssego w języku forcingu
(Forcing-theoretic framework for the Fraïssé theory)
Data obrony: 14 października 2021 12:15Data nadania: 28 października 2021Stopień doktora nauk matematycznych w zakresie matematykiAutoreferat w języku polskimRozprawa
Data obrony: 1 lipca 2021 08:00Data nadania: 30 września 2021Stopień doktora nauk matematycznych w zakresie informatykiAutoreferat w języku polskimRozprawa
Implementation of the logic inference system by DNA
(Implementacja systemu wnioskującego za pomocą DNA)
Data obrony: 10 czerwca 2021 14:30Data nadania: 24 czerwca 2021Stopień doktora nauk matematycznych w zakresie informatykiAutoreferat w języku polskimRozprawa
Akcje w środowiskach złożonych informacyjnie: podejście parakonsystentne
(Actions in information-rich environments: a paraconsistent approach)
Data obrony: 10 czerwca 2021 12:15Data nadania: 24 czerwca 2021Stopień doktora nauk matematycznych w zakresie informatykiAutoreferat w języku polskimRozprawa
Eksploracja repozytoriów kodu w celu zapewnienia jakości oprogramowania
(Mining software repositories for code quality)
Data obrony: 15 kwietnia 2021 12:15Data nadania: 29 kwietnia 2021Stopień doktora nauk matematycznych w zakresie informatykiAutoreferat w języku polskimRozprawa
Oszacowania supremów procesów stochastycznych z wykorzystaniem metody łańcuchowej
(Estimates of suprema of stochastic processes with application of the chaining method)
Data obrony: 24 marca 2021 15:00Data nadania: 29 kwietnia 2021Stopień doktora nauk matematycznych w zakresie matematykiAutoreferat w języku polskimRozprawa
Funkcjonalne twierdzenia graniczne związane z układami cząstek
(Functional limit theorems related to particle systems)
Data obrony: 18 marca 2021 13:30Data nadania: 25 marca 2021Stopień doktora nauk matematycznych w zakresie matematykiAutoreferat w języku polskimRozprawa
Metody obliczeniowe w analizie różnicowej macierzy kontaktów chromatynowych
(Computational methods for differential analysis of chromatin contact matrices)
Data obrony: 18 lutego 2021 15:30Data nadania: 25 lutego 2021Stopień doktora nauk matematycznych w zakresie informatykiAutoreferat w języku polskimRozprawa
Programowanie dynamiczne z gwarancjami
(Provably Optimal Dynamic Programming)
Data obrony: 18 lutego 2021 13:00Data nadania: 25 lutego 2021Stopień doktora nauk matematycznych w zakresie informatykiAutoreferat w języku polskimRozprawa
Skompensowana zwartość oraz miary DiPerny-Majdy
(Compensated compactness and DiPerna-Majda measures)
Data obrony: 1 lutego 2021 11:00Data nadania: 25 lutego 2021Stopień doktora nauk matematycznych w zakresie matematykiAutoreferat w języku polskimRozprawa
W poszukiwaniu zwięzłego opisu matematycznego lekoopornych nowotworów
(In search of concise mathematical description of drug-resistant tumour growth)
Data obrony: 16 grudnia 2020 13:15Data nadania: 4 lutego 2021Stopień doktora nauk matematycznych w zakresie matematykiAutoreferat w języku polskimRozprawa
Różniczkowalność rozwiązań zaburzonego równania transportu
Data obrony: 20 listopada 2020 13:00Data nadania: 17 grudnia 2020Stopień doktora nauk matematycznych w zakresie matematykiAutoreferat w języku polskimRozprawa