Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

74 projects found matching your search criteria :

  1. 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

  2. Deductive systems and decidability problem for hybrid logics

    Call: PRELUDIUM 1 , Panel: HS1

    Principal investigator: dr Michał Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  3. 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

  4. 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

  5. Around optimality of dynamic programming algorithms

    Call: PRELUDIUM 14 , Panel: ST6

    Principal investigator: dr Adam Polak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  6. Robust optimization algorithms for problems with uncertain data

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Maciej Drwal

    Politechnika Wrocławska

  7. 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

  8. Discrete optimization problems under uncertainty - models and algorithms

    Call: OPUS 13 , Panel: ST6

    Principal investigator: prof. Paweł Zieliński

    Politechnika Wrocławska

  9. 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

  10. 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

  11. 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

  12. Hybridizing Fragments of Halpern-Shoham Logic

    Call: PRELUDIUM 12 , Panel: HS1

    Principal investigator: Przemysław Wałęga

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  13. 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

  14. 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

  15. 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

  16. Algorithmic Structure Theory for Sparse Graphs

    Call: POLONEZ 1 , Panel: ST6

    Principal investigator: Dipl. Inform. Sebastian Siebertz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  17. 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

  18. Lévy processes with completely monotone jumps

    Call: OPUS 10 , Panel: ST1

    Principal investigator: dr hab. Mateusz Kwaśnicki

    Politechnika Wrocławska, Wydział Matematyki

  19. 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

  20. 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

  21. Algorithmic aspects of synchronization

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr Adam Roman

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  22. Tight Lower Bounds Under Strong Complexity Assumptions

    Call: PRELUDIUM 9 , Panel: ST6

    Principal investigator: Arkadiusz Socała

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  23. Searching graph structures

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr hab. Dariusz Dereniowski

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

  24. 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