9 projects found matching your search criteria :
Call: OPUS 9 , Panel: ST7
Principal investigator: prof. Krzysztof Gałkowski
Uniwersytet Zielonogórski, Wydział Informatyki, Elektrotechniki i Automatyki
Optimality in parameterized complexity
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Michał Pilipczuk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
New methods in parametric model checking
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Michał Knapik
Instytut Podstaw Informatyki PAN
Fixed-points methods in controllability of nonlinear systems.
Call: OPUS 4 , Panel: ST7
Principal investigator: prof. Jerzy Klamka
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Call: OPUS 3 , Panel: ST7
Principal investigator: prof. Marian Kaźmierkowski
Politechnika Warszawska, Wydział Elektryczny
Forbidding subdivisions and line graphs towards faster algorithms
Call: PRELUDIUM 21 , Panel: ST6
Principal investigator: Jana Masaříková
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Metaheuristic-based parametric optimization of time-delay models and control systems
Call: OPUS 20 (LAP) , Panel: ST7
Principal investigator: prof. Janusz Kacprzyk
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Learning-based methods for high-performance robust control
Call: OPUS 14 , Panel: ST7
Principal investigator: dr hab. Wojciech Paszke
Uniwersytet Zielonogórski, Wydział Informatyki, Elektrotechniki i Automatyki
Application of modern algorithmic methods for solving NP-hard clustering problems.
Call: PRELUDIUM 9 , Panel: ST6
Principal investigator: Krzysztof Sornat
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki