Sites Inria

Il y a 16 Résultats avec le mot clé : "Inria Paris"

Conférence Scientifique

Elias Tsigaridas (Polsys) : Algebraic Algorithms: The era of computational non-linear algebra

2/11/2017

Algebraic algorithms provide the research community with extremely powerful tools for computing with the solution set of polynomials in many variables. These tools allow us, on the one hand, to tackle theoretical problems involving non-linear objects, and on the other to produce efficient implementations. The mixture of algebraic algorithms with symbolic-numeric techniques and dedicated tools that exploit the geometry and the structure of the problem at hand,has enabled researchers to solve problems that were impossible in the past.

Mots-clés :

Accueil > Centre > Paris > Recherche > La demi-heure de science > 2017 > Elias Tsigaridas (Polsys) : Algebraic Algorithms: The era of computational non-linear algebra

Lire la suite

Conférence scientifique

Gabriel Stoltz (Matherials) : Molecular simulation and the numerical microscope

9/01/2018

Statistical physics provides a framework to infer macroscopic properties of interest for systems modelled at the atomic level -- with applications ranging from materials science to computational biology.

Mots-clés :

Accueil > Centre > Paris > Recherche > La demi-heure de science > 2018 > Gabriel Stoltz (Matherials) : Molecular simulation and the numerical microscope

Lire la suite

Conférence scientifique

Karthik Bhargavan (Prosecco) : Verified Cryptography for Everyone

6/12/2017

Understanding and implementing cryptographic algorithms is hard, and even expert programmers often make mistakes.

Mots-clés :

Accueil > Centre > Paris > Recherche > La demi-heure de science > 2017 > Karthik Bhargavan (Prosecco) : Verified Cryptography for Everyone

Lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

12/03/2018

We present the design of a new functional programming language, MLTS, that possesses built-in mechanisms for treating data structures that include bindings.

Lieu : Inria Paris - 2 rue Simone Iff- 75012 - Paris- Salle Lions 1- bâtiment C

Intervenant(s) : Ulysse Gérard ( Inria Saclay)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - R comme Robot

Séminaire des Equipes de recherche

Séminaire RITS

20/03/2018

Une réduction des accidents et une meilleure fluidité du trafic sont les bénéfices importants espérés avec l'avènement des véhicules automatisés connectés (VAC). Au cours de cet exposé, j'aborderai les problèmes de recherche posés par les VAC en matière de cybersécurité. Ensuite, je présenterai des travaux en cours sur la détection de VAC au comportement malhonnête.

Lieu : Inria de Paris - 2 rue Simone Iff - 75012 - Paris

Intervenant(s) : Jonathan Petit

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire RITS

lire la suite

Logo - La demi-heure de science Inria de Paris

La demi-heure de science

La demi-heure de science

6/03/2018

Our team designs and builds molecular computers consisting of synthetic DNA strands that bump into each other and interact to run algorithms like sorting numbers, simulating Turing machines or other 
complicated nanoscale tasks. These DNA computers consist of DNA strands in water with a pinch of salt, and do not need poorly-understood biological machinery like cells and proteins.

Lieu : Inria Paris - 2 rue Simone Iff- 75012 Paris - Batiment C - Salle Jacques Louis Lions

Intervenant(s) : Damien Woods

Mots-clés :

Accueil > Centre > Paris > Agenda > La demi-heure de science

lire la suite

Haut de page

Suivez Inria