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

248 projects found matching your search criteria :

  1. The BDD/FC Conjecture and beyond

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: Tomasz Gogacz

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  2. Adversary immune data processing algorithms for ad hoc systems

    Call: HARMONIA 4 , Panel: ST6

    Principal investigator: prof. Mirosław Kutyłowski

    Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

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

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

  5. Color image retrieval system based on the multichannel analysis of spatial information.

    Call: SONATA 1 , Panel: ST6

    Principal investigator: dr Maria Łuszczkiewicz-Piątek

    Uniwersytet Łódzki, Wydział Matematyki i Informatyki

  6. Control system of bioprosthetic hand based on advanced analysis of biosignals and feedback from the prosthesis sensors

    Call: OPUS 1 , Panel: ST6

    Principal investigator: prof. Marek Kurzyński

    Politechnika Wrocławska, Wydział Elektroniki

  7. New methods in parametric model checking

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Michał Knapik

    Instytut Podstaw Informatyki PAN

  8. Methods of secure dynamic composition and exploration of VR/AR content and services in distributed environment based on ...

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Krzysztof Walczak

    Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej

  9. Relativistic Quantum Information

    Call: SONATA BIS 2 , Panel: ST2

    Principal investigator: dr hab. Andrzej Dragan

    Uniwersytet Warszawski, Wydział Fizyki

  10. On quantum resources in quantum information theory.

    Call: PRELUDIUM 4 , Panel: ST2

    Principal investigator: Michał Studziński

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

  11. LP rounding approximation algorithms

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Bartosz Rybicki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  12. Algorithms concerning the legibility of natural deduction proofs

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: dr Karol Pąk

    Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

  13. A new notion of finiteness in computation theory

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  14. Privacy aspects of selected complex systems.

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Piotr Syga

    Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

  15. Theoretical foundations of interactive theorem provers with unrestricted recursive definitions

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Łukasz Czajka

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  16. Modular operational semantics: a bialgebraic approach

    Call: SONATA BIS 2 , Panel: ST6

    Principal investigator: dr hab. Bartosz Klin

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  17. Automatisation of constructive logic

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Aleksy Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  18. parameters of finite models

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  19. Limits of decidability in automata theory

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  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. Simulation and bisimulation for context-free and pushdown systems

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Piotr Hofman

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  22. Hierarchy-type Problems for Automata on Infinite Words and Trees

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Michał Skrzypczak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  23. Nonclassical correlations and their structure in multilevel systems. New sources and mathod of analysis.

    Call: SONATA BIS 1 , Panel: ST2

    Principal investigator: dr hab. Wiesław Laskowski

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

  24. Business process discovery methods and process calculus for RESTful systems.

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: Andrzej Stroiński

    Politechnika Poznańska, Wydział Informatyki

  25. Ramsey numbers containing C_4

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: Janusz Dybizbański

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

  26. Optimal control of quantum systems

    Call: PRELUDIUM 3 , Panel: ST7

    Principal investigator: Łukasz Pawela

    Instytut Informatyki Teoretycznej i Stosowanej PAN

  27. Macroscopic quantum states of light: theoretical and experimental investigation of their properties

    Call: HARMONIA 2 , Panel: ST2

    Principal investigator: dr hab. Magdalena Stobińska

    Instytut Fizyki Polskiej Akademii Nauk

  28. Parallel algorithms for creation and simulation three-dimensional vascular network

    Call: OPUS 2 , Panel: ST6

    Principal investigator: dr Krzysztof Psiuk-Maksymowicz

    Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

  29. Methodology of semantic models building based on mobile robot's observations

    Call: SONATA 2 , Panel: ST6

    Principal investigator: dr Janusz Będkowski

    Instytut Maszyn Matematycznych

  30. New methods for the automatic synthesis and exploration of sequential data

    Call: SONATA 2 , Panel: ST6

    Principal investigator: dr Radosław Ziembiński

    Politechnika Poznańska, Wydział Informatyki

  31. Studies of Spectrum Broadcast Structures in Quantum Open Systems Models

    Call: PRELUDIUM BIS 5 , Panel: ST2

    Principal investigator: dr hab. Jarosław Korbicz

    Centrum Fizyki Teoretycznej Polskiej Akademii Nauk

  32. Quantum sensors operating in extreme scenarios: novel applications of statistical inference, machine learning and contro...

    Call: SONATA BIS 13 , Panel: ST2

    Principal investigator: dr Jan Kołodyński

    Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

  33. Beyond quantum gravity – principles, structures and phenomena

    Call: SONATA BIS 13 , Panel: ST2

    Principal investigator: dr Michał Eckstein

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

  34. Imaging and computation in scattering media with multi-pixel single photon detectors.

    Call: PRELUDIUM 22 , Panel: ST7

    Principal investigator: Adrian Makowski

    Uniwersytet Warszawski, Wydział Fizyki

  35. Quantum engineering and quantum phase transitions in optical and low-dimensional condensed matter systems

    Call: OPUS 2 , Panel: ST2

    Principal investigator: prof. Adam Miranowicz

    Uniwersytet im. Adama Mickiewicza, Wydział Fizyki

  36. Modern tools for complex network analysis

    Call: OPUS 25 , Panel: ST6

    Principal investigator: dr Małgorzata Sulkowska

    Politechnika Wrocławska

  37. Data ownership and privacy meet generative neural networks

    Call: OPUS 25 , Panel: ST6

    Principal investigator: dr hab. Paweł Morawiecki

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  38. Optimal and probabilistic learning of quantum devices

    Call: OPUS 24 , Panel: ST6

    Principal investigator: dr hab. Zbigniew Puchała

    Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

  39. Automation of the Problem of Unification in Description Logics

    Call: POLONEZ BIS 3 , Panel: ST6

    Principal investigator: dr hab. Barbara Morawska

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  40. Mitigation of quantum computers errors in the pre-fault-tolerant era

    Call: SONATA 18 , Panel: ST2

    Principal investigator: dr Piotr Czarnik

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

  41. Dimension and Boolean dimension of partial orders

    Call: OPUS 24 , Panel: ST6

    Principal investigator: dr hab. Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

  43. Counting models in formal verification

    Call: SONATA BIS 12 , Panel: ST6

    Principal investigator: dr Filip Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  44. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  45. Quantum resource theories: from theoretical tool to practical applications

    Call: SONATA BIS 12 , Panel: ST2

    Principal investigator: dr hab. Alexander Streltsov

    Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

  46. Linear algebra in orbit-finite dimension

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Arka Ghosh

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  47. Spectral-temporal transformations of photons carrying quantum information.

    Call: PRELUDIUM 21 , Panel: ST2

    Principal investigator: Jerzy Szuniewicz

    Uniwersytet Warszawski, Wydział Fizyki

  48. Dark States in atomic structures on ordered surfaces.

    Call: OPUS 23 , Panel: ST3

    Principal investigator: prof. Mieczysław Jałochowski

    Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki

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

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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy