Projects funded by the NCN

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

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

Complexity of algorithms on compressed data

Call: OPUS 7 , Panel: ST6

Principal investigator: prof. Wojciech Rytter

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

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