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…

CominLabs : le LabEx en sciences numériques dans l’ouest

Laboratoire d’Excellence lancé par le Plan investissement d’avenir il y a 15 ans, CominLabs fédère 16 établissements de recherche académique et 8 laboratoires en Bretagne et Pays-de-la-Loire. Coordonné par l’Université de Rennes et géré par Inria, ce réseau met en lien des scientifiques travaillant sur le numérique au sens large.…

Une IA plus vertueuse pour générer du code

Quand ils conçoivent leurs applications, les développeurs informatiques s’appuient désormais sur des Intelligences Artificielles qui génèrent automatiquement du code. Problèmes : ces grands modèles de langage (LLM) sont souvent fermés, coûteux, peu fiables, opaques quant à l’origine des données et guère plus loquaces sur les licences pouvant s’appliquer. Porté par…

Modéliser le mouvement des foules denses

Panique. Bousculade. Piétinement. Écrasement. Parfois les mouvements de foules virent au drame. Comment anticiper les accidents mortels ? C’était la question centrale de CrowdDNA. Ce projet européen qui vient de s’achever était coordonné par le Centre Inria de l’Université de Rennes. De nature très exploratoires, les travaux ont permis d’engranger…

Vers des formes de compression innovantes

Nouvelle équipe de recherche au Centre Inria de l’Université de Rennes, CompACT revendique un ancrage fort dans les fondements théoriques de la compression d’images. Elle s’est donnée trois objectifs : réduire la taille des données visuelles, réduire la taille des collections d’images et de vidéos en supprimant les redondances, et…

Vers une interaction fluide dans les mondes virtuels

Entre la réalité virtuelle (VR) et la réalité augmentée (AR), la frontière s’estompe. On appelle ce continuum la réalité étendue (XR). Il devient possible de passer d’un monde à l’autre et interagir avec quelqu’un évoluant dans une réalité régie par d’autres règles. Mais ces collaborations demeurent laborieuses et limitées. À…