Le test logiciel permet d’augmenter la confiance que l’on porte à un programme ou un système. Dans ce contexte, il s’agit d’exécuter le programme avec un certain nombre d’entrées dans le but de couvrir des objectifs de test, comme celui qui consiste à atteindre toutes les instructions du programme au moins une fois durant la phase de test. Idéalement, on souhaite générer ces entrées de manière ...

RÉSUMÉ. La technologie des services web est aujourd’hui largement utilisée comme support de l’interopérabilité entre les applications. Dans ce cadre, les interactions entre deux applications encapsulées par des services web sont réalisées par le biais d’un ensemble d’échanges de messages appelé conversation. Une conversation peut échouer parce que l’interface fournie d’un participant a été modi...

Si on considère une famille de variétés projectives complexes non singulières, c’est un fait aujourd’hui bien connu que les possibles variétés singulières vers lesquelles peut dégénerer cette famille doivent vérifier certaines contraintes, parmi lesquelles une importante relation entre la cohomologie de la fibre singulière, la cohomologie de la fibre générique et la monodromie de la famille, qu...

Le phenomene general de la biosynthese de I'ADN au cours de la division cellulaire et au cours de la meiose a fait l'objet de nombreux travaux. Au moyen de techniques diverses, cytophotom6triques et radioautographiques, un grand nombre de rsultats a te obtenu concernant la teneur en ADN des noyaux cellulaires des tissus des metazoaires. En ce qui concerne les protozoaires et en particulier les ...

Résumé Le partogramme est un outil incontournable dans la pratique quotidienne en salle de naissance. C'est le reflet écrit de la qualité de la prise en charge materno-fœtale pendant l'accouchement et le post-partum immédiat. Le but de notre travail est d'évaluer la conformité de la tenue du partogramme au sein de notre maternité et de proposer des axes d'amélioration de la qualité de sa tenue....

Résumé. La principale caractéristique des requêtes définies sur un entrepôt de données relationnel (EDR) est le fait que leurs jointures passent systématiquement par la table des faits. Cette situation favorise l’interaction entre les requêtes. Cette interaction a été largement exploitée par les algorithmes d’optimisation de requêtes dans les bases de données traditionnelles, connue sous le nom...

Nous décrivons une nouvelle approche destinée à transformer des programmes Prolog en programmes plus efficaces tout en gardant l’équivalence opérationnelle. Notre approche repose sur l’introduction d’équations entre termes, ce qui permet une représentation plus efficace des buts. Notre optimisation ne peut pas être obtenue par les méthodes courantes : en particulier, elle élimine toutes les var...

Afin de récupérer les mouvements des articulateurs tels que les lèvres, la mâchoire ou la langue, à partir du son de parole, nous avons développé et comparé deux méthodes d’inversion basées l’une sur les modèles de Markov cachés (HMMs) et l’autre sur les modèles de mélanges de gaussiennes (GMMs). Les mouvements des articulateurs sont caractérisés par les coordonnées médiosagittales de bobines d...