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

70 projects found matching your search criteria :

  1. Aspects of grammar compression

    Call: SONATA BIS 7 , Panel: ST6

    Principal investigator: dr hab. Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  2. Understanding recursion

    Call: SONATA 13 , Panel: ST6

    Principal investigator: dr Lorenzo Clemente

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  3. Optimality program in graph homomorphism problems

    Call: SONATA 14 , Panel: ST6

    Principal investigator: dr Paweł Rzążewski

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

  4. Privacy aspects of selected complex systems.

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Piotr Syga

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

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

  6. Languages and Learning in General Game Playing

    Call: PRELUDIUM 7 , Panel: ST6

    Principal investigator: Jakub Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  7. Foundations of Cryptocurrencies

    Call: OPUS 7 , Panel: ST6

    Principal investigator: dr hab. Stefan Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  8. Cryptography without trusted parties

    Call: SONATA 7 , Panel: ST6

    Principal investigator: dr Tomasz Kazana

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  9. Communication Problems in Wireless Sensor Networks

    Call: PRELUDIUM 7 , Panel: ST6

    Principal investigator: Michał Różański

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  10. Biometric data in security systems with restricted resources - authentication and protection.

    Call: PRELUDIUM 8 , Panel: ST6

    Principal investigator: Wojciech Wodo

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

  11. Stoping methods in analysis of chosen algorithms

    Call: OPUS 9 , Panel: ST6

    Principal investigator: prof. Michał Morayne

    Politechnika Wrocławska

  12. Algorithmic aspects of synchronization

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr Adam Roman

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  13. Algorithmic Structure Theory for Sparse Graphs

    Call: POLONEZ 1 , Panel: ST6

    Principal investigator: Dipl. Inform. Sebastian Siebertz

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

  16. Processing massive string data and beyond: algorithms and conditional lower bounds

    Call: OPUS 26 , Panel: ST6

    Principal investigator: dr Paweł Gawrychowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  17. Beyond Worst-Case Analysis: Online Problems with Delays and Stochastic Arrival Times

    Call: PRELUDIUM 23 , Panel: ST6

    Principal investigator: Michał Pawłowski

    IDEAS NCBR SP. Z O.O.

  18. Colorings, cliques, and independent sets in graph classes

    Call: SONATA BIS 9 , Panel: ST6

    Principal investigator: dr hab. Bartosz Maria Walczak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  19. 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 Grzegorz Wiśniewski

    Uniwersytet Zielonogórski

  20. Computational aspects of infinite-duration games

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr hab. Paweł Czesław Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  21. Searching graph structures

    Call: OPUS 9 , Panel: ST6

    Principal investigator: dr hab. Dariusz Dereniowski

    Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

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

  23. Methods of development, modelling and analysis of quantum internetworking protocols

    Call: SONATA 2 , Panel: ST6

    Principal investigator: dr hab. Jarosław Miszczak

    Instytut Informatyki Teoretycznej i Stosowanej PAN

  24. The graph homomorphism problem in structurally restricted classes

    Call: PRELUDIUM 21 , Panel: ST6

    Principal investigator: Marta Piecyk

    Politechnika Warszawska

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

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

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

  28. Formal approach to practical problems of information hiding

    Call: OPUS 5 , Panel: ST6

    Principal investigator: dr hab. Marek Klonowski

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

  29. New methods of comprehensive analysis of concurrent computing systems

    Call: SONATA 5 , Panel: ST6

    Principal investigator: dr Łukasz Mikulski

    Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

  30. Algebraic theory for CSP (tractability, approximation and optimization)

    Call: OPUS 7 , Panel: ST6

    Principal investigator: dr hab. Marcin Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  31. Quantum information processing with severely limited memory and communication

    Call: SONATA BIS 4 , Panel: ST2

    Principal investigator: dr hab. Marcin Pawłowski

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

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

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

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

  35. Approximation algorithms under data uncertainty

    Call: PRELUDIUM 11 , Panel: ST6

    Principal investigator: Michał Włodarczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  36. Modular circuits - algorithms and lower bounds

    Call: PRELUDIUM 20 , Panel: ST6

    Principal investigator: Piotr Kawałek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

  38. LP rounding approximation algorithms

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Bartosz Rybicki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  39. Discrete optimization problems under uncertainty - models and algorithms

    Call: OPUS 13 , Panel: ST6

    Principal investigator: prof. Paweł Zieliński

    Politechnika Wrocławska

  40. Information hidding and privacy in (mainly) distributed systems

    Call: OPUS 15 , Panel: ST6

    Principal investigator: prof. Marek Klonowski

    Politechnika Wrocławska

  41. Synchronization of automata and the Cerny conjecture

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  42. Combinatorial and information theory aspects of communication in distributed systems.

    Call: PRELUDIUM 5 , Panel: ST6

    Principal investigator: dr Marcin Kardas

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

  43. Combinatorial optimization under uncertainty: matroids,matchings and submodular functions

    Call: SONATA 15 , Panel: ST6

    Principal investigator: dr Marek Piotr Adamczyk

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  44. Cognitive maps with imperfect information as a tool of automatic data understanding. Concepts, method and, applications.

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Władysław Homenda

    Instytut Badań Systemowych PAN

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

  46. Ramsey numbers containing C_4

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: Janusz Dybizbański

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

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

  48. Leveraging Randomization: From Scheduling to AdWords

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Łukasz Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  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