Numeryczne rozwiązywanie równań eliptycznych na siatkach niezgodnych
Status: PrzyznanaData nadania: 24 czerwca 2010W zakresie: matematykiRecenzenci: 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: PrzyznanaData nadania: 29 kwietnia 2010W zakresie: informatykiRecenzenci: 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: PrzyznanaData nadania: 25 marca 2010W zakresie: matematykiRecenzenci: 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: PrzyznanaData nadania: 15 października 2009W zakresie: informatykiRecenzenci: 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: PrzyznanaData nadania: 25 czerwca 2009W zakresie: informatykiRecenzenci: 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: PrzyznanaData nadania: 23 kwietnia 2009W zakresie: matematykiRecenzenci: 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: PrzyznanaData nadania: 26 lutego 2009W zakresie: informatykiRecenzenci: 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)
Twierdzenia graniczne związane z losową dynamiką układów cząstek
Status: PrzyznanaData nadania: 22 stycznia 2009W zakresie: matematykiRecenzenci: prof. dr hab. Stanisław Kwapień; dr hab. Zbigniew Palmowski (Uniwersytet Wrocławski); dr hab. Andrzej Rozkosz (Uniwersytet Mikołaja Kopernika w Toruniu); prof. dr hab. Jerzy Zabczyk (Instytut Matematyczny PAN)
Status: PrzyznanaData nadania: 20 listopada 2008W zakresie: informatykiRecenzenci: prof. dr hab. Paweł Idziak (Uniwersytet Jagielloński w Krakowie); prof. dr hab. Leszek Pacholski (Uniwersytet Wrocławski); dr hab. Wiesław Szwast, prof. Uniwersytetu Opolskiego; prof. dr hab. Paweł Urzyczyn; prof. Wolfgang Thomas (RWTH Aachen University, Niemcy)
Status: PrzyznanaData nadania: 30 października 2008W zakresie: informatykiRecenzenci: prof. dr hab. Jacek Błażewicz (Politechnika Poznańska), prof. dr hab. Janusz Bujnicki (Międzynarodowy Instytut Biologii Molekularnej i Komórkowej); prof. dr hab. Mirosław Kutyłowski (Uniwersytet Wrocławski); dr hab. Jacek Miękisz oraz Prof. Martin Vingron (Max Planck Institute for Molecular Genetics, Niemcy)
Aproksymacyjne wnioskowanie Boolowskie: podstawy i zastosowania w eksploracji danych
Status: PrzyznanaData nadania: 3 kwietnia 2008W zakresie: informatykiRecenzenci: dr hab. Marek Piotrów (Uniwersytet Wrocławski); prof. dr hab. Roman Słowiński (Politechnika Poznańska); dr hab. Jerzy Tyszkiewicz (Uniwersytet Warszawski); prof. dr hab. Marek Zaionc (Uniwersytet Jagielloński w Krakowie)
Złożoność obliczeniowa równoważności systemów o nieskończonej liczbie stanów
Status: PrzyznanaData nadania: 24 stycznia 2008W zakresie: informatykiRecenzenci: dr hab. Edward Ochmański (Uniwersytet Mikołaja Kopernika w Toruniu); dr hab. Damian Niwiński (Uniwersytet Warszawski); dr hab. Jerzy Marcinkowski (Uniwersytet Wrocławski); dr hab. Wiesław Szwast (Uniwersytet Opolski)
Klasy przestrzeni zwartych generowane przez retrakcje
Status: PrzyznanaData nadania: 22 listopada 2007W zakresie: matematykiRecenzenci: prof. Lech Górniewicz (Uniwersytet Mikołaja Kopernika w Toruniu); dr hab. Piotr Koszmider (Politechnika Łódzka); dr hab. Grzegorz Plebanek (Uniwersytet Wrocławski); prof. dr hab. Roman Pol (Uniwersytet Warszawski)
Status: PrzyznanaData nadania: 25 stycznia 2007W zakresie: matematykiRecenzenci: prof. dr hab. Piotr Biler (Uniwersytet Wrocławski); prof. dr hab. Lech Górniewicz (Uniwersytet Mikołaja Kopernika w Toruniu); dr hab. Piotr Rybka; prof. UW, prof. dr hab. Tadeusz Rzeżuchowski (Politechnika Warszawska)
Metoda nierówności entropijnych i miar Younga dla odwzorowań wielowartościowych
Status: PrzyznanaData nadania: 26 października 2006W zakresie: matematykiRecenzenci: prof. dr hab. Lech Górniewicz (Uniwersytet Mikołaja Kopernika w Toruniu); dr hab. Grzegorz Karch (Uniwersytet Wrocławski); prof. dr hab. Andrzej Krzywicki (Uniwersytet Wrocławski); dr hab. Paweł Strzelecki, prof. UW