Projects funded by the NCN

Prospective memory in childhood - automatic versus strategic processes

Call: PRELUDIUM 9 , Panel: HS6

Principal investigator: Elżbieta Kalina Ślusarczyk

Uniwersytet Jagielloński, Wydział Filozoficzny

Automatic analysis of phonetic convergence in speech technology systems

Call: HARMONIA 6 , Panel: HS2

Principal investigator: prof. Grażyna Maria Demenko

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Neofilologii

Development of three-dimensional model and software based on frontal cellular automata for modeling microstructure evolu...

Call: PRELUDIUM 1 , Panel: ST8

Principal investigator: dr Łukasz Rafał Łach

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej

Efficient algorithms and representations in formal languages and automata theory.

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Multi-scale model of tumor dynamics as a key component of the system for optimal anti-cancer therapy

Call: HARMONIA 5 , Panel: ST6

Principal investigator: prof. Witold Dzwinel

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

Generation of non-linear dynamic compact thermal models of electronic systems and semiconductor devices based on knowled...

Call: PRELUDIUM 5 , Panel: ST7

Principal investigator: Tomasz Jan Torzewicz

Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki

Development of a tool for automatic evaluation of complexes of ligands with serotonin receptors based on the application...

Call: PRELUDIUM 5 , Panel: NZ2

Principal investigator: Sabina Marta Podlewska

Instytut Farmakologii im. Jerzego Maja Polskiej Akademii Nauk

Development of the mathematical model for the phase transformation research of the peritectic systems on the base of cel...

Call: OPUS 1 , Panel: ST8

Principal investigator: dr hab. Andriy Burbelko

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

Automated information systems of case-law. Model analysis

Call: PRELUDIUM 1 , Panel: HS2

Principal investigator: dr Honorata Alicja Zarębska

Uniwersytet Śląski w Katowicach, Wydział Filologiczny

Synchronization of automata and the Cerny conjecture

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Automatisation of constructive logic

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Aleksy Andrzej Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Limits of decidability in automata theory

Call: SONATA 4 , Panel: ST6

Principal investigator: dr Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatic morphological analysis of Polish texts from 1830-1918 period with respect to evolution of inflection and spell...

Call: OPUS 4 , Panel: HS2

Principal investigator: dr hab. Magdalena Anna Sykurska-Derwojed

Uniwersytet Warszawski, Wydział Polonistyki

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

Analytic equivalence relations and Polish group actions

Call: SONATA 3 , Panel: ST1

Principal investigator: dr Marcin Sabok

Instytut Matematyczny Polskiej Akademii Nauk

Development of multi- scale model of recrystallization, that occurs in fine wires from biocompatible Mg alloys during dr...

Call: OPUS 3 , Panel: ST8

Principal investigator: prof. Andriy Milenin

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej

Experimental and simulation studies of advanced control of biotechnological processes stimulation

Call: OPUS 3 , Panel: ST7

Principal investigator: prof. Mieczysław Metzger

Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Check...

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Anh Linh Nguyen

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Erotetic logic in the modeling of ultimate and distributed question processing. Theoretical foundations and applications

Call: MAESTRO 2 , Panel: HS1

Principal investigator: prof. Andrzej Wiśniewski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Społecznych

New methods for the automatic synthesis and exploration of sequential data

Call: SONATA 2 , Panel: ST6

Principal investigator: dr Radosław Ziembiński

Politechnika Poznańska, Wydział Informatyki

On the border of impossible in classical automata theory

Call: OPUS 28 , Panel: ST6

Principal investigator: dr hab. Paweł Parys

Uniwersytet Warszawski

Incorporation of local TiN thin films heterogeneities into the full-field hybrid fracture model based on the digital mat...

Call: OPUS 27 , Panel: ST8

Principal investigator: dr Konrad Perzyński

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

The impact of artificial intelligence on the administration of justice and the principle of effective legal protection i...

Call: PRELUDIUM 23 , Panel: HS5

Principal investigator: Aleksandra Maria Wisławska

Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie

Synthesis via active learning: theory and applications

Call: OPUS 27 , Panel: ST6

Principal investigator: dr hab. Jan Otop

Uniwersytet Wrocławski

Allergenic pollen concentrations in the air – a novel approach based on modelling and measurements

Call: OPUS 26 , Panel: ST10

Principal investigator: dr hab. Małgorzata Werner

Uniwersytet Wrocławski, Wydział Nauk o Ziemi i Kształtowania Środowiska

Will Artificial General Intelligence Bring Extinction or Cornucopia? Modeling the Economy at Technological Singularity

Call: OPUS 26 , Panel: HS4

Principal investigator: prof. Jakub Marek Growiec

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

Framework for smart condition reassessment of reclaimed timber to extend the service life of long-lived wood products wi...

Call: WEAVE-UNISONO , Panel: ST8

