Aa. Vv., Vieillir à la Renaissance, textes réunis, présentés et édités par Colette H. Winn et Cathy Yandell

Contribution à la vérication formelle et programmation par contraintes

ion des prédicats Le model checking symbolique utilise une représenta-tion efficace des formules booléennes. Une façon orthogonale pour accrôıtre l’effi-cacité est de simplifier le modèle en cours de vérification en prenant une abstraction.Ce principe a été utilisé en vérification de matériel (propriétés en logique temporellede programmes assembleur) [16] puis de logiciel [14]. ...

Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML

One should not underestimate the import of being able to verify the conformance between a program and its specification. Furthermore, being able to verify it using a dedicated program allows one to check the correctness of this verification. For this purpose, one uses proof assistants, which are programs that allows to describe the problem, build proofs, then check them. There are more than one...

Progrès réalisés dans la lutte contre les Variole Ovine et Caprine par la Vaccination

Contribution à la modélisation et à l'interrogation de documents multimedia par les metadonnées

The aim of this paper is to present a proposal for multimedia documents annotation, based on modeling and unifying features elicited from content and structure mining. Our approach relies on the availability of annotated metadata representing segment content and structure as well as segment transcripts. Temporal and spatial operators are also taken into account when annotating documents. Any fe...

Erythroblastopénie induite par la grossesse: à propos d'un cas et revue de la literature

Résumé L'érythroblastopénie induite par la grossesse est une entité pathologique exceptionnelle dont seuls quelques cas isolés ont été décrits dans la littérature anglaise. L’objectif de ce travail est d’analyser les caractéristiques de cette pathologie extrêmement rare à travers la description d’un nouveau cas d’érythroblastopénie induite par la grossesse, et à travers l’étude des 17 cas antér...