Znaleziono 14 projektów spełniających kryteria wyszukiwania:
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
Nowa metoda wspomagająca zarządzanie ryzykiem w wielokryterialnych problemach decyzyjnych
Konkurs: OPUS 28 , panel: HS4
Kierownik: Jakub Mikołaj Więckowski
Instytut Łączności - Państwowy Instytut Badawczy
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
O dyskontowaniu behawioralnym i równowagach Markowa w stochastycznych problemach decyzyjnych
Konkurs: OPUS 18 , panel: HS4
Kierownik: dr hab. Łukasz Patryk Woźny
Szkoła Główna Handlowa w Warszawie, Kolegium Analiz Ekonomicznych
Konkurs: PRELUDIUM 13 , panel: ST6
Kierownik: Michał Tomasz Idzik
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Konkurs: OPUS 13 , panel: HS4
Kierownik: prof. Ignacy Stanisław Kaliszewski vel Kieliszewski
Instytut Badań Systemowych PAN
Algorytmizacja teorii perspektywy - problem wag decyzyjnych
Konkurs: SONATA 12 , panel: HS4
Kierownik: dr Elżbieta Babula
Uniwersytet Gdański, Wydział Ekonomiczny
Konkurs: PRELUDIUM 12 , panel: HS4
Kierownik: dr Wojciech Franciszek Sałabun
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Wydział Informatyki
Konkurs: OPUS 6 , panel: ST6
Kierownik: prof. Pavel Sevastsyanau
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
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