10 projects found matching your search criteria :
Call: OPUS 7 , Panel: ST7
Principal investigator: prof. Andrzej Jan Kos
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: OPUS 5 , Panel: HS4
Principal investigator: dr Piotr Edward Maćkowiak
Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej
EvoSN: evolution of spiking neural networks for fundamental computational tasks and robot control
Call: HARMONIA 4 , Panel: ST6
Principal investigator: prof. Borys Jakub Wróbel
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Biologii
Formal verification in data-enriched models of computation
Call: OPUS 28 , Panel: ST6
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski
Analysis of quantitative models of computation
Call: SONATA BIS 14 , Panel: ST6
Principal investigator: dr hab. Lorenzo Clemente
Uniwersytet Warszawski
Polynomial finite state computation
Call: MAESTRO 14 , Panel: ST6
Principal investigator: prof. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 2 , Panel: ST6
Principal investigator: prof. Roman Wyrzykowski
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Data-enriched models of computation
Call: OPUS 18 , Panel: ST6
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 14 , Panel: ST8
Principal investigator: dr Zbigniew Buliński
Politechnika Śląska, Wydział Inżynierii Środowiska i Energetyki
New Computational Paradigms for Explanatory Modelling of Complex Systems
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Krzysztof Krawiec
Politechnika Poznańska, Wydział Informatyki