Nouvelle équipe de recherche dirigée par Nicolas Tabareau à Nantes, Gallinette participe au développement de Coq. Créé il y a 25 ans par Inria, cet assistant de preuve est devenu un outil de premier plan dans son domaine. Il permet de prouver des théorèmes en mathématiques mais aussi la correction…
Créé au centre Inria Rennes – Bretagne Atlantique il y a une dizaine d’années, OpenViBE est devenu l’un des principaux logiciels mondiaux pour le traitement des signaux encéphalographiques, la conception d’interfaces cerveau-ordinateur et la recherche en neurosciences temps-réel. L’outil arrivant à maturité et servant désormais à une vaste communauté d’utilisateurs,…
La transformation linéaire est l’une des opérations les plus courantes en traitement du signal. Mais les coûts de calcul et de stockage peuvent vite grimper. Des recherches menées récemment au centre Inria Rennes – Bretagne Atlantique font émerger une méthode innovante sensiblement plus économique pour certains cas. L’institut finance une…
Les rayons cosmiques peuvent perturber le fonctionnement du matériel électronique embarqué dans les avions, les engins spatiaux et parfois même au sol. À l’initiative de la Direction générale de l’armement (DGA), le centre lnria Rennes – Bretagne Atlantique et l’Office national d’études et de recherches aérospatiales (Onera) se joignent à…
Des robots de services en tous genres déambuleront bientôt dans les lieux publics à côté des piétons vaquant à leurs occupations quotidiennes. Consortium européen coordonné par Inria et financé par le programme Horizon 2020 – ICT, Crowdbot ambitionne de permettre à ces machines de naviguer sans heurt et sans risque…
Depuis une quinzaine d’années, des scientifiques marient l’analyse biomécanique et la réalité virtuelle pour étudier le geste sportif et concevoir de nouveaux outils d’entraînement afin d’améliorer les performances des joueurs. À Rennes, c’est l’une des spécialités du laboratoire Mouvement Sport Santé (M2S) dont l’équipe Inria MimeTIC a entamé une collaboration…
Peut-on extraire la logique contenue dans les normes et textes juridiques afin d’aider les magistrats à fonder leurs jugements ? C’est tout l’objet d’une collaboration qui débute entre la Cour de Cassation, Inria, l’ENS Cachan, l’Université de Rennes 1 et l’Université de Turin, comme l’explique Guillaume Aucher, coordinateur du projet.…
