Diffusion scientifique
Dernières publications
Fast Landmark Reconfiguration for Highway Cover Indexes
Communication lors d'une conférence
David Coudert, Andrea D Ascenzo, Mattia d'Emidio, Giuseppe F Italiano
The highway cover labeling (HCL) is an indexing method for weighted digraphs that enables fast queries on important graph properties such as distances and constrained shortest paths. Originally introduced by [Farhan et al., EDBT 2019], the HCL has gained popularity in the field…
DIVA: An Ontology-based Approach to Model User Activity within Visualization Systems
Communication lors d'une conférence
Aline Menin, Catherine Faron
The study of user activity supports evaluation of visualization systems, recommendation of suitable views or tasks, guidance of interaction, and validation of analytical results. It enables researchers to understand how these visualization systems are used and to gain insight…
DemIstifyCPS: A Domain-Specific Language for Influence Modeling in Cyber-Physical Systems
Communication lors d'une conférence
Barbara da Silva Oliveira, Nicolas Ferry, Julien Deantoni
Cyber-Physical Systems (CPS) are integrated systems, composed of various system parts, comprising physical and computational processes. CPS development generates multiple artifacts, including design models and implementation code developed by several stakeholders, that may…
Conception et implémentation d'une ontologie des facteurs psychosociaux liés aux attitudes et comportements alimentaires dysfonctionnels chez les sportifs
Communication lors d'une conférence
Sara Taoufiq, Molka Tounsi Dhouib, Amandine Daubresse, Catherine Faron, Meggy Hayotte, Stéphanie Scoffier-Mériaux
Les attitudes et comportements alimentaires dysfonctionnels (ACAD) représentent des phénomènes complexes liés à de multiples facteurs psychosociaux dans le contexte sportif. Les recherches actuelles dans ce domaine présentent une forte complexité et des inconsistances…
Centered colorings in minor-closed graph classes
Communication lors d'une conférence
Jȩdrzej Hodor, Xuan Hoang La, Piotr Micek, Clément Rambaud
A vertex coloring $φ$ of a graph $G$ is $p$-centered if for every connected subgraph $H$ of $G$, either $φ$ uses more than $p$ colors on $H$, or there is a color that appears exactly once on $H$. We prove that for every fixed positive integer $t$, every $K_t$-minor-free graph…
Algorithms and Lower Bounds for the Maximum Overlap of Two Polygons Under Translation
Communication lors d'une conférence
Mikkel Abrahamsen, Sujoy Bhore, Maike Buchin, Jacobus Conradi, Ce Jin, André Nusser, Carolin Rehs
A fundamental problem in shape matching and geometric similarity is computing the maximum area overlap between two polygons under translation. For general simple polygons, the best-known algorithm runs in $O((nm)^2 \log(nm))$ time [Mount, Silverman, Wu 96], where $n$ and $m$…