Sites Inria

Il y a 5 Résultats avec le mot clé : "Analysis"

Marie Doumic-Jauffret

Equipe de recherche

Rencontre avec Marie Doumic-Jauffret, responsable de l’équipe Mamba

11/04/2014

Nous avons rencontré Marie Doumic-Jauffret, responsable de la nouvelle équipe Mamba (Modelling and Analysis for Medical and Biological Applications).

Mots-clés :

Accueil > Centre > Paris > Actualités > Rencontre avec Marie Doumic-Jauffret, responsable de l’équipe Mamba

Lire la suite

© INRIA Sophie Auvin - A comme Algorithme

Séminaire des équipes de recherche

Séminaire AOSTE

8/12/2014

Sebastian Altmeyer is a post-doctoral researcher in the Computer Systems Architecture Group at the University of Amsterdam, Netherlands since 2013. He has received his PhD in Computer Science in 2012 from Saarland University in Saarbruecken, Germany with a thesis on the analysis of pre-emptively scheduled hard real-time systems.  His research interests are the analysis and verification of hard real-time systems in general, with a particular focus on worst-case timing analysis and real-time scheduling.

Lieu : Inria Paris-Rocquencourt, building 9

Intervenant(s) : Sebastian Altmeyer (University of Amsterdam)

Mots-clés :

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

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

14/11/2016

Information flow analysis models the propagation of data through a software system and can identify unintended information leaks. There is a wide range of such analyses, tracking flows statically, dynamically at run time, or in a hybrid way combining both static and dynamic approaches.

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

Intervenant(s) : Gergö Barany (CEA)

Mots-clés :

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

lire la suite

Conférence internationale

ALGO 2013

2/09/2013 au 6/09/2013

Since its first edition in 2001, ALGO has become the major meeting in algorithms held in Europe, spanning areas as diverse as algorithm engineering, computational finance, computational biology, online algorithms, mobile computing, sensor systems or massive data processing.
 The reputation of ALGO, and in particular of the scientific events it gathers, attracts every year top scientific contributions and the attendance of leading researchers from all over the world.
 

Lieu : Inria et Campus SophiaTech

Mots-clés :

Accueil > Centre > Sophia > Agenda > ALGO 2013

lire la suite

Summer school 2019

Numerical analysis Summer school 2019

13/05/2019 au 17/05/2019

Optimal Mass Transportation is a mathematical research topic which started two centuries ago with Monge’s work on the “Th ́eorie des d ́eblais et des remblais” This engineering problem consists in minimizing the transport cost between two given mass densities.

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

Mots-clés :

Accueil > Centre > Paris > Agenda > Numerical analysis Summer school 2019

lire la suite

Haut de page

Suivez Inria