La reconstruction généalogique par un arbre suppose que chaque copiste n’a utilisé qu’un seul manuscrit pour réaliser son exemplaire (filiation unique). Malheureusement, il arrive qu’un exemplaire ait été copié, non à partir d’une seule source, mais sur plusieurs manuscrits existants. On parle alors de contamination ou de corruption. Nous proposons dans cet article, de représenter une tradition...

Résumé. Nous présentons une approche probabiliste pour déterminer les valeurs manquantes des objets incomplets pendant leur classement dans les arbres de décision. Cette approche est dérivée de la méthode d’apprentissage supervisé appelée Arbres d’Attributs Ordonnés proposée par Lobo et Numao en 2000, qui construit un arbre de décision pour chacun des attributs, selon un ordre croissant en fonc...

Equivalence between reachability in Petri nets and provability of certain sequent of linear logic has been proven in various ways. This work relates linear logic proofs based on the work of 13] to processes of Petri nets: we prove that from a canonical proof tree, an quivalentt nite process can be derived and reciprocally that for each nite process, annequivalentt canonical proof tree can be co...

LESOURD Celine, 2019. Puissance khat. Vie politique d’une plante stimulante. Paris: PUF, 384 p. Bibl., glossaire. Le khat, de son nom scientifique Catha edulis, est un arbre dont les feuilles riches en alcaloides produisent chez ceux qui mastiquent des effets stimulants et euphorisants, analogues a l’ephedrine l’amphetamine. Bien que l’OMS ne reconnaisse pas fortes dependances liees sa consomma...

Les fibromes ou myomes utérins sont des tumeurs bénignes encapsulées, constituées de tissu musculaire utérin. Ce sont des lésions fréquentes retrouvées dans près de 20% des cas chez des femmes de plus de 35 ans. Plus rarement, une femme jeune peut développer un fibrome. Nous rapportons l'observation d'une patiente âgée de 54 ans, ménopausée depuis 6 ans, hospitalisée pour exploration d'une mono...

We introduce another item in the already large list of techniques for attribute evaluation. Our algorithm consists in computing an attributes by reduction to normal form using a transducer operating on tree encodings of a cyclic representation of zippers. A zipper is a data structure introduced by Gérard Huet for representing a subtree together with its context, i.e. it is a tree with a focus t...