Analiza zbieżności wybranych markowowskich algorytmów Monte Carlo
Status: AcceptedAwarding date: Feb. 21, 2019In the field of mathematicsReviewers: 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: AcceptedAwarding date: Oct. 18, 2018In the field of informaticsReviewers: 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: AcceptedAwarding date: Sept. 27, 2018In the field of mathematicsReviewers: prof. Grzegorz Banaszak (Uniwersytet im. Adama Mickiewicza w Poznaniu); prof. Stefan Jackowski (Uniwersytet Warszawski); prof. Antoine Touzé (Uniwersytet w Lille)
Status: AcceptedAwarding date: May 24, 2018In the field of mathematicsReviewers: 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: AcceptedAwarding date: Jan. 26, 2017In the field of informaticsReviewers: 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: AcceptedAwarding date: Jan. 26, 2017In the field of mathematicsReviewers: prof. Tomasz Szarek (Uniwersytet Gdański); dr hab. Zbigniew Szewczak (Uniwersytet Mikołaja Kopernika w Toruniu); prof. Rafał Latała (Uniwersytet Warszawski)
Status: AcceptedAwarding date: Jan. 26, 2017In the field of informaticsReviewers: 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: AcceptedAwarding date: Oct. 27, 2016In the field of informaticsReviewers: 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: AcceptedAwarding date: June 23, 2016In the field of mathematicsReviewers: 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: AcceptedAwarding date: June 23, 2016In the field of mathematicsReviewers: 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: AcceptedAwarding date: June 23, 2016In the field of mathematicsReviewers: prof. Romuald Lenczewski (Politechnika Wrocławska); prof. Andrzej Łuczak (Uniwersytet Łódzki); prof. Piotr Śniady (Uniwersytet im. Adama Mickiewicza w Poznaniu)
Status: AcceptedAwarding date: May 19, 2016In the field of mathematicsReviewers: dr hab. Zbigniew Szewczak (Uniwersytet Mikołaja Kopernika w Toruniu); prof. Jacek Wesołowski (Politechnika Warszawska); prof. Stanisław Kwapień (Uniwersytet Warszawski)
Status: AcceptedAwarding date: May 19, 2016In the field of informaticsReviewers: dr hab. Marcin Kozik (Uniwersytet Jagielloński w Krakowie); prof. Witold Charatonik (Uniwersytet Wrocławski); prof. Jerzy Tyszkiewicz (Uniwersytet Warszawski)