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

190 projects found matching your search criteria :

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

  2. Rethinking legal probabilism

    Call: OPUS 21 , Panel: HS1

    Principal investigator: dr hab. Rafał Urbaniak

    Uniwersytet Gdański, Wydział Nauk Społecznych

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

  4. Computational aspects of infinite-duration games

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  6. Leveraging Randomization: From Scheduling to AdWords

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Łukasz Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i 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. 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

  10. Organizational Ethnography of Festivals of Street Performers

    Call: PRELUDIUM 19 , Panel: HS4

    Principal investigator: Marta Połeć

    Uniwersytet Jagielloński, Wydział Zarządzania i Komunikacji Społecznej

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

  12. Data-enriched models of computation

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  14. Blockchain wallets -- cryptographic theory and applications

    Call: OPUS 18 , Panel: ST6

    Principal investigator: prof. Stefan Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  16. Epistemic inaccuracy and foundational issues in formal epistemology

    Call: SONATA BIS 9 , Panel: HS1

    Principal investigator: dr hab. Leszek Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

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

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

  20. Algebraic effects: composition and coinduction

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Maciej Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  21. Algorithmic models of prediction: formal properties and philosophical implications

    Call: OPUS 16 , Panel: HS1

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

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

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

  24. Optimality program in graph homomorphism problems

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Paweł Rzążewski

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

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

  26. Machine learning and automatic theorem proving

    Call: OPUS 15 , Panel: ST6

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  27. Deep Neural Architectures for Automated Theorem Proving

    Call: PRELUDIUM 15 , Panel: ST6

    Principal investigator: Bartosz Piotrowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  29. Programowanie dynamiczne z gwarancjami

    Call: ETIUDA 6 , Panel: ST6

    Principal investigator: Karol Węgrzycki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  30. Effective computations in predicative mathematics

    Call: SONATINA 2 , Panel: ST6

    Principal investigator: dr Michał Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  31. Structure theory for posets

    Call: UWERTURA 2 , Panel: ST1

    Principal investigator: dr Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

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

  34. Automatic analysis of concurrent systems

    Call: OPUS 14 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  35. Atom. Substance. System. Investigations into Topological Ontology

    Call: OPUS 14 , Panel: HS1

    Principal investigator: dr hab. Janusz Kaczmarek

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

  36. Quantitative specifications: learning, algorithms and applications

    Call: OPUS 14 , Panel: ST6

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  37. Around optimality of dynamic programming algorithms

    Call: PRELUDIUM 14 , Panel: ST6

    Principal investigator: dr Adam Polak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  38. Understanding recursion

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Lorenzo Clemente

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  39. Deontic logic for autonomous vehicles

    Call: HARMONIA 9 , Panel: HS1

    Principal investigator: prof. Piotr Kulicki

    Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

  40. Robust optimization algorithms for problems with uncertain data

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Maciej Drwal

    Politechnika Wrocławska

  41. Philosophical and formal analysis of qualitative spatial logics

    Call: SONATA 13 , Panel: HS1

    Principal investigator: dr Adam Trybus

    Uniwersytet Zielonogórski, Wydział Humanistyczny

  42. Dynamic graphs; connectivity, flows and coloring.

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Anna Zych-Pawlewicz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  43. Aspects of grammar compression

    Call: SONATA BIS 7 , Panel: ST6

    Principal investigator: dr hab. Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  44. Robotic system design methodology based on a formal specification

    Call: PRELUDIUM 13 , Panel: ST7

    Principal investigator: Maksym Figat

    Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

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

  46. Mobile robot navigation using semantic information

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Barbara Siemiątkowska

    Politechnika Warszawska, Wydział Mechatroniki

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

  48. Discrete optimization problems under uncertainty - models and algorithms

    Call: OPUS 13 , Panel: ST6

    Principal investigator: prof. Paweł Zieliński

    Politechnika Wrocławska

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

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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy