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

36 projects found matching your search criteria :

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

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

    Call: OPUS 7 , Panel: ST6

    Principal investigator: dr hab. Marcin Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

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

  5. Algorithms for robust discrete optimization

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Adam Kasperski

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

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

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Lidia Tendera

    Uniwersytet Opolski

  7. Computational complexity of some connectivity problems

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr hab. Marcin Kamiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  8. Tractability of non-homogenous multivariate problems

    Call: PRELUDIUM 4 , Panel: ST1

    Principal investigator: dr Paweł Siedlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  10. Does overexpression of cell adhesion molecule L1 in rats with complete spinal cord transection influences the expression...

    Call: PRELUDIUM 3 , Panel: NZ4

    Principal investigator: dr Rafał Płatek

    Instytut Biologii Doświadczalnej im. M. Nenckiego PAN

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

    Call: OPUS 2 , Panel: ST6

    Principal investigator: prof. Adam Janiak

    Instytut Badań Systemowych PAN

  12. Counting models in formal verification

    Call: SONATA BIS 12 , Panel: ST6

    Principal investigator: dr Filip Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  13. The graph homomorphism problem in structurally restricted classes

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Marta Piecyk

    Politechnika Warszawska

  14. Methods for the similarity analysis of low complexity regions in proteins

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Patryk Jarnot

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

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

    Call: OPUS 19 , Panel: ST6

    Principal investigator: dr Michał Wrona

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

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

    Call: SONATA BIS 9 , Panel: ST2

    Principal investigator: dr Paweł Caputa

    Uniwersytet Warszawski, Wydział Fizyki

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

    Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

  19. Algebraic techniques for parallelising algorithms

    Call: OPUS 17 , Panel: ST6

    Principal investigator: dr Przemysław Uznański

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  20. DATALOG in Constraint Satisfaction Problem

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Marcin Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  21. Graph modeling of search processes

    Call: OPUS 16 , Panel: ST6

    Principal investigator: dr hab. Dariusz Dereniowski

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

  22. Optimality program in graph homomorphism problems

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Paweł Rzążewski

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

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

  24. Deductive systems and decidability problem for hybrid logics

    Call: PRELUDIUM 1 , Panel: HS1

    Principal investigator: dr Michał Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  25. Around optimality of dynamic programming algorithms

    Call: PRELUDIUM 14 , Panel: ST6

    Principal investigator: dr Adam Polak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  26. Robust optimization algorithms for problems with uncertain data

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Maciej Drwal

    Politechnika Wrocławska

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

  28. Discrete optimization problems under uncertainty - models and algorithms

    Call: OPUS 13 , Panel: ST6

    Principal investigator: prof. Paweł Zieliński

    Politechnika Wrocławska

  29. Complexity of Julia sets

    Call: POLONEZ 3 , Panel: ST1

    Principal investigator: dr Artem Dudko

    Instytut Matematyczny Polskiej Akademii Nauk

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

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

  33. Quantitative aspects of computational complexity in lambda calculus

    Call: PRELUDIUM 11 , Panel: ST6

    Principal investigator: dr Maciej Bendkowski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

  35. Searching graph structures

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr hab. Dariusz Dereniowski

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

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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy