Projects funded by the NCN

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

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

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

Algorithmic Structure Theory for Sparse Graphs

Call: POLONEZ 1 , Panel: ST6

Principal investigator: Dipl. Inform. Sebastian Siebertz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

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

Algorithmic aspects of synchronization

Call: OPUS 9 , Panel: ST6

Principal investigator: dr Adam Roman

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Searching graph structures

Call: OPUS 9 , Panel: ST6

Principal investigator: dr hab. Dariusz Dereniowski

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

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

Entropic uncertainty relations and quantum cryptography

Call: OPUS 9 , Panel: ST6

Principal investigator: dr hab. Zbigniew Puchała

Instytut Informatyki Teoretycznej i Stosowanej PAN

Stoping methods in analysis of chosen algorithms

Call: OPUS 9 , Panel: ST6

Principal investigator: prof. Michał Morayne

Politechnika Wrocławska