Search for a funded project
UNderwater robotics with multi-moDal communIcation and Network-Aided positioning system – UNDINA
opto-acoustic-inductive channel models, Evologics Intelligent Networking Software (EvINS) Framework, and robot
Trustworthy and Robust Artificial INtelligence – TRAIN
Artificial Intelligence (AI) technologies can efficiently process large amounts of data, to help stakeholders
Tropospheric Observing System for the Investigation and Management of the Environment – VOLTIGE
Unmanned aerial systems for atmospheric research
Triggering systems for high-granularity detectors in high-energy and high-luminosity environments – HiGranTS
Triggering systems for high-granularity detectors in high-energy and high-luminosity environments
Translating sign language with computer vision – CorVis
techniques, based on recent advances in artificial intelligence, in particular in the fields of computer vision
Translating and dIscovering CAlculi for MOdal and RElated logics – TICAMORE
Understanding and extending the proof-theory of modal and related logic by relating calculi
Transactional operations in sensor environments – TransCap
fact that the contributions of these tiny yet intelligent devices to the new "information everywhere" paradigm
Transactional approach of fatigue of operators working in open-space offices – FABO
Transactional approach to the fatigue of operators working in open-space offices
TransMedia Observatory – OTMedia
press, radio and television broadcasts more intelligible, viewable and searchable at a macro-level of
Tractability for Understanding and Pushing forward the Limits of Efficient Solvers – TUPLES
This study concerns the field of Artificial Intelligence, specifically the SAT (satisfiability problem