Nous considérons le problème de tester si un graphe dynamique donné est temporellement connexe, i.e. s’il existe un chemin temporel (aussi appelé trajet) entre toute paire de sommets. Nous considérons une version simplifiée du problème où la dynamique est représentée par un graphe évolutif non-temporisé G = {G1,G2, ...,Gδ} dont l’ensemble des sommets est invariant et les arêtes sont orientées (...

Résumé. Dans ce papier, nous présentons une méthode de classification supervisée sans paramètre permettant d’attaquer les grandes volumétries. La méthode est basée sur des estimateurs de densités univariés optimaux au sens de Bayes, sur un classifieur Bayesien naïf amélioré par une sélection de variables et un moyennage de modèles exploitant un lissage logarithmique de la distribution a posteri...

RÉSUMÉ. Nous présentons un projet de recherche en cours visant à améliorer les interactions d’utilisateurs de différentes catégories professionnelles avec un système d’information dédié au droit du transport et de la logistique. L’objectif vise à concevoir et à mettre au point un environnement numérique de travail (ENT) destiné à un public professionnel (entreprises de la filière logistique, ju...

la présente recherche comprend une étude contrastive du présent de l'indicatif dans les langues française et persane. l'importance de ce sujet, du piont de vue des différences sémantiques et fonctionnelles de ce temps dans les deux langues et aussi l'influence de ces différences sur la compréhension ou la traduction des textes chez les apprenants iraniens paraît indéniable. nous ...

En nous laissant guider par la notion de champ qui en fait domine toute la physique nous définissons la nature physique d’un système, ses propriétés et ses états possibles. Nous proposons alors un cadre très générale permettant la description de tels systèmes et la construction de modèles consistants. Nous en donnons des exemples et pour illustrer les concepts de notre théorie nous décrivons di...

In this paper we describe the behaviour both in time and in space of an induction eld created by an imposed high frequency alternating current around a solid conductor. To do this, we introduce two time scales and we decompose the induction eld in a mean eld and an oscillating eld. With the help of singular perturbations theory and multiple scales method we obtain two uncoupled models; one for ...

Résumé. Les données vidéo ont la particularité d’être très volumineuses alors qu’elles contiennent peu d’information sémantique. Pour les analyser, il faut réduire la quantité d’information dans l’espace de recherche. Les données vidéo sont souvent considérées comme l’ensemble des pixels d’une succession d’images analysées séquentiellement. Dans cet article, nous proposons d’utiliser une analys...

Nous proposons dans cet article DIALP (DIALP Is an Argumentative Labour for Planification), un modèle de dialogue entre agents, qui permet de formaliser un processus délibératif. Ce modèle circonscrit un dispositif formel au travers duquel les agents jouent et arbitrent pour atteindre un accord pratique. À cette intention, nous proposons un modèle de raisonnement argumentatif qui permet de gére...

RÉSUMÉ. Les chaînes de Markov facilitent l’analyse des performances des systèmes dynamiques dans de nombreux domaines d’application. Elles sont souvent utilisées par le biais d’un formalisme de haut niveau. Parmi les différents formalismes couramment utilisés, on se place dans le cadre des réseaux d’automates stochastiques (SAN). De nombreux travaux dans ce domaine traitent les systèmes à temps...

In order to analyze whether timing requirements of a real-time application are met, we propose an extension of the T-time Petri net model which takes into account the scheduling of the software tasks distributed over a multi-processor hardware architecture. The paper is concerned with static priority pre-emptive based scheduling. This extension consists in mapping into the Petri net model the w...