16 projects found matching your search criteria :
Call: SONATA BIS 4 , 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: PRELUDIUM 4 , Panel: ST6
Principal investigator: Maciej Karaszewski
Politechnika Warszawska, Wydział Mechatroniki
Call: OPUS 3 , Panel: ST8
Principal investigator: prof. Andriy Milenin
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Polynomial finite state computation
Call: MAESTRO 14 , Panel: ST6
Principal investigator: prof. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Finite automata: selected problems and applications connecting different areas
Call: OPUS 21 , Panel: ST6
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Regolith harvesting on Moon surface: Excavation and beneficiation in low gravityenvironments
Call: SONATA BIS 10 , Panel: ST8
Principal investigator: dr hab. Karol Seweryn
Centrum Badań Kosmicznych Polskiej Akademii Nauk
Automatic hp adaptive algorithms for processing of MRI scan data
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Marcin Sieniek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Algorithms for text data processing
Call: OPUS 2 , Panel: ST6
Principal investigator: dr hab. Sebastian Deorowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Data-enriched models of computation
Call: OPUS 18 , Panel: ST6
Principal investigator: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 18 , Panel: ST8
Principal investigator: prof. Łukasz Madej
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Quantitative specifications: learning, algorithms and applications
Call: OPUS 14 , Panel: ST6
Principal investigator: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Adaptive distributed vibration control of modular structures
Call: SONATA 13 , Panel: ST8
Principal investigator: dr Dominik Pisarski
Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk
Development of methodology for multiscale computing on heterogeneous hardware architectures
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Łukasz Rauch
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Classical problems in the theory of finite automata: new approaches, variants, and applications
Call: OPUS 13 , Panel: ST6
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Symbolic computations on first-order definable objects
Call: OPUS 11 , Panel: ST6
Principal investigator: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Automated sonic tumor treatment
Call: OPUS 11 , Panel: ST8
Principal investigator: dr hab. Tamara Kujawska
Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk