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

135 projects found matching your search criteria :

  1. Satsifiability and equivalence problems for finite algebras

    Call: OPUS 23 , Panel: ST6

    Principal investigator: dr Jacek Krzaczkowski

    Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki

  2. The graph homomorphism problem in structurally restricted classes

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Marta Piecyk

    Politechnika Warszawska

  3. Representation of dynamic 3D scenes using the Atomic Shapes Network model

    Call: SONATA 2 , Panel: ST6

    Principal investigator: dr Przemysław Głomb

    INSTYTUT INFORMATYKI TEORETYCZNEJ I STOSOWANEJ PAN

  4. First Order Logic and Beyond. Some Puzzles in Database Theory.

    Call: OPUS 23 , Panel: ST6

    Principal investigator: prof. Jerzy Marcinkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  5. Quantum State: Information, Free Choice, Randomness

    Call: OPUS 23 , Panel: HS1

    Principal investigator: prof. Tomasz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny

  6. Quantum effects in many-body light-matter non-equilibrium systems

    Call: POLONEZ BIS 1 , Panel: ST2

    Principal investigator: dr Tomasz Wasak

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

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

  8. Application of quantum information methods to signaling games

    Call: PRELUDIUM 2 , Panel: ST1

    Principal investigator: dr Piotr Frąckiewicz

    Instytut Matematyczny PAN

  9. Holographic connections between quantum fields, information, and gravity

    Call: SONATA BIS 11 , Panel: ST2

    Principal investigator: dr Mario Flory

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

  10. The information-entropy origins of chemical aromaticity: theory and applications

    Call: SONATA BIS 11 , Panel: ST4

    Principal investigator: dr Dariusz Szczepanik

    Uniwersytet Jagielloński, Wydział Chemii

  11. A step towards practical teleportation protocols that do not require correction.

    Call: PRELUDIUM 20 , Panel: ST2

    Principal investigator: Piotr Kopszak

    Uniwersytet Wrocławski, Wydział Fizyki i Astronomii

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

  13. Quantum open systems and thermodynamical resource theory

    Call: OPUS 21 , Panel: ST2

    Principal investigator: prof. Michał Horodecki

    Uniwersytet Gdański, Międzynarodowe Centrum Teorii Technologii Kwantowych

  14. New approximations in the theory of open quantum system - testing the performance of the regularized cumulant equations

    Call: PRELUDIUM 20 , Panel: ST2

    Principal investigator: Marek Winczewski

    Uniwersytet Gdański, Międzynarodowe Centrum Teorii Technologii Kwantowych

  15. New concept of the network of smart cameras with enchanced autonomy for automatic surveillance system.

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Michał Fularz

    Politechnika Poznańska, Wydział Elektryczny

  16. Modular circuits - algorithms and lower bounds

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Piotr Kawałek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  17. Self-testing from the perspective of nonclassicality.

    Call: PRELUDIUM 20 , Panel: ST2

    Principal investigator: Beata Zjawin

    Uniwersytet Gdański, Międzynarodowe Centrum Teorii Technologii Kwantowych

  18. Computational aspects of infinite-duration games

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  19. Leveraging Randomization: From Scheduling to AdWords

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Łukasz Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  20. Automatic generation of user's manual for web applications

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Bartosz Alchimowicz

    Politechnika Poznańska, Wydział Informatyki

  21. Towards Estimation of Information Content for Graph Structures

    Call: SONATA 16 , Panel: ST6

    Principal investigator: dr Krzysztof Turowski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  22. Symmetries and entanglement in quantum circuits

    Call: SONATA 16 , Panel: ST2

    Principal investigator: dr Michał Studziński

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

  23. Spin-orbit coupling for the generation of non-trivial quantum correlations in ultra-cold atomic gases

    Call: DAINA 2 , Panel: ST2

    Principal investigator: dr hab. Emilia Witkowska

    Instytut Fizyki Polskiej Akademii Nauk

  24. Linguistic workshop for speech analysis and recognition

    Call: SONATA 2 , Panel: ST6

    Principal investigator: dr Bartosz Ziółko

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

  25. Efficient sets of gates and shallow quantum circuits

    Call: OPUS 19 , Panel: ST2

    Principal investigator: dr hab. Adam Sawicki

    Centrum Fizyki Teoretycznej Polskiej Akademii Nauk

  26. Non-equilibrium dynamics of quantum many-body systems near critical points.

    Call: ETIUDA 8 , Panel: ST3

    Principal investigator: Michał Białończyk

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

  27. Methods of development, modelling and analysis of quantum internetworking protocols

    Call: SONATA 2 , Panel: ST6

    Principal investigator: dr hab. Jarosław Miszczak

    Instytut Informatyki Teoretycznej i Stosowanej PAN

  28. Combinatorial optimization under uncertainty: matroids,matchings and submodular functions

    Call: SONATA 15 , Panel: ST6

    Principal investigator: dr Marek Adamczyk

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  29. Blockchain wallets -- cryptographic theory and applications

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Stefan Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  30. Fundamental aspects of the quantum set of correlations

    Call: SONATA 15 , Panel: ST2

    Principal investigator: dr Jędrzej Kaniewski

    Uniwersytet Warszawski, Wydział Fizyki

  31. Optimal generalized quantum measurements and their applications

    Call: PRELUDIUM BIS 1 , Panel: ST2

    Principal investigator: prof. Karol Życzkowski

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

  32. Characterization and certification of quantum resources

    Call: SONATA BIS 9 , Panel: ST2

    Principal investigator: dr hab. Remigiusz Augusiak

    Centrum Fizyki Teoretycznej Polskiej Akademii Nauk

  33. Colorings, cliques, and independent sets in graph classes

    Call: SONATA BIS 9 , Panel: ST6

    Principal investigator: dr hab. Bartosz Walczak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

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

  36. Abstract Machines for Programming Languages: Investigations in Formal Interderivations

    Call: OPUS 17 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  37. Quantum behavior of point defects and their complexes in III-V nitrides for nanophotonics and quantum information proces...

    Call: SONATINA 3 , Panel: ST3

    Principal investigator: dr Kamil Czelej

    Uniwersytet Warszawski, Wydział Fizyki

  38. Algebraic effects: composition and coinduction

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Maciej Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  39. Algorithmic models of prediction: formal properties and philosophical implications

    Call: OPUS 16 , Panel: HS1

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  40. Quantitative study of set theory. Are ZF and ZFC asymptotically equivalent?

    Call: OPUS 16 , Panel: ST6

    Principal investigator: prof. Marek Zaionc

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  41. Optimality program in graph homomorphism problems

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Paweł Rzążewski

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

  42. Infinity in reasoning about data and knowledge

    Call: SONATA BIS 8 , Panel: ST6

    Principal investigator: dr hab. Filip Murlak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  43. Information hidding and privacy in (mainly) distributed systems

    Call: OPUS 15 , Panel: ST6

    Principal investigator: prof. Marek Klonowski

    Politechnika Wrocławska

  44. Machine learning and automatic theorem proving

    Call: OPUS 15 , Panel: ST6

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  45. Deep Neural Architectures for Automated Theorem Proving

    Call: PRELUDIUM 15 , Panel: ST6

    Principal investigator: Bartosz Piotrowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  46. The usage of social network sites in local contexts. Comparative study.

    Call: PRELUDIUM 1 , Panel: HS3

    Principal investigator: dr Piotr Cichocki

    Uniwersytet Warszawski, Wydział Historyczny

  47. Zastosowanie algorytmiki w kontekście wybranych zagadnień społecznych i ekonomicznych.

    Call: ETIUDA 6 , Panel: ST6

    Principal investigator: Krzysztof Sornat

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  48. Programowanie dynamiczne z gwarancjami

    Call: ETIUDA 6 , Panel: ST6

    Principal investigator: Karol Węgrzycki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  49. Effective computations in predicative mathematics

    Call: SONATINA 2 , Panel: ST6

    Principal investigator: dr Michał Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  50. Studies of topological properties of strongly correlated electron systems regarding their application in quantum informa...

    Call: OPUS 1 , Panel: ST3

    Principal investigator: prof. Arkadiusz Wójs

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