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

195 projects found matching your search criteria :

  1. Modular circuits - algorithms and lower bounds

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Piotr Kawałek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

  3. Computational aspects of infinite-duration games

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  5. Leveraging Randomization: From Scheduling to AdWords

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Łukasz Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Bartosz Alchimowicz

    Politechnika Poznańska, Wydział Informatyki

  7. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  9. Simulations of physical systems with near-term annealing technology

    Call: SONATA BIS 10 , Panel: ST3

    Principal investigator: dr Bartłomiej Gardas

    Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

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

  11. Comparing the orientation of geological contacts: developing a new metric to detect and quantify angular unconformities ...

    Call: PRELUDIUM 19 , Panel: ST10

    Principal investigator: Michał Michalak

    Uniwersytet Śląski w Katowicach, Wydział Nauk Przyrodniczych

  12. Pattern recognition with exciton-polariton lattices

    Call: OPUS 19 , Panel: ST3

    Principal investigator: dr hab. Barbara Piętka

    Uniwersytet Warszawski, Wydział Fizyki

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

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

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

  16. Certification of randomness in quantum systems of arbitrary dimension

    Call: SONATINA 4 , Panel: ST2

    Principal investigator: Jakub Borkała

    Centrum Fizyki Teoretycznej Polskiej Akademii Nauk

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

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

  19. Data-enriched models of computation

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  20. Neuromorphic computing with quantum fluids of light

    Call: PRELUDIUM 18 , Panel: ST3

    Principal investigator: Andrzej Opala

    Instytut Fizyki Polskiej Akademii Nauk

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

  22. Blockchain wallets -- cryptographic theory and applications

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Stefan Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  24. Characterization and certification of quantum resources

    Call: SONATA BIS 9 , Panel: ST2

    Principal investigator: dr hab. Remigiusz Augusiak

    Centrum Fizyki Teoretycznej Polskiej Akademii Nauk

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

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

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

  28. Algebraic effects: composition and coinduction

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Maciej Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

  31. Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

    Call: OPUS 16 , Panel: ST6

    Principal investigator: dr hab. Lidia Tendera

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  32. Optimality program in graph homomorphism problems

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Paweł Rzążewski

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

  33. Towards easier tests of quantum phenomena

    Call: SHENG 1 , Panel: ST2

    Principal investigator: dr hab. Marcin Pawłowski

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

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

  35. Methods and tools of future document engineering - MENAID

    Call: OPUS 1 , Panel: ST6

    Principal investigator: prof. Bogdan Wiszniewski

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

  36. Dynamics and thermodynamics of correlated systems with quantum and classical degrees of freedom - novel computational ap...

    Call: OPUS 15 , Panel: ST3

    Principal investigator: prof. Maciej Maśka

    Politechnika Wrocławska

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

    Call: OPUS 15 , Panel: ST6

    Principal investigator: prof. Marek Klonowski

    Politechnika Wrocławska

  38. Machine learning and automatic theorem proving

    Call: OPUS 15 , Panel: ST6

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  39. Deep Neural Architectures for Automated Theorem Proving

    Call: PRELUDIUM 15 , Panel: ST6

    Principal investigator: Bartosz Piotrowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

  42. Programowanie dynamiczne z gwarancjami

    Call: ETIUDA 6 , Panel: ST6

    Principal investigator: Karol Węgrzycki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  43. Effective computations in predicative mathematics

    Call: SONATINA 2 , Panel: ST6

    Principal investigator: dr Michał Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  44. Wykorzystanie uczenia maszynowego w informatyce kwantowej

    Call: ETIUDA 6 , Panel: ST6

    Principal investigator: Mateusz Ostaszewski

    Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

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

  46. Efficient algorithms and conditional lower bounds for problems on trees

    Call: PRELUDIUM 14 , Panel: ST6

    Principal investigator: Bartłomiej Dudek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  47. Automatic analysis of concurrent systems

    Call: OPUS 14 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  48. Quantitative specifications: learning, algorithms and applications

    Call: OPUS 14 , Panel: ST6

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  49. Around optimality of dynamic programming algorithms

    Call: PRELUDIUM 14 , Panel: ST6

    Principal investigator: dr Adam Polak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  50. Understanding recursion

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Lorenzo Clemente

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy