Projects funded by the NCN

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

Data-enriched models of computation

Call: OPUS 18 , Panel: ST6

Principal investigator: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Heuristic optimisation algorithm with coupled reduced order model generation for computation of wind turbines

Call: OPUS 14 , Panel: ST8

Principal investigator: dr Zbigniew Buliński

Politechnika Śląska, Wydział Inżynierii Środowiska i Energetyki

The existence and an algorithm for the computation of equilibrium in a simple exchange model. The multivalued case

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

Methods and algorithms for organization of computations in the class of anelastic numerical models for geophysical flows...

Call: OPUS 2 , Panel: ST6

Principal investigator: prof. Roman Wyrzykowski

Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

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