Clock synchronization algorithms ensure that physically dispersed processors have a common knowledge of time. This paper proposes a taxonomy adapted to all published software fault-tolerant clock synchronization algorithms: deterministic and prob-abilistic, internal and external, and resilient from crash to Byzantine failures. We classify clock synchronization algorithms according to their inte...

Les lipomes géants sont des tumeurs adipeuses bénignes, d'évolution lente,ils peuvent être volumineux chez l'adulte, et devenir gênants sans pour autant être malins. Ces tumeurs surviennent généralement entre 22 et 75 ans avec une légère prédominance féminine et avec une durée d'évolution variant entre 2 mois et 40 ans. Nous rapportons le cas d'un patient âgé de 35 ans, qui présentait une tuméf...

We develop a polarised variant of Curien and Herbelin’s λ̄μμ̃ calculus suitable for sequent calculi that admit a focalising cut elimination (i.e. whose proofs are focalised when cut-free), such as Girard’s classical logic LC or linear logic. This gives a setting in which Krivine’s classical realisability extends naturally (in particular to callby-value), with a presentation in terms of orthogonal...

Les angiosarcomes sont des tumeurs endothéliales malignes représentant moins de 1% des sarcomes. Dans 10 à 15% des cas ils surviennent sur des zones préalablement irradiées ou sur lymphœdème. Cliniquement, ils se manifestent par placardsou nodules cutanés, infiltrés, érythémateux ou ecchymotiques,parfois associés à des lésions bulleuses séro-hématiques et des ulcérationsdouleureuses.Le diagnost...

La diapneusie est une tumeur bénigne correspondant à une hyperplasie fibro-épithéliale, Siégeant sur la muqueuse des lèvres, des joues ou des bords de la langue. Elle est attribuée à l’aspiration de la muqueuse à travers un orifice de l’arcade dentaire. Cliniquement, elle se présente sous forme d’un nodule sessile de quelques millimètres de diamètre, de consistance molle, parfois ferme, indolor...

While Alfred Vulpian (1826-1887) is not completely forgotten, he cannot match the uninterrupted celebrity which Jean-Martin Charcot (1825-1893) still enjoys today. After becoming interne (residents) at the same institute in 1848, both were involved in shaping the cradle of what would become modern neurology. Both started work as chiefs at a La Salpêtrière service on January 1, 1862, making comm...

Les fractures ipsilatérales pelviennes et fémorales sont appelées «Hanche flottante». Il y a deux entités lésionnelles selon le type de la fracture pelvienne: fracture de l'anneau pelvien ou fracture du cotyle. Ces traumatismes de haute énergie très peu décrits en littérature posent un problème de hiérarchisation des gestes de stabilisation. Chez les patients présentant une fracture de l'anneau...

8. Venco L, Vezzoni A. Heartworm (Dirofilaria immitis) disease in dogs and cats. In: Simón F, Genchi C, editors. Heartworm infection in humans and animals. Salamanca (Spain): Ediciones Universidad de Salamanca; 2001. p. 161–77. 9. O’Reilly MAR, O’Reilly PMR, Kace G. Breast infection due to dirofilariasis. Eur Radiol. 2002;12:1097–9. http://dx.doi. org/10.1007/s003300101024 10. Boysson H, Duhame...

To cite this version: Alexander Bockmayr, Arnaud Courtois. Using hybrid concurrent constraint programming to model dynamic biological systems. [Interne] A02-R-026 —— bockmayr02a, 2002, 15 p. HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching an...