Analiza własności matematycznych równań różniczkowych z opóźnieniem pojawiających się w matematycznych modelach wzrostu nowotworu lub w modelach działania układu odpornościowego
Status: AcceptedAwarding date: June 14, 2012In the field of mathematicsReviewers: prof. dr hab. Dariusz Wrzosek (Uniwersytet Warszawski); dr hab. Anna Marciniak-Czochra (University of Heidelberg); prof. dr hab. Ryszard Rudnicki (Instytut Matematyczny PAN)
Status: AcceptedAwarding date: April 26, 2012In the field of mathematicsReviewers: prof. dr hab. Bronisław Jakubczyk (Instytut Matematyczny PAN); prof. dr hab. Janina Kotus (Politechnika Warszawska); dr hab. Sergei Yakovenko (Weizmann Institute of Science, Izrael); prof. dr hab. Anna Zdunik (Uniwersytet Warszawski)
Kryptograficzne zastosowania funkcji z ograniczonym rozmiarem przeciw-dziedziny
Status: AcceptedAwarding date: March 23, 2012In the field of informaticsReviewers: prof. dr hab. Mirosław Kutyłowski (Politechnika Wrocławska); prof. dr hab. Jerzy Jaworski (Uniwersytet im. Adama Mickiewicza w Poznaniu), prof. Giuseppe Persiano (Universita Degli Studi di Salerno), prof. dr hab. Damian Niwiński (Uniwersytet Warszawski)
Bialgebry i logika modalna w strukturalnej semantyce operacyjnej
Status: AcceptedAwarding date: Jan. 19, 2012In the field of informaticsReviewers: prof. dr hab. Paweł Idziak (Uniwersytet Jagielloński w Krakowie); dr hab. Adam Obtułowicz (Polska Akademia Nauk); prof. Gordon Plotkin (The University of Edinburgh), dr hab. Marek Zawadowski (Uniwersytet Warszawski)
Nieliniowe problemy brzegowe - istnienie rozwiązań i ich własności
Status: AcceptedAwarding date: Nov. 24, 2011In the field of mathematicsReviewers: prof. dr hab. Piotr Biler (Uniwersytet Wrocławski); dr hab. Krzysztof Chełmiński (Politechnika Warszawska); prof. dr hab. Jan Cholewa (Uniwersytet Śląski); dr hab. Paweł Strzelecki, prof. UW
Unifikacja wyższego rzędu - między rozstrzygalnością a nierozstrzygalnością
Status: AcceptedAwarding date: Oct. 13, 2011In the field of informaticsReviewers: dr hab. W. Charatonik (Uniwersytet Wrocławski); prof. dr hab. Jerzy Marcinkowski (Uniwersytet Wrocławski); prof. dr hab. M. Zaionc (Uniwersytet Jagielloński w Krakowie); dr hab. Sławomir Lasota
Homotopijne dominacje wielościanów - problem skończoności
Status: AcceptedAwarding date: Feb. 24, 2011In the field of mathematicsReviewers: prof. dr hab. Lech Górniewicz (Uniwersytet Mikołaja Kopernika w Toruniu); prof. dr hab. Wacław Marzantowicz (Uniwersytet im. Adama Mickiewicza w Poznaniu); prof. dr hab. Stanisław Spież (Instytut Matematyczny PAN); prof. dr hab. Henryk Toruńczyk (Uniwersytet Warszawski)
Trzy podejścia do rozwiązywania NP-trudnych problemów grafowych
Status: AcceptedAwarding date: Jan. 20, 2011In the field of informaticsReviewers: prof. dr hab. Paweł Idziak (Uniwersytet Jagielloński w Krakowie); prof. dr hab. Jerzy Marcinkowski (Uniwersytet Wrocławski); prof. dr hab. Andrzej Ruciński (Uniwersytet im. Adama Mickiewicza w Poznaniu); prof. dr hab. Wojciech Rytter
Numeryczne rozwiązywanie równań eliptycznych na siatkach niezgodnych
Status: AcceptedAwarding date: June 24, 2010In the field of mathematicsReviewers: prof. dr hab. Tomasz Dłotko (Uniwersytet Śląski); prof. dr hab. Marian Malec (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie); dr hab. Leszek Plaskota, dr hab. Teresa Regińska (Instytut Matematyczny PAN)
Obliczenia dla dużych łańcuchów Markowa z użyciem algorytmów Monte Carlo lub agregacji stanów
Status: AcceptedAwarding date: April 29, 2010In the field of informaticsReviewers: prof. dr hab. Tomasz Komorowski (Uniwersytet Marii C.Skłodowskiej); prof. dr hab. inż. Jacek Koronacki (Instytut Podstaw Informatyki PAN); dr hab. Jacek Miękisz; prof. dr hab. Tomasz Łuczak
(Uniwersytet im. Adama Mickiewicza w Poznaniu)
Topologiczne własności odwzorowań rozmaitości algebraicznych
Status: AcceptedAwarding date: March 25, 2010In the field of mathematicsReviewers: prof. dr hab. Grzegorz Banaszak (Uniwersytet im. Adama Mickiewicza w Poznaniu); prof. dr hab. Andrzej Skowroński (Uniwersytet Mikołaja Kopernika w Toruniu); dr hab. Tomasz Szemberg (Uniwersytet Pedagogiczny w Krakowie); prof. dr hab. Jarosław Wiśniewski
Status: AcceptedAwarding date: Oct. 15, 2009In the field of informaticsReviewers: prof. dr hab. Paweł Idziak (Uniwersytet Jagielloński w Krakowie); prof. dr hab. Michał Karoński (Uniwersytet im. Adama Mickiewicza); dr hab. Maciej Liśkiewicz (Universitat zu Lubeck); dr hab. Leszek Plaskota
Zastosowanie szybkiego mnożenia macierzy w problemie najniższych wspólnych przodków
Status: AcceptedAwarding date: June 25, 2009In the field of informaticsReviewers: dr hab. Jarosław Grytczuk (Uniwersytet Jagielloński w Krakowie); prof. dr hab. Zbigniew Lonc (Politechnika Warszawska); prof. dr hab. Marek Piotrów (Uniwersytet Wrocławski); prof. dr hab.Wojciech Rytter
Geometria zbiorów niezmienniczych w układach dynamicznych
Status: AcceptedAwarding date: April 23, 2009In the field of mathematicsReviewers: prof. dr hab. Tomasz Downarowicz (Politechnika Wrocławska); dr hab. Janina Kotus (Politechnika Warszawska); prof. dr hab. Marusz Lemańczyk (Uniwersytet Mikołaja Kopernika); dr hab. Katarzyna Pietruska-Pałuba
Wybrane zagadnienia semantyczne i obliczeniowe programowania w logikach modalnych
Status: AcceptedAwarding date: Feb. 26, 2009In the field of informaticsReviewers: dr hab. Włodzimierz Andrzej Drabent (Instytut Podstaw Informatyki PAN); dr hab. Damian Niwiński; prof. dr hab. Marek Zaionc (Uniwersytet Jagielloński w Krakowie); prof. John Jules Meyer (Utrecht University, Holandia)