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

248 projects found matching your search criteria :

  1. Classical problems in the theory of finite automata: new approaches, variants, and applications

    Call: OPUS 13 , Panel: ST6

    Principal investigator: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  2. Design of Distributed Algorithms in Highly Congested Networks

    Call: OPUS 13 , Panel: ST6

    Principal investigator: prof. Tomasz Jurdziński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  3. Multimodal biometric system for contactless persons identification

    Call: SONATA 1 , Panel: ST6

    Principal investigator: dr Wojciech Sankowski

    Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki

  4. Cognitive maps with imperfect information as a tool of automatic data understanding. Concepts, method and, applications.

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Władysław Homenda

    Instytut Badań Systemowych PAN

  5. Complexity and fidelity susceptibility in holography

    Call: SONATINA 1 , Panel: ST2

    Principal investigator: dr Mario Flory

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

  6. The concept of information in noncommutative spacetimes

    Call: SONATINA 1 , Panel: ST2

    Principal investigator: dr Michał Eckstein

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

  7. Quantum information processing with contextuality

    Call: PRELUDIUM 12 , Panel: ST2

    Principal investigator: Debashis Saha

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

  8. Algebraic Effects and Continuations

    Call: POLONEZ 3 , Panel: ST6

    Principal investigator: dr Maciej Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  9. Scalable reasoning about concurrent imperative programs

    Call: SONATA 12 , Panel: ST6

    Principal investigator: dr Filip Sieczkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  11. Spins Qubits in Artificial Molecules

    Call: BEETHOVEN 2 , Panel: ST3

    Principal investigator: prof. Paweł Machnikowski

    Politechnika Wrocławska

  12. Robust self-testing of quantum systems and device-independent uncertainty relations

    Call: POLONEZ 3 , Panel: ST2

    Principal investigator: dr Jędrzej Kaniewski

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

  13. Quantum information in domain of time (QuanTime)

    Call: PRELUDIUM 12 , Panel: ST2

    Principal investigator: Karolina Sędziak-Kacprowicz

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

  14. Entropy in complex networks

    Call: OPUS 12 , Panel: ST6

    Principal investigator: dr hab. Mikołaj Morzy

    Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

  15. Miniaturized Integrated Optical Devices for Experiments on light and plasmonic Quanta

    Call: SONATA 12 , Panel: ST2

    Principal investigator: dr Piotr Kolenderski

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

  16. Quantum correlations - from few to many particles

    Call: BEETHOVEN 2 , Panel: ST2

    Principal investigator: dr hab. Wiesław Laskowski

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

  17. Properties of generic quantum communication channels

    Call: SONATA BIS 6 , Panel: ST6

    Principal investigator: dr hab. Zbigniew Puchała

    Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

  18. Online learning algorithms for complex prediction problems

    Call: SONATA BIS 6 , Panel: ST6

    Principal investigator: dr Wojciech Kotłowski

    Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

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

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

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

  22. Limits of Databases

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr Szymon Toruńczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  23. Role of quantum coherence in quantum technology

    Call: POLONEZ 2 , Panel: ST2

    Principal investigator: dr Alexander Streltsov

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

  24. Separability problem in automata theory

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr Wojciech Czerwiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

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

  28. The topology of solution spaces of combinatorial problems

    Call: PRELUDIUM 11 , Panel: ST6

    Principal investigator: Marcin Wrochna

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  29. Approximation algorithms under data uncertainty

    Call: PRELUDIUM 11 , Panel: ST6

    Principal investigator: Michał Włodarczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  30. Algebraic invariants of Data Petri Nets.

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr Piotr Hofman

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  32. Perception Based Computing

    Call: SONATA 1 , Panel: ST6

    Principal investigator: dr Piotr Wasilewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

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

  36. Algorithmic Structure Theory for Sparse Graphs

    Call: POLONEZ 1 , Panel: ST6

    Principal investigator: Dipl. Inform. Sebastian Siebertz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  38. New electron correlation methods for heavy-element chemistry

    Call: SONATA BIS 5 , Panel: ST4

    Principal investigator: dr hab. Katharina Boguslawski

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

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

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

  41. Algorithmic aspects of synchronization

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr Adam Roman

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  42. Quantum information approach to selected aspects of foundations of physics

    Call: OPUS 9 , Panel: ST2

    Principal investigator: prof. Michał Horodecki

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

  43. Searching graph structures

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr hab. Dariusz Dereniowski

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

  44. Pseudoentropy.

    Call: PRELUDIUM 9 , Panel: ST6

    Principal investigator: Maciej Skórski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  46. Collision dynamics and quantum information processing with ultracold polar molecules in optical lattices

    Call: OPUS 9 , Panel: ST2

    Principal investigator: dr hab. Zbigniew Idziaszek

    Uniwersytet Warszawski, Wydział Fizyki

  47. Between quantum information and thermodynamics: on allowed thermodynamical quantum state-to-state transitions.

    Call: PRELUDIUM 9 , Panel: ST2

    Principal investigator: Piotr Ćwikliński

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

  48. Entropic uncertainty relations and quantum cryptography

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr hab. Zbigniew Puchała

    Instytut Informatyki Teoretycznej i Stosowanej PAN