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

155 projects found matching your search criteria :

  1. Optimality program in graph homomorphism problems

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Paweł Rzążewski

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

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

  3. Machine learning and automatic theorem proving

    Call: OPUS 15 , Panel: ST6

    Principal investigator: dr hab. Henryk Michalewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  4. Deep Neural Architectures for Automated Theorem Proving

    Call: PRELUDIUM 15 , Panel: ST6

    Principal investigator: Bartosz Piotrowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

  6. Programowanie dynamiczne z gwarancjami

    Call: ETIUDA 6 , Panel: ST6

    Principal investigator: Karol Węgrzycki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  7. Effective computations in predicative mathematics

    Call: SONATINA 2 , Panel: ST6

    Principal investigator: dr Michał Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  8. Structure theory for posets

    Call: UWERTURA 2 , Panel: ST1

    Principal investigator: dr Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

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

  11. Automatic analysis of concurrent systems

    Call: OPUS 14 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  12. Quantitative specifications: learning, algorithms and applications

    Call: OPUS 14 , Panel: ST6

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  13. Around optimality of dynamic programming algorithms

    Call: PRELUDIUM 14 , Panel: ST6

    Principal investigator: dr Adam Polak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  14. Understanding recursion

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Lorenzo Clemente

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  15. Robust optimization algorithms for problems with uncertain data

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Maciej Drwal

    Politechnika Wrocławska

  16. Philosophical and formal analysis of qualitative spatial logics

    Call: SONATA 13 , Panel: HS1

    Principal investigator: dr Adam Trybus

    Uniwersytet Zielonogórski, Wydział Humanistyczny

  17. Dynamic graphs; connectivity, flows and coloring.

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Anna Zych-Pawlewicz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  18. Mobile robot navigation using semantic information

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Barbara Siemiątkowska

    Politechnika Warszawska, Wydział Mechatroniki

  19. Aspects of grammar compression

    Call: SONATA BIS 7 , Panel: ST6

    Principal investigator: dr hab. Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

  22. Discrete optimization problems under uncertainty - models and algorithms

    Call: OPUS 13 , Panel: ST6

    Principal investigator: prof. Paweł Zieliński

    Politechnika Wrocławska

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

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

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

  26. Algebraic Effects and Continuations

    Call: POLONEZ 3 , Panel: ST6

    Principal investigator: dr Maciej Piróg

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  27. Scalable reasoning about concurrent imperative programs

    Call: SONATA 12 , Panel: ST6

    Principal investigator: dr Filip Sieczkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  28. High dimensional model selection with SLOPE - theoretical properties and applications

    Call: OPUS 12 , Panel: ST1

    Principal investigator: dr hab. Małgorzata Bogdan

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  30. Entropy in complex networks

    Call: OPUS 12 , Panel: ST6

    Principal investigator: dr hab. Mikołaj Morzy

    Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

  31. Morse theoretical methods in Hamiltonian dynamics

    Call: BEETHOVEN 2 , Panel: ST1

    Principal investigator: prof. Joanna Janczewska

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

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

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

  34. Symbolic computations on first-order definable objects

    Call: OPUS 11 , Panel: ST6

    Principal investigator: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  35. Algorithmic and Axiomatic Analysis of Committee Scoring Rules

    Call: OPUS 11 , Panel: ST6

    Principal investigator: dr hab. Piotr Faliszewski

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

  36. Limits of Databases

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr Szymon Toruńczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  37. Separability problem in automata theory

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr Wojciech Czerwiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  38. A quest for new computer logics

    Call: OPUS 11 , Panel: ST6

    Principal investigator: dr hab. Emanuel Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  39. Quantitative aspects of computational complexity in lambda calculus

    Call: PRELUDIUM 11 , Panel: ST6

    Principal investigator: dr Maciej Bendkowski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  40. Efficient algorithms for weak forms of non-determinism

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr hab. Michał Skrzypczak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  41. The topology of solution spaces of combinatorial problems

    Call: PRELUDIUM 11 , Panel: ST6

    Principal investigator: Marcin Wrochna

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  42. Approximation algorithms under data uncertainty

    Call: PRELUDIUM 11 , Panel: ST6

    Principal investigator: Michał Włodarczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  43. Algebraic invariants of Data Petri Nets.

    Call: SONATA 11 , Panel: ST6

    Principal investigator: dr Piotr Hofman

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  44. Research on fusion of tensor and soft computing methods for pattern recognition.

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Bogusław Cyganek

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

  45. Graph separation problems from the perspective of parameterized complexity.

    Call: PRELUDIUM 10 , Panel: ST6

    Principal investigator: Paweł Komosa

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  46. Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa

    Call: SONATA 10 , Panel: ST6

    Principal investigator: dr Karol Pąk

    Uniwersytet w Białymstoku, Instytut Informatyki

  47. Algorithmic Structure Theory for Sparse Graphs

    Call: POLONEZ 1 , Panel: ST6

    Principal investigator: Dipl. Inform. Sebastian Siebertz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  48. Dimension and representations of partially ordered sets: computational complexity, bounds and structural properties

    Call: SONATA BIS 5 , Panel: ST6

    Principal investigator: dr Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  49. Finding Applications for Logic with Partial Functions

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr hab. Jean de Nivelle

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  50. Immune and efficient protocols for distributed systems of constrained devices

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr hab. Marek Klonowski

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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy