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

235 projects found matching your search criteria :

  1. Quantitative properties for higher-order recursion schemes

    Call: SONATA BIS 6 , Panel: ST6

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  2. Modern Numerical Methodologies in Quantum Mechanics

    Call: HARMONIA 8 , Panel: ST1

    Principal investigator: dr Karolina Kropielnicka

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

  3. Levy processes and compact quantum groups- examples, properties, classifications

    Call: SONATA 11 , Panel: ST1

    Principal investigator: dr hab. Anna Wysoczańska-Kula

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  4. Symbolic computations on first-order definable objects

    Call: OPUS 11 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  6. Limits of Databases

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr Szymon Toruńczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  7. Stability of the Cauchy problem for Einstein equations: classical and quantum aspects.

    Call: OPUS 11 , Panel: ST1

    Principal investigator: prof. Jerzy Kijowski

    Centrum Fizyki Teoretycznej Polskiej Akademii Nauk

  8. Separability problem in automata theory

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr Wojciech Czerwiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

  11. Efficient parsing algorithms for free word order languages

    Call: PRELUDIUM 1 , Panel: ST6

    Principal investigator: Paweł Skórzewski

    Uniwersytet im. Adama Mickiewicza, Wydział Matematyki i Informatyki

  12. Efficient algorithms for weak forms of non-determinism

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr hab. Michał Skrzypczak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  13. Special geometric configurations in the state space and the extremal points of the entropy of quantum measurement

    Call: SONATA 11 , Panel: ST1

    Principal investigator: dr Anna Szymusiak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  14. The topology of solution spaces of combinatorial problems

    Call: PRELUDIUM 11 , Panel: ST6

    Principal investigator: Marcin Wrochna

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  15. Approximation algorithms under data uncertainty

    Call: PRELUDIUM 11 , Panel: ST6

    Principal investigator: Michał Włodarczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  16. Perception Based Computing

    Call: SONATA 1 , Panel: ST6

    Principal investigator: dr Piotr Wasilewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  17. Effective theories in many-body quantum mechanics

    Call: SONATA 11 , Panel: ST1

    Principal investigator: dr Marcin Napiórkowski

    Uniwersytet Warszawski, Wydział Fizyki

  18. Algebraic invariants of Data Petri Nets.

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr Piotr Hofman

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  19. Research on fusion of tensor and soft computing methods for pattern recognition.

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Bogusław Cyganek

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

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

  21. Positive maps in mathematical physics

    Call: OPUS 10 , Panel: ST1

    Principal investigator: prof. Dariusz Chruściński

    Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej

  22. Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa

    Call: SONATA 10 , Panel: ST6

    Principal investigator: dr Karol Pąk

    Uniwersytet w Białymstoku, Instytut Informatyki

  23. Algorithmic Structure Theory for Sparse Graphs

    Call: POLONEZ 1 , Panel: ST6

    Principal investigator: Dipl. Inform. Sebastian Siebertz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  25. Optimality, universality and controllability in quantum computation theory

    Call: SONATA BIS 5 , Panel: ST1

    Principal investigator: dr Adam Sawicki

    Centrum Fizyki Teoretycznej PAN

  26. Finding Applications for Logic with Partial Functions

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr hab. Jean de Nivelle

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  27. Immune and efficient protocols for distributed systems of constrained devices

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr hab. Marek Klonowski

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

  28. Algorithmic aspects of synchronization

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr Adam Roman

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  29. Searching graph structures

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr hab. Dariusz Dereniowski

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

  30. Pseudoentropy.

    Call: PRELUDIUM 9 , Panel: ST6

    Principal investigator: Maciej Skórski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  32. C*-algebras and their interactions with topological and quantum dynamics

    Call: SONATA 9 , Panel: ST1

    Principal investigator: dr Karen Strung

    Instytut Matematyczny PAN

  33. Entropic uncertainty relations and quantum cryptography

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr hab. Zbigniew Puchała

    Instytut Informatyki Teoretycznej i Stosowanej PAN

  34. Stoping methods in analysis of chosen algorithms

    Call: OPUS 9 , Panel: ST6

    Principal investigator: prof. Michał Morayne

    Politechnika Wrocławska

  35. Selected topics in the theory of locally compact quantum groups

    Call: OPUS 9 , Panel: ST1

    Principal investigator: dr hab. Piotr Sołtan

    Uniwersytet Warszawski, Wydział Fizyki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy