3 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
Data-enriched models of computation
Call: OPUS 18 , Panel: ST6
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Fusion of Models and Data for Enriched Evaluation of Structural Health
Call: ALPHORN 1 , Panel: ST8
Principal investigator: prof. Wiesław Mieczysław Ostachowicz
Instytut Maszyn Przepływowych im. Roberta Szewalskiego Polskiej Akademii Nauk