LePartisan.info À propos Podcasts Fil web Écologie Blogs Revues Médias
flux grenoblois • associations

 Institut National de Recherche en Informatique et en Automatique


Publié le 12.03.2025 à 18:11

03/04/2025 - 17:10

Rencontre avec Aymeric Fromherz, spécialiste en vérification formelle et chercheur ISFP depuis 2022 au sein de l’équipe-projet PROSECCO. Il revient sur son parcours, de sa prépa en mathématiques à sa thèse aux États-Unis, et met en lumière son intérêt pour les applications concrètes dans son domaine de recherche : l'amélioration de la fiabilité logicielle grâce à la modélisation mathématique des programmes. Une recherche avec des applications dans la cryptographie, les systèmes d'exploitation et même en droit fiscal…

Publié le 12.03.2025 à 18:25

02/08/2024 - 09:05

Comment sécuriser un monde numérique qui ne cesse de se densifier et de se complexifier ? C’est le défi que va relever Canari, une nouvelle équipe d’Inria, grâce à la conception d’outils algorithmiques permettant de protéger nos données confidentielles. Et en vue des futurs ordinateurs quantiques, ultrapuissants, elle ambitionne de développer des systèmes de cryptographie pouvant résister à de nouvelles attaques.

Publié le 12.03.2025 à 18:19

04/07/2024 - 13:30

Comment la recherche en numérique facilite le parcours de soin pour les médecins et les patients ? Depuis plusieurs années, intégrées dans les usages et pratiques médicales, les sciences et technologies du numérique révolutionnent les métiers de la santé. Grâce à l’Intelligence artificielle et aux multitudes de données cliniques et statistiques, il est désormais possible de développer des algorithmes et des modèles pour protéger, dépister et guérir et ce, à l’échelle de l’individu ou d’une population.

Publié le 12.03.2025 à 09:36

02/25/2025 - 10:00

41 milliards d’appareils connectés en 2025. L’Internet des Objets explose. Et avec lui, la complexité de conception de ces réseaux. D’autant plus qu’un simple changement sur une seule machine localement peut engendrer le dysfonctionnement de toute une architecture. Un des problèmes provient du fait que les développeurs peinent à préserver les propriétés de temps contrairement à celles liées à la mémoire. Au Centre Inria de l’Université de Rennes, le chercheur Benjamin Lion vient de recevoir une bourse postdoctorale Marie Skłodowska-Curie pour à la fois tenter d’intégrer ce facteur temps dans la sémantique des programmes et aussi de prouver formellement sa préservation durant la compilation. Cette recherche pourrait impacter le secteur industriel mais aussi permettre aux compilateurs de franchir un grand pas. Explications.

Publié le 12.03.2025 à 18:18

12/10/2024 - 08:00

Bien diagnostiquer le cancer de la prostate est un enjeu de santé publique. Cela peut nécessiter le recours à plusieurs examens, dont parfois une biopsie. Celle-ci doit être réalisée avec parcimonie, et nécessite une grande précision. Plusieurs domaines de recherche, dont l’apprentissage automatique et la modélisation numérique, peuvent contribuer à optimiser le recours à cette pratique.

Publié le 12.03.2025 à 18:18

03/11/2025 - 12:08

Depuis plus de trente ans, à Nancy, médecins et informaticiennes et informaticiens associent leurs compétences pour améliorer la prise en charge des patientes et patients en développant les techniques d’imagerie médicale. Rencontre avec le professeur René Anxionnat, chef du service de neuroradiologie au CHRU de Nancy, et Erwan Kerrien, chargé de recherches au sein de l’équipe Inria Tangram, commune avec le CNRS et l’Université de Lorraine et rattachée au laboratoire Loria, autour du développement d’un outil de détection automatique des anévrismes cérébraux.

Publié le 12.03.2025 à 17:51

03/10/2025 - 17:32

