Wyniki wyszukiwania
Znaleziono 18 projektów spełniających kryteria wyszukiwania:
-
1. Automaty skończone: wybrane problemy i zastosowania łączące różne obszary badań
Kierownik: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 21, panel: ST6
-
2. Klasyczne problemy w teorii automatów skończonych: nowe podejścia, warianty i zastosowania
Kierownik: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 13, panel: ST6
-
3. Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych
Kierownik: dr hab. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 5, panel: ST6
-
4. Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych
Kierownik: prof. Damian Tadeusz Niwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 7, panel: ST6
-
Kierownik: prof. Łukasz Karol Madej
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Konkurs: OPUS 18, panel: ST8
-
Kierownik: dr hab. Łukasz Madej
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Konkurs: SONATA BIS 4, panel: ST8
-
7. Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach
Kierownik: dr Michał Paweł Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 3, panel: ST6
-
8. Skończenie stanowe obliczenia wielomianowe
Kierownik: prof. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: MAESTRO 14, panel: ST6
-
9. Na granicy niemożliwego w klasycznej teorii automatów
Kierownik: dr hab. Paweł Parys
Uniwersytet Warszawski
Konkurs: OPUS 28, panel: ST6
-
10. Automatyczne algorytmy hp adaptacyjne do przetwarzania danych tomograficznych
Kierownik: Marcin Tomasz Sieniek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Konkurs: PRELUDIUM 2, panel: ST6
-
11. Weryfikacja formalna w modelach obliczeń rozszerzonych o dane
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski
Konkurs: OPUS 28, panel: ST6
-
12. Modele obliczeń rozszerzone o dane
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 18, panel: ST6
-
13. Algorytmy przetwarzania danych tekstowych
Kierownik: dr hab. Sebastian Deorowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Konkurs: OPUS 2, panel: ST6
-
14. Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 11, panel: ST6
-
15. Synteza poprzez aktywne uczenie się: teoria i zastosowania
Kierownik: dr hab. Jan Otop
Uniwersytet Wrocławski
Konkurs: OPUS 27, panel: ST6
-
16. Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 14, panel: ST6
-
Kierownik: dr Marcin Hojny
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Konkurs: SONATA 2, panel: ST8
-
Kierownik: dr Łukasz Rauch
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Konkurs: SONATA 1, panel: ST6