Projects funded by the NCN

Limits of decidability in automata theory

Call: SONATA 4 , Panel: ST6

Principal investigator: dr Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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 PAN

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

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, Wydział Matematyki, Fizyki i Chemii

Algorithms for text data processing

Call: OPUS 2 , Panel: ST6

Principal investigator: dr hab. Sebastian Deorowicz

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

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 methodology for multiscale computing on heterogeneous hardware architectures

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Łukasz Rauch

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

Multi scale modelling of microstructure evolution during deformation on the basis of the cellular automata framework.

Call: SONATA 1 , 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

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

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

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

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

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

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