Cet article traite la stabilisation frontière d'une équation de vibrations. On démontre que le système peut être stabilisé fortement ou exponentiellement par des feedbacks frontières non linéaires
Ce rapport technique décrit les fonctionnalités du mailleur automatique surfacique BLSURF. Ce logici...
Le logiciel d'électromagnétisme Echo_light permet de coupler plusieurs géométries axisymétriques en...
SUper-résolution de la Radiométrie et de la Photométrie des Images Satellitaires Entrelacées) est un...
On propose une généralisation des conditions aux limites absorbantes d'ordre élevé à l'équation des ...
Le modèle géométrique direct des robots parallèles consiste à déterminer la position et l'orientatio...
Projet PROGRAISThe system $F_\leq$, the well-known second-order polymorphic typed $\lambda$-calculus...
This report describes an application program interface to UNIX called the q-interface. It is designe...
Dans cet article, nous proposons une méthodologie de conception d'ordonnancements parallèles régulie...
Nous proposons une méthode systématique et pragmatique de modélisation de la sémantique des langages...
This report deals with approximations of geometric data defined on a hypersurf- ace of the Euclidean...
Nous présentons ici un algorithme permettant de retrouver la permutation entre deux codes linéaires ...
Ce rapport propose une méthode de redéfinition \emph{a priori} d'un champ de contraintes de surface ...
Ce rapport comprend deux parties. Dans la première partie, on introduit une notion de ``compatibilit...
Les simulations numériques en contrôle quantique utilisent plusieurs approches incluant les procédur...
Nous introduisons dans ce rapport le problème de l'inférence C-régulière qui consiste à apprendre un...
Ce rapport technique décrit les fonctionnalités du mailleur automatique surfacique BLSURF. Ce logici...
Le logiciel d'électromagnétisme Echo_light permet de coupler plusieurs géométries axisymétriques en...
SUper-résolution de la Radiométrie et de la Photométrie des Images Satellitaires Entrelacées) est un...
On propose une généralisation des conditions aux limites absorbantes d'ordre élevé à l'équation des ...
Le modèle géométrique direct des robots parallèles consiste à déterminer la position et l'orientatio...
Projet PROGRAISThe system $F_\leq$, the well-known second-order polymorphic typed $\lambda$-calculus...
This report describes an application program interface to UNIX called the q-interface. It is designe...
Dans cet article, nous proposons une méthodologie de conception d'ordonnancements parallèles régulie...
Nous proposons une méthode systématique et pragmatique de modélisation de la sémantique des langages...
This report deals with approximations of geometric data defined on a hypersurf- ace of the Euclidean...
Nous présentons ici un algorithme permettant de retrouver la permutation entre deux codes linéaires ...
Ce rapport propose une méthode de redéfinition \emph{a priori} d'un champ de contraintes de surface ...
Ce rapport comprend deux parties. Dans la première partie, on introduit une notion de ``compatibilit...
Les simulations numériques en contrôle quantique utilisent plusieurs approches incluant les procédur...
Nous introduisons dans ce rapport le problème de l'inférence C-régulière qui consiste à apprendre un...
Ce rapport technique décrit les fonctionnalités du mailleur automatique surfacique BLSURF. Ce logici...
Le logiciel d'électromagnétisme Echo_light permet de coupler plusieurs géométries axisymétriques en...
SUper-résolution de la Radiométrie et de la Photométrie des Images Satellitaires Entrelacées) est un...