Vidéos en ligne

Thèse - 
Verimag - 
18 Sep 2015
 

Automated Verification of Exam, Cash, Reputation, and Routing Protocols

Ali KASSEM

Résumé :

La sécurité est une exigence cruciale dans les applications basées sur l'information et la technologie de communication, surtout quand un réseau ouvert tel que l'Internet est utilisé. Lire la suite...
Les Grandes Conférences du LIG - The LIG Keynote Speeches - 
LIG - 
02 Juil 2015
 

The Art of Linking

Fabio Crestani

Information Retrieval (IR) provides techniques and tools not just for retrieving documents, but also for a lot of closely related tasks Lire la suite...

L'Atelier Sciences et Voix - 
Gipsa-lab - 
17 Juin 2015
 

La voix comme instrument de persuasion, l’art vocal de la rhétorique

Pierre-Alain Clerc
Séminaire - 
Aconit - 
11 Juin 2015
 

Traitement Automatique des Langues Naturelles

Christian Boitet

À travers les recherches du CETA - Centre d'Étude pour la Traduction Automatique, premier laboratoire propre du CNRS en informatique à Grenoble, créé et dirigé par Bernard Vauquois, professeur à l'UJF des années 50 à 1985, puis du GETA (URA,1971-1995) Grenoble a été un pôle majeur dans le domaine du TALN (traitement Automatique des Langue Naturelles) en France, avec des équipes pluridisciplinaires, en linguistique (modélisation, langues, traduction) et en informatique. Lire la suite...

Les Grandes Conférences du LIG - The LIG Keynote Speeches - 
LIG - 
04 Juin 2015
 

Logic, computer science and cognitive science: the modeling of the behavior of the layperson and of expertise

Serge Robert

The lecture aims at establishing links between cognitive science, computer science and logic Lire la suite...

Les Grandes Conférences du LIG - The LIG Keynote Speeches - 
LIG - 
07 Mai 2015
 

Software verification for fun and profit

David Monniaux

We are used to software crashing or misbehaving in various ways Lire la suite...

L'Atelier Sciences et Voix - 
Gipsa-lab - 
29 Avr 2015
 

La voix et soi

Joana Revis
L'Atelier Sciences et Voix - 
Gipsa-lab - 
25 Mar 2015
 

Le cœur aphone de la voix à l'épreuve de la psychanalyse

Claire Gillie
Les Grandes Conférences du LIG - The LIG Keynote Speeches - 
LIG - 
05 Mar 2015
 

Exploring Big Urban Data

Juliana Freire

Today, 50% of the world's population lives in cities and the number will grow to 70% by 2050 Lire la suite...

Séminaire - 
Aconit - 
26 Fev 2015
 

Une brève histoire de l’informatique

Philippe Denoyelle

Philippe Denoyelle a vécu l'histoire de l'industrie informatique depuis le début des "années 60", à la CII et chez Phillips en développement d’ordinateurs, puis chez Philips TRT en développement de logiciels de télécommunications embarqués. Lire la suite...