Projects funded by the NCN

Theorizing the Mind: A Cognitive Metascience Approach

Call: OPUS 29 , Panel: HS1

Principal investigator: dr hab. Marcin Tomasz Miłkowski

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Role of splicing dynamics in specification of the Caenorhabditis elegans germline

Call: SONATA 20 , Panel: NZ3

Principal investigator: dr Vladyslava Liudkovska

Międzynarodowy Instytut Mechanizmów i Maszyn Molekularnych Polskiej Akademii Nauk

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 PAN

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 Magdalena Kusz-Zamelczyk

Instytut Genetyki Człowieka PAN

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 Maria Jaruzelska

Instytut Genetyki Człowieka PAN

Set theoretic methods in dynamics and number theory

Call: SONATA BIS 9 , Panel: ST1

Principal investigator: dr hab. William Andrew Mance

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

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

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

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

Specification development and software verification

Call: OPUS 6 , Panel: ST6

Principal investigator: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Call: PRELUDIUM 5 , Panel: NZ3

Principal investigator: Nikola Sylwia Brożko

Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

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

Call: PRELUDIUM 1 , Panel: ST7

Principal investigator: Tomasz Michał Kornuta

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Design and specification of multi-robot control systems

Call: PRELUDIUM 1 , Panel: ST7

Principal investigator: Piotr Trojanek

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych