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

230 projects found matching your search criteria :

  1. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  2. Linear algebra in orbit-finite dimension

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Arka Ghosh

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  4. Texture analysis and recognition for computer-aided diagnostics of skin lesions digital images

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Leszek Nowak

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

  5. The graph homomorphism problem in structurally restricted classes

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Marta Piecyk

    Politechnika Warszawska

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

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

  8. Realistic modeling of quantum nanodevices based on modern 2D materials

    Call: SONATA 17 , Panel: ST3

    Principal investigator: dr Jarosław Pawłowski

    Politechnika Wrocławska

  9. Algorithmic estimation of eye movements changes in relation to development of Parkinson's disease

    Call: OPUS 2 , Panel: ST6

    Principal investigator: dr hab. Andrzej Przybyszewski

    Polsko-Japońska Akademia Technik Komputerowych

  10. Quantum graphs and their symmetries

    Call: SONATA 17 , Panel: ST1

    Principal investigator: dr Mateusz Wasilewski

    Instytut Matematyczny Polskiej Akademii Nauk

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

  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. Application of quantum information methods to signaling games

    Call: PRELUDIUM 2 , Panel: ST1

    Principal investigator: dr Piotr Frąckiewicz

    Instytut Matematyczny PAN

  14. Frontiers of automatic analysis of concurrent systems

    Call: OPUS 21 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  15. H-graphs - recognition, isomorphism, and related problems

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Jan Derbisz

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  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. From expressive description logics to mulit-variable fragments of first-order logic: resoning in finite structures

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr hab. Emanuel Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  19. Computational aspects of infinite-duration games

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  20. Finite automata: selected problems and applications connecting different areas

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  21. Leveraging Randomization: From Scheduling to AdWords

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Łukasz Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  22. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  23. Solutions of the quantum Yang-Baxter equation and associated algebraic structures: (semi)groups, associative algebras an...

    Call: SONATA 16 , Panel: ST1

    Principal investigator: dr Łukasz Kubat

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  24. Quantum groups, graphs and symmetries via representation theory

    Call: OPUS 20 (LAP) , Panel: ST1

    Principal investigator: prof. Adam Skalski

    Instytut Matematyczny Polskiej Akademii Nauk

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

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

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Bartosz Alchimowicz

    Politechnika Poznańska, Wydział Informatyki

  27. Space-efficient encodings of combinatorial problems for variational quantum computing

    Call: PRELUDIUM 19 , Panel: ST6

    Principal investigator: Adam Glos

    Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

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

  29. Rocksalt (MgZn)O alloys and (MgZn)O/MgO quantum structure and theirapplication in deep-ultraviolet light-emitters.

    Call: OPUS 19 , Panel: ST8

    Principal investigator: dr hab. Henryk Teisseyre

    Instytut Fizyki Polskiej Akademii Nauk

  30. Adiabatic evolution of driven quantum system in presence of dissipation and noise possessing spatial and temporal correl...

    Call: ETIUDA 8 , Panel: ST3

    Principal investigator: Jan Krzywda

    Instytut Fizyki Polskiej Akademii Nauk

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

  32. Noncommutative universal spaces for groups and quantum groups

    Call: SONATINA 4 , Panel: ST1

    Principal investigator: dr Mariusz Tobolski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  33. Data-enriched models of computation

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  35. Blockchain wallets -- cryptographic theory and applications

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Stefan Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  37. Schrödinger and Klein-Gordon operators

    Call: OPUS 18 , Panel: ST1

    Principal investigator: prof. Jan Dereziński

    Uniwersytet Warszawski, Wydział Fizyki

  38. Analysis and decomposition of a control part of a cyber-physical system specified by an interpreted Petri net.

    Call: OPUS 18 , Panel: ST6

    Principal investigator: dr hab. Remigiusz Wiśniewski

    Uniwersytet Zielonogórski

  39. Computational mathematics in quantum mechanics

    Call: SONATA BIS 9 , Panel: ST1

    Principal investigator: dr hab. Karolina Kropielnicka

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

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

  41. Interaction in quantum field theory

    Call: SONATA BIS 9 , Panel: ST1

    Principal investigator: dr hab. Wojciech Dybalski

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

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

  43. Solvability, chaos and control in quantum systems

    Call: MAESTRO 1 , Panel: ST1

    Principal investigator: prof. Marek Kuś

    Centrum Fizyki Teoretycznej PAN

  44. Studies of the quantum geometry of space-time

    Call: OPUS 17 , Panel: ST2

    Principal investigator: prof. Jerzy Jurkiewicz

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

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

  46. Structure of random permutations and the interchange process

    Call: SONATINA 3 , Panel: ST1

    Principal investigator: dr Michał Kotowski

    Instytut Matematyczny Polskiej Akademii Nauk

  47. Algebraic effects: composition and coinduction

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Maciej Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  49. ComCrypt -- Efficient and Secure Algorithms for Joint Compression and Encryption

    Call: OPUS 16 , Panel: ST6

    Principal investigator: prof. Józef Pieprzyk

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  50. Mathematics of Many-Body Quantum Systems

    Call: BEETHOVEN 3 , Panel: ST1

    Principal investigator: dr Marcin Napiórkowski

    Uniwersytet Warszawski, Wydział Fizyki