-
Tree Automata with Equality Constraints Modulo Equational Theories
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. These tree automata are obtained by... -
A Generalized Forward-Backward Splitting
International audience -
Higher-Order Numerical Schemes and Operator Splitting for Solving 3D Paraxial...
We investigate numerical schemes for solving 3D paraxial wave equations that are compatible with the use of splitting methods without losing accuracy. The novelty of... -
Contributions of the clinical approach to work in psychoanalytical anthropolo...
The main purpose of this research is to question what the analaysis of psychodynamics of work can bring to the psychoanalytical anthropology of moral sense. An... -
Merging and Splitting of Plasma Spheroids in a Dusty Plasma
Copyright 2012 by the American Physical Society. This article is also available at http://link.aps.org/doi/10.1103/PhysRevLett.109.245007 -
On the use of smoothing to improve the performance of the splitting method
International audience -
Propagation of Gevrey regularity over long times for the fully discrete Lie T...
International audience -
Splitting methods with complex times for parabolic equations
International audience -
Regularization of inverse problems in image processing
Rédaction : fin 2011. Soutenance : mars 2012. -
Well-posedness for a one-dimensional fluid-particle interaction model
The fluid-particle interaction model introduced by the three last authors in [J. Differential Equations, 245 (2008), pp. 3503-3544] is the object of our study. This... -
Review of risk assessment status for air traffic
iFly project deliverable
