Inria
Inria.fr
Inria Channel
A la une
Réalité virtuelle
S’immerger dans les mondes virtuels devient accessible au grand public
Au cours des 20 dernières années, le domaine de la réalité virtuelle a connu des progrès spectaculaires : immersion plus forte avec des capacités d’interaction plus variées et performantes. Aujourd’hui, les applications industrielles de ces recherches sont nombreuses dans le prototypage virtuel ou bien dans la simulation pour la formation. Ces technologies commencent également à pénétrer le secteur grand public avec, par exemple, l’offre de casques de réalité virtuelle permettant une immersion totale dans les univers virtuels des jeux.
Mots-clés :
© Laboratoire commun Inria-Microsoft Research
Preuve informatique
"Notre diagramme de travail ressemblait à un plan de guerre napoléonienne !"
Six années se sont écoulées entre le début du projet et la fin de la preuve du théorème de Feit et Thompson réalisée le 20 septembre 2012. Récit d’une aventure moderne.
Entretien avec Georges Gonthier, laboratoire commun Microsoft Research-Inria.
Mots-clés :
© Photo Bernard Lachaud
Preuve informatique
La preuve mathématique par informatique !
Une démonstration formelle complète, certifiée par le logiciel Coq, a été annoncée en septembre par Georges Gonthier et son équipe du laboratoire commun Inria Microsoft Research.
Mots-clés :
© Inria / Photo Kaksonen
Preuve informatique
Un grand succès pour la preuve informatique
6 ans après la démonstration par ordinateur du théorème des quatre couleurs, Georges Gonthier et son équipe réussissent la démonstration, autrement plus complexe, du théorème de Feit et Thompson, un théorème central pour la théorie des groupes et leur classification. Grand pas pour les mathématiques, qui s’appuient de plus en plus sur la preuve par ordinateur, c’est surtout une réussite pour l’informatique qui montre là sa capacité à déployer des outils et des techniques de qualité pour codifier les mathématiques.
Mots-clés :
© Brice Goglin
Calcul haute performance
Inria en direct de SuperComputing 2012
Cette année encore Inria est présent au salon international SuperComputing. Découvrez les premières images de ce rendez-vous incontournable du calcul haute performance.
Mots-clés :
Eitan Altman et Joël Cibert, lauréats du Prix France Télécom et Philippe Taquet
-
© Brigitte Eymann - Académie des Sciences
Théorie des jeux
Prix France Telecom : au-delà de la reconnaissance, de belles perspectives pour la théorie des jeux
Le Prix France Télécom de l’Académie des Sciences a été remis conjointement le 15 octobre dernier à Eitan Altman, chercheur Inria et membre associé de l’UPMC (Paris 6) et Joël Cibert, directeur de recherche CNRS à l’Institut Néel à Grenoble. Prix prestigieux, il marque la reconnaissance d’un domaine en plein essor.
Calcul haute performance
SuperComputing 2012 : l’incontournable du calcul
La communauté mondiale du calcul scientifique est réunie en ce moment même et ce jusqu’au 16 novembre à Salt Lake City. Fidèle à cet événement créé en 1988, Inria participe à travers ses équipes spécialisées en calcul haute performance (HPC) depuis près de 20 ans.
Mots-clés :
@Inria
Prix
L'équipe Caramel lauréate du Prix "La Recherche" 2012
Le cassage de la clé RSA 768 en 2010 ; un jalon pour cette équipe de recherche méritante qui obtient de très beaux résultats.
Mots-clés :
Marie Doumic-Jauffret
-
© Inria
European Research Council 2012
Marie Doumic-Jauffret : modéliser les maladies amyloïdes
Marie Doumic-Jauffret fait partie des 4 candidats Inria sélectionnés dans la catégorie jeune chercheur de l’appel à projet européen ERC 2012. Son projet, baptisé Skipper, vise à mieux comprendre les maladies amyloïdes, dont font partie les maladies à prions et l’Alzheimer, afin d’aider les biologistes à identifier des solutions thérapeutiques.
Mots-clés :
European Research Council 2012
Sylvain Lefebvre : lauréat ERC junior avec ShapeForge, un projet qui a du style
Sylvain Lefebvre fait partie des quatre candidats Inria sélectionnés dans la catégorie jeune chercheur de l'appel à projet européen ERC 2012. Son projet, baptisé ShapeForge, doit permettre de fabriquer, au sens propre, des objets ou des meubles de la vie courante à partir d’exemples, en s’inspirant de leur style.
Mots-clés :
Archives
Centres de recherche Inria
Interstices.info
Suivez l'actualité d'interstices.info
Archive ouverte HAL-Inria
Consultez les dernières publications de nos chercheurs
- Affine characterizations of minimum and mode-dependent dwell-times for uncertain linear switched systems
- Purity filtration of multidimensional linear systems
- Compact Proof Certificates for Linear Logic
- Equidimensional triangularization of multidimensional linear systems
- Climatically-Active Gases in the Eastern Boundary Upwelling and Oxygen Minimum Zone (OMZ) Systems
