Projects funded by the NCN

Development of evidence-based environmental specifications for short religious, cultural and commercial events in histor...

Call: PRELUDIUM 19 , Panel: HS2

Principal investigator: Magdalena Soboń

Instytut Katalizy i Fizykochemii Powierzchni im. Jerzego Habera PAN

Model of paintings with craquelure patterns for evidence-based environmental control in museums

Call: GRIEG 1 , Panel: HS2

Principal investigator: prof. Łukasz Tadeusz Bratasz

Instytut Katalizy i Fizykochemii Powierzchni im. Jerzego Habera PAN

Quantitative specifications: learning, algorithms and applications

Call: OPUS 14 , Panel: ST6

Principal investigator: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Ionospheric irregularities specifications by the SWARM satellites observations

Call: OPUS 13 , Panel: ST10

Principal investigator: dr Irina Zakharenkova

Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Geoinżynierii

Automatic reasoning about specifications in simple logics - decidability and complexity issues

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski