A sequential segmentation framework, where objects in an image are successively segmented, generally raises some questions about the “best” segmentation sequence to follow and/or how to avoid error propagation. In this work, we propose original approaches to answer these questions in the case where the objects to segment are represented by a model describing the spatial relations between object...

Elliptic curves are fascinating mathematical objects. In this paper, we present the way they have been represented inside the COQ system, and how we have proved that the classical composition law on the points is internal and gives them a group structure. We then describe how having elliptic curves inside a prover makes it possible to derive a checker for proving the primality of natural number...

Le conflit radio-ulnaire distal résulte d'un pincement de l'articulation radio-ulnaire occasionnant un syndrome douloureux du poignet. Le conflit radio-ulnaire distal est le plus souvent d'origine dégénérative ou post-traumatique avec une atteinte du complexe triangulaire fibro-cartilagineux et un conflit ulno-lunaire associés par une inversion de l'index radio-ulnaire. Nous rapportons un cas d...

L'offset fémoral est l'élément pronostic le plus important dans l'arthroplastie de la hanche. Sa restauration est devenue de plus en plus une obligation. Toute modification de la valeur native de l'offset retenti sur la qualité du fonctionnement clinique de la hanche. Le but de notre travail était d'évaluer le fonctionnement clinique de la hanche en fonction de la valeur de l'offset fémoral apr...

Nous rapportons un cas d'anévrysme post-traumatique de l'artère carotide interne chez un enfant de 11 ans, ayant présenté une ophtalmoplégie droite. Un faux anévrisme de la carotide interne droite a été diagnostiqué par angiographie cérébrale. Le malade a bénéficié d'un traitement endovasculaire et l'évolution fut favorable. Malgré leur rareté, le diagnostic des anévrysmes post traumatiques dev...