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

  2. Counting models in formal verification

    Call: SONATA BIS 12 , Panel: ST6

    Principal investigator: dr Filip Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  3. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  4. Linear algebra in orbit-finite dimension

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Arka Ghosh

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

  7. The graph homomorphism problem in structurally restricted classes

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Marta Piecyk

    Politechnika Warszawska

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

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

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

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

  12. Quantum graphs and their symmetries

    Call: SONATA 17 , Panel: ST1

    Principal investigator: dr Mateusz Wasilewski

    Instytut Matematyczny Polskiej Akademii Nauk

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

  14. Shortcuts to Adiabaticity for Quantum Computation and Simulation

    Call: Quant-ERA II Call 2021 , Panel: ST2

    Principal investigator: prof. Jacek Dziarmaga

    Uniwersytet Jagielloński

  15. Application of quantum information methods to signaling games

    Call: PRELUDIUM 2 , Panel: ST1

    Principal investigator: dr Piotr Frąckiewicz

    Instytut Matematyczny PAN

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

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

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

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Jan Derbisz

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

  20. Modular circuits - algorithms and lower bounds

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Piotr Kawałek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

  22. Computational aspects of infinite-duration games

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  24. Leveraging Randomization: From Scheduling to AdWords

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Łukasz Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Bartosz Alchimowicz

    Politechnika Poznańska, Wydział Informatyki

  26. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  28. Quantum groups, graphs and symmetries via representation theory

    Call: OPUS 20 (LAP) , Panel: ST1

    Principal investigator: prof. Adam Skalski

    Instytut Matematyczny Polskiej Akademii Nauk

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

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

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

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

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

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

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

  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. Data-enriched models of computation

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  39. Blockchain wallets -- cryptographic theory and applications

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Stefan Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  40. Solvability, chaos and control in quantum systems

    Call: MAESTRO 1 , Panel: ST1

    Principal investigator: prof. Marek Kuś

    Centrum Fizyki Teoretycznej PAN

  41. Schrödinger and Klein-Gordon operators

    Call: OPUS 18 , Panel: ST1

    Principal investigator: prof. Jan Dereziński

    Uniwersytet Warszawski, Wydział Fizyki

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

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

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

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

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

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

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

  49. Structure of random permutations and the interchange process

    Call: SONATINA 3 , Panel: ST1

    Principal investigator: dr Michał Kotowski

    Instytut Matematyczny Polskiej Akademii Nauk

  50. Algebraic effects: composition and coinduction

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Maciej Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy