Karol Pąk (Uniwersytet w Białymstoku)

Algorytmy poprawy czytelności formalnych rozumowań zapisanych w systemie naturalnej dedukcji

Data obrony: 28 listopada 2013 10:15 Data nadania: 28 listopada 2013 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Aleksy Schubert
Recenzenci: dr hab. Anh Linh Nguyen, prof. UW, dr hab. Tomasz Połacik (Uniwersytet Śląski)
Autoreferat w języku polskim Rozprawa

Agnieszka Ulikowska (Uniwersytet Warszawski)

Structured population models in metric spaces

Data obrony: 18 listopada 2013 12:10 Data nadania: 28 listopada 2013 Stopień doktora nauk matematycznych w zakresie matematyki Promotorzy: dr hab. Piotr Gwiazda, prof. UW, prof. Anna Marciniak-Czochra
Recenzenci: prof. dr hab. Dariusz Wrzosek, prof. dr hab. Adam Bobrowski
Autoreferat w języku polskim Rozprawa

Gloria Virginia (Uniwersytet Warszawski)

Towards the Semantic Text Retrieval for Indonesian

Data obrony: 7 listopada 2013 10:30 Data nadania: 28 listopada 2013 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Hung Son Nguyen, prof. UW
Recenzenci: prof. dr hab. Andrzej Skowron, prof. dr hab. Jarosław Stepaniuk
Autoreferat w języku polskim Rozprawa

Krzysztof Jakubczyk (Uniwersytet Warszawski)

Source Code Analysis Techniques in Property Verification of Real Java Code

Data obrony: 14 listopada 2013 10:15 Data nadania: 28 listopada 2013 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Aleksy Schubert
Recenzenci: prof. Andrzej Tarlecki, dr hab. Piotr Kosiuczenko (Wojskowa Akademia Techniczna)
Autoreferat w języku polskim Rozprawa

Maria Donten-Bury (Uniwersytet Warszawski)

Constructing algebraic varieties via finite group actions

Data obrony: 25 października 2013 14:15 Data nadania: 28 listopada 2013 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. J. Wiśniewski
Recenzenci: dr hab. Mariusz Koras, prof. Klaus Altmann
Autoreferat w języku polskim Rozprawa

Anna Kwiatkowska (Uniwersytet Mikołaja Kopernika w Toruniu)

Umieszczanie zbiorów częściowo uporządkowanych w książce o minimalnej liczbie stron

Data obrony: 17 października 2013 14:15 Data nadania: 24 października 2013 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Maciej Sysło
Recenzenci: prof. dr hab. Wojciech Rytter, prof. dr hab. Andrzej Kisielewicz
Autoreferat w języku polskim Rozprawa

Paweł Siedlecki (Uniwersytet Warszawski)

Uniform Weak Tractability of Multivariate Problems

Data obrony: 20 września 2013 14:00 Data nadania: 26 września 2013 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Leszek Plaskota
Recenzenci: prof. dr hab. Henryk Woźniakowski, prof. dr hab. Bolesław Kacewicz (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie)
Autoreferat w języku polskim Rozprawa

Ewelina Zatorska (Uniwersytet Warszawski)

Fundamental problems to equations of compressible chemically reacting flows

Data obrony: 20 września 2013 12:00 Data nadania: 26 września 2013 Stopień doktora nauk matematycznych w zakresie matematyki Promotorzy: prof. dr hab. Piotr Mucha, dr hab. Milan Pokorny
Recenzenci: dr hab. Piotr Gwiazda, prof. Eduard Feireisl
Autoreferat w języku polskim Rozprawa

Tomasz Kazana (Uniwersytet Warszawski)

Security against space-restricted physical attacks

Data obrony: 12 czerwca 2013 12:00 Data nadania: 13 czerwca 2013 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Stefan Dziembowski
Recenzenci: prof. Damian Niwiński, prof. Jerzy Jaworski (Uniwersytet im. Adama Mickiewicza w Poznaniu)
Autoreferat w języku polskim Rozprawa

Maciej Obremski (Uniwersytet Warszawski)

Flexible Two-Source Extractors and their Applications

Data obrony: 6 czerwca 2013 15:00 Data nadania: 13 czerwca 2013 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Stefan Dziembowski
Recenzenci: prof. Stanisław Kwapień, prof. Mirosław Kutyłowski (Politechnika Wrocławska)
Autoreferat w języku polskim Rozprawa

Michał Matuszak (Uniwersytet Mikołaja Kopernika w Toruniu)

Bayesian Networks in Adaptation and Optimization of Behavioral Patterns

Data obrony: 20 maja 2013 12:00 Data nadania: 23 maja 2013 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Jacek Miękisz
Recenzenci: prof. dr hab. Sławomir Wierzchoń (Uniwersytet Gdański), prof. Timo Koski (Kungliga Tekniska Hogskolan)
Autoreferat w języku polskim Rozprawa

Ahmed Hussein Aliwy (Uniwersytet Warszawski)

Arabic Morphosyntactic Raw Text Part of Speech Tagging System

Data obrony: 10 maja 2013 11:00 Data nadania: 23 maja 2013 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Jerzy Tyszkiewicz
Recenzenci: prof. Eric Atwell (University of Leeds), prof. dr hab. Zygmunt Vetulani (Uniwersytet im. Adama Mickiewicza w Poznaniu)
Autoreferat w języku polskim Rozprawa

Jędrzej Fulara (Uniwersytet Warszawski)

Abstract Analysis of Numerical and Container Variables

Data obrony: 9 maja 2013 12:00 Data nadania: 23 maja 2013 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Andrzej Tarlecki
Recenzenci: dr hab. Bartosz Klin (Uniwersytet Warszawski), prof. dr hab. Włodzimierz Drabent (Instytut Podstaw Informatyki PAN)
Autoreferat w języku polskim Rozprawa

Jarosław Piersa (Uniwersytet Mikołaja Kopernika w Toruniu)

Scale-freeness and small-world phenomenon in information – flow graphs of geometrical neural networks

Data obrony: 18 kwietnia 2013 16:00 Data nadania: 25 kwietnia 2013 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Piotr Bała, prof. UMK
Promotor pomocniczy: dr Filip Piękniewski (Uniwersytet Mikołaja Kopernika w Toruniu)
Recenzenci: dr hab. Piotr Suffczyński, prof. dr hab. Leszek Rutkowski (Politechnika Częstochowska)
Autoreferat w języku polskim Rozprawa

Wojciech Czerwiński (Uniwersytet Warszawski)

Partially-commutative context-free graphs

Data obrony: 14 marca 2013 14:15 Data nadania: 21 marca 2013 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Sławomir Lasota, prof. UW
Recenzenci: dr hab. Mikołaj Bajańczyk, prof. UW, prof. Petr Jančar (Technical University of Ostrava)
Autoreferat w języku polskim Rozprawa