inria institut national - Robuta Search

https://inria.hal.science/hal-03820394 Scalability in Visualization - Inria - Institut national de recherche en sciences et technologies... We introduce a conceptual model for scalability designed for visualization research. With this model, we systematically analyze over 120 visualization... visualization inria institut national de recherche en sciences et scalability technologies https://inria.hal.science/hal-04665449 SpatialTouch: Exploring Spatial Data Visualizations in Cross-reality - Inria - Institut national de... We propose and study a novel cross-reality environment that seamlessly integrates a monoscopic 2D surface (an interactive screen with touch and pen input) with... inria institut national spatial data cross reality exploring visualizations https://inria.hal.science/hal-04382271 A Survey of Designs for Combined 2D+3D Visual Representations - Inria - Institut national de... We examine visual representations of data that make use of combinations of both 2D and 3D data mappings. Combining 2D and 3D representations is a common... inria institut national 2d 3d survey designs combined https://inria.hal.science/hal-01238879 CompCert - A Formally Verified Optimizing Compiler - Inria - Institut national de recherche en... CompCert is the first commercially available optimizing compiler that is formally verified, using machine-assisted mathematical proofs, to be exempt from... inria institut national de recherche en formally verified optimizing compiler https://inria.hal.science/page/actualites-inria actualites-inria - Inria - Institut national de recherche en sciences et technologies du numérique inria institut national de recherche en sciences et technologies actualites du https://inria.hal.science/page/mettre-en-valeur-ses-publications mettre-en-valeur-ses-publications - Inria - Institut national de recherche en sciences et... mettre en valeur inria institut national ses publications de recherche https://inria.hal.science/hal-01873724 Multiscale Molecular Visualization - Inria - Institut national de recherche en sciences et... We provide a high-level survey of multiscale molecular visualization techniques, with a focus on application-domain questions, challenges, and tasks. We... visualization inria institut national de recherche en sciences et multiscale molecular https://inria.hal.science/hal-03524082 Mobile Data Visualization - Inria - Institut national de recherche en sciences et technologies du... Mobile Data Visualization is about facilitating access to and understanding of data on mobile devices. Wearable trackers, mobile phones, and tablets are used... visualization inria institut national de recherche en sciences et mobile data technologies du https://inria.hal.science/INRIA Accueil - INRIA - Institut National de Recherche en Informatique et en Automatique inria institut national de recherche en informatique et automatique accueil https://inria.hal.science/hal-02440055v1 Characterizing Pharo Code: A Technical Report - Inria - Institut national de recherche en sciences... Pharo (https://pharo.org/) is a modern dynamically-typed reflective pure object-oriented language. It is inspired from Smalltalk. Its unconventional syntax... inria institut national de recherche en technical report characterizing pharo https://inria.hal.science/hal-04776568 Progressive Data Analysis - Inria - Institut national de recherche en sciences et technologies du... We live in an era in which data is abundant and growing rapidly. Big data databases sprawl past memory and computation limits and across distributed systems.... inria institut national de recherche en sciences et technologies data analysis progressive https://inria.hal.science/hal-02405754 Le logiciel, entre l’esprit et la matière - Inria - Institut national de recherche en sciences et... Un même matériel informatique peut remplir de nombreuses fonctions différentes par simple changement du logiciel qu’il exécute. Cette extraordinaire plasticité... inria institut national de recherche en le logiciel et la entre https://inria.hal.science/page/barometre-science-ouverte barometre-science-ouverte - Inria - Institut national de recherche en sciences et technologies du... inria institut national de recherche en sciences et technologies ouverte https://inria.hal.science/hal-04399489 Augmented-Reality Waste Accumulation Visualizations - Inria - Institut national de recherche en... The negative impact humans have on the environment is partly caused by thoughtless consumption leading to unnecessary waste. A likely contributing factor is... inria institut national de recherche en augmented reality waste accumulation https://inria.hal.science/hal-01281190 Social Clicks: What and Who Gets Read on Twitter? - Inria - Institut national de recherche en... Online news domains increasingly rely on social media to drive traffic to their websites. Yet we know surprisingly little about how a social media conversation... inria institut national de recherche en gets read social clicks https://inria.hal.science/hal-04167900 Design Characterization for Black-and-White Textures in Visualization - Inria - Institut national... We investigate the use of 2D black-and-white textures for the visualization of categorical data and contribute a summary of texture attributes, and the results... visualization inria institut design characterization black white