10 projects found matching your search criteria :
Formal verification in data-enriched models of computation
Call: OPUS 28 , Panel: ST6
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski
On the border of impossible in classical automata theory
Call: OPUS 28 , Panel: ST6
Principal investigator: dr hab. Paweł Parys
Uniwersytet Warszawski
Decision Problems for Logics with Weak Forms of Recursion
Call: PRELUDIUM 23 , Panel: ST6
Principal investigator: Bartosz Jan Bednarczyk
Uniwersytet Wrocławski
Nonstandard stochastic control problems with applications
Call: OPUS 27 , Panel: ST1
Principal investigator: prof. Łukasz Stettner
Instytut Matematyczny Polskiej Akademii Nauk
Data-enriched models of computation
Call: OPUS 18 , Panel: ST6
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorithmization of prospect theory - the problem of decision weights
Call: SONATA 12 , Panel: HS4
Principal investigator: dr Elżbieta Babula
Uniwersytet Gdański, Wydział Ekonomiczny
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Pavel Sevastsyanau
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Decision making in the control of flows in global supply chains of high-tech products.
Call: OPUS 6 , Panel: ST8
Principal investigator: prof. Tadeusz Sawik
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Zarządzania
Call: SONATA 4 , Panel: HS6
Principal investigator: dr Kamil Konrad Imbir
Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej, Wydział Stosowanych Nauk Społecznych
Decision procedures in verification
Call: OPUS 2 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki