Sites Inria

There are 40 Results with the keyword : "INRIA Sophia Antipolis - Méditerranée"

Mobile video. Hi-res digitally generated image. © Cybrain #23311646 © Cybrain

Rencontres Inria Industrie

New mobile services

Rose-Marie Cornus - 13/01/2011

Inria invites industry and innovative SMEs to be first in line to discover its latest research work relating to new mobile services, during the Inria-Industry Meeting being held on 21 January at Sophia Antipolis.

Keywords:

Home > Centre > Sophia > News > Nouveaux services mobiles

More

Portrait de Nicholas Ayache © INRIA / Photo C. Lebedinsky

Lecture to the Royal Society

Computational Medical Imaging: towards a Virtual Physiological Patient

Rose-Marie Cornus - 18/10/2010

Nicholas Ayache, research director at Inria Sophia Antipolis - Méditerranée, will give a lecture to the Royal Society on 4 November on the topic: "Computational Medical Imaging: towards a Virtual Physiological Patient".

Nicholas Ayache was awarded the 2008 Microsoft Prize by the Royal Society and the Academy of Sciences.

Keywords:

Home > Centre > Sophia > News > Computational Medical Imaging : towards a Virtual Physiological Patient

More

JC Bemond

Portrait

Jean-Claude Bermond, EADS prize: architect of networks

Rose-Marie Cornus - 24/09/2010

Last summer, Jean-Claude Bermond, Director of Research at the French National Centre for Scientific Research, MASCOTTE project-team leader, received the 2010 EADS Enterprise Foundation Prize and the Prize for innovation in distributed algorithmics, awarded by the Sirocco conference. These two prizes recognise his visionary work in applications in telecommunications networks (optical and wireless networks), the design of interconnection networks, configuration theory and the design of efficient protocols for structured communications schemas. Portrait.

Keywords:

Home > Centre > Sophia > News > Jean-Claude Bermond, prix EADS : l'architecte des réseaux

More

Partnership

A Consortium to promote the ns-3 network simulator

8/02/2013

Inria and the University of Washington announce the creation of the ns-3 Consortium. The purpose of this consortium is to sustain the ns-3 network simulator, group its users community of users and developers, improve its visibility in the industry and enable it to become a standard in the field of network simulation.
 

Keywords:

Home > Centre > Sophia > News > Un Consortium pour promouvoir le développement de ns-3

More

© Photo LIRMM

Award

Patrick Valduriez named ACM Fellow

Nathaly Mermet, Technoscope - 13/12/2012

The prestigious distinction from the Association for Computing Machinery (ACM) was recently awarded to a French national for the third time. This is a major honour for Patrick Valduriez, Senior Researcher at Inria and leader of the Zenith joint project-team with LIRMM* in Montpellier.

Keywords:

Home > Research > News > Patrick Valduriez distingué ACM Fellow

More

© Photo Bernard Lachaud

Computer-assisted proof

Mathematical proof by computer science!

Nathaly Mermet - 22/11/2012

A complete formal proof, certified by the Coq software, was announced in September by Georges Gonthier and his team at the Inria-Microsoft Research joint laboratory.

This work renders the conflict between computer science and mathematics obsolete, the common denominator being logic. Two young researchers who joined Georges Gonthier for the ride told us how much they enjoyed participating in the work and "grew" as a result of the Mathematical Components (MathComp) project. Here's what they had to say...

Keywords:

Home > Research > News > La preuve mathématique par informatique !

More

Georges Gonthier, join laboratory Microsoft Research-Inria © Laboratoire commun Inria-Microsoft Research

Computer-assisted proof

"Our work diagram looked like a Napoleonic war plan!"

Françoise Breton - 22/11/2012

Six years transpired between the start of the project and the end of the proof of the Feit-Thompson theorem, which came on 20 September 2012. Following is the account of this modern-day adventure.

Interview with Georges Gonthier, Microsoft Research-Inria joint laboratory.

Keywords:

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

More

© Inria / Photo Kaksonen

Computer-assisted proof

A major success for computer-assisted proof

Françoise Breton - 22/11/2012

Six years after the computer-assisted proof of the four colour theorem, Georges Gonthier and his team have successfully proven the far more complex Feit-Thompson theorem, a central theorem in group theory and group classification. This is a significant step forward for mathematicians, who are increasingly utilising computer-assisted proof. Moreover, it is a success for computer science, which as a result of this endeavour has shown its ability to deploy advanced tools and techniques to codify mathematics.

Keywords:

Home > Research > News > Un grand succès pour la preuve informatique

More

Gérard Giraudon © INRIA / Photo Jim Wallace

Appointment

Gérard Giraudon, reappointed as head of research centre

Rose-Marie Cornus - 15/10/2010

Gérard Giraudon has been reappointed as head of the Inria Sophia Antipolis - Méditerranée centre for another four years.

Keywords:

Home > Centre > Sophia > News > Gérard Giraudon, renouvelé dans ses fonctions

More

© INRIA / Photo Jim Wallace - David Guiraud, responsable de l'équipe DEMAR

Portrait

David Guiraud, 2010 EADS prize: How to restore movement artificially

Rose-Marie Cornus - 17/10/2010

This summer, David Guiraud, the DEMAR project-team leader, received the 2010 grand prize of the EADS Enterprise Foundation for all of his work: a major contribution for computer science serving the biomedical field and a remarkable cooperation with industry. We take a look back at his well-deserved achievements.

Keywords:

Home > Centre > Sophia > News > David Guiraud, prix EADS 2010

More

Top