Principal investigator: dr Jan Pełczyński

Politechnika Warszawska

AI-powered interpreting: The impact of automatic speech recognition (ASR) on the work of simultaneous interpreters

Call: PRELUDIUM 22 , Panel: HS2

Principal investigator: Paulina Justyna Rozkrut

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki

Automation of the Problem of Unification in Description Logics

Call: POLONEZ BIS 3 , Panel: ST6

Principal investigator: dr hab. Barbara Joanna Morawska

Uniwersytet Opolski, Instytut Informatyki

The parity problem for cellular automata.

Call: SONATA 18 , Panel: ST6

Principal investigator: dr Anna Katarzyna Nenca

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

AUTOMATIC: Analysis of the relationship between the AUTOnoMic nervous system and cerebral AutoregulaTIon using maChine l...

Call: SONATA 18 , Panel: ST7

Principal investigator: dr Agnieszka Małgorzata Uryga

Politechnika Wrocławska

Polynomial finite state computation

Call: MAESTRO 14 , Panel: ST6

Principal investigator: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

The phenomenon of engulfment and pushing of nanoparticles by solidifying interfaces: moddelling and experimental validat...

Call: OPUS 22 , Panel: ST8

Principal investigator: dr hab. Wojciech Olgierd Maziarz

Instytut Metalurgii i Inżynierii Materiałowej im. Aleksandra Krupkowskiego Polskiej Akademii Nauk

The impact of robots adoption on wage polarization in Europe

Call: PRELUDIUM 20 , Panel: HS4

Principal investigator: Karol Rafał Madoń

Fundacja Naukowa Instytut Badań Strukturalnych

New concept of the network of smart cameras with enchanced autonomy for automatic surveillance system.

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: Michał Fularz

Politechnika Poznańska, Wydział Elektryczny

Arithmetical and dynamical properties of sequences given by substitutions.

Call: PRELUDIUM 20 , Panel: ST1

Principal investigator: Elżbieta Anna Krawczyk

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Decision procedures in verification

Call: OPUS 2 , Panel: ST6

Principal investigator: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Automatic procedure to determine the optimal working point of the upgraded LHCb pixel vertex detector and development of...

Call: PRELUDIUM 19 , Panel: ST2

Principal investigator: Paweł Kopciewicz

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Fizyki i Informatyki Stosowanej

Artificial intelligence in integrated archaeological landscape research. Development and application of automated data c...

Call: OPUS 19 , Panel: HS3

Principal investigator: Piotr Paweł Wroniecki

Uniwersytet Warszawski, Wydział Archeologii

Technological specialisation and productivity divergence in the age of digitalisation, automation and AI

Call: OPUS 19 , Panel: HS4

Principal investigator: dr hab. Aleksandra Barbara Parteka

Politechnika Gdańska

The multiscale 3D methodology of mechanical properties prediction for steels deformed at extra-high temperatures

Call: SONATA 2 , Panel: ST8

Principal investigator: dr Marcin Hojny

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej

Development of the full field model of dynamic recrystallization based on the hybrid random cellular automata and finite...

Call: OPUS 18 , Panel: ST8

Principal investigator: prof. Łukasz Karol Madej

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej

Big Data, Algorithms and Artificial Intelligence in Law Enforcement in the EU

Call: OPUS 17 , Panel: HS5

Principal investigator: dr Martyna Agnieszka Kusak

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

The role of body movement for the development of visual attention in infancy - investigation with automatic movement qua...

Call: SONATINA 3 , Panel: HS6

Principal investigator: dr David López Pérez

Instytut Psychologii Polskiej Akademii Nauk

Development of LBM-based platform for modeling of advanced additive manufacturing characterized by the changes of state ...

Call: OPUS 16 , Panel: ST8

Principal investigator: prof. Dmytro Svyetlichnyy

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej

Machine learning and automatic theorem proving

Call: OPUS 15 , Panel: ST6

Principal investigator: dr hab. Henryk Michalewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automated Discovery and Exploitation of Domain Knowledge for Prioritizing Search in the Problem of Automatic Program Syn...

Call: PRELUDIUM 15 , Panel: ST6

Principal investigator: Iwo Piotr Błądek

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Deep Neural Architectures for Automated Theorem Proving

Call: PRELUDIUM 15 , Panel: ST6

Principal investigator: Bartosz Paweł Piotrowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automated decision-making versus prohibition of discrimination in the European law

Call: PRELUDIUM 15 , Panel: HS5

Principal investigator: dr Joanna Urszula Mazur

Uniwersytet Warszawski, Wydział Prawa i Administracji

Mechanistic explanation of a generation of (and deviations from) the universal curve of the Earthquake Recurrence Time D...

Call: OPUS 14 , Panel: ST10

Principal investigator: dr hab. Mariusz Jacek Białecki

Instytut Geofizyki Polskiej Akademii Nauk