Introduction: L'organisation mondiale de santé (OMS) estime que chaque année dans le monde 585 000 femmes meurent de complications liés à la grossesse, à l'accouchement, aux suites de couche et à l'avortement (ce dernier contribuant pour 13% des décès maternels). La GEU est responsable de 10% de mortalité maternelle au premier trimestre de la grossesse. Le taux de mortalité maternelle reste éle...

s English This study is based on the analysis of academic results of 692 undergraduate and graduate students in two disciplines in a French university who attended their courses using one out of four possible learning modalities. Within the two disciplines, Art History and Educational Sciences, students chose between face-to-face learning (on campus), paper-based distance learning (corresponden...

We use the Poisson integral formula in order to establish harmonic functional calculus for quotient involutive Banach algebras. We give several properties of this functional calculus. L.Waelbroeck’s holomorphic functional calculus is a special case of ours. We use our harmonic functional calculus to extend result of J.W.M.Ford to quotient involutive Banach algebras. L.WAELBROECK a montré dans [...

Programmable Logic Controllers ensure the control of many reactive systems. These controllers are most of the time programmed with the languages defined in the IEC 61131– 3 standard. Our goal is the verification of safety properties of programs written in one of these languages: the Ladder Diagram. The main approaches in this field are based on ModelChecking. We propose in this article a Theore...

Nous rapportons le cas d'une fille de sept ans, sans antécédents particuliers, qui était vu en consultation de dermatologie pédiatrie pour deux lésions congénitales symétriques de la lèvre inférieure. Il n'y avait pas de cas similaires dans la famille. L'examen clinique trouvait deux lésions circulaires et symétriques par rapport à la ligne médiane de la lèvre inférieure, centrées par un petit ...

Un modèle formel est une représentation mathématique, abstraite et toujours approchée d’un système réel. Il représente une certaine vue de ce système. Il est le résultat d’une démarche cognitive complexe qui progressivement rend formel et explicite un ensemble d’exigences, de contraintes, de connaissances informelles et partiellement implicites. Une automatisation d’un tel processus paraı̂t bien...

Résumé. Avec l’avènement de XML comme standard de représentation de données décisionnelles, les entrepôts de données XML trouvent leur place dans le développement de solutions décisionnelles basées sur le Web. Dans ce contexte, il devient nécessaire de permettre des analyses OLAP sur des cubes de données XML. Pour cela, des extensions du langage XQuery sont nécessaires. Afin de contribuer à ces...

RÉSUMÉ. Nous nous intéressons dans cet article à la gestion de l’évolution logicielle dans les processus pilotés par les modèles (MDE). Plus spécifiquement, nous tentons de hisser la gestion de l’évolution logicielle au niveau des spécifications. Nous examinons les défis conceptuels et techniques qui apparaissent lorsque la gestion de l’évolution est considérée comme une problématique de premie...

Cet article présente une analyse d’un questionnaire distribué à des stagiaires de troisième année du baccalauréat en enseignement secondaire après cinq semaines stage milieu scolaire. Une question est l’origine cette recherche : comment les perçoivent-ils l’apport chacun formateurs — enseignant associé, superviseur universitaire généraliste et didacticien par rapport l’articulation théorie-prat...