Vidéos en ligne

Les Grandes Conférences du LIG - The LIG Keynote Speeches
 - 
LIG
 -  10 janvier 2019
 

Privacy-preserving aggregation of data from multiple sources

David POINTCHEVAL

Gigabits of data are regularly aggregated in order to deliver statistics and recommendations, or even to make decisions. These data are processed in clear by many providers that offer valuable services, but at the cost of a huge risk with respect to privacy. The providers themselves or even hackers could exploit these data for malicious purposes. Privacy-by-design would be preferable.
Cryptography has recently developed new tools in order to allow aggregation on encrypted data, with fully homomorphic encryption and functional encryption. However, whereas they work well for one user, they fail to aggregate data that come from different sources, in particular when these sources do not trust each other.
In this talk, we will present new techniques of aggregation for data that come from multiple mutually distrustful sources, so that privacy is guaranteed, and the data owners keep control on the performed aggregation.

Lire la suite
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
 -  07 juin 2018
 

The Cognitive Packet Network - Reinforcement based Network Routing with Random Neural Networks

Erol GELENBE

The Cognitive Packet Network (CPN) is an experimental network routing protocol which uses specific Quality of Service (QoS) objectives incorporated in a Goal Function, together with network measurement by Smart Packets (SPs). It updates neural network based Oracles in routers using Reinforcement Learning, in order to dynamically select network paths so that end users can convey their payload traffic with a performance that matches the Goal as closely as possible. The Goal can include conventional QoS metrics such as delay and loss, as well as Real-Time objectives, as well as newer metrics of interest including Energy Consumption and Security. Payload traffic is forwarded using source or segment routing, selected through the reinforcement learning approach, while SPs conduct their exploration using a node by node process by seeking the best direction from each Oracle. CPN has been implemented in various contexts: on 10-40 node test-beds, on an intercontinental scale as an overlay network, within SDN routers, and as a means to convey task requests over the Internet to Cloud servers. Our presentation will detail the CPN algorithm and the Random Neural Networks that are used to implement the Oracles. We will also present relate experimental measurements and results. The work has appeared in a variety of journals and conferences including CACM, Proceedings IEEE, IEEE J. Sel. Areas in Comms.

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

Pages