Dans cette etude on s'interesse a la modelisation physique des phenomenes de catalyse se produisant a la paroi d'un obstacle plonge dans un ecoulement hypersonique. On se propose en particulier, d'etudier et d'analyser les modeles presentes dans la litterature traitant de ce sujet. Cette recherche bibliographique a pour but d'etudier la possibilite d'implementer des modeles de catalyse de complexite croissante dans des codes de simulation numerique d'ecoulements hypersoniques reactifs. On presente tout d'abord un modele d'interaction binaire avec accomodation complete de l'energie dans lequel les termes de production des especes a la paroi ont fonctions de coefficients de recombinaison. Ces coefficients expriment la probabilite qu'un atome ...
Let E_r and E_b be two sets of x-monotone and non-intersecting curve segments, E=E_r \cup E_b and |E...
Nous donnons des conditions suffisantes assurant qu'une suite de champs gaussiens stationnaires sur ...
La coloration orientée est une adaptation possible de la notion de coloration aux graphes orientés. ...
Projet COQNous présentons l'axiomatisation de la théorie du $\Lenv$-calcul dans le système Coq. Le p...
Nous donnons des conditions suffisantes assurant qu'une suite de champs gaussiens stationnaires sur ...
Le positionnement du problème de transfert en poussée fable est amené. On propose l'aper u des métho...
Nous donnons des conditions suffisantes assurant qu'une suite de champs gaussiens stationnaires sur ...
Projet DIALOGUECe document présente une expérimentation réalisée dans le domaine de l'agriculture. L...
Nous donnons des conditions suffisantes assurant qu'une suite de champs gaussiens stationnaires sur ...
Nous donnons des conditions suffisantes assurant qu'une suite de champs gaussiens stationnaires sur ...
PERSIA (Phase-based Estimation for Registration and Sub-pixel Image Alignment) est un algorithme qui...
Dans ce travail, on présente une nouvelle méthode basée sur une formulation volumes finis pour la si...
Les schémas volumes finis décentrés sont souvent encore trop dissipatifs pour envisager des calculs ...
This document is a compilation of extended abstracts presented at the Automatic Differentiation sess...
Dans ce travail, on présente une nouvelle méthode basée sur une formulation volumes finis pour la si...
Let E_r and E_b be two sets of x-monotone and non-intersecting curve segments, E=E_r \cup E_b and |E...
Nous donnons des conditions suffisantes assurant qu'une suite de champs gaussiens stationnaires sur ...
La coloration orientée est une adaptation possible de la notion de coloration aux graphes orientés. ...
Projet COQNous présentons l'axiomatisation de la théorie du $\Lenv$-calcul dans le système Coq. Le p...
Nous donnons des conditions suffisantes assurant qu'une suite de champs gaussiens stationnaires sur ...
Le positionnement du problème de transfert en poussée fable est amené. On propose l'aper u des métho...
Nous donnons des conditions suffisantes assurant qu'une suite de champs gaussiens stationnaires sur ...
Projet DIALOGUECe document présente une expérimentation réalisée dans le domaine de l'agriculture. L...
Nous donnons des conditions suffisantes assurant qu'une suite de champs gaussiens stationnaires sur ...
Nous donnons des conditions suffisantes assurant qu'une suite de champs gaussiens stationnaires sur ...
PERSIA (Phase-based Estimation for Registration and Sub-pixel Image Alignment) est un algorithme qui...
Dans ce travail, on présente une nouvelle méthode basée sur une formulation volumes finis pour la si...
Les schémas volumes finis décentrés sont souvent encore trop dissipatifs pour envisager des calculs ...
This document is a compilation of extended abstracts presented at the Automatic Differentiation sess...
Dans ce travail, on présente une nouvelle méthode basée sur une formulation volumes finis pour la si...
Let E_r and E_b be two sets of x-monotone and non-intersecting curve segments, E=E_r \cup E_b and |E...
Nous donnons des conditions suffisantes assurant qu'une suite de champs gaussiens stationnaires sur ...
La coloration orientée est une adaptation possible de la notion de coloration aux graphes orientés. ...