90 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Institut de recherche mathématique de RennesFR38 papers
- Centre National de la Recherche ScientifiqueFR21 papers
- Université de RennesFR20 papers
- Institut national de recherche en sciences et technologies du numériqueFR8 papers
- Centre Inria de l'Université de RennesFR6 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR4 papers
- Laboratoire des systèmes et applications des technologies de l'information et de l'énergieFR4 papers
- École Normale Supérieure Paris-SaclayFR3 papers
- École Normale Supérieure - PSLFR3 papers
- MINGUS: Schémas numériques géométriques multi-échellesFR3 papers
- University of GenevaCH3 papers
- University of Naples Federico IIIT3 papers
9 papers · 1 filter
LLM and Infrastructure as a Code use case
Thibault Chanus, Michael Aubertin
Cloud computing and the evolution of management methodologies such as Lean Management or Agile entail a profound transformation in both system construction and maintenance approach…
The Complexity of Second-order HyperLTL
Hadar Frenkel, Gaëtan Regaud, Martin Zimmermann
We determine the complexity of second-order HyperLTL satisfiability, finite-state satisfiability, and model-checking: All three are equivalent to truth in third-order arithmetic. W…
An Objective Improvement Approach to Solving Discounted Payoff Games
Daniele Dell'Erba, Arthur Dumas, Sven Schewe
While discounted payoff games and classic games that reduce to them, like parity and mean-payoff games, are symmetric, their solutions are not. We have taken a fresh view on the co…
Decentralized Smart Charging of Large-Scale EVs using Adaptive Multi-Agent Multi-Armed Bandits
Sharyal Zafar, Raphaël Feraud, Anne Blavette +2
The drastic growth of electric vehicles and photovoltaics can introduce new challenges, such as electrical current congestion and voltage limit violations due to peak load demands.…
The universal equivariance properties of exotic aromatic B-series
Adrien Laurent, Hans Munthe-Kaas
The exotic aromatic Butcher series were originally introduced for the calculation of order conditions for the high order numerical integration of ergodic stochastic differential eq…
Energy Management System for a Low Voltage Direct Current Microgrid: Modeling and experimental validation
Yanandlall Gopee, Margot Gaetani-Liseo, Anne Blavette +3
In the field of microgrids with a significant integration of Renewable Energy Sources, the efficient and practical power storage systems requirement is causing DC microgrids to gai…
Limit shape for regularisation of large partitions under the Plancherel measure
Salim Rostam
A celebrated result of Kerov-Vershik and Logan-Shepp gives an asymptotic shape for large partitions under the Plancherel measure. We prove that when we consider -regularisations…
Poincar{é} inequalities and integrated curvature-dimension criterion for generalised Cauchy and convex measures
Baptiste Nicolas Huguet
We obtain new sharp weighted Poincar{é} inequalities on Riemannian manifolds for a general class of measures. When specialised to generalised Cauchy measures, this gives a unified…
The aromatic bicomplex for the description of divergence-free aromatic forms and volume-preserving integrators
Adrien Laurent, Robert I. McLachlan, Hans Z. Munthe-Kaas +1
Aromatic B-series were introduced as an extension of standard Butcher-series for the study of volume-preserving integrators. It was proven with their help that the only volume-pres…