In this report, we propose a semi-implicit coupling scheme for the numerical simulation of fluid-structure interaction systems involving a viscous incompressible fluid. The scheme is stable irrespectively of the so-called addedmass effect and allows for conservative time-stepping within the structure. The efficiency of the scheme is based on the explicit splitting of the viscous effects and geo...

Providing a high degree of automation to discharge proof obligations in (fragments of) first-order logic is a crucial activity in many verification efforts. Unfortunately, this is quite a difficult task. On the one hand, reasoning modulo ubiquitous theories (such as lists, arrays, and Presburger arithmetic) is essential. On the other hand, to effectively incorporate this theory specific reasoni...

Le but de cet article est de présenter un algorithme de complexité polynômiale pour calculer la semisimplifiée modulo p d’une Qp-représentation semi-stable du groupe de Galois absolu d’un corps p-adique (i.e. une extension finie de Qp). Pour ce faire, nous utilisons abondamment la théorie de Hodge p-adique et, en particulier, la théorie des modules de Breuil-Kisin.

RÉSUMÉ Ce travail présente une nouvelle approche pour injecter des dépendances profondes (sujet des verbes à contrôle, partage du sujet en cas d’ellipses, . . .) dans un corpus arboré présentant un schéma d’annotation surfacique et projectif. Nous nous appuyons sur un système de réécriture de graphes utilisant des techniques de programmation par contraintes pour produire des règles génériques q...

Géométries Fluctuantes en Mécanique Statistique et en Théorie des Champs /Fluctuating Geometries in Statistical Mechanics and Field Theory

Nous présentons une conjecture qui se formule de manière élémentaire dans le cadre de la théorie des partitions.

3 4 SUMMARY This thesis presents an in-depth study of statistical mechanical systems having microcano-nical equilibrium properties, i.e., energy-dependent equilibrium properties, which cannot be put in correspondence with their canonical or temperature-dependent equilibrium properties. A general theory of these systems which focuses both on the thermodynamic and macrostate levels of description...

La théorie des jeux est un outil central dans bien des disciplines : dans l’économie (c.f. [58]), la bioloogie (surtout avec les jeux évolutifs définis par Maynard Smith [54, 55]), les affaires et la finance [1], le transport routier [59, 47], le marketing [35], les sciences politiques [45] et sociales, l’écologie et l’environnement, la recherche opérationelle, et bien d’autres. Elle joue aussi...

— In this paper we show how to recover a special class of valuations (which generalize in a natural way the Zariski prime divisors) of function fields from the Galois theory of the functions fields in discussion. These valuations play a central role in the birational anabelian geometry and related questions. Résumé (Théorie de Galois pro-` des diviseurs premiers de Zariski) Dans cet article nou...

Dans l’étude des fonctions symétriques, la théorie des λ-anneaux est une méthode particulièrement efficace, et pourtant peu utilisée. On trouvera une illustration de cette théorie dans [5]. Le but de cet article est d’en présenter une nouvelle application. Nous considérons le problème suivant : si f est une fonction symétrique et q une indéterminée, quelle est la valeur de f(1, q, q, . . . , q)...