Projects funded by the NCN

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

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

Quantitative specifications: learning, algorithms and applications

Call: OPUS 14 , Panel: ST6

Principal investigator: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Understanding recursion

Call: SONATA 13 , Panel: ST6

Principal investigator: dr Lorenzo Clemente

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Automation landslide identification by means of airborne laser scanning, object based analysis and machine learning.

Call: PRELUDIUM 13 , Panel: ST10

Principal investigator: dr Kamila Teresa Pawłuszek-Filipiak

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

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

Quantitative properties for higher-order recursion schemes

Call: SONATA BIS 6 , Panel: ST6

Principal investigator: dr hab. Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Grammatical inference methods in classification of amyloidogenic proteins

Call: OPUS 11 , Panel: ST6

Principal investigator: dr hab. Olgierd Ryszard Unold

Politechnika Wrocławska

Algebraic structure of combinatorial objects

Call: OPUS 11 , Panel: ST1

Principal investigator: prof. Andrzej Marian Kisielewicz

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

Separability problem in automata theory

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Wojciech Karol Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Evaluation of high performance computing capabilities during modelling of microstructure evolution based on cellular aut...

Call: PRELUDIUM 11 , Panel: ST8

Principal investigator: Mateusz Sitko

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

Efficient algorithms for weak forms of non-determinism

Call: SONATA 11 , Panel: ST6

Principal investigator: dr hab. Michał Paweł Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Study and modeling of diffusion phase transformations with use of hybrid model based on cellular automata and Lattice Bo...

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

Numerical simulations of passive layer morphology at the metal electrode.

Call: OPUS 10 , Panel: ST4

Principal investigator: dr hab. Janusz Wojciech Stafiej

Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Matematyczno-Przyrodniczy. Szkoła Nauk Ścisłych

Mathematical models and methods in description of tumour growth and its therapies.

Call: OPUS 10 , Panel: ST1

Principal investigator: dr hab. Marek Bodnar

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Algorithmic aspects of synchronization

Call: OPUS 9 , Panel: ST6

Principal investigator: dr Adam Roman

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki