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

Sort by theme

ComEx ComEx-1 Network Information Theory: Coding, Security and caching Reconfigurable Intelligent Surfaces for Next-Generation Wireless Systems and NetworksExpert Knowledge Aided Machine Learning for Wireless Communications ComEx-2 Future Access Network: Cloud,…

Continuer la lecture Sort by theme

Hot topics

LabEx Digicosme is currently identifying research topics considered as hot by the international research community and on which at least one of these conditions is met: several teams within DigiCosme…

Continuer la lecture Hot topics

Universality of proofs

Point of contact Chantal Keller, LISN, 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

Certified Certification Tools

Point of contact Virgile Prevosto, CEA List Summary Formal software verification tools are themselves programs, hence can contain bugs. Therefore,they should themselves be verified as much as possible, to minimize…

Continuer la lecture Certified Certification Tools

Towards Continuous Verification

Point of contact Virgile Prevosto, CEA List Summary Formal verification is usually understood as taking place in a traditional V development cycle, i.e., occurring at a late stage, over stable and…

Continuer la lecture Towards Continuous Verification