Projects funded by the NCN

Design and specification of multi-robot control systems

Call: PRELUDIUM 1 , Panel: ST7

Principal investigator: Piotr Trojanek

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Specification development and software verification

Call: OPUS 6 , Panel: ST6

Principal investigator: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Lidia Tendera

Uniwersytet Opolski

Specification of thalamic neurons in zebrafish (Danio rerio) morphants of lef1 and tcf7l2

Call: PRELUDIUM 5 , Panel: NZ3

Principal investigator: Nikola Brożko

Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

Unsupervised specification-driven design of antenna structures using artificial intelligence and machine learning

Call: OPUS 24 , Panel: ST7

Principal investigator: prof. Sławomir Kozieł

Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

The effect of nuclear FGFR1 on the mitophagy and neural cell type specification in the human cortical organoid model

Call: PRELUDIUM 21 , Panel: NZ3

Principal investigator: Michał Liput

Instytut Medycyny Doświadczalnej i Klinicznej im. Mirosława Mossakowskiego Polskiej Akademii Nauk

The role of NANOS3 in modulating genetic processes of early human germ cell development and implication in the human rep...

Call: OPUS 22 , Panel: NZ3

Principal investigator: dr hab. Kamila Kusz-Zamelczyk

Instytut Genetyki Człowieka Polskiej Akademii Nauk

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 Polskiej Akademii Nauk

NANOS1 RNP-interactome: structure and dynamics during specification/early stages of human germ cell development - signif...

Call: OPUS 18 , Panel: NZ1

Principal investigator: prof. Jadwiga Jaruzelska

Instytut Genetyki Człowieka Polskiej Akademii Nauk

Set theoretic methods in dynamics and number theory

Call: SONATA BIS 9 , Panel: ST1

Principal investigator: dr hab. William Mance

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

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

Call: GRIEG 1 , Panel: HS2

Principal investigator: dr hab. Łukasz Bratasz

Instytut Katalizy i Fizykochemii Powierzchni im. Jerzego Habera Polskiej Akademii Nauk

Dynamics from the single orbit point of view: quasicrystals, invariant measures, complexity

Call: OPUS 15 , Panel: ST1

Principal investigator: dr hab. Dominik Kwietniak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Quantitative specifications: learning, algorithms and applications

Call: OPUS 14 , Panel: ST6

Principal investigator: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Regulatory mechanisms for reproducible neural pattern specification in the developing spinal cord

Call: SONATA 13 , Panel: NZ2

Principal investigator: dr Marcin Zagórski

Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Robotic system design methodology based on a formal specification

Call: PRELUDIUM 13 , Panel: ST7

Principal investigator: Maksym Figat

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

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

METHODOLOGY OF ROBOT CONTROL SYSTEMS SPECIFICATION UTILIZING THE ACTIVE VISION PARADIGM FOR OBJECTS IDENTIFICATION

Call: PRELUDIUM 1 , Panel: ST7

Principal investigator: Tomasz Kornuta

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Ergodic and Topological Properties of Dynamical Systems with Specification-like Properties

Call: PRELUDIUM 10 , Panel: ST1

Principal investigator: dr Martha Łącka

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki