Analiza zbieżności wybranych markowowskich algorytmów Monte Carlo
Status: PrzyznanaData nadania: 21 lutego 2019W zakresie matematykiRecenzenci: dr hab. Katarzyna Horbacz (Uniwersytet Śląski w Katowicach); prof. Zbigniew Palmowski ((Politechnika Wrocławska); dr hab. Piotr Pokarowski (Uniwersytet Warszawski)
Teoriogrowe modele odporności sieci i konfliktów rozproszonych
Status: PrzyznanaData nadania: 18 października 2018W zakresie informatykiRecenzenci: prof. Paul Spirakis (University of Liverpool); prof. dr hab. Jacek Cichoń (Politechnika Wrocławska); prof. dr Krzysztof Apt (Uniwersytet Warszawski)
Dualność i zjawisko formalności w kategoriach funktorów
Status: PrzyznanaData nadania: 27 września 2018W zakresie matematykiRecenzenci: prof. Grzegorz Banaszak (Uniwersytet im. Adama Mickiewicza w Poznaniu); prof. Stefan Jackowski (Uniwersytet Warszawski); prof. Antoine Touzé (Uniwersytet w Lille)
Status: PrzyznanaData nadania: 24 maja 2018W zakresie matematykiRecenzenci: dr hab. Anna Talarczyk-Noble (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego); dr hab. Łukasz Kruk (UMCS); dr hab. Jacek Małecki (Politechnika Wrocławska)
Nowe techniki komputerowej formalizacji i weryfikacji dowodów matematycznych w Mizarze
Status: PrzyznanaData nadania: 26 stycznia 2017W zakresie informatykiRecenzenci: prof. Jerzy Marcinkowski (Uniwersytet Wrocławski); prof. Marek Zaionc (Uniwersytet Jagielloński w Krakowie); prof. Paweł Urzyczyn (Uniwersytet Warszawski)
Prawie pewna i kompletna zbieżność w prawie wielkich liczb dla zależnych zmiennych losowych
Status: PrzyznanaData nadania: 26 stycznia 2017W zakresie matematykiRecenzenci: prof. Tomasz Szarek (Uniwersytet Gdański); dr hab. Zbigniew Szewczak (Uniwersytet Mikołaja Kopernika w Toruniu); prof. Rafał Latała (Uniwersytet Warszawski)
Status: PrzyznanaData nadania: 26 stycznia 2017W zakresie informatykiRecenzenci: dr hab. Marcin Bieńkowski (Uniwersytet Wrocławski); prof. Maciej Liśkiewicz (Uniwersytet w Lubeck); prof. Wojciech Rytter (Uniwersytet Warszawski)
Uczenie struktury sieci bayesowskich: teoria i zastosowania w biologii obliczeniowej
Status: PrzyznanaData nadania: 27 października 2016W zakresie informatykiRecenzenci: prof. Jan Mielniczuk (Instytut Podstaw Informatyki PAN); dr hab. Marek Klonowski (Politechnika Wrocławska); dr hab. Piotr Pokarowski (Uniwersytet Warszawski)
Równania różniczkowe z opóźnieniami w zastosowaniach ze szczególnym uwzględnieniem opisu wzrostu i leczenia nowotworów
Status: PrzyznanaData nadania: 23 czerwca 2016W zakresie matematykiRecenzenci: prof. Tadeusz Nadzieja (Uniwersytet Opolski); prof. Wojciech Okrasiński (Politechnika Wrocławska); prof. Mirosław Lachowicz (Uniwersytet Warszawski)
Wieloparametrowe struktury bi-hamiltonowskie oraz związane z nimi układy całkowalne
Status: PrzyznanaData nadania: 23 czerwca 2016W zakresie matematykiRecenzenci: prof. Klaudiusz Wójcik (Uniwersytet Jagielloński w Krakowie); prof. Andrzej Maciejewski (Uniwersytet Zielonogórski); prof. Henryk Żołądek (Uniwersytet Warszawski)
Kwantowe podgrupy domknięte i kwantowe przestrzenie jednorodne
Status: PrzyznanaData nadania: 23 czerwca 2016W zakresie matematykiRecenzenci: prof. Romuald Lenczewski (Politechnika Wrocławska); prof. Andrzej Łuczak (Uniwersytet Łódzki); prof. Piotr Śniady (Uniwersytet im. Adama Mickiewicza w Poznaniu)
Status: PrzyznanaData nadania: 19 maja 2016W zakresie matematykiRecenzenci: dr hab. Zbigniew Szewczak (Uniwersytet Mikołaja Kopernika w Toruniu); prof. Jacek Wesołowski (Politechnika Warszawska); prof. Stanisław Kwapień (Uniwersytet Warszawski)
Status: PrzyznanaData nadania: 19 maja 2016W zakresie informatykiRecenzenci: dr hab. Marcin Kozik (Uniwersytet Jagielloński w Krakowie); prof. Witold Charatonik (Uniwersytet Wrocławski); prof. Jerzy Tyszkiewicz (Uniwersytet Warszawski)