Projects funded by the NCN

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

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

Formal verification in data-enriched models of computation

Call: OPUS 28 , Panel: ST6

Principal investigator: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski

Polynomial finite state computation

Call: MAESTRO 14 , Panel: ST6

Principal investigator: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Finite automata: selected problems and applications connecting different areas

Call: OPUS 21 , Panel: ST6

Principal investigator: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Automatic hp adaptive algorithms for processing of MRI scan data

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: Marcin Tomasz Sieniek

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

Algorithms for text data processing

Call: OPUS 2 , Panel: ST6

Principal investigator: dr hab. Sebastian Deorowicz

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

Data-enriched models of computation

Call: OPUS 18 , Panel: ST6

Principal investigator: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Quantitative specifications: learning, algorithms and applications

Call: OPUS 14 , Panel: ST6

Principal investigator: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Classical problems in the theory of finite automata: new approaches, variants, and applications

Call: OPUS 13 , Panel: ST6

Principal investigator: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Symbolic computations on first-order definable objects

Call: OPUS 11 , Panel: ST6

Principal investigator: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki