90 citations
- 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
78 papers
Blow-up, decay, and convergence to equilibrium for focusing damped cubic Klein-Gordon and Duffing equations
Thomas Perrin
We study long-time dynamics of the damped focusing cubic Klein-Gordon equation on a compact three-dimensional Riemannian manifold, together with its space-independent reduction, th…
Quantification of the Influence of Morphologies on Laser Cutting Quality
Maria Ramard, Romain Laniel, Mathieu Miroir +1
Laser cutting is an old and multi-physical process that was quickly adopted by the metallurgical industry. However, this fast industrialisation has had a significant impact on qual…
Finding Regular Herbrand Models for CHCs using Answer Set Programming
Gregoire Maire, Thomas Genet
We are interested in proving satisfiability of Constrained Horn Clauses (CHCs) over Algebraic Data Types (ADTs). We propose to prove satisfiability by building a tree automaton rec…
Small-time approximate controllability of the logarithmic Schr\''dinger equation
Karine Beauchard, Rémi Carles, Eugenio Pozzoli
We consider Schr{ö}dinger equations with logarithmic nonlinearity and bilinear controls, posed on or . We prove their small-time global -approxima…
The Complexity of Generalized HyperLTL with Stuttering and Contexts
Gaëtan Regaud, Martin Zimmermann
We settle the complexity of satisfiability and model-checking for generalized HyperLTL with stuttering and contexts, an expressive logic for the specification of asynchronous hyper…
High order integration of stochastic dynamics on Riemannian manifolds with frozen flow methods
Eugen Bronasco, Adrien Busnot Laurent, Baptiste Huguet
We present a new class of numerical methods for solving stochastic differential equations with additive noise on general Riemannian manifolds with high weak order of accuracy. In o…