La simulation scientifique recourt de plus en plus à l’Intelligence Artificielle (IA) pour analyser des données dont les volumes, eux, ne cessent d’augmenter, exigeant au passage toujours plus de ressources en Calcul Haute Performance (HPC). Difficile pourtant d’organiser ce triptyque Big Data-IA-HPC en raison de l’enchevêtrement des différentes piles logicielles…
Lancé il y a plus 30 ans par Inria, Coq sert à prouver la correction de programmes et de théorèmes. Il vient de franchir une étape importante avec l’ajout de nouvelles fonctionnalités améliorant sa façon d’aborder la notion d’égalité. Il devient ainsi plus facile à utiliser pour les non-spécialistes, y…
Du 30 septembre au 2 octobre 2021, le centre de recherche Inria Rennes – Bretagne Atlantique organisait son premier hackAtech : un ‘speed dating’ événement d’Open Innovation technologique pour faire naître des projets d’entreprises basés sur les résultats scientifiques de l’institut. À la clé : la possibilité de bénéficier de…
Utilisés pour fabriquer les circuits intégrés, les transistors de la technologie CMOS sont miniaturisés à l’extrême afin que les processeurs puissent en embarquer un maximum et ainsi fournir des performances toujours plus élevées. Mais la place vient à manquer. Arrivée à ses limites, cette technologie ne permet plus de gains…
L’Union européenne va se doter d’un Centre de compétences en cybersécurité. L’objectif : organiser à l’échelle continentale les moyens des centres de recherche, des industriels et des agences nationales. En préfiguration, quatre corsortiums pilotes se sont constitués pour lancer les bases d’un grand réseau de compétences où se retrouveront les…
On les appelle les TMS. Troubles musculo-squelettiques. Ils représentent 87 % des maladies professionnelles dans l’industrie. Née de recherches menées au laboratoire Mouvement Sport Santé (M2S) à Rennes, l’entreprise Moovency développe une solution de quantification du risque basée sur l’analyse des postures des opérateurs à leur poste de travail. Labellisée…
Dans certains sports, l’athlète fait corps avec un matériel dont le comportement élastique constitue un facteur de la performance. C’est le cas du plongeoir. En perspective des JO de 2024, les scientifiques de l’équipe de recherche rennaise MimeTIC entreprennent de modéliser cette interaction sportif-matériel en couplant la biomécanique humaine et…
Leader mondial dans les capteurs sismiques de haute précision, l’entreprise Sercel lance S-lynks, une solution innovante pour surveiller en temps réel le bon état des ponts, des bâtiments et autres ouvrages de génie civil. Outre les capteurs, le système comprend un logiciel d’analyse modale opérationnelle pour mesurer la réponse d’une…
Projet d’entreprise soutenu par le Startup Studio d’Inria, AgriBIoT s’appuie sur les expériences précédentes des membres fondateurs et sur des résultats de recherche en informatique diffuse, pour proposer aux agriculteurs une solution innovante de gestion de données par tags RFID. À la clé : un pas de plus vers la…
Une perche de ravitaillement («boom») en mode automatique vient d’être testée sur un avion ravitailleur A330-MRTT. Appelé à être bientôt certifié, ce système dit “A3R” (Air-to-Air Refueling) utilise une technologie de suivi visuel d’objet 3D basée modèle développée pour le guidage de véhicules aériens autonomes. Le principe en a été…
