8 projects found matching your search criteria :
Weighted automata for quantitative properties
Call: SONATA 8 , Panel: ST6
Principal investigator: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: SONATA 20 , Panel: ST8
Principal investigator: dr Mateusz Sitko
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Call: OPUS 27 , Panel: ST8
Principal investigator: dr Konrad Perzyński
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Call: OPUS 18 , Panel: ST8
Principal investigator: prof. Łukasz Karol Madej
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Call: OPUS 17 , Panel: HS4
Principal investigator: dr hab. Małgorzata Beata Renigier-Biłozor
Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Geoinżynierii
Call: OPUS 14 , Panel: ST7
Principal investigator: prof. Teresa Bronisława Orłowska-Kowalska
Politechnika Wrocławska
Call: SONATA 11 , Panel: ST8
Principal investigator: dr Łukasz Rafał Łach
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
An intelligent hybrid system for planning and composition of Web services
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Wojciech Penczek
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych