-
Experiments and micromechanical modelling of elastic parameters of a composit...
International audience -
Extension of Biot theory to the problem of saturated microporous elastic medi...
International audience -
The ASTRÉE analyzer
Astrée is an abstract interpretation-based static program analyzer aiming at proving automatically the absence of run time errors in programs written in the C... -
Sojourn time of some reflected Brownian motion in the unit disk
We study the heat diffusion in a domain with an obstacle inside. More precisely, we are interested in the quantity of heat in so far as a function of the position of... -
Artificial boundaries and formulations for the incompressible Navier-Stokes e...
International audience
