Weighted automata: expressiveness and decidability
Status: W tokuW zakresie: informatykiRecenzenci: prof. Orna Kupferman (Hebrew University of Jerusalem), dr hab. Marcin Kozik, prof. ucz (Uniwersytet Jagielloński), prof. Igor Walukiewicz (Universite de Bordeaux), dr hab. Jan Otop (Uniwersytet Wrocławski)AplikacjaSkład komisji
Status: W tokuW zakresie: matematykiRecenzenci: dr hab. Michał Wojciechowski (Instytut Matematyczny Polskiej Akademii Nauk / Uniwersytet Jana Kochanowskiego w Kielcach), prof. dr hab. Aleksander Błaszczyk (Uniwersytet Śląski w Katowicach), dr hab. Piotr Borodulin-Nadzieja, prof. ucz. (Uniwersytet Wrocławski), prof. dr hab. Wiesław Kubiś (Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie / Akademie věd České republiky)AplikacjaSkład komisji
Metody obliczeniowe służące do analizy i sterowania dużymi modelami boolowskimi sieci regulatorowych genów
Status: W tokuW zakresie: informatykiRecenzenci: prof. dr hab. inż. Andrzej Polański (Politechnika Śląska), dr hab. inż. Maciej Antczak (Instytut Chemii Bioorganicznej Polskiej Akademii Nauk/Politechnika Poznańska), prof. dr hab. inż. Marta Szachniuk (Instytut Chemii Bioorganicznej Polskiej Akademii Nauk/Politechnika Poznańska), prof. dr hab. inż. Małgorzata Kotulska (Politechnika Wrocławska)AplikacjaSkład komisji
Badanie zagadnień dla funkcjonałów o liniowym wzroście, przede wszystkim (anizotropowego) całkowitego wahania, i ich analiza pod kątem wpływu geometrii przestrzeni na istnienie i właściwości rozwiązań
Status: W tokuW zakresie: matematykiRecenzenci: prof. Giovanni Bellettini (University of Siena), prof. dr hab. Piotr Hajłasz (University of Pittsburgh), prof. dr Julio Rossi (Universidad de Buenos Aires), prof. dr hab. Grzegorz Karch (Uniwersytet Wrocławski)AplikacjaSkład komisji
Wnioskowanie i wyjaśnialność modelu uczenia maszynowego
Status: W tokuW zakresie: informatykiRecenzenci: dr hab. inż. Marcin Kurdziel, prof. ucz. (Akademia Górniczo-Hutnicza im. S. Staszica w Krakowie), dr hab. inż. Filip Stefaniak (Międzynarodowy Instytut Biologii Molekularnej i Komórkowej w Warszawie), prof. dr hab. inż. Andrzej Polański (Politechnika Śląska), dr hab. Marek Śmieja (Uniwersytet Jagielloński)AplikacjaSkład komisji
Metody wariacyjne, topologiczne i geometryczne w badaniu rozwiązań zagadnień eliptycznych
Status: PrzyznanaData nadania: 19 lutego 2026W zakresie: matematykiRecenzenci: prof. dr hab. Dariusz Idczak (Uniwersytet Łódzki), prof. dr hab. Janusz Mierczyński (Politechnika Wrocławska), prof. Michał Kowalczyk (CMM, Universidad de Chile), prof. dr hab. Jacek Banasiak (Politechnika Łódzka)AplikacjaSkład komisjiUchwała
Przepływy prac: zastosowania w bioinformatyce oraz modelowanie przy pomocy sieci Petriego
Status: PrzyznanaData nadania: 15 maja 2025W zakresie: informatykiRecenzenci: dr hab. inż. Aleksandra Gruca (Politechnika Śląska), prof. dr hab. Marta Kasprzak (Politechnika Poznańska/ Instytut Chemii Bioorganicznej PAN), prof. Khalid Belhajjame (University Paris-Dauphine), prof. Hajo Reijers (Utrecht University, Eindhoven University of Technology)AplikacjaSkład komisjiUchwała
Korespondencja węzeł-kołczan: struktura, intepretacje i generalizacje
Status: PrzyznanaData nadania: 27 marca 2025W zakresie: matematykiRecenzenci: prof. dr hab. Piotr Krasoń (Uniwersytet Szczeciński), ) dr hab. Piotr Malicki, prof. UMK (Uniwersytet Mikołaja Kopernika w Toruniu), ) prof. dr hab. Józef H. Przytycki (Goerge Washington University), prof. Mark Powell (Univeristy of Glasgow)AplikacjaSkład komisjiUchwała
Model ograniczonego budżetu zmian jako pomost pomiędzy algorytmami online a dynamicznymi
Status: PrzyznanaData nadania: 20 marca 2025W zakresie: informatykiRecenzenci: prof. Daniel Marx (CISPA Helmholtz Center for Information Security), prof. Eva Rotenberg (Technical University of Denmark), prof. dr. Artur Czumaj (University of Warwick), dr hab. Katarzyna Paluch, prof. ucz. (Uniwersytet Wrocławski)AplikacjaSkład komisjiUchwała
Status: PrzyznanaData nadania: 20 lutego 2025W zakresie: informatykiRecenzenci: dr hab. Lidia Tendera, prof. ucz. (Uniwersytet Opolski), prof. dr hab. Marcin Jurdziński (University of Warwick), dr hab. Emanuel Kieroński (Uniwersytet Wrocławski), prof. dr Antonín Kučera (Masaryk University, Brno)AplikacjaSkład komisjiUchwała
Status: PrzyznanaData nadania: 28 listopada 2024W zakresie: matematykiRecenzenci: prof. dr hab. Tomasz Kubiak (Uniwersytet im. Adama Mickiewicza w Poznaniu), prof. dr hab. Piotr Borodulin-Nadzieja (Uniwersytet Wrocławski), dr hab. inż. Robert Rałowski (Politechnika Wrocławska), prof. dr hab. Marek Balcerzak (Politechnika Łódzka)AplikacjaUchwała
Program optymalności w problemach homomorfizmu grafów
Status: PrzyznanaData nadania: 26 września 2024W zakresie: informatykiRecenzenci: dr hab. Piotr Micek prof. ucz. (Uniwersytet Jagielloński w Krakowie); prof. Jaroslav Nešetřil (Charles University, Czechy); prof. Zdenek Dvorak (Charles University, Czechy); prof. dr hab. Jarosław Byrka (Uniwersytet Wrocławski)AplikacjaSkład komisjiUchwała
Status: PrzyznanaData nadania: 23 maja 2024W zakresie: informatykiRecenzenci: prof. Paolo Boldi (Università degli Studi di Milano); prof. dr hab. Wojciech Słomczyński (Uniwersytet Jagielloński w Krakowie); prof. dr hab. Jarosław Grytczuk (Politechnika Warszawska); prof. Piotr Krysta (University of Liverpool)AplikacjaSkład komisjiUchwała
Charakterystyka rozkładów funkcjonałów dyfuzji za pomocą teorii splotów i wycieczek
Status: PrzyznanaData nadania: 25 kwietnia 2024W zakresie: matematykiRecenzenci: dr hab. Tomasz Klimsiak, prof. ucz. (Uniwersytet Mikołaja Kopernika w Toruni, Instytut Matematyczny Polskiej Akademii Nauk); prof. dr hab. Krzysztof Bogdan (Politechnika Wrocławska); prof. dr hab. Marta Tyran-Kamińska (Uniwersytet Śląski w Katowicach); prof. dr hab. Szymon Peszat (Uniwersytet Jagielloński w Krakowie)AplikacjaSkład komisjiUchwała