Opendata, web and dolomites

H2020 projects about "computability"

The page lists 6 projects related to the topic "computability".

# achronym  title  year 
1 EUDAT2020 EUDAT2020 2015
2 SAT STABILIS Nonlinear Sampled-data Attitude Stabilization of Underactuated Spacecraft 2015
3 GroupsComputability Algorithms in algebra and topology 2015
4 ScaleOpt Scaling Methods for Discrete and Continuous Optimization 2018
5 IMIC Inner models and infinite computations 2018
6 GODELIANA The Gödel Enigma: Unveiling a Hidden Logical Heritage 2018