Sites Inria

There are 78 Results with the keyword : "Inria Saclay - Île-de-France"

Internet des Objets

RIOT: the “Linux” of the Internet of Things

Citizen Press (*) - 9/04/2019

Emmanuel Baccelli and Alexandre Abadie, members of the Inria team Infine will be giving a demonstration of the RIOT operating system at SIDO (Salon de l’internet des objets) on 10th and 11th April 2019. This open source operating system designed for the internet of things (IoT), which boasts an ever-growing community of users, saw the launch of its first commercial applications last year.

Keywords:

Home > Centre > Saclay > News > RIOT : le ''Linux'' de l’Internet des objets

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

Partnership

Creation of the Paris-Saclay University

6/11/2019

The new Paris-Saclay University has just been created by decree. It will enter into force on 1 January 2020. In the meantime, a maximum period of four months begins, during which a provisional administration will organize the elections of the board of directors and set up the governance institutions.

Keywords:

Home > Centre > Saclay > News > Création de l'université Paris-Saclay

More

© denisismagilov

Startups

Fit Your Tech boosts startup projects

Julie Dugast - 4/11/2019

On October 25, Inria and the CEA launched the Fit Your Tech constest to detect and support future technology startups leaders. Open to scientific students and/or entrepreneurs, Fit Your Tech is a new access to research in digital Deeptech - data science, AI and IoT - as well as to the entrepreneurial support networks of the two Paris-Saclay institutions.

Keywords:

Home > Centre > Saclay > News > Fit Your Tech booste les projets de startups

More

Alain Couvreur's portrait, Inria Saclay - Île-de-France centre scientific mediation referent © Inria / Photo S. Erôme - Signatures

Scientific mediation

Outreach: looking to inspire young people

Médiathena - Magalie Quet - 8/12/2019

Explaining digital science in a simple way is not as easy as it might seem. We know that digital technology is everywhere. And yet, in order for people to understand how it actually works, they need to have it explained to them...which is where a scientific outreach specialist like Alain Couvreur steps in, the mathematics enthusiast and specialist in coding and cryptography who is making digital science fun!

Keywords:

Home > Centre > Saclay > News > Mission médiation : pour créer le déclic chez les jeunes

More

© Inria / M.Quet

ERC Starting Grant

Émilie Chouzenoux on a quest for medical images with better resolution and less noise

Médiathena - 8/12/2019

Although computed tomography (CT), magnetic resonance imaging (MRI) and microscopy give physicians valuable information about our state of health, the resolution and contrast of the images they produce could be further improved with better signal processing algorithms. This is the ambition of Émilie Chouzenoux, an Inria researcher at Saclay and a specialist in the field who has recently received a European Research Council (ERC) Starting Grant worth €1.5 million.

Keywords:

Home > Centre > Saclay > News > Émilie Chouzenoux : des images médicales mieux résolues

More

Top