There are 30 Results with the keyword : "Inria Paris"
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.
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.
Understanding and implementing cryptographic algorithms is hard, and even expert programmers often make mistakes.
Opensquare, a young start-up originating from the ALMAnaCH project team at the Inria centre in Paris, is reinventing internal opinion surveys. By automating the process of collecting and analysing the responses, the company is gives employees the opportunity to speak and presents their recommendations in a relevant way in order to release collective intelligence.
Prize and Award
Each year, the SMAI-GAMNI rewards the best French thesis in digital methods for mechanics and the engineering sciences. The French Society of Applied and Industrial Mathematics (SMAI) has awarded the 2017 thesis prize to a former PhD student with Reo, Mikel Landajuela Larma. Meeting with this young prizewinning researcher.
The Delys team, led by Pierre Sens, is making its entrance at the Paris research centre.
Research team 's seminary
We present the design of a new functional programming language, MLTS, that possesses built-in mechanisms for treating data structures that include bindings.
Place : Inria Paris - 2 rue Simone Iff- 75012 - Paris- Salle Lions 1- bâtiment C
Guest(s) : Ulysse Gérard ( Inria Saclay)
Research team seminary
Connected and Automated Vehicles (CAVs) offer tremendous benefits for road safety and traffic efficiency. In this talk, I will give an overview of the research challenges in securing CAVs. Then, I will present some work-in-progress on misbehavior detection in CAVs.
Place : Inria de Paris - 2 rue Simone Iff - 75012 - Paris
Guest(s) : Jonathan Petit
La demi-heure de science
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.
Place : Inria Paris - 2 rue Simone Iff- 75012 Paris - Batiment C - Salle Jacques Louis Lions
Guest(s) : Damien Woods