3 projets européens trouvés
Recherche sur 125080 projets européens
TERMINÉ
Generalizing Truth-Functionality (GETFUN)
Date du début: 1 janv. 2013, Date de fin: 31 déc. 2016,
The Fregean-inspired Principle of Compositionality of Meaning (PoC), for formal languages, may be construed as asserting that the meaning of a compound expression is deterministically (and often recursively) analysable in terms of the meaning of its constituents, taking into account the mode in which these constituents are combined so as to form the compound expression. From a logical point of vi ...
Voir le projet
12
Participants partenaires
TERMINÉ
European Clearing House for Open Robotics Development (ECHORD)
Date du début: 1 janv. 2009, Date de fin: 31 déc. 2013,
Description
Strengthening the knowledge transfer between scientific research and industry in robotics and stimulating their cooperation
In Europe the robotics industry is strong, but still fragmented and dispersed. The objective of ECHORD is to provide new opportunities for coordinated and target- ...
Voir le projet
105
Participants partenaires
TERMINÉ
Control for coordination of distributed systems (CON4COORD)
Date du début: 1 mai 2008, Date de fin: 31 août 2011,
Control for coordination of distributed systems is motivated by the case studies of control for underwater vehicles, for aerial vehicles, for a road control and communication network, for automated guided vehicles, and for complex machines.The research thrust is in control design and control synthesis. In particular,control synthesis of a global coordinator of a distributed system, in communicatio ...
Voir le projet