9 projects found matching your search criteria :
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Bogdan Kwolek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Selected SMT-based model checking methods
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Agnieszka Zbrzezny
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Development and implementation of model checking methods for real-time and multi-agent systems
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Bożena Woźna-Szcześniak
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Towards real-time volumetric 3D reconstruction of videos
Call: PRELUDIUM BIS 4 , Panel: ST6
Principal investigator: dr hab. Tomasz Trzciński
Politechnika Warszawska
Contribution to the commissioning and early operation of the upgraded LHCb high level trigger
Call: OPUS 16 , Panel: ST2
Principal investigator: dr hab. Tomasz Szumlak
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Fizyki i Informatyki Stosowanej
Study on quality and security of real-time transmission supported by agents and reputation system
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: Grzegorz Oryńczak
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Call: OPUS 15 , Panel: ST8
Principal investigator: prof. Janusz Frączek
Politechnika Warszawska, Wydział Mechaniczny Energetyki i Lotnictwa
Call: OPUS 14 , Panel: ST6
Principal investigator: prof. Bogdan Kwolek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: SONATA 12 , Panel: ST6
Principal investigator: dr Tomasz Kryjak
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej