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

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

  3. Optimality program in graph homomorphism problems

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Paweł Rzążewski

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

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

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

    Call: OPUS 15 , Panel: ST6

    Principal investigator: prof. Marek Klonowski

    Politechnika Wrocławska

  6. Machine learning and automatic theorem proving

    Call: OPUS 15 , Panel: ST6

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  8. Deep Neural Architectures for Automated Theorem Proving

    Call: PRELUDIUM 15 , Panel: ST6

    Principal investigator: Bartosz Piotrowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  10. Programowanie dynamiczne z gwarancjami

    Call: ETIUDA 6 , Panel: ST6

    Principal investigator: Karol Węgrzycki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  11. Effective computations in predicative mathematics

    Call: SONATINA 2 , Panel: ST6

    Principal investigator: dr Michał Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  12. Structure theory for posets

    Call: UWERTURA 2 , Panel: ST1

    Principal investigator: dr Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  13. Wykorzystanie uczenia maszynowego w informatyce kwantowej

    Call: ETIUDA 6 , Panel: ST6

    Principal investigator: Mateusz Ostaszewski

    Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

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

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

  16. Automatic analysis of concurrent systems

    Call: OPUS 14 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  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. Quantitative specifications: learning, algorithms and applications

    Call: OPUS 14 , Panel: ST6

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  19. Around optimality of dynamic programming algorithms

    Call: PRELUDIUM 14 , Panel: ST6

    Principal investigator: dr Adam Polak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  20. Understanding recursion

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Lorenzo Clemente

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  21. Robust optimization algorithms for problems with uncertain data

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Maciej Drwal

    Politechnika Wrocławska

  22. Philosophical and formal analysis of qualitative spatial logics

    Call: SONATA 13 , Panel: HS1

    Principal investigator: dr Adam Trybus

    Uniwersytet Zielonogórski, Wydział Humanistyczny

  23. Dynamic graphs; connectivity, flows and coloring.

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Anna Zych-Pawlewicz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  24. Aspects of grammar compression

    Call: SONATA BIS 7 , Panel: ST6

    Principal investigator: dr hab. Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  25. Efficiency, robustness and security of distributed systems with more realistic adversarial models.

    Call: OPUS 13 , Panel: ST6

    Principal investigator: prof. Marek Klonowski

    Politechnika Wrocławska

  26. Mobile robot navigation using semantic information

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Barbara Siemiątkowska

    Politechnika Warszawska, Wydział Mechatroniki

  27. The creation of a unique scientific workshop of the aquisition and processing of geospatial data used in hydrodynamic mo...

    Call: SONATA 1 , Panel: ST10

    Principal investigator: dr Przemysław Tymków

    Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji

  28. Discrete optimization problems under uncertainty - models and algorithms

    Call: OPUS 13 , Panel: ST6

    Principal investigator: prof. Paweł Zieliński

    Politechnika Wrocławska

  29. Classical problems in the theory of finite automata: new approaches, variants, and applications

    Call: OPUS 13 , Panel: ST6

    Principal investigator: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  30. Photoactive hybrid structures for photovoltaic applications

    Call: OPUS 13 , Panel: ST8

    Principal investigator: dr hab. Małgorzata Makowska-Janusik

    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Nauk Ścisłych, Przyrodniczych i Technicznych

  31. Design of Distributed Algorithms in Highly Congested Networks

    Call: OPUS 13 , Panel: ST6

    Principal investigator: prof. Tomasz Jurdziński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  32. Multimodal biometric system for contactless persons identification

    Call: SONATA 1 , Panel: ST6

    Principal investigator: dr Wojciech Sankowski

    Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki

  33. Cognitive maps with imperfect information as a tool of automatic data understanding. Concepts, method and, applications.

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Władysław Homenda

    Instytut Badań Systemowych PAN

  34. Coefficients of cyclic homology and noncommutative geometry of C*-algebras and Dirac operators

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Piotr Hajac

    INSTYTUT MATEMATYCZNY PAN

  35. Algebraic Effects and Continuations

    Call: POLONEZ 3 , Panel: ST6

    Principal investigator: dr Maciej Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  36. Scalable reasoning about concurrent imperative programs

    Call: SONATA 12 , Panel: ST6

    Principal investigator: dr Filip Sieczkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  37. One Step From the Relational Model. A Couple of Database Theory Puzzles.

    Call: OPUS 12 , Panel: ST6

    Principal investigator: prof. Jerzy Marcinkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  38. The generalized, multi-robot framework for the augmented, visual simultaneous localization and mapping system

    Call: PRELUDIUM 1 , Panel: ST7

    Principal investigator: Adam Schmidt

    Politechnika Poznańska, Wydział Elektryczny

  39. Homology groups of configuration spaces for particles on graphs

    Call: PRELUDIUM 12 , Panel: ST1

    Principal investigator: Tomasz Maciążek

    Centrum Fizyki Teoretycznej Polskiej Akademii Nauk

  40. Quantum curves and Schrodinger equations in matrix models

    Call: PRELUDIUM 12 , Panel: ST1

    Principal investigator: Paweł Ciosmak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  41. Entropy in complex networks

    Call: OPUS 12 , Panel: ST6

    Principal investigator: dr hab. Mikołaj Morzy

    Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

  42. Quantum games with unawareness

    Call: SONATA 12 , Panel: ST1

    Principal investigator: dr Piotr Frąckiewicz

    Akademia Pomorska w Słupsku, Wydział Matematyczno-Przyrodniczy

  43. Algebraic methods in the study of the quantum Yang-Baxter equation - braces and associative algebras

    Call: OPUS 12 , Panel: ST1

    Principal investigator: prof. Jan Okniński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  44. UNDERSTANDING THE ROLE OF SPACE AND TIME IN CANONICAL GRAVITY: CLASSICAL AND QUANTUM ASPECTS

    Call: POLONEZ 3 , Panel: ST1

    Principal investigator: prof. István Rácz

    Uniwersytet Warszawski, Wydział Fizyki

  45. Completely positive evolution of periodically modulated open quantum systems

    Call: SONATA 12 , Panel: ST1

    Principal investigator: dr Krzysztof Szczygielski

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

  46. Properties of generic quantum communication channels

    Call: SONATA BIS 6 , Panel: ST6

    Principal investigator: dr hab. Zbigniew Puchała

    Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

  47. Online learning algorithms for complex prediction problems

    Call: SONATA BIS 6 , Panel: ST6

    Principal investigator: dr Wojciech Kotłowski

    Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

  48. Quantitative properties for higher-order recursion schemes

    Call: SONATA BIS 6 , Panel: ST6

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  49. Modern Numerical Methodologies in Quantum Mechanics

    Call: HARMONIA 8 , Panel: ST1

    Principal investigator: dr Karolina Kropielnicka

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

  50. Levy processes and compact quantum groups- examples, properties, classifications

    Call: SONATA 11 , Panel: ST1

    Principal investigator: dr hab. Anna Wysoczańska-Kula

    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