Projects funded by the NCN

Formal features of conscious representations

Call: PRELUDIUM 13 , Panel: HS6

Principal investigator: Simon Del Pin

Uniwersytet Jagielloński, Wydział Filozoficzny

Projections of demand for care among the elderly in Poland including health status and family situation

Call: PRELUDIUM 12 , Panel: HS4

Principal investigator: Wojciech Łątkowski

Szkoła Główna Handlowa w Warszawie, Kolegium Analiz Ekonomicznych

Algebraic Effects and Continuations

Call: POLONEZ 3 , Panel: ST6

Principal investigator: dr Maciej Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Scalable reasoning about concurrent imperative programs

Call: SONATA 12 , Panel: ST6

Principal investigator: dr Filip Sieczkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

One Step From the Relational Model. A Couple of Database Theory Puzzles.

Call: OPUS 12 , Panel: ST6

Principal investigator: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

The generalized, multi-robot framework for the augmented, visual simultaneous localization and mapping system

Call: PRELUDIUM 1 , Panel: ST7

Principal investigator: Adam Schmidt

Politechnika Poznańska, Wydział Elektryczny

Entropy in complex networks

Call: OPUS 12 , Panel: ST6

Principal investigator: dr hab. Mikołaj Morzy

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Does ecotourism have ability to empower residents to overcome environmental discrimination due to Natura 2000 in Poland ...

Call: POLONEZ 3 , Panel: HS6

Principal investigator: dr Marianna Strzelecka

Uniwersytet Jagielloński, Wydział Biologii

Online learning algorithms for complex prediction problems

Call: SONATA BIS 6 , Panel: ST6

Principal investigator: dr Wojciech Kotłowski

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Conceptual, formal and practical aspects of forensic and judicial applications of probabilistic tools.

Call: SONATA BIS 6 , Panel: HS1

Principal investigator: dr hab. Rafał Urbaniak

Uniwersytet Gdański, Wydział Nauk Społecznych

Quantitative properties for higher-order recursion schemes

Call: SONATA BIS 6 , Panel: ST6

Principal investigator: dr hab. Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Arithmetic properties of formal groups

Call: OPUS 11 , Panel: ST1

Principal investigator: dr Mariia Vlasenko

Instytut Matematyczny Polskiej Akademii Nauk

Grammatical inference methods in classification of amyloidogenic proteins

Call: OPUS 11 , Panel: ST6

Principal investigator: dr hab. Olgierd Unold

Politechnika Wrocławska

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

Separability problem in automata theory

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Wojciech Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Phenomenological mechanisms of prefabricating mental spaces

Call: OPUS 11 , Panel: HS1

Principal investigator: dr hab. Wojciech Krysztofiak

Uniwersytet Szczeciński, Wydział Humanistyczny

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

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

Algebraic invariants of Data Petri Nets.

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Critical analysis of existing systems of deontic action logic, their comparison, study of their cognitive and practical ...

Call: SONATA 1 , Panel: HS1

Principal investigator: dr Robert Trypuz

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

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

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

European Council in the process of shaping its formal and informal powers within the scope of EU external actions

Call: OPUS 10 , Panel: HS5

Principal investigator: dr hab. Beata Przybylska-Maszner

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Politycznych i Dziennikarstwa

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

Formal linguistics for proteomics - modeling, analysis and hypotheses testing

Call: SONATA 9 , Panel: ST6

Principal investigator: dr Witold Dyrka

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

Epistemological aspects of the application of content implication as instrument of formalization of the expressions of n...

Call: OPUS 9 , Panel: HS1

Principal investigator: dr hab. Piotr Łukowski

Uniwersytet Łódzki, Wydział Nauk o Wychowaniu

Entropic uncertainty relations and quantum cryptography

Call: OPUS 9 , Panel: ST6

Principal investigator: dr hab. Zbigniew Puchała

Instytut Informatyki Teoretycznej i Stosowanej PAN