Projekty finansowane przez NCN

Automaty z wagami dla własności kwantytatywnych

Konkurs: SONATA 8 , panel: ST6

Kierownik: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Heurystyczne Algorytmy Odkrywania Ukrytych Kryteriów dla Problemów Opartych na Testach.

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Paweł Liskowski

Politechnika Poznańska, Wydział Informatyki

Kody w Z^2: rozstrzygalność i algorytmy weryfikacji, własność defektu, gęstość asymptotyczna, pokrycia, słabe kody...

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr Włodzimierz Moczurad

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Automation of the Problem of Unification in Description Logics

Konkurs: POLONEZ BIS 3 , panel: ST6

Kierownik: dr hab. Barbara Morawska

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Heurystyczny algorytm optymalizacyjny ze sprzężoną generacją modeli zredukowanych do obliczeń turbin wiatrowych

Konkurs: OPUS 14 , panel: ST8

Kierownik: dr Zbigniew Buliński

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

Wydajne algorytmy dla słabych form niedeterminizmu

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr hab. Michał Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki