Projekty finansowane przez NCN

Weryfikacja formalna w modelach obliczeń rozszerzonych o dane

Konkurs: OPUS 28 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski

Na granicy niemożliwego w klasycznej teorii automatów

Konkurs: OPUS 28 , panel: ST6

Kierownik: dr hab. Paweł Parys

Uniwersytet Warszawski

Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji

Konkurs: PRELUDIUM 23 , panel: ST6

Kierownik: Bartosz Jan Bednarczyk

Uniwersytet Wrocławski

Niestandardowe problemy sterowania stochastycznego z zastosowaniami

Konkurs: OPUS 27 , panel: ST1

Kierownik: prof. Łukasz Stettner

Instytut Matematyczny Polskiej Akademii Nauk

Modele obliczeń rozszerzone o dane

Konkurs: OPUS 18 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorytmizacja teorii perspektywy - problem wag decyzyjnych

Konkurs: SONATA 12 , panel: HS4

Kierownik: dr Elżbieta Babula

Uniwersytet Gdański, Wydział Ekonomiczny

Rozwój oraz synteza nowoczesnych metod modelowania niepewności w rozwiązaniu wielokryterialnych problemów decyzyjnych...

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Pavel Sevastsyanau

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

Problemy decyzyjne przy sterowaniu przepływami w globalnych sieciach dostaw produktów wysokiej technologii.

Konkurs: OPUS 6 , panel: ST8

Kierownik: prof. Tadeusz Sawik

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Zarządzania

Procedury decyzyjne w weryfikacji

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki