Znaleziono 114 projektów spełniających kryteria wyszukiwania:
Konkurs: HARMONIA 3 , panel: NZ4
Kierownik: dr Wojciech Fortuna
Uniwersytet Medyczny im. Piastów Śląskich we Wrocławiu, Wydział Lekarski Kształcenia Podyplomowego
Algorytmiczne aspekty wyborów w parlamentach
Konkurs: HARMONIA 3 , panel: ST1
Kierownik: dr hab. Piotr Faliszewski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Konkurs: PRELUDIUM 3 , panel: NZ4
Kierownik: dr Rafał Płatek
Instytut Biologii Doświadczalnej im. M. Nenckiego PAN
Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach
Konkurs: PRELUDIUM 3 , panel: ST6
Kierownik: dr Michał Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 3 , panel: HS2
Kierownik: dr Natalia Paprocka
Uniwersytet Wrocławski, Wydział Filologiczny
Konkurs: PRELUDIUM 2 , panel: ST8
Kierownik: dr Przemysław Jodłowski
Uniwersytet Jagielloński, Wydział Chemii
Konkurs: OPUS 2 , panel: HS2
Kierownik: dr Ewa Manikowska
Instytut Sztuki PAN
Złożone modele w problemach szeregowania zadań i metody ich rozwiązania
Konkurs: OPUS 2 , panel: ST6
Kierownik: prof. Adam Janiak
Instytut Badań Systemowych PAN
Konkurs: SONATA 2 , panel: ST7
Kierownik: dr hab. Jarosław Turkiewicz
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Wokół logik modalnych - rozstrzygalność i złożoność
Konkurs: PRELUDIUM 2 , panel: ST6
Kierownik: Jakub Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Rozwój grafowych metod optymalizacji dyskretnej w zastosowaniach technicznych i biologicznych
Konkurs: MAESTRO 1 , panel: ST6
Kierownik: prof. Marek Kubale
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych
Konkurs: PRELUDIUM 1 , panel: HS1
Kierownik: dr Michał Zawidzki
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Konkurs: SONATA 1 , panel: ST6
Kierownik: dr Michał Wrona
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
DATALOG w Problemie Spełnialności Więzów
Konkurs: OPUS 1 , panel: ST6
Kierownik: dr hab. Marcin Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki