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…
Une myriade de fausses applications polluent le monde d’Android. Leur but : dérober l’argent, l’identité ou les données des utilisateurs de smartphones. Un groupe de chercheurs travaillant sur ces vecteurs d’infection vient de mettre au point une série d’outils innovants de test et de visualisation. Ils vont aider les analystes…
Développée au centre Inria Rennes – Bretagne Atlantique, UltraSound ToolKit (USTK) est une librairie open source dédiée à l’image échographique. Elle s’adresse aux laboratoires de recherche et entreprises qui souhaitent développer des applications médicales intégrant des commandes de systèmes robotiques temps réel. Contrairement à la radiographie, au scanner ou à…
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…
