Projects funded by the NCN

Reasoning about programs in higher-order languages

Call: OPUS 8 , Panel: ST6

Principal investigator: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Discovery of process models and their changes from data supported by domain knowledge and application of developed metho...

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Jan Bazan

Uniwersytet Rzeszowski, Wydział Matematyczno-Przyrodniczy

Recommendation method RMV for partner and service selection in virtual organization breeding environments based on proce...

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: dr Zbigniew Paszkiewicz

Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej

Stochastic characteristics of single-server queues with limited access to the server

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Wojciech Michał Kempa

Politechnika Śląska, Wydział Matematyki Stosowanej

Study of the capabilities and limits of the use of Petri nets for modeling and analysis of complex biological systems on...

Call: OPUS 4 , Panel: ST6

Principal investigator: prof. Piotr Formanowicz

Instytut Chemii Bioorganicznej PAN

Business process discovery methods and process calculus for RESTful systems.

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: Andrzej Marek Stroiński

Politechnika Poznańska, Wydział Informatyki

Structure and interpretation of programming languages in the "proofs-as-programs" paradigm

Call: OPUS 2 , Panel: ST6

Principal investigator: dr Małgorzata Biernacka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Advancing Petri Net Theory: Deeper understanding to Classical Problems and Integration into Workflow Applications

Call: OPUS 27 , Panel: ST6

Principal investigator: dr Piotr Hofman

Uniwersytet Warszawski

Machine Learning and Network Physiology for Medical Diagnosis with an Application to Dysfunctional Breathing

Call: OPUS 26 (LAP) , Panel: NZ4

Principal investigator: dr hab. Marcin Lech Gruszecki

Gdański Uniwersytet Medyczny, Wydział Nauk o Zdrowiu z Instytutem Medycyny Morskiej i Tropikalnej

Scientific research enabling the development of the process of using recycled photovoltaic panels in the production of m...

Call: POLONEZ BIS 2 , Panel: ST5

Principal investigator: dr Pradeep Padhamnath

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

A new tool for studying the coelectrolysis process in Solid Oxide Electrolysis Cells using carbon dioxide isotopologue

Call: OPUS 22 , Panel: ST8

Principal investigator: prof. Piotr Zbigniew Jasiński

Politechnika Gdańska

Advanced Methods for Modeling Viral Processes

Call: OPUS 19 , Panel: ST6

Principal investigator: dr hab. Piotr Sankowski

MIM Fertility Sp. z o. o.

Scientific Progress in Jurisprudence

Call: OPUS 18 , Panel: HS5

Principal investigator: dr Mateusz Michał Klinowski

Uniwersytet Jagielloński, Wydział Prawa i Administracji

Impact of input data alteration and modification of the algorithm parameters on the efficiency of quantum programs

Call: OPUS 17 , Panel: ST6

Principal investigator: dr hab. Jarosław Adam Miszczak

Instytut Informatyki Teoretycznej i Stosowanej PAN

The role of science and data in the era of Artificial Intelligence - States' obligations regarding data governance under...

Call: PRELUDIUM 16 , Panel: HS5

Principal investigator: dr Łukasz Krzysztof Szoszkiewicz

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Prawa i Administracji

The Use of Big Data Analytics for Process Modelling in Smart Logistics Operations

Call: UNISONO , Panel: ST6

Principal investigator: dr Paweł Karczmarek

Politechnika Lubelska

Process-aware Analytics Support based on Conceptual Models for Event Logs

Call: UNISONO , Panel: ST6

Principal investigator: prof. Grzegorz Nalepa

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

Scalable reasoning about concurrent imperative programs

Call: SONATA 12 , Panel: ST6

Principal investigator: dr Filip Sieczkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Analysis and Development of Process Mining Methods Based on Skeletal Algorithms

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: dr Adam Paweł Przybyłek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatic synthesis of mathematical programming models for business processes

Call: SONATA 12 , Panel: ST6

Principal investigator: dr Tomasz Pawlak

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Scientific description during reading process by deaf, hard of hearing and hearing children. Eye movements during watchi...

Call: PRELUDIUM 11 , Panel: HS6

Principal investigator: Marzena Rusanowska

Instytut Psychologii PAN