Vidéos en ligne

Journée thématique
 - 
ECOINFO
 -  26 novembre 2018
 

L'obsolescence, dans tous les sens : Introduction

Françoise BERTHOUD

Retouvez l'intégralité des vidéos la conférence EcoInfo : L'obsolescence dans tous les sens

Lire la suite
Les Grandes Conférences du LIG - The LIG Keynote Speeches
 - 
LIG
 -  08 novembre 2018
 

40 years of static analysis of numerical programs

Nicolas HALBWACHS

Static analysis of programs consists in extracting guaranteed properties about all executions of a program without executing it. Such properties are useful in compilation, verification, optimization and evaluation of programs. Abstract interpretation, introduced by Patrick and Radhia Cousot in the late seventies, is the theoretical framework of static analysis. In this talk, we will focus on static analysis of numerical properties, like variable boundedness or more general invariant relations between numerical variables. During the last decades, such analyses have been widely studied, in view of finding a compromise between the expressiveness of considered properties and the cost of the analysis. We will try to summarise these works together with their main applications.

Lire la suite
Les Grandes Conférences du LIG - The LIG Keynote Speeches
 - 
LIG
 -  04 octobre 2018
 

Majority judgment: Why it should be used to rank and elect

Rida LARAKI

Every well-known voting system in use today hides important vices that can deny the will of the electorate including majority vote with only two candidates (the domination paradox), approval voting, all methods that ask voters to compare candidates (i.e., rank-order them), and point-summing methods. The underlying reason: the inability of voters to adequately and honestly express their opinions. Majority judgment asks voters to evaluate every candidate in an easily understood common language of ordinal grades such as: Great, Good, Average, Poor, or Terrible. Majorities determine the electorate’s evaluation of each candidate and the ranking between every pair of candidates (necessarily transitive), with the first-placed among them the winner.

Lire la suite
Les Grandes Conférences du LIG - The LIG Keynote Speeches
 - 
LIG
 -  03 mai 2018
 

Reasoning on Data: Challenges and Applications

Marie-Christine ROUSSET

How to exploit knowledge to make better use of data is a timely issue at the crossroad of knowledge representation and reasoning, data management, and the semantic web.

Knowledge representation is emblematic of the symbolic approach of  Artificial Intelligence based on the development of explicit logic-based models processed by generic  reasoning algorithms that  are founded in logic. Recently, ontologies have evolved in computer science as computational artefacts to provide computer systems with a conceptual yet computational model of a particular domain of interest. Similarly to humans, computer systems can then base decisions on reasoning about domain knowledge. And humans can express their data analysis needs using terms of a shared vocabulary in their domain of interest or of expertise.

In this talk, I will show how reasoning on data can help to solve in a principled way several problems raised by modern data-centered applications in which data may be  ubiquitous, multi-form, multi-source and musti-scale. I will also show how knowlege representation formalisms and reasoning algorithms have evolved to face scalability issues and data quality challenges.

Lire la suite
Tutoriel
 - 
GRICAD
 -  02 mai 2018
 

How to install a Centos Operating System in the platform Winter

Adam SANCHEZ

This video shows how to install a Centos Operating System in the platform Winter

Lire la suite
Tutoriel
 - 
GRICAD
 -  02 mai 2018
 

How to run a SHACL Rules-based inference engine in TopBraid

Adam SANCHEZ

This video shows how to configure a SHACL-based reasoner in TopBraid to derive inferences from the asserted RDF triples of an ontology

Lire la suite
Journée thématique
 - 
ECOINFO
 -  06 avril 2018
 

Conférence EcoInfo / Introduction : Tellement de déchets !

Laurent LEFÈVRE

Le monde croule sous les déchets; les océans se remplissent de plastiques. Nos systèmes numériques de calcul, de stockage et de communication sont générateurs d’énormément de déchets. Les DEEE (Déchets d’Equipements Electriques et Electroniques) ont de multiples impacts en termes de pollution et sur la santé humaine. Cet exposé fera un rapide survol de la problématique des DEEE dans une perspective du cycle de vie du numérique en prenant en compte les besoins en métaux et pollutions engendrées.

Retrouvez toutes les vidéos de la Conférence EcoInfo : Que deviennent nos déchets électroniques ?

Lire la suite

Pages