Znaleziono 116 projektów spełniających kryteria wyszukiwania:
Spolegliwość niejednorodnych zadań wielowymiarowych
Konkurs: PRELUDIUM 4 , panel: ST1
Kierownik: dr Paweł Siedlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 4 , panel: HS6
Kierownik: dr Kamil Konrad Imbir
Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej, Wydział Stosowanych Nauk Społecznych
Konkurs: HARMONIA 3 , panel: NZ4
Kierownik: dr Wojciech Fortuna
Uniwersytet Medyczny im. Piastów Śląskich we Wrocławiu, Wydział Farmaceutyczny z Oddziałem Analiutyki Medycznej, 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ł Krzysztof 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ł Paweł Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 3 , panel: HS2
Kierownik: dr Natalia Anna Paprocka
Uniwersytet Wrocławski, Wydział Filologiczny
Konkurs: PRELUDIUM 2 , panel: ST8
Kierownik: dr Przemysław Jakub Jodłowski
Uniwersytet Jagielloński, Wydział Chemii
Konkurs: OPUS 2 , panel: HS2
Kierownik: dr Ewa Justyna Manikowska
Instytut Sztuki Polskiej Akademii Nauk
Złożone modele w problemach szeregowania zadań i metody ich rozwiązania
Konkurs: OPUS 2 , panel: ST6
Kierownik: prof. Adam Antoni Janiak
Instytut Badań Systemowych PAN
Konkurs: SONATA 2 , panel: ST7
Kierownik: dr hab. Jarosław Piotr Turkiewicz
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Wokół logik modalnych - rozstrzygalność i złożoność
Konkurs: PRELUDIUM 2 , panel: ST6
Kierownik: Jakub Dawid 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ł Ksawery 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 Andrzej Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki