Résumé Cet article présente une stratégie de partitionnement déterministe pour paralléliser le parcours des espaces de recherche, dans le but de résoudre les problèmes de Programmation Par Contraintes (PPC). Ce travail est réalisé dans le cadre d’un projet industriel nommé PAJERO, dont le but est de proposer un solveur de PPC parallèle qui doit répondre toujours la même solution en utilisant le...

THÈSE EN COTUTELLE INTERNATIONALE pour obtenir le grade de DOCTEUR DE L’Institut polytechnique de Grenoble Spécialité : Informatique et de l’Université Federale du Rio Grande do Sul préparée au Laboratoire d’Informatique de Grenoble dans le cadre de l’École Doctorale Mathématiques, Sciences et Technologies de l’Information, Informatique et au Laboratoire de Parallelisme et Distribution dans le ...

Résumé. Nous présentons ici les différentes étapes et techniques de développement choisies pour l’informatisation du traitement des prestations familiales des travailleurs frontaliers du Luxembourg. Après avoir expliqué le cadre, les enjeux et le déroulement global du projet, nous présentons notre utilisation d’un moteur de processus basé sur BPEL et de développement dirigé par des modèles, ces...

Introduction: introduction: malgré les importants progrès qui ont été faits dans le domaine de la sécurité en anesthésie, la morbidité (grave ou non, liée complètement ou partiellement à l’anesthésie) reste cependant fréquente, et aucun praticien n’est aujourd’hui à l’abri d’un accident. Dans le contexte actuel où la priorité est donnée à la formation, à l’amélioration de la qualité et de la sé...

RESUME. La prolifération rapide de standards et services de radiocommunication ces dernières années provoquent le problème de la pénurie du spectre. Dans ce contexte, l'objectif principal de la Radio Cognitive (RC) est de faciliter l’accès au spectre radio. Notre contribution dans le cadre de ce papier est l’utilisation des enchères pour résoudre le problème de l’encombrement du spectre dans le...

RÉSUMÉ. Le format XML sert à représenter des informations. Ces informations sont soumises à certaines contraintes d’intégrité, qu’il est utile de spécifier pour garantir la qualité des informations (éviter les incohérences). Les contraintes d’intégrité ont été beaucoup étudiées dans le cadre des bases de données relationnelles et, depuis le début des années 2000, des équivalents dans le cadre X...

La présente étude de cas s’intéresse à une approche complémentaire et novatrice permettant aux élèves autistes développer leur compétence communiquer. Le cadre théorique explique les caractéristiques communication complexe ces atypiques en lien avec le Langage SACCADE ConceptuelMC (LSC). méthodologie l’analyse croisée étayent données tirées des outils collecte, soit un journal bord, entrevues i...

RÉSUMÉ Le travail présenté ici s’inscrit dans le cadre de la modélisation computationnelle pour comparer les théories motrice, auditive, et sensorimotrice de la communication parlée. Plus précisément, nous définissons un modèle bayésien d’agent communicant et le simulons pour réaliser des tâches de perception de syllabes suivant ces différentes théories. Les résultats de nos simulations s’intèg...