We discuss a class of semilinear PDE's with obstacle, of the form (_t+L)u+f(t,- x,u,^*u)+=0,uh,u_T=g where h is the obstacle. The solution of such an equation (in variational sense) is a couple (u,) where uL^2([0,T];H^1) and is a positive Radon measure concentrated on u=h. We prove that this equation has a unique solution and u is the maximal solution of the correspond- ing variational inequality. The probabilistic interpretation (Feynman-Kac formula) is given by means of Reflected Backward Stochastic Differential Equations. We give a new construction of solutions of such equations using a maximum principle. This perimts to consider obstacles with jumps
L'évolution de l'architecture des microprocesseurs est très rapide ; dans ce rapport nous présentons...
Odyssée is an automatic differentiation (AD) package developed at INRIA. This tool is able to differ...
Projet EURECAProver to verify concurrent programs. The chosen specification environment is {\sc UNIT...
We discuss a class of semilinear PDE's with obstacle, of the form (_t+L)u+f(t,- x,u,^*u)+=0,uh,u_T=g...
Ce document présente une analyse comparative de divers langages prototypes et modèles formels exista...
Projet POEMSDans ce rapport, nous effectuons une présentation mathématique détaillée de la méthode d...
We present Coca, an automated debugger for C, where the breakpoint mechanism is based on events rela...
The problem studied in this paper originates from a just-in-time environment where a new supplying m...
Bien que le spinozisme d'Einstein ne soit pas celui d'un érudit et que l'on doive parler, plutôt que...
In 1993, sizes of on-chip caches on current commercial microprocessors range from 16 Kbytes to 36 Kb...
This report deals with recent progress in the study of shape optimization problems in case of a movi...
Original article can be found at: http://www.springerlink.com/Overcoming the memory wall [15] may be...
This paper is dedicated to a new binomial lattice method (MSM) consistent with the Black-Scholes mod...
On introduit une linéarisation de la formulation ALE des équations de Navier-Stokes incompressibles....
International audienceIn this paper, we study the validity of the assumption that speech source sign...
L'évolution de l'architecture des microprocesseurs est très rapide ; dans ce rapport nous présentons...
Odyssée is an automatic differentiation (AD) package developed at INRIA. This tool is able to differ...
Projet EURECAProver to verify concurrent programs. The chosen specification environment is {\sc UNIT...
We discuss a class of semilinear PDE's with obstacle, of the form (_t+L)u+f(t,- x,u,^*u)+=0,uh,u_T=g...
Ce document présente une analyse comparative de divers langages prototypes et modèles formels exista...
Projet POEMSDans ce rapport, nous effectuons une présentation mathématique détaillée de la méthode d...
We present Coca, an automated debugger for C, where the breakpoint mechanism is based on events rela...
The problem studied in this paper originates from a just-in-time environment where a new supplying m...
Bien que le spinozisme d'Einstein ne soit pas celui d'un érudit et que l'on doive parler, plutôt que...
In 1993, sizes of on-chip caches on current commercial microprocessors range from 16 Kbytes to 36 Kb...
This report deals with recent progress in the study of shape optimization problems in case of a movi...
Original article can be found at: http://www.springerlink.com/Overcoming the memory wall [15] may be...
This paper is dedicated to a new binomial lattice method (MSM) consistent with the Black-Scholes mod...
On introduit une linéarisation de la formulation ALE des équations de Navier-Stokes incompressibles....
International audienceIn this paper, we study the validity of the assumption that speech source sign...
L'évolution de l'architecture des microprocesseurs est très rapide ; dans ce rapport nous présentons...
Odyssée is an automatic differentiation (AD) package developed at INRIA. This tool is able to differ...
Projet EURECAProver to verify concurrent programs. The chosen specification environment is {\sc UNIT...