Projects funded by the NCN

Complexity of algorithms on compressed data

Call: OPUS 7 , Panel: ST6

Principal investigator: prof. Wojciech Rytter

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Continuous problems: optimality, complexity, tractability

Call: OPUS 5 , Panel: ST1

Principal investigator: prof. Leszek Plaskota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Computational complexity of some connectivity problems

Call: SONATA 4 , Panel: ST6

Principal investigator: dr hab. Marcin Jakub Kamiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Tractability of non-homogenous multivariate problems

Call: PRELUDIUM 4 , Panel: ST1

Principal investigator: dr Paweł Siedlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

The role of automatic and reflective emotions in heuristic and systematic processing on different levels of complexity

Call: SONATA 4 , Panel: HS6

Principal investigator: dr Kamil Konrad Imbir

Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej, Wydział Stosowanych Nauk Społecznych

From Games to Algorithms: Exploring Reasoning in Description Logics

Call: OPUS 29 , Panel: ST6

Principal investigator: dr hab. Barbara Morawska

Uniwersytet Opolski

Polishability of analytic equivalence relations and generalized Scott analysis

Call: PRELUDIUM 24 , Panel: ST1

Principal investigator: Mateusz Lichman

Politechnika Łódzka

Decision Problems for Logics with Weak Forms of Recursion

Call: PRELUDIUM 23 , Panel: ST6

Principal investigator: Bartosz Jan Bednarczyk

Uniwersytet Wrocławski

Complex models in scheduling problems and methods of their solution

Call: OPUS 2 , Panel: ST6

Principal investigator: prof. Adam Antoni Janiak

Instytut Badań Systemowych PAN

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

Application of modern algorithmic methods for solving NP-hard clustering problems.

Call: PRELUDIUM 9 , Panel: ST6

Principal investigator: Krzysztof Sornat

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Constraint Satisfaction Problems and Quantified Constraint Satisfaction Problems in the context of Temporal Reasoning.

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Michał Wrona

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