460 projects found matching your search criteria :
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
Thermodynamic research on ionic liquids used for desulfurization of fuels
Call: OPUS 1 , Panel: ST5
Principal investigator: prof. Urszula Maria Domańska-Żelazna
Politechnika Warszawska, Wydział Chemiczny
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: dr Zbigniew Paszkiewicz
Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej
Call: OPUS 1 , Panel: HS4
Principal investigator: prof. Marek Jacek Stankiewicz
Uniwersytet Mikołaja Kopernika
New method for network anomaly detection
Call: SONATA 1 , Panel: ST7
Principal investigator: dr hab. Wojciech Władysław Mazurczyk
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Effective parallel algorithms for solving partial differential equations
Call: OPUS 1 , Panel: ST1
Principal investigator: prof. Maksymilian Dryja
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Effective linear general methods for ordinary differential equations
Call: PRELUDIUM 1 , Panel: ST1
Principal investigator: dr Michał Mariusz Braś
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Matematyki Stosowanej
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Anh Linh Nguyen
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 1 , Panel: NZ9
Principal investigator: dr Marta Tomczyńska-Mleko
Uniwersytet Przyrodniczy w Lublinie, Wydział Nauk o Żywności i Biotechnologii
Call: PRELUDIUM 1 , Panel: NZ7
Principal investigator: Mariusz Strzecha
Europejska Uczelnia Społeczno-Techniczna w Radomiu