646 citations
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR251 papers
- Université Paris-SaclayFR110 papers
- Centre National de la Recherche ScientifiqueFR64 papers
- CEA Paris-SaclayFR55 papers
- Institut de Recherche sur les Lois Fondamentales de l'UniversFR21 papers
- Université d'Abomey-CalaviBJ21 papers
- Laboratoire National Henri BecquerelFR19 papers
- Université Grenoble AlpesFR16 papers
- Sorbonne UniversitéFR14 papers
- CEA GrenobleFR11 papers
- CentraleSupélecFR11 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR11 papers
274 papers
Latent-Lagrangian Neural Networks for Reduced Order Modeling of Non-autonomous Nonlinear Dynamical Systems
Anand Kumar Agrawal, Anders Thorin
This work proposes a latent Lagrangian-based framework for reduced-order modelling of forced nonlinear dynamical systems. In contrast with conventional Lagrangian or Hamiltonian ne…
Decoder-Agnostic Token Merging for Vision Transformers: A Systematic Study of G2TM
Victor Bercy, Martyna Poreba, Michal Szczepanski +1
Vision Transformers (ViTs) have achieved state-of-the-art performance across a range of computer vision tasks, mainly thanks to the self-attention mechanism. However, its complexit…
HUI360: A 360° Egocentric Dataset and Baselines for Human-Robot Interaction Anticipation
Raphael Lorenzo-Louis, Fabio Amadio, Bertrand Luvison +1
As robots increasingly operate in human-populated environments, anticipating human intentions is essential for enabling proactive and socially aware behavior. Automatic anticipatio…
Hybrid Path-Sums for Hybrid Quantum Programs
Christophe Chareton, Jad Issa, Mathieu Nguyen +2
As quantum computing becomes an emerging reality, designing efficient quantum programming capabilities is becoming more and more important. Particularly, the debugging and validati…
Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
Wei-Jia Huang, Christophe Chareton, Yu-Fang Chen +4
Equivalence checking of quantum circuits is a central verification task in quantum computing, ensuring the correctness of circuit optimizations, hardware mappings, and compilation…
All LCA models are wrong. Are some of them useful? Towards open computational LCA in ICT
Vincent Corlay, David Bekri, Marie-Anne Lacroix +6
Life Cycle Assessment (LCA) is increasingly used to quantify and regulate the environmental impacts of Information and Communication Technology (ICT) systems. Since direct biospher…