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

100 projects found matching your search criteria :

  1. From Games to Algorithms: Exploring Reasoning in Description Logics

    Call: OPUS 29 , Panel: ST6

    Principal investigator: dr hab. Barbara Morawska

    Uniwersytet Opolski

  2. Everything I know: a syntactical approach to only-knowing

    Call: OPUS 29 , Panel: ST6

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski

  3. Polishability of analytic equivalence relations and generalized Scott analysis

    Call: PRELUDIUM 24 , Panel: ST1

    Principal investigator: Mateusz Lichman

    Politechnika Łódzka

  4. From simplicity to complexity – Generation of a dynamic network of multicatalytic processes controlled by Pd/Ru catalyst...

    Call: SONATINA 9 , Panel: ST5

    Principal investigator: Gracjan Piotr Kurpik

    Fundacja Uniwersytetu im. Adama Mickiewicza

  5. Structural complexity measures for foundational theories

    Call: WEAVE-UNISONO , Panel: HS1

    Principal investigator: dr Mateusz Zbigniew Łełyk

    Uniwersytet Warszawski

  6. Analysis of quantitative models of computation

    Call: SONATA BIS 14 , Panel: ST6

    Principal investigator: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

  7. Decision Problems for Logics with Weak Forms of Recursion

    Call: PRELUDIUM 23 , Panel: ST6

    Principal investigator: Bartosz Jan Bednarczyk

    Uniwersytet Wrocławski

  8. Borel complexity of ideals on countable sets and sets of limit points

    Call: OPUS 27 , Panel: ST1

    Principal investigator: dr hab. Adam Marek Kwela

    Uniwersytet Gdański

  9. Resilience of new multinational corporations: Strategies of Polish enterprises in times of volatility, uncertainty, comp...

    Call: OPUS 27 , Panel: HS4

    Principal investigator: dr hab. Piotr Wójcik

    Akademia Leona Koźmińskiego

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

  11. Impact of Composition and Cooling Rate on Mechanical Properties of High Entropy Metallic Glasses

    Call: SONATA BIS 13 , Panel: ST3

    Principal investigator: dr Silvia Bonfanti

    Narodowe Centrum Badań Jądrowych

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

    Call: SONATA BIS 13 , Panel: ST1

    Principal investigator: dr hab. Tomasz Marcin Kania

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  13. NovEl laser Sources by exploiTing nonlinEar compLexity in opticaL fibErs (ESTELLE).

    Call: OPUS 25 , Panel: ST7

    Principal investigator: dr Katarzyna Krupa

    Instytut Chemii Fizycznej Polskiej Akademii Nauk

  14. Automation of the Problem of Unification in Description Logics

    Call: POLONEZ BIS 3 , Panel: ST6

    Principal investigator: dr hab. Barbara Joanna Morawska

    Uniwersytet Opolski, Instytut Informatyki

  15. Dynamical systems and descriptive complexity

    Call: SONATA 18 , Panel: ST1

    Principal investigator: dr Felipe García-Ramos Aguilar

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  16. Counting models in formal verification

    Call: SONATA BIS 12 , Panel: ST6

    Principal investigator: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  17. Forbidding subdivisions and line graphs towards faster algorithms

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Jana Masaříková

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  18. The graph homomorphism problem in structurally restricted classes

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Marta Piecyk

    Politechnika Warszawska

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

  20. Topological robotics: topological complexity of K(G,1) spaces and effective topological complexity

    Call: PRELUDIUM 21 , Panel: ST1

    Principal investigator: Arturo Espinosa Baro

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

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

  22. Fair Problems and Diverse Solutions in Parameterized Complexity

    Call: SONATA 17 , Panel: ST6

    Principal investigator: dr Tomáš Masařík

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  23. Constraint Satisfaction Problems: beyond the finite case

    Call: WEAVE-UNISONO , Panel: ST6

    Principal investigator: dr hab. Marcin Andrzej Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  24. The keystone structure concept: multilevel significance of bird nests as the proof of the existence of critical ecosyste...

    Call: OPUS 21 , Panel: NZ8

    Principal investigator: dr hab. Michał Adam Ciach

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

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

  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. Methods for the similarity analysis of low complexity regions in proteins

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: dr Patryk Paweł Jarnot

    Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

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

  29. Promoting Order at The Edge od Turbulence (POET)

    Call: Profesura Gościnna NAWA 2020 , Panel: HS5

    Principal investigator: prof. Emilian Kavalski

    Uniwersytet Jagielloński

  30. LCRPlatform: new algorithms and methods for the comprehensive identification, categorization, and annotation of protein ...

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr hab. Marcin Maciej Grynberg

    Instytut Biochemii i Biofizyki PAN

  31. Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms

    Call: OPUS 19 , Panel: ST6

    Principal investigator: dr hab. Michał Maria Wrona

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

  33. Dynamical complexity and pseudometrics

    Call: POLS , Panel: ST1

    Principal investigator: dr Maik Gröger

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  34. Unravelling the complexity of human-wildlife conflicts: natural and anthropogenic drivers of brown bear damage occurrenc...

    Call: ETIUDA 8 , Panel: NZ8

    Principal investigator: Carlos Leopoldo Bautista Leon

    Instytut Ochrony Przyrody PAN

  35. Cantor dynamical systems and their classification

    Call: SONATA 15 , Panel: ST1

    Principal investigator: dr Olena Karpel

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Matematyki Stosowanej

  36. Quantum Information in Quantum Field Theories and Holography: Dynamics and Complexity.

    Call: SONATA BIS 9 , Panel: ST2

    Principal investigator: dr hab. Paweł Piotr Caputa

    Uniwersytet Warszawski, Wydział Fizyki

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

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

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

  40. Graph modeling of search processes

    Call: OPUS 16 , Panel: ST6

    Principal investigator: dr hab. Dariusz Piotr Dereniowski

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

  41. Doubly knotted proteins - frontiers of topological complexity of proteins

    Call: OPUS 16 , Panel: NZ1

    Principal investigator: dr hab. Joanna Ida Sułkowska

    Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

  42. Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

    Call: OPUS 16 , Panel: ST6

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski, Wydział Nauk Społecznych, Wydział Matematyki, Fizyki i Informatyki

  43. Optimality program in graph homomorphism problems

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Paweł Rzążewski

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

  44. Infinity in reasoning about data and knowledge

    Call: SONATA BIS 8 , Panel: ST6

    Principal investigator: dr hab. Filip Marek Murlak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

    Call: OPUS 15 , Panel: NZ4

    Principal investigator: dr hab. Joanna Małgorzata Dzwonek

    Instytut Biologii Doświadczalnej im. M. Nenckiego PAN

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

    Call: OPUS 15 , Panel: HS1

    Principal investigator: dr hab. Rafał Jan Maciąg

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

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

  48. 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 Aleksander Kołodziejczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  49. Around optimality of dynamic programming algorithms

    Call: PRELUDIUM 14 , Panel: ST6

    Principal investigator: dr Adam Polak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  50. Robust optimization algorithms for problems with uncertain data

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Maciej Drwal

    Politechnika Wrocławska