3 European Projects Found
Searched on 125080 European Projects
FINISHED
Generalizing Truth-Functionality (GETFUN)
Start date: Jan 1, 2013, End date: Dec 31, 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 ...
Read Project
12
Partners Participants
FINISHED
European Clearing House for Open Robotics Development (ECHORD)
Start date: Jan 1, 2009, End date: Dec 31, 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- ...
Read Project
105
Partners Participants
FINISHED
Control for coordination of distributed systems (CON4COORD)
Start date: May 1, 2008, End date: Aug 31, 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 ...
Read Project
