Projects funded by the NCN

Formal verification in data-enriched models of computation

Call: OPUS 28 , Panel: ST6

Principal investigator: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski

Linear algebra in orbit-finite dimension

Call: PRELUDIUM 21 , Panel: ST6

Principal investigator: Arka Ghosh

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Data-enriched models of computation

Call: OPUS 18 , Panel: ST6

Principal investigator: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Theoretical foundation of resilient feature selection methods that ensure predictive model operation in case of partial ...

Call: PRELUDIUM 16 , Panel: ST6

Principal investigator: Marek Kosma Grzegorowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Application of Hesitant Fuzzy Sets to classification of uncertain data

Call: PRELUDIUM 11 , Panel: ST6

Principal investigator: dr Patryk Piotr Żywica

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

Semantic tensor networks for large data sets analysis

Call: OPUS 8 , Panel: ST6

Principal investigator: dr hab. Piotr Gawron

Instytut Informatyki Teoretycznej i Stosowanej PAN

Discovery of process models and their changes from data supported by domain knowledge and application of developed metho...

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Jan Bazan

Uniwersytet Rzeszowski, Wydział Matematyczno-Przyrodniczy

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

Call: OPUS 4 , Panel: ST6

Principal investigator: dr Marcin Rafał Sydow

Instytut Podstaw Informatyki PAN

Improved understanding of phytoplankton blooms in the Baltic Sea based on numerical models and existing data sets

Call: PRELUDIUM 4 , Panel: ST10

Principal investigator: Agata Cieszyńska

Instytut Oceanologii PAN

GROSHEC - Toward processor for rough set methods

Call: OPUS 4 , Panel: ST6

Principal investigator: prof. Jarosław Stepaniuk

POLITECHNIKA BIAŁOSTOCKA, Wydział Informatyki

Theoretical and practical homology computation for big data sets.

Call: PRELUDIUM 3 , Panel: ST6

Principal investigator: dr Mateusz Grzegorz Juda

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

The rough set theory in a hybrid decision systems for cases of interval and incomplete input data

Call: OPUS 3 , Panel: ST6

Principal investigator: dr hab. Robert Konrad Nowicki

Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

Acceleration of information searching in large data sets by means of hardware methods

Call: OPUS 1 , Panel: ST6

Principal investigator: prof. Kazimierz Wiatr

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

Preparation, execution and dissemination of findings from the European Social Survey, round sixth

Call: HARMONIA 1 , Panel: HS6

Principal investigator: dr hab. Paweł Sztabiński

Instytut Filozofii i Socjologii Polskiej Akademii Nauk