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

141 projects found matching your search criteria :

  1. Dynamic graphs; connectivity, flows and coloring.

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Anna Zych-Pawlewicz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  2. Robust optimization algorithms for problems with uncertain data

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Maciej Drwal

    Politechnika Wrocławska

  3. Around optimality of dynamic programming algorithms

    Call: PRELUDIUM 14 , Panel: ST6

    Principal investigator: dr Adam Polak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  4. Programowanie dynamiczne z gwarancjami

    Call: ETIUDA 6 , Panel: ST6

    Principal investigator: Karol Węgrzycki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

  7. Compression, logic, formal langauges: new approaches unifying different areas.

    Call: OPUS 8 , Panel: ST6

    Principal investigator: dr hab. Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  8. Development of Models and Methods for Incorporating Knowledge to Support Vector Machines

    Call: SONATA 9 , Panel: ST6

    Principal investigator: dr Marcin Orchel

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

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

  10. The topology of solution spaces of combinatorial problems

    Call: PRELUDIUM 11 , Panel: ST6

    Principal investigator: Marcin Wrochna

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  11. Online learning of matrices

    Call: SONATA 6 , Panel: ST6

    Principal investigator: dr Wojciech Kotłowski

    Politechnika Poznańska, Wydział Informatyki

  12. New fundamental bounds on correlations of a strictly quantum nature. Various definitions of quantumness and their mutual...

    Call: HARMONIA 6 , Panel: ST2

    Principal investigator: dr hab. Wiesław Laskowski

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

  13. Three-dimensional Rydberg polaritonics in the quantum regime

    Call: OPUS 27 , Panel: ST2

    Principal investigator: dr hab. Michał Parniak-Niedojadło

    Uniwersytet Warszawski

  14. Synthesis via active learning: theory and applications

    Call: OPUS 27 , Panel: ST6

    Principal investigator: dr hab. Jan Otop

    Uniwersytet Wrocławski

  15. Advancing Petri Net Theory: Deeper understanding to Classical Problems and Integration into Workflow Applications

    Call: OPUS 27 , Panel: ST6

    Principal investigator: dr Piotr Hofman

    Uniwersytet Warszawski

  16. Quantum games: theory and implementation

    Call: OPUS 1 , Panel: ST6

    Principal investigator: prof. Jan Sładkowski

    Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii

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

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

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Bartosz Alchimowicz

    Politechnika Poznańska, Wydział Informatyki

  19. Application of quantum information methods to signaling games

    Call: PRELUDIUM 2 , Panel: ST1

    Principal investigator: dr Piotr Frąckiewicz

    Instytut Matematyczny PAN

  20. Distributed Computing in Dynamic Networks

    Call: HARMONIA 3 , Panel: ST6

    Principal investigator: dr hab. Tomasz Jurdziński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  21. Limits of decidability in automata theory

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  22. Automatisation of constructive logic

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Aleksy Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  23. Qualitative and quantitative studies on the randomness of the measurement outcomes in quantum mechanics

    Call: HARMONIA 4 , Panel: ST2

    Principal investigator: dr Marcin Pawłowski

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

  24. Minimization of disturbance in quantum walk based algorithms and protocols.

    Call: PRELUDIUM 6 , Panel: ST6

    Principal investigator: Przemysław Sadowski

    Instytut Informatyki Teoretycznej i Stosowanej PAN

  25. Complexity of algorithms on compressed data

    Call: OPUS 7 , Panel: ST6

    Principal investigator: prof. Wojciech Rytter

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  27. Limits of Databases

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr Szymon Toruńczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  29. Quantum State: Information, Free Choice, Randomness

    Call: OPUS 23 , Panel: HS1

    Principal investigator: prof. Tomasz Grzegorz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny

  30. Structure and algorithms for graph classes defined by transduction-closed properties

    Call: SONATA 18 , Panel: ST6

    Principal investigator: dr Jakub Gajarský

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  31. Modern tools for complex network analysis

    Call: OPUS 25 , Panel: ST6

    Principal investigator: dr Małgorzata Sulkowska

    Politechnika Wrocławska

  32. Thermodynamics of Information Processing: From Theory to Applications

    Call: SONATA 19 , Panel: ST2

    Principal investigator: dr Patryk Lipka-Bartosik

    Uniwersytet Warszawski, Wydział Fizyki

  33. Analysis of the usage of machine learning in spatial audio processing

    Call: OPUS 13 , Panel: ST7

    Principal investigator: dr hab. Konrad Kowalczyk

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

  34. Dolne ograniczenia złożoności problemów rozwiązywalnych w czasie wielomianowym

    Call: ETIUDA 6 , Panel: ST6

    Principal investigator: dr Adam Polak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  35. Deep Neural Architectures for Automated Theorem Proving

    Call: PRELUDIUM 15 , Panel: ST6

    Principal investigator: Bartosz Piotrowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  36. Machine learning and automatic theorem proving

    Call: OPUS 15 , Panel: ST6

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

    Call: SONATA BIS 9 , Panel: ST2

    Principal investigator: dr hab. Paweł Piotr Caputa

    Uniwersytet Warszawski, Wydział Fizyki

  39. Characterization and certification of quantum resources

    Call: SONATA BIS 9 , Panel: ST2

    Principal investigator: dr hab. Remigiusz Michał Augusiak

    Centrum Fizyki Teoretycznej Polskiej Akademii Nauk

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

    Call: ETIUDA 8 , Panel: ST3

    Principal investigator: dr Michał Lesław Białończyk

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

  41. Towards Estimation of Information Content for Graph Structures

    Call: SONATA 16 , Panel: ST6

    Principal investigator: dr Krzysztof Szymon Turowski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki