We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework where programs are represented as linear operators over dioids. We show how to extract the long-run cost of a program from the matrix representation of its semantics. An essential contribution is to provide abstraction techniqu...

La survenue d'une grossesse en hémodialyse chronique (HDC) est rare, mais depuis la description du premier cas par Confortini en 1971, plusieurs observations ont été rapportées. L'hémodialyse a considérablement amélioré la fertilité de ces patientes. Nous rapportons l'expérience de douze grossesses survenues entre 1999 et 2014, chez douze patientes d'âge médian 34 ans (22-44), en hémodialyse (H...

Introduction: le syndrome métabolique constitue de nos jours un véritable problème de santé publique. Le syndrome métabolique est le moteur d’une double épidémie mondiale de diabète type II et de maladies cardiovasculaires. L’objectif de notre étude est de décrire les aspects épidémiologiques, cliniques, para cliniques et évolutifs chez les hypertendus dans le service de Cardiologie du CHU Yalg...

Le but de notre étude est d'évaluer les résultats de fractures des plateaux tibiaux externes traitées par ostéosynthèse percutanée assistée par arthroscopie. Dix patients (8 hommes et 2 femmes) de 32 ans en moyenne ont subi cette intervention afin de réparer des fractures des plateaux tibiaux Schatzker I-III. Après avoir appliqué un garrot pneumatique, nous avons réduit et fixé la fracture au m...