L’impression 3D permet de fabriquer quantité d’objets. Mais la production demeure très lente. Une des façons d’améliorer la performance pourrait consister à optimiser le code interprété par les machines. Suite à une première étude technique, Inria mène actuellement une action exploratoire dans laquelle trois équipes de recherche revisitent la chaîne…
Née il y a 12 ans d’une collaboration entre l’Institut Curie/CNRS et Inria, l’équipe Serpico élabore des méthodes innovantes pour traiter les images de microscopie. Ses algorithmes sont utilisés par les biologistes, en particulier pour les recherches sur le cancer. En 2023, l’équipe se reconfigure. Elle change légèrement de nom…
Clippée sur un déambulateur, un fauteuil roulant ou une canne blanche, Dornell est une poignée intelligente qui envoie de petites vibrations dans la main pour indiquer aux mal-voyants la direction à prendre ou la présence d’obstacles. Né de précédentes recherches en robotique au service de l’inclusion, ce projet fait actuellement…
Encore à leurs balbutiements, les appareils photo ‘plénoptiques’ produisent un contenu visuel très riche permettant à l’utilisateur de choisir a posteriori parmi différents points focaux, différentes profondeurs de champ, différentes ouvertures de diaphragme… Mais la dimensionnalité et la complexité de ces données soulèvent de multiples défis scientifiques. Créé dans le…
Le 6 décembre à Rennes, en partenariat avec le festival des Transmusicales, se tient le rendez-vous de l’écosystème numérique régional. Comme l’an passé, la Digital Tech Conference s’intéresse à l’innovation vertueuse, mais cette fois-ci en portant son regard sur les solutions concrètes pour la mettre en œuvre. L’événement est co-produit…
Après cinq années de compétition internationale, l’Institut des normes et de la technologie du ministère américain du Commerce (NIST) a sélectionné l’algorithme Falcon pour en faire un standard de signature numérique capable de résister à la puissance de calculs des futurs ordinateurs quantiques. Falcon présente l’avantage d’être extrêmement compact, comme…
Le centre Inria de l’Université de Rennes inaugure un laboratoire commun avec InterDigital, l’une des plus grandes entreprises mondiales de pure R&D dans le domaine du numérique. Baptisé NEMO.AI, ce nouveau laboratoire ambitionne d’introduire des technologies innovantes qui contribueront à l’avènement du metaverse. “Nous entretenons une collaboration de très longue…
Financé par l’Union européenne et piloté par Inria, le consortium TeamPlay vient d’explorer de nouvelles techniques pour permettre aux développeurs de mieux appréhender l’énergie, le temps d’exécution, la sécurité et d’autres propriétés non-fonctionnelles quand ils conçoivent des logiciels parallèles. Durant ces 42 mois de recherche, plusieurs prototypes ont été développés.…
Les méthodes formelles ont le vent en poupe dans le domaine des assistants de preuve chargés de vérifier l’exactitude des logiciels. En revanche, il existe peu d’outils permettant aux mathématiciens de prouver des théorèmes à l’aide du calcul formel, aussi appelé calcul symbolique. Membre de l’équipe de recherche Gallinette* à…
Le nombre de vidéos sur le web explose. Leur stockage consomme de plus en plus d’énergie. Au point d’en devenir un problème environnemental. Les algorithmes de compression ne peuvent guère alléger le fardeau car ils s’évertuent à restituer fidèlement les données d’origine. D’où le besoin d’un paradigme radicalement différent qui…
