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

191 projects found matching your search criteria :

  1. New methods in parametric model checking

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Michał Knapik

    Instytut Podstaw Informatyki PAN

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

  3. LP rounding approximation algorithms

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Bartosz Rybicki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

  6. Privacy aspects of selected complex systems.

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Piotr Syga

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

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

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

  9. Automatisation of constructive logic

    Call: OPUS 4 , Panel: ST6

    Principal investigator: dr hab. Aleksy Schubert

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  10. parameters of finite models

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Eryk Kopczyński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  11. Limits of decidability in automata theory

    Call: SONATA 4 , Panel: ST6

    Principal investigator: dr Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  12. Distributed Computing in Dynamic Networks

    Call: HARMONIA 3 , Panel: ST6

    Principal investigator: dr hab. Tomasz Jurdziński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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

  16. Ramsey numbers containing C_4

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: Janusz Dybizbański

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

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

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

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

  20. Theoretical investigation of electron and hole spin dynamics in gated semiconductor nondevices for application in quantu...

    Call: PRELUDIUM 2 , Panel: ST3

    Principal investigator: dr Paweł Szumniak

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

  21. Identification and analysis of the impact of social and mobile technologies on the shape of the contemporary marketing m...

    Call: OPUS 2 , Panel: HS4

    Principal investigator: dr Łukasz Łysik

    Uniwersytet Ekonomiczny we Wrocławiu, Wydział Zarządzania, Informatyki i Finansów

  22. Modern tools for complex network analysis

    Call: OPUS 25 , Panel: ST6

    Principal investigator: dr Małgorzata Sulkowska

    Politechnika Wrocławska

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

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

  25. Perovskite-liquid-crystal optical cavities for photonic applications

    Call: OPUS 24 , Panel: ST3

    Principal investigator: dr hab. Barbara Piętka

    Uniwersytet Warszawski, Wydział Fizyki

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

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

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

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

  30. Counting models in formal verification

    Call: SONATA BIS 12 , Panel: ST6

    Principal investigator: dr Filip Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  31. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  32. Linear algebra in orbit-finite dimension

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Arka Ghosh

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

  35. The graph homomorphism problem in structurally restricted classes

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Marta Piecyk

    Politechnika Warszawska

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

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

  38. Certifying Genuine Randomness with arbitrarily Inefficient Detectors

    Call: SONATINA 6 , Panel: ST2

    Principal investigator: dr Anubhav Chaturvedi

    Politechnika Gdańska, Wydział Fizyki Technicznej i Matematyki Stosowanej

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

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

  41. Relativistic Causality and Information Processing

    Call: MAESTRO 13 , Panel: ST2

    Principal investigator: prof. Paweł Horodecki

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

  42. Harnessing the environment for topological quantum computing

    Call: OPUS 21 , Panel: ST3

    Principal investigator: dr Mircea Trif

    Instytut Fizyki Polskiej Akademii Nauk

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

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

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

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Jan Derbisz

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  46. Modular circuits - algorithms and lower bounds

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Piotr Kawałek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

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

  49. Computational aspects of infinite-duration games

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy