Améliorer mutuellement IA et méthodes formelles pour concevoir des systèmes fiables

Mitsubishi Electric R&D Centre Europe (MERCE) et le Centre Inria de l’Université de Rennes mènent actuellement des recherches conjointes associant méthodes formelles et Intelligence Artificielle afin de concevoir des technologies plus sûres. L’objectif est double. D’une part, donner des garanties de fiabilité mathématiquement prouvées aux résultats proposés par l’IA afin…

Une meilleure IA pour développer du code

En un rien de temps, l’Intelligence Artificielle Générative s’est invitée chez les développeurs qui s’en servent désormais couramment pour concevoir leurs logiciels. Mais malgré les progrès foudroyants et les performances stupéfiantes, des problèmes subsistent pour écrire des programmes à l’aide cette technologie. Une dizaine d’équipes d’Inria et plusieurs partenaires travaillent…

Orange, Inria, IMT Atlantique et l’Université de Nantes lancent une équipe conjointe sur la thématique du continuum numérique

Orange franchit un nouveau cap de collaboration avec Inria, l’école d’ingénieurs IMT Atlantique et l’Université de Nantes en s’engageant pour 5 ans. Depuis près de 10 ans, l’opérateur finance des recherches conduites par Stack, une équipe scientifique d’Inria, IMT Atlantique et Université de Nantes spécialisée dans l’orchestration des systèmes géo-distribués.…

Optimiser la consommation d’énergie du système de dégivrage d’une ligne de métro

Finis les rails métalliques. À Rennes, le nouveau métro automatique CityVal circule sur une voie en béton. En période de froid, un chauffage électrique assure le dégivrage de cette piste. Pour optimiser l’usage du système de dégivrage et maîtriser sa consommation d’énergie, le constructeur Siemens s’appuie sur les recherches en…

L’innovation vertueuse à la Digital Tech Conference de Rennes

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…

InterDigital et Inria lancent un laboratoire commun

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…

Un artiste crée une image avec l’aide d’un scientifique

À Reims, jusqu’au 4 septembre, l’exposition IMAGE 3.0 rassemble les travaux de 16 artistes explorant les nouvelles formes d’écriture photographique appuyées sur les technologies innovantes. Une des œuvres présentées résulte d’une collaboration entre le photographe Mustapha Azeroual et Thomas Maugey, chercheur au centre Inria de Rennes. À l’origine de l’exposition…

Utiliser un réseau de neurones sur des données chiffrées

Le chiffrement homomorphe permet d’effectuer du calcul sur des données sans jamais les voir en clair. Avantage : une confidentialité totale sur toute la chaîne de traitement. Inconvénient : la technique se prête mal à l’utilisation des réseaux de neurones, algorithmes clés en machine learning. Le centre Inria de l’Université…