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

Methods and algorithms for automatic calibration and offset cancellation in fiber-optic distribution of atomic timescale...

Call: OPUS 9 , Panel: ST7

Principal investigator: dr hab. Przemysław Jakub Krehlik

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

Weighted automata for quantitative properties

Call: SONATA 8 , Panel: ST6

Principal investigator: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Using cellular automata to model leadership in organization

Call: OPUS 8 , Panel: HS4

Principal investigator: dr hab. Agnieszka Kowalska-Styczeń

Politechnika Śląska, Wydział Organizacji i Zarządzania

Scalable metaheuristics for automated program synthesis

Call: OPUS 8 , Panel: ST6

Principal investigator: dr hab. Krzysztof Krawiec

Politechnika Poznańska, Wydział Informatyki

Application of generative and discriminative machine-learning models to automated grammatical error correction

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Roman Grundkiewicz

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Construction of multi-state DNA computer working with more than one restriction enzymes

Call: OPUS 1 , Panel: NZ2

Principal investigator: dr hab. Tomasz Popławski

Uniwersytet Łódzki, Wydział Biologii i Ochrony Środowiska

Development and validation of concurent random cellular automata - finite element (RCAFE) model with virtual microstruct...

Call: SONATA BIS 4 , Panel: ST8

Principal investigator: dr hab. Łukasz Madej

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

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

ARISTOTELES: Methodology and algorithms for Automatic RevISion of onTOlogies in TAsk basEd scEnarioS

Call: SONATA 7 , Panel: ST6

Principal investigator: dr Agnieszka Ławrynowicz

Politechnika Poznańska, Wydział Informatyki

Decidability issues for automata on infinite structures

Call: OPUS 7 , Panel: ST6

Principal investigator: prof. Damian Tadeusz Niwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Development of algorithms for 3D buildings modeling using point clouds from dense image matching.

Call: PRELUDIUM 7 , Panel: ST10

Principal investigator: Małgorzata Jarząbek-Rychard

Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji

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

Automatic classification of variable stars with hierarchical machine learning

Call: PRELUDIUM 7 , Panel: ST9

Principal investigator: Michał Marek Pawlak

Uniwersytet Warszawski, Wydział Fizyki

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

Modeling of consumer behavior dynamics in oligopoly markets by cellular automata

Call: OPUS 1 , Panel: HS4

Principal investigator: dr Agnieszka Kowalska-Styczeń

Politechnika Śląska, Wydział Organizacji i Zarządzania

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

Development and implementation of model checking methods for real-time and multi-agent systems

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Bożena Woźna-Szcześniak

Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

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

Frontiers of automatic verification: new methods of analysis of infinite-state systems

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Automatic reasoning about specifications in simple logics - decidability and complexity issues

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

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

Research on methods used for determination of measurement strategy during digitalization of shape of three dimensional o...

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: Maciej Tomasz Karaszewski

Politechnika Warszawska, Wydział Mechatroniki

DISQUSS: Diversified Suggestions for Queries on Semi-structured Data Sets

Call: OPUS 4 , Panel: ST6

Principal investigator: dr Marcin Rafał Sydow

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Problems in algebraic combinatorics concerning permutation groups and transformation semigroups

Call: OPUS 4 , Panel: ST1

Principal investigator: prof. Andrzej Marian Kisielewicz

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

Automatic detection and correction of annotation errors in Polish language corpora

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: dr Łukasz Maciej Kobyliński

Instytut Podstaw Informatyki Polskiej Akademii Nauk

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

Methods of automatic programming involving semantic approaches

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: dr Tomasz Paweł Pawlak

Politechnika Poznańska, Wydział Informatyki

Automated, high-throughput modeling of RNA three-dimensional structures

Call: MAESTRO 3 , Panel: ST6

Principal investigator: prof. Ryszard Walenty Adamiak

Politechnika Poznańska, Wydział Informatyki

Theoretical fundamentals of automation of design processes of machine elements and assemblies using artificial intellige...

Call: OPUS 3 , Panel: ST8

Principal investigator: prof. Wojciech Kacalak

Politechnika Koszalińska, Wydział Mechaniczny

Automated recognition of opinion targets and expressions in Polish texts

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: dr Aleksander Marek Wawer

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Analytic equivalence relations and Polish group actions

Call: SONATA 3 , Panel: ST1

Principal investigator: dr Marcin Sabok

Instytut Matematyczny Polskiej Akademii Nauk

Simulation and bisimulation for context-free and pushdown systems

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Hierarchy-type Problems for Automata on Infinite Words and Trees

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: dr Michał Paweł Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Innovative methods of nonlinear stochastic modeling of time series generated by complex systems - application to geophys...

Call: OPUS 3 , Panel: ST10

Principal investigator: prof. Zbigniew Edward Czechowski

Instytut Geofizyki Polskiej Akademii Nauk

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

Development of complex multi scale model for microstructure evolution under hot deformation conditions

Call: HARMONIA 2 , Panel: ST8

Principal investigator: prof. Maciej Pietrzyk

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

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

Audiovisual Speech Processing for Polish Applicable to Human-Computer Interface

Call: PRELUDIUM 2 , Panel: ST7

Principal investigator: Tomasz Andrzej Jadczyk

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

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

Automatic calculations for low energetic electron-positron annihilation into hadrons

Call: OPUS 2 , Panel: ST6

Principal investigator: prof. Karol Maksymilian Kołodziej

Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii

Enhancing Housing Market Transparency through Artificial Intelligence and Big Data

Call: OPUS 28 , Panel: HS4

Principal investigator: dr hab. Radosław Trojanek

Uniwersytet Ekonomiczny w Poznaniu

Design automation and simulation-driven optimization of high-frequency systems using machine learning

Call: OPUS 28 , Panel: ST7

Principal investigator: dr hab. Anna Pietrenko-Dąbrowska

Politechnika Gdańska