Projects funded by the NCN

Methods and algorithms for automatic calibration and offset cancellation in fiber-optic distribution of atomic timescale...

Call: OPUS 9 , Panel: ST7

Principal investigator: dr hab. Przemysław Jakub Krehlik

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

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

Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Experimental and simulation studies of advanced control of biotechnological processes stimulation

Call: OPUS 3 , Panel: ST7

Principal investigator: prof. Mieczysław Metzger

Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

Innovative methods of nonlinear stochastic modeling of time series generated by complex systems - application to geophys...

Call: OPUS 3 , Panel: ST10

Principal investigator: prof. Zbigniew Edward Czechowski

Instytut Geofizyki Polskiej Akademii Nauk

Formal verification in data-enriched models of computation

Call: OPUS 28 , Panel: ST6

Principal investigator: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski

Framework for smart condition reassessment of reclaimed timber to extend the service life of long-lived wood products wi...

Call: WEAVE-UNISONO , Panel: ST8

Principal investigator: dr Jan Pełczyński

Politechnika Warszawska

Data-enriched models of computation

Call: OPUS 18 , Panel: ST6

Principal investigator: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Fundamental problems and implementations of dissipative quantum engineering

Call: MAESTRO 11 , Panel: ST2

Principal investigator: prof. Adam Jacek Miranowicz

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki

Mechanistic explanation of a generation of (and deviations from) the universal curve of the Earthquake Recurrence Time D...

Call: OPUS 14 , Panel: ST10

Principal investigator: dr hab. Mariusz Jacek Białecki

Instytut Geofizyki Polskiej Akademii Nauk

Understanding recursion

Call: SONATA 13 , Panel: ST6

Principal investigator: dr Lorenzo Clemente

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Mathematical models and methods in description of tumour growth and its therapies.

Call: OPUS 10 , Panel: ST1

Principal investigator: dr hab. Marek Bodnar

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki