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

  2. Discrete optimization problems under uncertainty - models and algorithms

    Call: OPUS 13 , Panel: ST6

    Principal investigator: prof. Paweł Zieliński

    Politechnika Wrocławska

  3. New challanges for IBC

    Call: OPUS 13 , Panel: ST1

    Principal investigator: prof. Henryk Woźniakowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  4. Complexity and fidelity susceptibility in holography

    Call: SONATINA 1 , Panel: ST2

    Principal investigator: dr Mario Rainer Flory

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

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

  6. Complexity of Julia sets

    Call: POLONEZ 3 , Panel: ST1

    Principal investigator: dr Artem Dudko

    Instytut Matematyczny Polskiej Akademii Nauk

  7. Hybridizing Fragments of Halpern-Shoham Logic

    Call: PRELUDIUM 12 , Panel: HS1

    Principal investigator: Przemysław Andrzej Wałęga

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

  9. Algorithmic and Axiomatic Analysis of Committee Scoring Rules

    Call: OPUS 11 , Panel: ST6

    Principal investigator: dr hab. Piotr Faliszewski

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

  10. A quest for new computer logics

    Call: OPUS 11 , Panel: ST6

    Principal investigator: dr hab. Emanuel Grzegorz Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  12. Quantitative aspects of computational complexity in lambda calculus

    Call: PRELUDIUM 11 , Panel: ST6

    Principal investigator: dr Maciej Maria Bendkowski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

  14. INVARIANTS AND METHODS OF APPLIED TOPOLOGY

    Call: OPUS 10 , Panel: ST1

    Principal investigator: prof. Wacław Bolesław Marzantowicz

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

  15. Algorithmic Structure Theory for Sparse Graphs

    Call: POLONEZ 1 , Panel: ST6

    Principal investigator: Dipl. Inform. Sebastian Siebertz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

  18. Algorithmic aspects of synchronization

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr Adam Roman

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  19. Tight Lower Bounds Under Strong Complexity Assumptions

    Call: PRELUDIUM 9 , Panel: ST6

    Principal investigator: Arkadiusz Aleksander Socała

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  20. Searching graph structures

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr hab. Dariusz Piotr Dereniowski

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

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

  22. Topological invariants and measures of complexity in action

    Call: OPUS 8 , Panel: ST1

    Principal investigator: dr hab. Grzegorz Piotr Graff

    Politechnika Gdańska, Wydział Fizyki Technicznej i Matematyki Stosowanej

  23. Quantum information processing with severely limited memory and communication

    Call: SONATA BIS 4 , Panel: ST2

    Principal investigator: dr hab. Marcin Pawłowski

    Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

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

  25. Algebraic theory for CSP (tractability, approximation and optimization)

    Call: OPUS 7 , Panel: ST6

    Principal investigator: dr hab. Marcin Andrzej Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  26. Complexity of algorithms on compressed data

    Call: OPUS 7 , Panel: ST6

    Principal investigator: prof. Wojciech Rytter

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  28. Optimality in parameterized complexity

    Call: SONATA 6 , Panel: ST6

    Principal investigator: dr Michał Paweł Pilipczuk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

  31. Large Scale Geometry

    Call: SONATA BIS 3 , Panel: ST1

    Principal investigator: dr Piotr Wojciech Nowak

    Instytut Matematyczny Polskiej Akademii Nauk

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

  33. Frontiers of tractability for recursive queries

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  34. Algorithms for robust discrete optimization

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Adam Andrzej Kasperski

    Politechnika Wrocławska, Wydział Informatyki i Zarządzania

  35. Automatic reasoning about specifications in simple logics - decidability and complexity issues

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski

  36. Continuous problems: optimality, complexity, tractability

    Call: OPUS 5 , Panel: ST1

    Principal investigator: prof. Leszek Plaskota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  38. Computational complexity of some connectivity problems

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr hab. Marcin Jakub Kamiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  39. parameters of finite models

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  40. Tractability of non-homogenous multivariate problems

    Call: PRELUDIUM 4 , Panel: ST1

    Principal investigator: dr Paweł Siedlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  41. 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 Konrad Imbir

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

  42. Algorithmic Aspects of Elections within Parliaments

    Call: HARMONIA 3 , Panel: ST1

    Principal investigator: dr hab. Piotr Faliszewski

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

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

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Michał Paweł Skrzypczak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  44. Complex models in scheduling problems and methods of their solution

    Call: OPUS 2 , Panel: ST6

    Principal investigator: prof. Adam Antoni Janiak

    Instytut Badań Systemowych PAN

  45. Analysis of the 1310 nm wavelength domain capability to support the low-complexity and high capacity transmission

    Call: SONATA 2 , Panel: ST7

    Principal investigator: dr hab. Jarosław Piotr Turkiewicz

    Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

  46. Around Modal Logics - Decidability and Complexity

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  47. Development of graph-theoretical methods of discrete optimization in technological and biological applications

    Call: MAESTRO 1 , Panel: ST6

    Principal investigator: prof. Marek Kubale

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

  48. Deductive systems and decidability problem for hybrid logics

    Call: PRELUDIUM 1 , Panel: HS1

    Principal investigator: dr Michał Ksawery Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

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

  50. DATALOG in Constraint Satisfaction Problem

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Marcin Andrzej Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy