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. The BDD/FC Conjecture and beyond

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: Tomasz Gogacz

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  2. Algebraic structures related to set theoretic solutions of the quantum Yang-Baxter equation

    Call: OPUS 5 , Panel: ST1

    Principal investigator: prof. Jan Okniński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

  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. Correlation of dynamics of H1 linker histone with spatial architecture of chromatin in cell nuclei.

    Call: OPUS 1 , Panel: NZ3

    Principal investigator: prof. Jerzy Dobrucki

    Uniwersytet Jagielloński, Wydział Biochemii, Biofizyki i Biotechnologii

  8. New methods in parametric model checking

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Michał Knapik

    Instytut Podstaw Informatyki PAN

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

  10. Retrieving geometry from the scattering data

    Call: OPUS 4 , Panel: ST1

    Principal investigator: prof. Iwo Białynicki-Birula

    Centrum Fizyki Teoretycznej PAN

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

  12. LP rounding approximation algorithms

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Bartosz Rybicki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

  15. Privacy aspects of selected complex systems.

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Piotr Syga

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

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

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

  18. Automatisation of constructive logic

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Aleksy Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  19. parameters of finite models

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  20. Limits of decidability in automata theory

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  21. New Logical-Mathematical Methods in Applied Sciences and Modelling of Decision Making

    Call: OPUS 4 , Panel: HS1

    Principal investigator: prof. Jan Hertrich-Woleński

    Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych

  22. Analysis of the physical phenomena in the GaSb-based vertical-cavity surface-emitting diode lasers operating near 3 micr...

    Call: SONATA 4 , Panel: ST7

    Principal investigator: dr Łukasz Piskorski

    Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej

  23. Distributed Computing in Dynamic Networks

    Call: HARMONIA 3 , Panel: ST6

    Principal investigator: dr hab. Tomasz Jurdziński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  24. Deformation and non-deformation quantization: from Poisson brackets to universal symmetries.

    Call: HARMONIA 3 , Panel: ST1

    Principal investigator: prof. Piotr Hajac

    Instytut Matematyczny PAN

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

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

  27. Differential equations, geometry and physics

    Call: OPUS 3 , Panel: ST1

    Principal investigator: prof. Henryk Żołądek

    Uniwersytet Warszawski, Wydział Matematyki Informatyki i Mechaniki

  28. Molecular dynamics of different polymorphous of pharmacologically active substances

    Call: OPUS 3 , Panel: ST3

    Principal investigator: prof. Jan Wąsicki

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki

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

  30. Ramsey numbers containing C_4

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: Janusz Dybizbański

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

  31. Electronic transport, spin and charge dynamics in nanostructures

    Call: OPUS 3 , Panel: ST3

    Principal investigator: prof. Bogdan Bułka

    Instytut Fizyki Molekularnej PAN

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

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

  34. Quantum neural network based on a quantum channels

    Call: PRELUDIUM 2 , Panel: ST2

    Principal investigator: Marek Smaczyński

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

  35. Energy of gravitational field: geometric and functional-analytic aspects together with physical implications

    Call: OPUS 2 , Panel: ST1

    Principal investigator: prof. Jerzy Kijowski

    Centrum Fizyki Teoretycznej PAN

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

  37. Computer simulations of spin-dependent electronic transport in semiconductor quantum wires

    Call: OPUS 2 , Panel: ST3

    Principal investigator: prof. Janusz Adamowski

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Fizyki i Informatyki Stosowanej

  38. Mathematics of quantum fields and quantization

    Call: OPUS 1 , Panel: ST1

    Principal investigator: prof. Jan Dereziński

    Uniwersytet Warszawski, Wydział Fizyki

  39. The Mathematics of the Bose Gas - Dynamics, Correlations and Fluctuations

    Call: SONATA BIS 13 , Panel: ST1

    Principal investigator: dr hab. Marcin Napiórkowski

    Uniwersytet Warszawski, Wydział Fizyki

  40. Topological quantum groups and quantum families of maps

    Call: OPUS 1 , Panel: ST1

    Principal investigator: dr hab. Piotr Sołtan

    Uniwersytet Warszawski, Wydział Fizyki

  41. Computable structure theory, and philosophy of mathematical structuralism

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  42. Modern tools for complex network analysis

    Call: OPUS 25 , Panel: ST6

    Principal investigator: dr Małgorzata Sulkowska

    Politechnika Wrocławska

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

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

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

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

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

  48. Von Neumann factors from compact quantum groups

    Call: OPUS 24 , Panel: ST1

    Principal investigator: prof. Piotr Sołtan

    Uniwersytet Warszawski, Wydział Fizyki

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

  50. Counting models in formal verification

    Call: SONATA BIS 12 , Panel: ST6

    Principal investigator: dr Filip Mazowiecki

    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