Projects funded by the NCN

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

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

Limits of Databases

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Szymon Toruńczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Stability of the Cauchy problem for Einstein equations: classical and quantum aspects.

Call: OPUS 11 , Panel: ST1

Principal investigator: prof. Jerzy Kijowski

Centrum Fizyki Teoretycznej Polskiej Akademii Nauk

Separability problem in automata theory

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Wojciech Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

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

Special geometric configurations in the state space and the extremal points of the entropy of quantum measurement

Call: SONATA 11 , Panel: ST1

Principal investigator: dr Anna Szymusiak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

The topology of solution spaces of combinatorial problems

Call: PRELUDIUM 11 , Panel: ST6

Principal investigator: Marcin Wrochna

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Approximation algorithms under data uncertainty

Call: PRELUDIUM 11 , Panel: ST6

Principal investigator: Michał Włodarczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Effective theories in many-body quantum mechanics

Call: SONATA 11 , Panel: ST1

Principal investigator: dr Marcin Napiórkowski

Uniwersytet Warszawski, Wydział Fizyki

Algebraic invariants of Data Petri Nets.

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Efficient parsing algorithms for free word order languages

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: Paweł Skórzewski

Uniwersytet im. Adama Mickiewicza, Wydział Matematyki i Informatyki

Perception Based Computing

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Piotr Wasilewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Positive maps in mathematical physics

Call: OPUS 10 , Panel: ST1

Principal investigator: prof. Dariusz Chruściński

Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej

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

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

Optimality, universality and controllability in quantum computation theory

Call: SONATA BIS 5 , Panel: ST1

Principal investigator: dr Adam Sawicki

Centrum Fizyki Teoretycznej PAN

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

Pseudoentropy.

Call: PRELUDIUM 9 , Panel: ST6

Principal investigator: Maciej Skórski

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

C*-algebras and their interactions with topological and quantum dynamics

Call: SONATA 9 , Panel: ST1

Principal investigator: dr Karen Strung

Instytut Matematyczny PAN

Entropic uncertainty relations and quantum cryptography

Call: OPUS 9 , Panel: ST6

Principal investigator: dr hab. Zbigniew Puchała

Instytut Informatyki Teoretycznej i Stosowanej PAN