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]. ...

Résumé Cet article présente une méthode de tatouage robuste et aveugle pour les maillages tridimensionnels. Un tatouage multi-bits est inséré dans le maillage en modifiant ses moments volumiques analytiques locaux. Le maillage est d’abord normalisé en utilisant ses moments volumiques globaux, et ensuite décomposé en patchs par une discrétisation de son domaine cylindrique. Puis, un bit est insé...

Résumé. La recherche de règles d’association est une question centrale en Extraction de Connaissances dans les Données (ECD). Dans cet article, nous nous intéressons plus particulièrement à la restitution visuelle de règles pertinentes dans un corpus très important. Nous proposons ainsi un prototype basé sur une approche de type "wrapper" par intégration des phases d’extraction et de visualisat...

Failure detection is an important issue of distributed programming. In a computer network, distinguishing a failed node from a slow one is difficult. Yet the difference is important for distributed applications: in the first case a reconfiguration is needed, in the second case, waiting is sufficient. Implementing efficient failure detection is difficult. Because of this, many applications use s...

MOTS CLÉS Adolescence ; Alexithymie ; TAS-20 ; Analyse factorielle confirmatoire ; Développement Résumé L’objectif de cette étude est d’examiner la structure factorielle et la consistance interne de la TAS-20 sur un échantillon d’adolescents (n = 264), ainsi que de décrire la distribution des caractéristiques alexithymiques dans cet échantillon. La structure à trois facteurs de la TAS-20 a été ...

la mouillabilite est un phenomene pui depend d'un grand nombre de facteurs. chacun de ces facteurs , qu'il soit d'order physipue ou chimipue, joue un grand role. on peut distinguer : 1 - la granulometrie du solide. elle est en relation avec la surface sped fipue des solides . plus cette surface est en grande, plus le mouillage est fort. 2 - la temperature : l'elevation de la...

le lyrisme de louis aragon, se fondant sur la circonstance historique et portant une coloration héroïque, se réconcilie avec le modèle épique et justifie l’impropreté de l’opposition épique-lyrique à qualifier la poésie de résistance. soucieux de la forme poétique, aragon  partage avec les rhétoriqueurs des vers rimés de la poésie médiévale, qui agissent comme un miroir permettant de refléter ...

We study various ways for stochastic processes to depart from exact self-similarity with stationary increments (Hss-si). An interpretation of Hss-si as invariance under affine time-scale deplacement operators is used and introducing modified dilations or increments allows to discuss processes with broken self-similarity, including finite size scale invariance and local self-similarity. 1 Invari...

Un homme de 46 ans, sans antécédents pathologiques notables, est hospitalisé pour une altération de l'état général avec troubles de la marche évoluant depuis 6 mois. On constate à l'examen physique des ecchymoses périorbitaires droites et une tuméfaction de l'extrémité interne de la clavicule droite et du sternum. L'imagerie standard ainsi que la tomodensitométrie thoraco-abdominale révèle un a...

RÉSUMÉ. Cet article montre comment nous utilisons la technologie agent pour traiter les problèmes de coopération et de coordination de processus dans le contexte du Workflow Inter-Organisationnel (WIO) lâche. Le WIO a pour but de faire collaborer des processus issus et s’exécutant dans différentes organisations réparties, autonomes et hétérogènes. Le WIO lâche correspond à une coopération occas...