Opendata, web and dolomites
H2020 projects about "formalized"
The page lists 9 projects related to the topic "formalized".
| # | |||
|---|---|---|---|
| 1 | SMARTGEARBOX | Development of a new gearbox without lubricants for low OM costs, higher efficiency, and oiless applications | 2014 |
| 2 | SMARTGEARBOX | Development of a new gearbox without lubricants for low OM costs, higher efficiency, and oiless applications | 2016 |
| 3 | SMART | Strong Modular proof Assistance: Reasoning across Theories | 2017 |
| 4 | CriticalMaaS | Concepts, theories and models for planning , operating and evaluating the dynamics of Mobility as a Service | 2019 |
| 5 | Emergence | Emergence of wild differentiable dynamical systems | 2019 |
| 6 | AD ASTRA | HArnessing Degradation mechanisms to prescribe Accelerated Stress Tests for the Realization of SOC lifetime prediction Algorithms | 2019 |
| 7 | Social Smart | The Neural and Network Dynamics of Social Influence Across Adolescence | 2019 |
| 8 | 5GhOSTS | 5th GeneratiOn Security for Telecom Services | 2019 |
| 9 | FIOLENCE | FIOLENCE: A New Research Space at the Food/Violence Nexus | 2020 |