Information-theoretic security

Summary Information-theoretic security guarantees security even if the adversary has unlimited computing power, by contrast with cryptography where the adversary is assumed to have bounded computational power. Hence, information-theoretic security…

Continuer la lecture Information-theoretic security

User-centered machine learning

Point of contact Jules Françoise, LISN Summary Machine Learning (ML) is a powerful tool for building applications that perform complex tasks using computational models estimated from data. While it has…

Continuer la lecture User-centered machine learning

Coding for distributed computation

Summary Distributed computing utilizes coding theory to leverage data/computation redundancy to mitigate fundamental bottlenecks in large-scale distributed computing, including communication bandwidth, straggler’s (i.e., slow or failing nodes) delay, privacy and…

Continuer la lecture Coding for distributed computation

New programming paradigms

Summary Even though a real quantum processor is not there yet, there are already algorithms and programming languages dedicated to quantum computing, as well as proposals for verifying their properties.…

Continuer la lecture New programming paradigms

Scientific visualization and illustrative visualization

Contributor Tobias Isenberg, Inria, tobias.isenberg@inria.fr Summary Illustrative visualization takes inspiration from the long tradition of traditional illustration, in which illustrators have developed numerous excellent techniques to convey complex scientific principles, techniques,…

Continuer la lecture Scientific visualization and illustrative visualization

Progressive analytics

Point of contact Jean-Daniel Fekete, Université Paris-Saclay & Inria, Jean-Daniel.Fekete@inria.fr Summary We live in an era where data is abundant and growing rapidly; databases storing big data sprawl past memory and…

Continuer la lecture Progressive analytics

Visualizations beyond the desktop

Point of contact Petra Isenberg, Inria, petra.isenberg@inria.fr Summary Visualization fundamentally studies how people work with, react to, understand, or interact with (mostly) digital representations of data. With its focus on people,…

Continuer la lecture Visualizations beyond the desktop

Knowledge acquisition from heterogeneous sources

Point of contact Fabian Suchanek, Télécom Paris, suchanek@enst.fr Summary Many applications in AI require knowledge about the real world: chatbots, intelligent assistants, decision support systems, or dialog systems. The goal of…

Continuer la lecture Knowledge acquisition from heterogeneous sources

Universality of proofs

Point of contact Chantal Keller, LMF, Chantal.Keller@lri.fr Summary Many paradigms and proof systems have been developed to mechanizelogical reasoning: interactive and automatic theorem provers, proofcheckers, programming languages with strong guaranties,…

Continuer la lecture Universality of proofs