Projects funded by the NCN

Weighted automata for quantitative properties

Call: SONATA 8 , Panel: ST6

Principal investigator: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Heuristic Discovery of Underlying Objectives for Test-based Problems.

Call: PRELUDIUM 8 , Panel: ST6

Principal investigator: Paweł Liskowski

Politechnika Poznańska, Wydział Informatyki

Models and algorithms for some discrete-continuous project scheduling problems

Call: OPUS 6 , Panel: ST6

Principal investigator: dr hab. Grzegorz Waligóra

Politechnika Poznańska, Wydział Informatyki

Efficient algorithms for finding maximum induced acyclic subgraph in directed graphs

Call: PRELUDIUM 22 , Panel: ST6

Principal investigator: Sylwester Swat

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Heuristic optimisation algorithm with coupled reduced order model generation for computation of wind turbines

Call: OPUS 14 , Panel: ST8

Principal investigator: dr Zbigniew Buliński

Politechnika Śląska, Wydział Inżynierii Środowiska i Energetyki