Catégorie : Uncategorized

Faciliter le passage de Coq dans l’industrie

,
Photographie d'un boulier

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…

Un consortium pour OpenViBE

, ,

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,…

Des transformées linéaires plus rapides

,

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…

Mentions légales

Directeur de la publication : Patrick Gros, directeur du centre Inria Rennes – Bretagne Atlantique Comité de rédaction : Patrice Gélin, Nathalie Lacaux, Laura Brisebourg, Ana-Bela Leconte, Antoine Le Graët, Mélanie Raimbault Rédacteur : J-M. Prima Crédit photos : photothèque Inria, J-M. Prima Conception/réalisation : Service Communication et Médiation, Inria…