Projects funded by the NCN

Deep Neural Architectures for Automated Theorem Proving

Call: PRELUDIUM 15 , Panel: ST6

Principal investigator: Bartosz Piotrowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatic analysis of concurrent systems

Call: OPUS 14 , Panel: ST6

Principal investigator: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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 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

Cognitive maps with imperfect information as a tool of automatic data understanding. Concepts, method and, applications.

Call: OPUS 1 , Panel: ST6

Principal investigator: dr hab. Władysław Homenda

Instytut Badań Systemowych PAN

Automated Multiparameter System for Assessment of the Patient's general Condition with Comprehensive Analysis of the Res...

Call: OPUS 1 , Panel: ST6

Principal investigator: prof. Andrzej Napieralski

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

Methods and tools of corpus linguistics in the research of a bibliography of Polish book publications from 1997 to 2017

Call: OPUS 12 , Panel: HS2

Principal investigator: prof. Adam Pawłowski

Uniwersytet Wrocławski, Wydział Filologiczny

Automatic synthesis of mathematical programming models for business processes

Call: SONATA 12 , Panel: ST6

Principal investigator: dr Tomasz Pawlak

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

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 Unold

Politechnika Wrocławska

Symbolic computations on first-order definable objects

Call: OPUS 11 , Panel: ST6

Principal investigator: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Separability problem in automata theory

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Wojciech Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Efficient algorithms for weak forms of non-determinism

Call: SONATA 11 , Panel: ST6

Principal investigator: dr hab. Michał Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Bioinformatics tools for automated detection of tumor and its heterogeneity based on cancer metabolome profiling with im...

Call: OPUS 10 , Panel: ST6

Principal investigator: prof. Joanna Polańska

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

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