1.4k citations
- Centre National de la Recherche ScientifiqueFR360 papers
- Laboratoire de Physique Subatomique et des Technologies AssociéesFR298 papers
- Laboratoire des Sciences du Numérique de NantesFR152 papers
- IMT AtlantiqueFR146 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR124 papers
- National Institute for Subatomic PhysicsNL109 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR103 papers
- The Ohio State UniversityUS95 papers
- University of MünsterDE87 papers
- Universidade Estadual de Campinas (UNICAMP)BR85 papers
- Universidade de São PauloBR84 papers
- Central China Normal UniversityCN83 papers
34 papers · 1 filter
Approximation algorithms for Job Scheduling with reconfigurable resources
Pierre Bergé, Mari Chaikovskaia, Jean-Philippe Gayon +1
We consider here the MultiBot problem for the scheduling and the resource parametrization of jobs related to the production or the transportation of different products inside a giv…
A First Order Theory of Diagram Chasing
Assia Mahboubi, Matthieu Piquerez
This paper discusses the formalization of proofs "by diagram chasing", a standard technique for proving properties in abelian categories. We discuss how the essence of diagram chas…
A first step towards an ecosystem meta-model for humancentered design in case of disabled users
Christophe Kolski, Nadine Vigouroux, Yohan Guerrier +2
The involvement of the ecosystem or social environment of the disabled user is considered as very useful and even essential for the human-centered design of assistive technologies.…
Exponential stability of solutions to the Schr{ö}dinger-Poisson equation
Joackim Bernier, Nicolas Camps, Benoît Grébert +1
We prove an exponential stability result for the small solutions of the Schr{ö}dinger-Poisson equation on the circle without exterior parameters in Gevrey class. More precisely we…
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata
Étienne André, Engel Lefaucheux, Didier Lime +2
Timing information leakage occurs whenever an attacker successfully deduces confidential internal information by observing some timed information such as events with timestamps. Ti…
Muscle volume quantification: guiding transformers with anatomical priors
Louise Piecuch, Vanessa Gonzales Duque, Aurélie Sarcher +5
Muscle volume is a useful quantitative biomarker in sports, but also for the follow-up of degenerative musculo-skelletal diseases. In addition to volume, other shape biomarkers can…