Vidéos en ligne

Les Grandes Conférences du LIG - The LIG Keynote Speeches - 
LIG - 
05 Jan 2017
 

Vers un système de traduction automatisée par ordinateur (TAO) capable d'assurer une communication de haute qualité entre les centaines de langues du Web

Christian BOITET

Christian Boitet est venu à Grenoble en 1970 dans le cadre du CNRS pour faire de la recherche en TA au CETA avec le professeur Bernard Vauquois, sur le conseil de deux professeurs prestigieux de l'X, Jean Train et Laurent Schwartz. Lire la suite...

Thèse - 
LJK - 
08 Dec 2016
 

Transport optimal pour l'assimilation de données images

Nelson FEYEUX
Séminaires Recherche Reproductible - Reproducible Research Webinars - 
LIG - 
06 Dec 2016
 

Reproducible Science in Bioinformatics: Current Status, Solutions and Research Opportunities

Sarah COHEN BOULAKIA / Yvan LE BRAS / Jérôme CHOPARD

This talk will be given by Sarah Cohen Boulakia, Yvan Le Bras and Jérôme Chopard Lire la suite...

Les Grandes Conférences du LIG - The LIG Keynote Speeches - 
LIG - 
01 Dec 2016
 

The IX Operating System: Combining Low Latency, High Throughput and Efficiency in a Protected Dataplane

Edouard BUGNION

Edouard Bugnion joined EPFL as a Professor in 2012, where his focus is on datacenter systems (http://dcsl.epfl.ch/dcsl) Lire la suite...

Les Grandes Conférences du LIG - The LIG Keynote Speeches - 
LIG - 
10 Nov 2016
 

Modélisation cognitive des unités de la parole

Jean-Luc SCHWARTZ

Jean-Luc Schwartz, directeur de recherche au CNRS, a dirigé l’ICP (Institut de la Communication Parlée, Grenoble France) de 2003 à 2006 Lire la suite...

Séminaires Recherche Reproductible - Reproducible Research Webinars - 
LIG - 
08 Nov 2016
 

Preserving software: ensuring availability and traceability

Roberto DI COSMO
Les Grandes Conférences du LIG - The LIG Keynote Speeches - 
LIG - 
06 Oct 2016
 

Electronic voting : How logic can help

Véronique CORTIER

Véronique Cortier is CNRS research director at Loria (Nancy, France). In 2003, she received her Ph.D Lire la suite...

Thèse - 
VERIMAG - 
29 Sep 2016
 

Habilitation à Diriger des Recherches

Radu IOSIF

Lire la suite...

Conférence - 
VERIMAG - 
29 Sep 2016
 

Automatic Verification of Linearization Policies

Parosch Aziz ABDULLA

We consider the problem of proving linearizability for concurrent threads that access a shared data structure Lire la suite...

Conférence - 
VERIMAG - 
29 Sep 2016
 

Decision Problems for Linear Dynamical Systems

Joël OUAKNINE

Dynamical systems, both discrete and continuous, permeate vast areas of mathematics, physics, engineering, and computer science. Lire la suite...