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

114 projects found matching your search criteria :

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

  2. A quest for new computer logics

    Call: OPUS 11 , Panel: ST6

    Principal investigator: dr hab. Emanuel Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

  5. Alien rule: Unveiling the mechanisms used by invasive ants to adapt to current and future environmental conditions

    Call: POLONEZ BIS 1 , Panel: NZ8

    Principal investigator: dr Iago Sanmartín-Villar

    Muzeum i Instytut Zoologii Polskiej Akademii Nauk

  6. The Dawning of Neighbourhoods. Absolute chronology of the settlement complexat Czermno-Cherven' and the emergence of the...

    Call: OPUS 22 , Panel: HS3

    Principal investigator: dr hab. Marcin Wołoszyn

    Uniwersytet Rzeszowski

  7. Complexity and describability in Analysis: from freeness to polishness

    Call: SONATA BIS 13 , Panel: ST1

    Principal investigator: dr hab. Tomasz Kania

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  8. Decision Problems for Logics with Weak Forms of Recursion

    Call: PRELUDIUM 23 , Panel: ST6

    Principal investigator: Bartosz Bednarczyk

    Uniwersytet Wrocławski

  9. DATALOG in Constraint Satisfaction Problem

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Marcin Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  10. Deductive systems and decidability problem for hybrid logics

    Call: PRELUDIUM 1 , Panel: HS1

    Principal investigator: dr Michał Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  11. Around Modal Logics - Decidability and Complexity

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  12. Studies on the application of the olfactory ensheathing cells in the treatment of complete spinal cord injuries in human...

    Call: HARMONIA 3 , Panel: NZ4

    Principal investigator: dr Wojciech Fortuna

    Uniwersytet Medyczny im. Piastów Śląskich we Wrocławiu, Wydział Lekarski Kształcenia Podyplomowego

  13. parameters of finite models

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  14. Discrete optimization problems under uncertainty - models and algorithms

    Call: OPUS 13 , Panel: ST6

    Principal investigator: prof. Paweł Zieliński

    Politechnika Wrocławska

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

  16. The impact of complete spinal cord transection and BDNF overexpression on the subunit composition and phosphorylation st...

    Call: PRELUDIUM 16 , Panel: NZ4

    Principal investigator: Benjun Ji

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

  17. Combinatorial and information theory aspects of communication in distributed systems.

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: dr Marcin Kardas

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

  18. Morphisms and diagonals of Mori Dream Spaces, phylogenetics, and applications of Cox rings

    Call: SONATA 6 , Panel: ST1

    Principal investigator: dr hab. Jarosław Buczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  19. Energy-Aware and Computationally-Intelligent Cooperative Wireless Networks: EcoNets

    Call: OPUS 6 , Panel: ST7

    Principal investigator: prof. Hanna Bogucka

    Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji

  20. THE IMPACT OF THE EUROZONE ON THE COMPLEXITY OF EXPORTED GOODS

    Call: PRELUDIUM 7 , Panel: HS4

    Principal investigator: Tomasz Serwach

    Uniwersytet Łódzki, Wydział Ekonomiczno-Socjologiczny

  21. Dissecting the clinical complexity of 22q11 Deletion Syndrome by deep phenotyping and functional genomics.

    Call: OPUS 19 , Panel: NZ5

    Principal investigator: dr hab. Beata Anna Nowakowska

    Instytut Matki i Dziecka

  22. Molecular and ultrastructural changes in neuromuscular junction after complete spinal cord transection and spinal BDNF o...

    Call: PRELUDIUM 19 , Panel: NZ4

    Principal investigator: Anna Ida Głowacka

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

  23. Algebraic techniques for parallelising algorithms

    Call: OPUS 17 , Panel: ST6

    Principal investigator: dr Przemysław Konstanty Uznański

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  24. Impact of input data alteration and modification of the algorithm parameters on the efficiency of quantum programs

    Call: OPUS 17 , Panel: ST6

    Principal investigator: dr hab. Jarosław Adam Miszczak

    Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

  25. Finite automata: selected problems and applications connecting different areas

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  26. Biodiversity in the gradient of habitat complexity: the role of tree microhabitats

    Call: PRELUDIUM 20 , Panel: NZ9

    Principal investigator: Fabian Przepióra

    Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie, Wydział Leśny

  27. Generalizations of the graph coloring problem in graphs with forbidden structures

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Karolina Okrasa

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

  28. Constraint Satisfaction Problems: beyond the finite case

    Call: WEAVE-UNISONO , Panel: ST6

    Principal investigator: dr hab. Marcin Kozik

    Uniwersytet Jagielloński

  29. In search of the neural signature of a native and a second language. Using fMRI to investigate a relationship between a ...

    Call: PRELUDIUM 21 , Panel: HS6

    Principal investigator: Agata Jadwiga Wolna

    Uniwersytet Jagielloński, Wydział Filozoficzny

  30. Hybridizing Fragments of Halpern-Shoham Logic

    Call: PRELUDIUM 12 , Panel: HS1

    Principal investigator: Przemysław Wałęga

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  31. Robust optimization algorithms for problems with uncertain data

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Maciej Drwal

    Politechnika Wrocławska

  32. Around optimality of dynamic programming algorithms

    Call: PRELUDIUM 14 , Panel: ST6

    Principal investigator: dr Adam Polak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  33. Infinity in reasoning about data and knowledge

    Call: SONATA BIS 8 , Panel: ST6

    Principal investigator: dr hab. Filip Murlak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  34. Biodiversity as the source of heterospecific social information: the effect on territory selection, song complexity and ...

    Call: PRELUDIUM 17 , Panel: NZ8

    Principal investigator: dr Sylwia Pustkowiak

    Instytut Ochrony Przyrody Polskiej Akademii Nauk

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

  36. Tight Lower Bounds Under Strong Complexity Assumptions

    Call: PRELUDIUM 9 , Panel: ST6

    Principal investigator: Arkadiusz Socała

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  37. Lévy processes with completely monotone jumps

    Call: OPUS 10 , Panel: ST1

    Principal investigator: dr hab. Mateusz Kwaśnicki

    Politechnika Wrocławska, Wydział Matematyki

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

  39. Entropy-based measures of statistical complexity and unpredictability of strategies in economic games

    Call: SONATA 11 , Panel: HS4

    Principal investigator: dr Fryderyk Falniowski

    Uniwersytet Ekonomiczny w Krakowie, Kolegium Ekonomii, Finansów i Prawa

  40. Continuous problems: optimality, complexity, tractability

    Call: OPUS 5 , Panel: ST1

    Principal investigator: prof. Leszek Plaskota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  41. Fibrin clot properties in patients with complete or partial respiratory failure during qualification and after 3 months ...

    Call: PRELUDIUM BIS 5 , Panel: NZ5

    Principal investigator: dr hab. Michał Ząbczyk

    Uniwersytet Jagielloński, Collegium Medicum

  42. Efficient algorithms for NP-hard problems on planar graphs

    Call: SONATA 19 , Panel: ST6

    Principal investigator: dr Michał Włodarczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  43. Development of technology for producing emulsions stabilized using biosurfactants dissolved in the oil phase. Increasing...

    Call: OPUS 27 , Panel: ST8

    Principal investigator: dr hab. Marcel Krzan

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

  44. A century of translation for children and young readers in Poland - the translators' and publishers' strategies. Based u...

    Call: OPUS 3 , Panel: HS2

    Principal investigator: dr Natalia Paprocka

    Uniwersytet Wrocławski, Wydział Filologiczny

  45. Hierarchy-type Problems for Automata on Infinite Words and Trees

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Michał Skrzypczak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  46. The role of automatic and reflective emotions in heuristic and systematic processing on different levels of complexity

    Call: SONATA 4 , Panel: HS6

    Principal investigator: dr Kamil Imbir

    Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej, Wydział Stosowanych Nauk Społecznych

  47. Current trends in parameterized and exponential-time algorithms

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Łukasz Kowalik

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  48. Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition

    Call: OPUS 6 , Panel: HS1

    Principal investigator: dr hab. Marcin Mostowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

  49. Complexity of algorithms on compressed data

    Call: OPUS 7 , Panel: ST6

    Principal investigator: prof. Wojciech Rytter

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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