From the 1 of 5.5k papers with an AI index.
- Centre National de la Recherche ScientifiqueFR1.7k papers
- Centre Inria de SaclayFR364 papers
- École PolytechniqueFR306 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR300 papers
- École Normale Supérieure - PSLFR292 papers
- Sorbonne UniversitéFR291 papers
- École Normale Supérieure de LyonFR233 papers
- Centre Inria de l'Université Grenoble AlpesFR216 papers
- Université Paris-SaclayFR208 papers
- Université Grenoble AlpesFR204 papers
- Lyon 1 UniversitéFR191 papers
- Centre Inria d'Université Côte d'AzurFR183 papers
24 papers · 2 filters
Analysis of exponential splitting methods for inhomogeneous parabolic equations
Erwan Faou, Alexander Ostermann, Katharina Schratz
We analyze the convergence of the exponential Lie and exponential Strang splitting applied to inhomogeneous second-order parabolic equations with Dirichlet boundary conditions. A r…
Asymptotic preserving schemes for the Klein-Gordon equation in the non-relativistic limit regime
Erwan Faou, Katharina Schratz
We consider the Klein-Gordon equation in the non-relativistic limit regime, i.e. the speed of light c tending to infinity. We construct an asymptotic expansion for the solution wit…
Optimal non-reversible linear drift for the convergence to equilibrium of a diffusion
Tony Lelièvre, Francis Nier, Grigorios A. Pavliotis
We consider non-reversible perturbations of reversible diffusions that do not alter the invariant distribution and we ask whether there exists an optimal perturbation such that the…
Trusting Computations: a Mechanized Proof from Partial Differential Equations to Actual Program
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre +3
Computer programs may go wrong due to exceptional behaviors, out-of-bound array accesses, or simply coding errors. Thus, they cannot be blindly trusted. Scientific computing progra…
Accurate and efficient evaluation of the a posteriori error estimator in the reduced basis method
Fabien Casenave, Alexandre Ern, Tony Lelièvre
The reduced basis method is a model reduction technique yielding substantial savings of computational time when a solution to a parametrized equation has to be computed for many va…
Optimized M2L Kernels for the Chebyshev Interpolation based Fast Multipole Method
Matthias Messner, Bérenger Bramas, Olivier Coulaud +1
A fast multipole method (FMM) for asymptotically smooth kernel functions (1/r, 1/r^4, Gauss and Stokes kernels, radial basis functions, etc.) based on a Chebyshev interpolation sch…