Sites Inria

Il y a 9 Résultats avec le mot clé : "laboratoire commun Inria - Microsoft Research"

© Microsoft Research

Laboratoire commun Inria / Microsoft Research

Microsoft Research Machine Learning Summit

23/04/2013

This event offers highlights from the Machine Learning Summit , providing keynotes from machine learning experts and enlightening discussions with leading scientific and academic researchers about approaches to challenges that are raised by the new era in machine learning.

Mots-clés :

Accueil > Centre > Saclay > Agenda > Microsoft Research Machine Learning Summit

lire la suite

Francesco Zappa Nardelli, chargé de recherche, laboratoire commun Inria-Microsoft Research - © Inria Saclay - Île-de-France

Unithé ou café

Ma mémoire est faible

Laure Guion - 28/05/2010

Milieu d’après-midi, 15 fenêtres sur votre écran, et vous ne vous souvenez même plus dans quel ordre vous avez avancé sur les différents dossiers. Votre ordinateur, lorsqu'il doit exécuter plusieurs tâches en même temps, n’est pas très différent de vous : il réordonne les instructions qui composent chaque tâche afin de gagner en vitesse d'exécution (on dit qu'il a une "mémoire faiblement cohérente", ou plus simplement une "mémoire faible"). Mais les bugs sont en embuscade : votre programme ne s'attend peut-être pas à ce que ses ordres soient réorganisés ! Comment le programmeur peut-il écrire des programmes pour prévenir ce type de bugs ? Ce problème connu depuis 30 ans est toujours d'actualité.

Mots-clés :

Accueil > Centre > Saclay > Recherche > Algorithmique, programmation, logiciels et architectures > Ma mémoire est faible

Lire la suite

Jean-Jacques Lévy, directeur du laboratoire commun Inria - Microsoft-Research - © Bernard LACHAUD

Unithé ou café

Un p'tit bug, un gros boum !

Laure Guion - 26/09/2008

Le monde moderne nous a habitué aux pannes informatiques. L’erreur logicielle la plus connue a provoqué l’explosion de la fusée Ariane 5 lors de son premier vol en 1996. Cette fusée était une des premières à faire autant de place à l’informatique embarquée. L’informatique n’est pas la physique. Les solutions approchées n’y existent pas. Tout doit être correct jusqu’au moindre détail. Le plus petit bogue peut  provoquer la faillite d’un gros système ou l’explosion d’une fusée d’un milliard... de francs. En appliquant de simples méthodes d’analyse statique de programme, il a été possible d’aider très rapidement à la réparation du code embarqué sur Ariane 5. La fiabilité des programmes est toujours en 2008 un domaine de recherche très actif.

Mots-clés :

Accueil > Centre > Saclay > Recherche > Algorithmique, programmation, logiciels et architectures > Un p'tit bug, un gros boum !

Lire la suite

Laurence Rideau © Bernard Lachaud © Bernard Lachaud

Preuve informatique

La précision des ordinateurs au service des mathématiques

Nathaly Mermet, Technoscope - 6/12/2012

Avec l’équipe Typical d’Inria Saclay - Ile-de-France, l’équipe Marelle de Sophia Antipolis a largement participé à l’aventure du projet Mathematical Components , sous la houlette de Georges Gonthier, dans le cadre du laboratoire commun Inria Microsoft Research.

Retour sur une expérience passionnante avec l’une des chercheuses de Marelle, Laurence Rideau.

Mots-clés :

Accueil > Centre > Saclay > Actualités > La précision des ordinateurs au service des mathématiques

Lire la suite

© Inria / Photo Kaksonen

Preuve informatique

Un grand succès pour la preuve informatique

Françoise Breton - 22/11/2012

Six 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 :

Accueil > Recherches > Actualités > Un grand succès pour la preuve informatique

Lire la suite

Georges Gonthier, laboratoire commun Microsoft Research-Inria © Laboratoire commun Inria-Microsoft Research

Preuve informatique

Georges Gonthier : Notre diagramme de travail ressemblait à un plan de guerre napoléonienne !

Françoise Breton - 22/11/2012

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 :

Accueil > Recherches > Actualités > Georges Gonthier : Notre diagramme de travail ressemblait à un plan de guerre napoléonienne !

Lire la suite

© Photo Bernard Lachaud

Preuve informatique

La preuve mathématique par informatique !

Nathaly Mermet - 22/11/2012

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.

Ces travaux rendent artificielle l’opposition entre informatique et mathématiques, le dénominateur commun étant la logique. Parmi les "compagnons de route" de Georges Gonthier, deux jeunes chercheurs se réjouissent d’avoir participé à l’aventure et "grandi" avec le projet Mathematical Components (MathComp). Témoignages…

Mots-clés :

Accueil > Recherches > Actualités > La preuve mathématique par informatique !

Lire la suite

Conférence annulée

Microsoft Research et Inria au Collège de France

22/01/2018

La conférence prévue le 8 février 2018 au Collège de France est annulée. Nous nous excusons pour la gêne occasionnée.

Mots-clés :

Accueil > Actualité > Actualités Inria > Microsoft Research et Inria au Collège de France

Lire la suite

Partenariat

Inria et Microsoft renouvellent leur partenariat

AB (*) - 19/06/2018

Forts d’une collaboration de plus de douze ans au sein d’un centre de recherche commun, Microsoft et Inria annoncent le renouvellement de leur partenariat pour cinq ans et lancent une nouvelle phase de leurs travaux conjoints avec la volonté partagée d’accélérer le déploiement de l’intelligence artificielle auprès de l’écosystème français.

Mots-clés :

Accueil > Actualité > Actualités Inria > Inria et Microsoft renouvellent leur partenariat

Lire la suite

Haut de page

Suivez Inria