Search results
18 projects found matching your search criteria:
-
1. Finite automata: selected problems and applications connecting different areas
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 21, Panel: ST6
-
2. Classical problems in the theory of finite automata: new approaches, variants, and applications
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 13, Panel: ST6
-
3. Frontiers of automatic verification: new methods of analysis of infinite-state systems
Principal investigator: dr hab. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 5, Panel: ST6
-
4. Decidability issues for automata on infinite structures
Principal investigator: prof. Damian Tadeusz Niwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 7, Panel: ST6
-
Principal investigator: prof. Łukasz Karol Madej
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Call: OPUS 18, Panel: ST8
-
Principal investigator: dr hab. Łukasz Madej
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Call: SONATA BIS 4, Panel: ST8
-
7. Hierarchy-type Problems for Automata on Infinite Words and Trees
Principal investigator: dr Michał Paweł Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 3, Panel: ST6
-
8. Polynomial finite state computation
Principal investigator: prof. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: MAESTRO 14, Panel: ST6
-
9. On the border of impossible in classical automata theory
Principal investigator: dr hab. Paweł Parys
Uniwersytet Warszawski
Call: OPUS 28, Panel: ST6
-
10. Automatic hp adaptive algorithms for processing of MRI scan data
Principal investigator: Marcin Tomasz Sieniek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: PRELUDIUM 2, Panel: ST6
-
11. Formal verification in data-enriched models of computation
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski
Call: OPUS 28, Panel: ST6
-
12. Data-enriched models of computation
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 18, Panel: ST6
-
13. Algorithms for text data processing
Principal investigator: dr hab. Sebastian Deorowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Call: OPUS 2, Panel: ST6
-
14. Symbolic computations on first-order definable objects
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 11, Panel: ST6
-
15. Synthesis via active learning: theory and applications
Principal investigator: dr hab. Jan Otop
Uniwersytet Wrocławski
Call: OPUS 27, Panel: ST6
-
16. Quantitative specifications: learning, algorithms and applications
Principal investigator: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 14, Panel: ST6
-
Principal investigator: dr Marcin Hojny
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Call: SONATA 2, Panel: ST8
-
18. Development of methodology for multiscale computing on heterogeneous hardware architectures
Principal investigator: dr Łukasz Rauch
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Call: SONATA 1, Panel: ST6