Projects funded by the NCN

Changes in the structural complexity of Golgi apparatus upon neuronal activation.

Call: OPUS 15 , Panel: NZ4

Principal investigator: dr hab. Joanna Dzwonek

Instytut Biologii Doświadczalnej im. M. Nenckiego Polskiej Akademii Nauk

Deductive systems and decidability problem for hybrid logics

Call: PRELUDIUM 1 , Panel: HS1

Principal investigator: dr Michał Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Advanced humanistic management as a research field on the massive technosocial phenmena

Call: OPUS 15 , Panel: HS1

Principal investigator: dr hab. Rafał Maciąg

Uniwersytet Jagielloński, Wydział Zarządzania i Komunikacji Społecznej

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

Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy

Call: OPUS 14 , Panel: ST1

Principal investigator: dr hab. Leszek Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Combined ab initio complete-active-space and on-top-pair-density-mediated density-functional approach for efficient calc...

Call: OPUS 14 , Panel: ST4

Principal investigator: dr hab. Oleg Gritsenko

Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej

Around optimality of dynamic programming algorithms

Call: PRELUDIUM 14 , Panel: ST6

Principal investigator: dr Adam Polak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Robust optimization algorithms for problems with uncertain data

Call: SONATA 13 , Panel: ST6

Principal investigator: dr Maciej Drwal

Politechnika Wrocławska

Distributed deductive systems for classical and non-classical logics. Proof theory supported with computational methods

Call: SONATA BIS 7 , Panel: HS1

Principal investigator: dr hab. Dorota Leszczyńska-Jasion

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

Discrete optimization problems under uncertainty - models and algorithms

Call: OPUS 13 , Panel: ST6

Principal investigator: prof. Paweł Zieliński

Politechnika Wrocławska

Complexity and fidelity susceptibility in holography

Call: SONATINA 1 , Panel: ST2

Principal investigator: dr Mario Flory

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

The impact of locomotor training and electrical stimulation of the tibial nerve on organization of perineuronal nets sur...

Call: PRELUDIUM 12 , Panel: NZ4

Principal investigator: Kamil Grycz

Instytut Biologii Doświadczalnej im. M. Nenckiego Polskiej Akademii Nauk

One Step From the Relational Model. A Couple of Database Theory Puzzles.

Call: OPUS 12 , Panel: ST6

Principal investigator: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Hybridizing Fragments of Halpern-Shoham Logic

Call: PRELUDIUM 12 , Panel: HS1

Principal investigator: Przemysław Wałęga

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Scheduling in data gathering networks

Call: SONATA 12 , Panel: ST6

Principal investigator: dr Joanna Berlińska

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

Graph separation problems from the perspective of parameterized complexity.

Call: PRELUDIUM 10 , Panel: ST6

Principal investigator: Paweł Komosa

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

INVARIANTS AND METHODS OF APPLIED TOPOLOGY

Call: OPUS 10 , Panel: ST1

Principal investigator: prof. Wacław Marzantowicz

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

Algorithmic Structure Theory for Sparse Graphs

Call: POLONEZ 1 , Panel: ST6

Principal investigator: Dipl. Inform. Sebastian Siebertz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Cyclotriphophazene systems functionalized with (S)-proline derivatives, their synthesis and investigation of complexing ...

Call: PRELUDIUM 10 , Panel: ST5

Principal investigator: dr Natalia Gutowska

Uniwersytet Łódzki, Wydział Chemii

Lévy processes with completely monotone jumps

Call: OPUS 10 , Panel: ST1

Principal investigator: dr hab. Mateusz Kwaśnicki

Politechnika Wrocławska, Wydział Matematyki

Dimension and representations of partially ordered sets: computational complexity, bounds and structural properties

Call: SONATA BIS 5 , Panel: ST6

Principal investigator: dr Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Acquisition of language complexity in foreign language teaching and learning

Call: HARMONIA 7 , Panel: HS2

Principal investigator: prof. Urszula Paprocka-Piotrowska

Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Nauk Humanistycznych

Algorithmic aspects of synchronization

Call: OPUS 9 , Panel: ST6

Principal investigator: dr Adam Roman

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Tight Lower Bounds Under Strong Complexity Assumptions

Call: PRELUDIUM 9 , Panel: ST6

Principal investigator: Arkadiusz Socała

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Searching graph structures

Call: OPUS 9 , Panel: ST6

Principal investigator: dr hab. Dariusz Dereniowski

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

Application of modern algorithmic methods for solving NP-hard clustering problems.

Call: PRELUDIUM 9 , Panel: ST6

Principal investigator: Krzysztof Sornat

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Constraint Satisfaction Problems and Quantified Constraint Satisfaction Problems in the context of Temporal Reasoning.

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Michał Wrona

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki