Les lésions de l'articulation atloïdo-axoïdienne peuvent émailler l'évolution de diverses pathologies rhumatismales. Elles peuvent se compliquer d'un handicap fonctionnel important et d'une atteinte neurologique parfois sévère. Nous rapportons le cas d'une patiente âgée de 55 ans, diabétique, hypertendue et suivie en Rhumatologie depuis 15 ans pour une polyarthrite rhumatoïde séropositive destr...

misti est une nouvelle de guy de maupassant. sur le mode de la narration à la première personne, cette nouvelle rapporte le souvenir d’un jeune homme qui fait part d’une histoire étrange qu’il a vécue dans une relation amoureuse. les deux éléments constitutifs de départ sont les questions d’amour et de superstition. des éléments textuels comme la description et la mise en abyme d’une part et, d...

We consider two recently proposed methods for database updating by means of inference rules: a syntactic method proposed by the authors that uses the concept of update rule, and a semantic method proposed by Marek and Truszcy nski, that uses the concept of revision program. We show that the two methods are complementary in the following sense: 1. Using revision programs, we show that update rul...

RÉSUMÉ. Dans ce papier nous étudions le problème classique de l’impact d’une mise à jour sur une vue, dans le cadre de données semi-structurées. Nous faisons les hypothèses suivantes: (i) le document source est modélisé par un arbre ordonné étiqueté par des symboles à arités variables, (ii) une vue V est une requête arbre dont l’évaluation sur le document source fournit la vue partielle souhait...

The MISE Project (Mediation Information System Engineering) aims at providing collaborating organizations with a Mediation Information System (MIS) in charge of supporting interoperability of a collaborative network. MISE proposes an overall MIS design method according to a mod...

RÉSUMÉ. Dans ce papier nous étudions le problème classique de l’impact d’une mise à jour sur une vue, dans le cadre de données semi-structurées. Nous faisons les hypothèses suivantes: (i) le document source est modélisé par un arbre ordonné étiqueté par des symboles d’arité variable, (ii) une vue V est une requête arbre dont l’évaluation sur le document source fournit la vue partielle du docume...

We study the performance of algorithms for the Single-Source Shortest-Paths (SSSP) problem on graphs with nodes and edges with nonnegative random weights. All previously known SSSP algorithms for directed graphs required superlinear time. We give the first SSSP algorithms that provably achieve linear average-case execution time on arbitrary directed graphs with random edge weights. For independ...