Vidéos en ligne

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
Les Grandes Conférences du LIG - The LIG Keynote Speeches
 - 
LIG
 -  05 avril 2018
 

Issues in Ethical Data Management

Serge ABITEBOUL
Lire la suite
Les Grandes Conférences du LIG - The LIG Keynote Speeches
 - 
LIG
 -  05 avril 2018
 

On Turning Domain Knowledge into Tools

Jean-marc JÉZÉQUEL

One of the biggest challenges of the digital age is to turn human knowledge, know-how and procedures into software. When the domain of expertise is close enough to computer science, software engineers typically can manage it because they can understand the full spectrum of the problems, ranging from the problem domain (how to do the right thing) to the solution space in the computer (how to do the thing right).

However, when the domain stands far away from the software engineer's expertise, it is much more difficult to do the right thing. A lot of approaches have been developed over the years to handle this gap. In this talk we reflect on one of these approaches, based on the idea of using models to capture domain knowledge at the right level of abstraction, and software tools to transform these models into technical solutions. In this paradigm, the mission of software engineers becomes providing the domain experts with the right tool-supported modeling languages that is, turning domain knowledge into tools.

Lire la suite
Les Grandes Conférences du LIG - The LIG Keynote Speeches
 - 
LIG
 -  05 avril 2018
 

Human-Computer Interaction: Back to the future and... forward to the past

Stéphane HUOT

Long before personal computers, the Internet and smartphones, Human-Computer Interaction (HCI) was already at the heart of some of the visions that have shaped modern computing. But for years, priority has mostly been put on intrinsic power and development of features rather than how to use them. The popularization of digital devices such as smartphones, tablets or gaming consoles slowly reversed this trend and the argument of simplicity of use has replaced that of the intrinsic power. But it also led to a relative impoverishment of the possibilities offered by technologies that are paradoxically more powerful than ever. By hiding complexity rather than helping to master it, by keeping the myth alive that such devices make it possible to do a lot without efforts, the trend is now to sacrifice empowerment of users for simplicity of use.

Lire la suite
Les Grandes Conférences du LIG - The LIG Keynote Speeches
 - 
LIG
 -  05 avril 2018
 

Informal prospects in formal methods

Hélène KIRCHNER

Formal methods, rooted  in  logic and reasoning, traditionally aim to provide guarantees that systems behave correctly, thanks to verification technologies (based on concepts of model, computation, deduction, constraint solving). They strongly contribute to ensure safety, security and accountability of software and hardware systems. These guarantees must be addressed in the context of actual and future cyber systems where  machine learning techniques and autonomous decisions are expanding. 
Prospects in formal methods will be examined and challenges will be proposed, focusing on cybersecurity issues.

Lire la suite
Les Grandes Conférences du LIG - The LIG Keynote Speeches
 - 
LIG
 -  05 avril 2018
 

Interpersonal Human Machine Interaction

Mohamed CHETOUANI

Synchrony, engagement and learning are important abilities that allow sustaining dynamics of social interaction. In this talk, we will address these topics with an interpersonal interaction point of view. In particular, we will introduce interpersonal human-machine interactions schemes and models with a focus on definitions, sensing and evaluations of social signals and behaviors. We will show how these models are currently applied to detect engagement in multi-party human-robot interactions, detect human’s personality traits and task learning.

Lire la suite
Les Grandes Conférences du LIG - The LIG Keynote Speeches
 - 
LIG
 -  05 avril 2018
 

Fault tolerance in dynamic distributed systems

Pierre SENS

Nowadays, distributed systems are more and more versatile. Computing units can join, leave or move inside a global infrastructure. These features require the implementation of dynamic systems that can cope autonomously with changes in their structure. It therefore becomes necessary to define, develop, and validate distributed algorithms able to manage such dynamic at a large scale. 
Failure detection is a prerequisite to failure mitigation and a key component to build distributed algorithms requiring resilience.  We introduce the problem of failure detection in asynchronous network where the transmission delay is not known. We show how distributed failure detector oracles can be used to address fundamental problems such as consensus, k-set agreement, or mutual exclusion. Then, we focus on new advances and open issues for taking into account the dynamic of the infrastructure.

Lire la suite

Pages