Mathématicien et professeur d’informatique à l’université de Göteborg, en Suède, Thierry Coquand est partisan de la philosophie constructiviste en mathématiques. Il a introduit la notion de calcul des constructions, sur laquelle se fondent des logiciels d’assistant de preuve comme Coq et Lean, qui permettent de représenter et de vérifier des preuves mathématiques sur ordinateur. Il est invité à occuper pour l’année 2024-2025 la chaire Informatique et sciences numériques, créée par le Collège de France et Inria.

Publié le 11.03.2025 à 17:03

01/18/2023 - 16:11

Les innovations de l’impression 3D peuvent stimuler la créativité des roboticiens. Tel est l’enseignement du projet ANR MuFFin, mené par Jonàs Martínez, chercheur de l’équipe MFX, commune au Centre Inria Nancy - Grand Est et au Loria. Ses recherches en sciences des matériaux ont permis à l’équipe Inria lilloise Defrost de développer un robot aux capacités inédites. Récit d’un transfert de connaissances réussi.

Publié le 11.03.2025 à 16:01

07/04/2024 - 13:42

De plus en plus, les retransmissions d’épreuves sportives affichent dans les vidéos le nom des athlètes, le record à battre, la vitesse des balles, etc. Mais ces données sont-elles pertinentes et bien présentées pour les spectateurs ? Et de quels outils les designers ont-ils besoin pour créer des modes de visualisation optimaux ? Autant de questions au cœur des recherches d’une équipe Inria. Elles sont axées sur la natation et menées en collaboration avec le laboratoire LIRIS (CNRS)*.

Publié le 06.03.2025 à 15:12

02/18/2025 - 15:02

Après une première collaboration fructueuse sur le stockage distribué des données, Inria et Hivenet franchissent une nouvelle étape avec le lancement du défi CUPSELI. Ce programme ambitieux vise à repousser les frontières du calcul distribué et de l’intelligence artificielle pour proposer une alternative souveraine, sécurisée et durable aux solutions cloud centralisées.

END

🦉 Une chouette asso nous aurait échappé ? Signalez-la ici merci !
 ‣ Vos suggestions

AMAPS
Accueil Demandeurs d'asile
ADTC
Alternatiba
Aide et Action en Isère
Amis du Monde Diplo
Antigone
BAF (la)
Bobine (la)
Camp de base
Centre Social Tchoukar
Collectif Stop Métrocâble
Collectif STopMicro 38
Collectif Transports Gratuits
Droit au Logement
FNE - Isère
Fratrie des Glaneurs Solidaires
Labo Ouvert Grenoblois
Maison de la Nature et de l'Environnement
Observatoire International pour la Réinstallation des Cabines Téléphoniques
Office de l'Anti-tourisme
Pacifique (Le)
Parlons-y-vélo
Pluri-elles
Réseau Éducation Sans Frontières
Salle 5
Terre de liens
Unions de Quartiers
Un ptit Vélo dans la Tête
Un Toit Pour Tous
Verger Aventure
ZeroWaste
102 (Le)
 

 Publications

Affiches (les)
Bon Plan (le)
Collectif Ruptures
CRIC
Crieur de la Villeneuve (le)
Pièces & Main d'oeuvre
Postillon (le)
Sillon 38
Travailleur Alpin (le)
 

 Syndicats

Confédération Paysanne
CGT ST Microelectronics
UD CGT Isère
UD CFDT Isère
FSU 38
SOLIDAIRES
LDC - Éducation
 

  Scops · ess · scic

Turbine.Coop (La)
Atelier Paysan
Cap Berriat
Conservatoire des Espaces Naturels
Gresi21 - Centrales Villageoises
Pain des Cairns (Le)
Rhône-Alpes Solidaires
 

 Politiques

Ades
Ensemble-Grenoble
Guillaume Gontard
Élu.e.s isérois.e.s
Les Ecologistes de la métropole de Grenoble
 

 Autres

DREAL
INSEE
INRIA
UGA
 
‣ Sources fermées ou en sommeil