Assistants de preuve : renforcer la position européenne via EuroProofNet
Dernier article en date, publié ce jour sur le site Inria et consacré à EuroProofNet.
Quantique : anticiper les évolutions de l’informatique de demain
Dernier article en date, publié ce jour sur le site Inria et consacré à des recherches sur l’ordinateur quantiques.
Pierre Lairez : développer des calculs à la précision hors norme
Dernier article en date, publié ce jour sur le site Inria et consacré à Pierre LAIREZ, chercheur en mathématiques.
Umut Simsekli, explorateur du deep learning
Dernier article en date, publié ce jour sur le site Inria et consacré à Umut SIMSEKLI, chercheur en apprentissage automatique.
Philippe Campagne-Ibarcq : lever un verrou technologique majeur de l’ordinateur quantique
Dernier article en date, publié ce jour sur le site Inria et consacré à Philippe CAMPAGNE-IBACQ, chercheur en informatique.
Audit d’un projet de filière
Audit du projet de plateforme de filière du maritime porté par le Comité Stratégique de Filière
Des innovations en modélisation pour la médecine et la santé
Dernier article en date, publié ce jour sur le site Inria et consacré au partenariat de l’institut avec les Hospices Civils de Lyon et l’Université Claude Bernard.
Retour d’expérience : projet « SiNuS »
Dernière publication en date aux Techniques de l’Ingénieur : « Projet collaboratif ‘SiNuS’ : développer des méthodes numériques avancées pour l’industrie navale ».
Équipe EDGE : vers de nouveaux outils pour l’aide à la décision
Dernier article en date, publié ce jour sur le site Inria et consacré à l’équipe EDGE.
Portrait de Jean-Bernard Lasserre – Grand Prix Inria – Académie des sciences 2021
Dernier article en date, publié ce jour sur le site Inria et consacré à JJean-Bernard LASSERRE, chercheur en mathématiques
