nglaura/hal-summarization huggingface dataset:
Nous proposons une évaluation du modèle MoPPLiq et de l'outil au-teur APPLiq d'adaptation des parcours pédago-ludiques des jeux sérieux qui sont une contribution au meta-design pour les jeux sérieux. Cette évaluation impliquant plus de vingt enseignants sur plusieurs semaines a montré que la re-présentation graphique augmentée de MoPPLiq générée par APPLiq aide les enseignants à comprendre le scénario d'un jeu sérieux et qu'APPLiq permet la création et la modification de parcours pédago-ludiques que les enseignants considèrent plutôt utilisables avec leurs élèves.
Pour pouvoir exprimer tout leur potentiel, les jeux sérieux doivent être acceptés et assimilés par les enseignants. Dans cette optique, nous présentons ici nos contributions à la résolution de la problématique de l'adaptation des jeux sérieux. Nous proposons un modèle de scénarisation nommé MoPPLiq qui est capable de représenter à la fois les aspects pédagogiques et les aspects ludiques de jeux sérieux qui peuvent être découpés en étapes. Nous proposons également un système de contrôle et de compensation des incohérences lors des manipulations des parcours pédago-ludiques modélisés dans notre outil auteur (APPLiq). Notre modèle a fait l'objet de mises à l'épreuve dans deux contextes qui montrent que son expressivité convient à la modélisation des scénarios discontinus de jeux sérieux.
Depuis 1996, la France participe aux Olympiades Internationales d'Informatique. L'association France-IOI, en charge de la préparation de l'équipe de France, a formé à la programmation et à l'algorithmique plusieurs centaines de collégiens et lycéens par l'intermédiaire de son site internet. Dans cet article, nous présenterons les Olympiades d'Informatique ainsi que l'association France-IOI et nous expliquerons les méthodes mises en œuvre pour enseigner à des jeunes la programmation et l'algorithmique de manière ludique.
Cet article compare trois techniques pour la séparation des caractéristiques fonctionnelles et non-fonctionnelles des applications : Fractal, Kilim, et JAC. Les trois sont des frameworks du consortium ObjectWeb. Les deux premières sont dédiées à l'assemblage et la configuration de composants Java, tandis que JAC est un framework de programmation orientée aspect en Java. A travers l'étude d'un service distribué de partage de données selon l'algorithme de cohérence de K. Li & P. Hudak, nous montrons les similitudes et les différences entre les trois frameworks. Au delà de cet exemple, nous tentons de généraliser et proposons différents critères pour comparer les trois approches.
Pour répondre au besoin d'adaptation de la scénarisation pédagogique des jeux sérieux exprimé par des enseignants, nous avons développé un modèle pour représenter la scénarisation pédago­ludique des jeux sérieux fondé sur des patrons de conception. Puis, nous avons implémenté ce modèle dans un outil auteur permettant aux enseignants de manipuler les parcours pédago­ludiques.
Cet article rend compte d'une utilisation du logiciel « Combien? » dans un contexte de module de méthodologie en mathématiques en DEUG 1ère année. Nous rappelons le but de ce logiciel et ses caractéristiques. Nous indiquons ensuite le contexte de l'utilisation et comment les divers enseignants ont appréhendé et utilisé ce logiciel. A partir des observations nous essayons de tirer des enseignements sur l'utilité et l'intérêt de ce type de logiciels.

This paper describes and analyses an experimental use of the software “Combien?” in the context of a methodology module in mathematics for undergraduate students. First, we recall the purpose of this software and its main characteristics. Then, we explain the framework of the experimental use and how the teachers concerned became acquainted to this software and how they used it. From our observations, we extract information on the usefulness of this type of software.
Le projet européen « E-Quality» (www.e-quality-eu.org) est une action MINERVA du programme SOCRATES (110231 - CP - 1- 2003 - FR - MINERVA – M, 2003-2006). Il a contribué à construire un guide méthodologique pour la mise en œuvre de la qualité pour la Formation Ouverte et à Distance (FOAD) dans l'enseignement supérieur en Europe. Le guide est fondé sur un modèle conceptuel de la qualité de la FOAD en Europe. L'éditeur eLup : eLearning Unified Process Editor s'appuie sur le modèle conceptuel adopté par le projet E-Quality. eLup permet de modéliser la qualité des processus de la FOAD. Le but du logiciel est de permettre à un professionnel du e-learning de structurer et de documenter la démarche qualité propre à son organisation en s'appuyant sur la démarche et les résultats du projet e-Quality. Un utilisateur du logiciel décrit sa démarche qualité à partir des activités, des rôles, des artefacts et des workflows qu'il peut mettre en évidence dans son institution. Les activités permettent de décrire étape par étape des procédures, les artefacts (entrées concrètes nécessaires et résultats produits). Les conseils de mise en oeuvre de la qualité (critères qualité et bonnes pratiques) sont reliées aux activités et aux workflows. L'éditeur eLup a été nourri de l'expertise accumulée au cours du projet E-Quality : des rôles, artefacts, workflows, détails de workflows y ont été définis, des critères de qualité cernés et mémorisés, de bonnes pratiques explicitées et enregistrées dans la base de données. Les données provenant de cette expertise sont fournies avec le logiciel. L'utilisateur peut partir des données rassemblées par le projet E-Quality, les adapter à ses besoins et en ajoutant ses données, élaborer son propre modèle.
Nous présentons une méthodologie pour générer automatiquement des modèles à partir de mesures. Elle repose sur une approche descriptive et s'articule autour de trois notions. Premièrement les briques : elles constituent des modèles génériques présupposés dont seront extraits les modèles finaux. Deuxièmement le critère d'erreur : il permet d'apprécier la qualité des modèles. Enfin, le processus de calibration a pour but de trouver automatiquement le modèle d'une brique qui minimise le critère d'erreur (c'est-à-dire la meilleure combinaison de ses paramètres). Nous explorons ces notions en y apportant des solutions et notamment, en définissant une technique originale de calibrage des paramètres dont nous évaluerons les performances. Le document se termine par la présentation des modèles rendus par notre méthodologie sur des exemples réels. Ces modèles obtenus peuvent servir à la planification de capacité.
Le support efficace de la recherche par mots clés est essentiel pour une bonne exploitation des réseaux de stockage pair-à-pair structurés. Un nombre important de solutions existent dans la littérature, toutefois elles sont confrontées aux problèmes de performance inhérents au schéma d'indexation mis en oeuvre. Ce papier présente FreeCore, un substrat d'indexation de filtres de Bloomfragmentés et de recherche par mots clés. Les contributions de ce travail sont au nombre de trois. La réalisation d'un système de stockage offrant une interface qui permet d'associer une description à chaque contenu. La clé de stockage d'un contenu est déterminée à partir du filtre de Bloom de sa description. Cette facilité permet de ramener la recherche par mots clés au problème de recherche des clés de stockage qui matchent un filtre de Bloom. En second lieu, la construction d'un index distribué dont le coût de maintenance est indépendant du nombre de mots clés fournis lors d'une publication. Enfin, une méthode de recherche d'information à base de mots clés dont le coût est indépendant du nombre de mots clés fournis. Les propriétés découlant des choix opérés et les résultats des évaluations font de FreeCore une brique de base pour des applications et systèmes désirant un support efficace de la recherche par mots clés.
Les architectures multi-coeur sont désormais omniprésentes dans les systèmes informatiques per-sonnels et d'entreprise. À l'heure actuelle, les systèmes et les applications sont cependant incapables d'exploiter efficacement la puissance de ces nouvelles architectures, en particulier à cause du coût d'exécution des sections critiques. Nous proposons une nouvelle approche, baptisée Remote Core Lock (RCL), qui permet d'améliorer les performances des applications multi-fil sur les architectures multi-coeur. Le principe du RCL est de remplacer, dans les applications patrimoniales, certaines prises de verrous critiques en terme de performances par des appels de procédures distantes sur un coeur dédié appelé serveur. L'intérêt du RCL est double. D'une part, en remplaçant les demandes de prises de verrou par un unique envoi de message au serveur, le RCL évite les effets d'effondrement liés à la surcharge du bus lors d'un grand nombre de demandes concurrentes de prise de verrou. D'autre part, les verrous sont en général utilisés pour protéger les accès à des données partagées et le RCL évite la migration de ces données sur le coeur qui prend le verrou : les données partagées restent en effet dans les caches du serveur, puisque celui-ci est le seul à y accéder. Nos premières évaluations montrent que (i) le RCL offre des performances supérieures aux verrous classiques en cas de forte contention sur le bus, (ii) grâce au RCL, le benchmark SPLASH-2/Raytrace passe à l'échelle jusqu'à 32 coeurs, au lieu de 8 avec des verrous classiques et (iii) l'utilisation du RCL dans le serveur de cache memcached offre un gain de débit allant jusqu'à 65%.
Dans un contexte d'accompagnement de l'apprentissage ou formation en ligne, notre modèle se base sur le postulat selon lequel un scénario pédagogique personnalisé et adaptable progressivement aux caractéristiques de chaque acteur contribuera à développer (1) les stratégies de motivation constante de chaque apprenant ; (2) et les stratégies d'accompagnement de l'équipe pédagogique, par exemple en augmentant leur réactivité. Cette personnalisation/adaptation est mise en exergue au sein du scénario pédagogique par l'application de la Competence-based Knowledge SpaceTheory. Notre modèle permet d'une part à l'apprenant de définir son parcours d'apprentissage et d'autre part, à l'enseignant de s'assurer que chacune des compétences d'un module de formation possède des ressources pour l'apprentissage et des activités pour l'évaluation.
La représentation des documents et questions en Recherche d'Information (RI) est restée une représentation majoritairement uni-dimensionnelle (i.e., vecteur). Cette représentation a des limites : Comment par exemple représenter un document qui traitent de plusieurs thèmes ou une question ambiguë ? Ces problèmes sont importants pour développer des systèmes de RI interactifs ou cherchant à diversifier les résultats. Les modèles actuels sont soit basés sur des heuristiques, soit sur des modèles latents tels que LDA (Latent Dirichlet Allocation) qui pré-supposent un nombre limités de thèmes pour décrire les documents. L'approche basée sur les probabilités dites " quantiques " permet d'établir des bases formelles pour une représentation multi-dimensionnelle des documents (ou plus généralement, des objets d'information) qui dépasse les limites évoquées plus haut. Cet article décrit la méthodologie QIA (Quantum Information Access) pour la représentation des documents, résume les résultats expérimentaux obtenus et décrit les perspectives.
Le besoin en méthodes non intrusives d'analyse des mouvements humains se fait sentir à travers des applications comme la vidéosurveillance intelligente, les interfaces homme-machine et l'indexation multimédia. Dans cet article, nous proposons une approche générative se basant sur un filtre particulaire à recuit simulé (APF) : une fonction de vraisemblance qui combine des mesures basées sur les silhouettes et sur l'apparence, et un modèle temporel se basant sur une réduction de l'espace des poses pour une activité donnée. Le filtre proposé permet d'estimer en ligne la vitesse de marche ainsi que les coordonnées du cycle dans l'espace réduit. Nous évaluons l'approche proposée sur la base de données HumanEva. Les résultats du suivi montrent que la fonction de vraisemblance mixte réduit l'erreur 3D. Le modèle temporel proposée permet d'améliorer le suivi tout en réduisant le coût calculatoire du filtre particulaire.
Les tendances graduelles de la forme plus X est A, plus Y est B expriment linguistiquement des informations sur les corrélations et co-variations des attributs. Dans cet article, nous présentons une étude comparative des formalisations qui ont été proposées, examinant leurs sémantiques et propriétés respectives. Nous proposons ensuite un algorithme qui combine les principes de plusieurs approches existantes pour extraire efﬁcacement les motifs graduels fréquents et nous illustrons son utilisation sur une base de données réelle.

Gradual tendencies of the form the more X is A, the more Y is B linguistically express information about correlation between attributes and their covariations. In this paper, we present a comparative study of the various formalisations that have been proposed, studying their respective semantics and properties. We then propose an algorithm that combines the principles of existing approaches to efﬁciently extract frequent gradual itemsets, illustrating its use on a real data set.
Pour continuer d’augmenter les performances, les architectes intègrent de plus en plus de cœurs dans les processeurs. Les architectures dites manycore avec des milliers de cœurs sont à prévoir prochainement. Pour répondre au défi énergétique, il existe des architectures manycore basées sur des cœurs 32 bits. La gestion d’une mémoire dont la taille est supérieure à 4Go est alors un problème. Une solution consiste à distribuer la gestion de la mémoire par plage de 4Go en remplacant le noyau monolithique par un multi-noyau. Cet article propose la mise en place et l’évaluation d’un service de migration de processus dans ce contexte multi-noyau. Ce travail est basé sur le multi-noyau ALMOS-MK et sur l’architecture manycore TSAR. Nos résultats montrent qu’il est possible de déplacer des processus sur une telle plateforme sans affecter les performances, permettant d’exploiter pleinement les ressources offertes et de conserver le budget énergétique des architectures 32 bits.
Dans cet article, nous présentons le système Web-R, un outil non-intrusif et rapide d'enregistrement qui réalise un stockage complet et systématique des pages web de l'utilisateur et de sa navigation. Il sauvegarde tous les composants qui seront nécessaires et suffisants à restituer hors-ligne la page de la même façon qu'elle l'a été vue en-ligne. Nous montrons que cet enregistrement systématique du Web personnel est non seulement techniquement réalisable, mais aussi réaliste car ne demandant qu'une faible fraction du volume de stockage des disques actuels. De surcroît, Web-R fournit un mécanisme de gestion de cet espace de stockage local incluant la comparaison du contenu de pages, évitant une inutile redondance. Enfin, puisque l'ensemble du contenu des pages visitées est stocké, Web-R permet à l'utilisateur d'avoir une vue globale de sa navigation personnelle par des statistiques, des outils de tri et de filtrage, pour sa réutilisation.
Les domaines de la recommandation et de la classification de sentiments sont restés complètement disjoints jusqu'ici: d'un coté, la recommandation exploite les matrices d'interaction entre les utilisateurs et les produits, sous la forme de notes en faisant l'impasse sur les données textuelles, de l'autre, la fouille d'opinion exploite les revues/notes de consommateurs pour construire des modèles d'analyse de documents. Nous proposons dans cet article un modèle exploitant aussi des données d'interaction textuelles présentes dans les revues de consommateurs pour construire un modèle de recommandation novateur et performant.
La plupart des médias sociaux offrent un accès aux flux de données produites par leurs utilisateurs. L'utilisation des API fournies pour collecter ces données, relativement à un besoin spécifique, peut se révéler être une tâche complexe car elle nécessite une sélection soigneuse des sources. Cela représente un problème particulièrement difficile dans les réseaux sociaux de grandes tailles étant donné le nombre important d'utilisateurs potentiellement intéressants, la non-stationnarité intrinsèque de leur comportement, et les restrictions d'accès aux données. Dans cet article, nous proposons une approche permettant d'anticiper les profils les plus sus-ceptibles de publier des contenus pertinents et de sélectionner un sous ensemble de comptes à chaque itération. Nous formalisons cette tâche comme un problème de bandit contextuel avec sélections multiples. Les expérimentations menées sur le réseau social Twitter montrent l'effi-cacité de notre approche dans un scenario réel.

Social media usually provide streaming data access that enable dynamic capture of the social activity of their users. Leveraging such APIs for collecting data that satisfy a given pre-defined need may constitute a complex task, that implies careful stream selections. On large social media, this represents a very challenging task due to the huge number of potential targets, the intrinsic non-stationarity of user's behavior, and restricted access to the data. We propose an approach that anticipates which profiles are likely to publish relevant contents and dynamically selects a subset of accounts to follow at each iteration using a contextual bandit algorithm. We conduct experiments on Twitter that demonstrate the empirical effectiveness of our approach in real-world settings.
La gestion de la mémoire répartie dans les environnements CORBA C++ n'est pas standardisée. Non seulement elle doit être prise en charge par l'application alors qu'il s'agit d'une préoccupation plutôt technique mais, de plus, elle est transverse à l'ensemble de l'application. Elle doit être mise en place dès que les objets fonctionnels de l'application sont à la fois volumineux et utilisés de façon transitoire. Elle impacte à la fois le côté client CORBA qui utilise une référence vers un objet distant et le côté serveur CORBA qui gère un compteur de références. La programmation orientée aspect apporte une solution permettant de tisser la gestion de mémoire répartie au sein d'une application CORBA. Cet article rend compte de la mise en oeuvre de l'intégration de la gestion de la mémoire répartie dans un environnement scientifique fondé sur CORBA en C++ avec l'outil AspectC++, tisseur statique de C++ dont il a fallu adapter l'utilisation à un environnement CORBA.
L'abandon dans le cadre de l'apprentissage au sein des MOOC est le talon d'Achille de cette forme d'enseignement. L'accompagnement de l'apprenant dans un dispositif de MOOC est faible essentiellement pour des raisons de coût. De fait, les concepteurs de MOOC font le pari de l'autorégulation de l'apprentissage qui est l'un des piliers de l'autoformation. Cette compétence d'autorégulation est souvent absente chez beaucoup d'apprenants les amenant ainsi à l'abandon de leur formation. C'est pourquoi nous nous intéressons à l'accompagnement de l'apprenant dans les MOOC à travers un compagnon virtuel métacognitif basé sur un système de notifications métacognitives et un modèle d'apprenant ouvert (Open Learner Model). Cela devrait permettre d'améliorer la qualité des apprentissages mais également de lutter contre l'attrition.
Dans cet article nous montrons comment le mécanisme de la collaboration paramétrée d'UML 2.0 peut être utilisé pour la spécification visuelle des transformations de modèles UML. Nous présentons les avantages de cette nouvelle technique d'être visuelle et déclarative par rapport aux techniques classiques de spécification de transformations basées sur les langages propriétaires, ainsi qu'au futur standard Q/V/T1. Une illustration est faite à travers la réalisation d'un exemple de transformation de models UML vers la plate-forme J2EE. Nous présentons aussi les limitations de la nouvelle technique d'être restreinte aux modèles UML. Notre implémentation est réalisée dans le contexte de l'atelier UML Objecteering.
Dans cet article nous nous intéressons à la collecte d'information dans les réseaux sociaux. Cette tâche, primordiale pour de nombreuses applications, se heurte souvent à diverses contraintes liées aux ressources à disposition ou à des restrictions imposées par les API des médias considérés. Nous formulons cette tâche comme un problème de sélection dynamique de sources, pour lequel nous proposons une méthode d'apprentissage pour orienter la collecte vers les données les plus pertinentes en fonction d'un besoin spécifié. Notre méthode est basée sur une extension d'un algorithme de bandit combinatoire récemment proposé. Nous fournissons des garanties théoriques sur le comportement de l'algorithme, que nous évaluons ensuite sur différents jeux de données Twitter, à la fois hors ligne et en ligne, pour différents besoins de données exprimés.

We consider the problem of capturing information on social media under bounded resource. The latter may correspond to real time constraints such as response time limitation, limited computing resources, or social media API restrictions. We formulate this problem as a dynamic source selection problem. We then propose a machine learning methodology for dynamically selecting the most relevant information sources for a given information need. This method is based on an extension of a recently proposed combinatorial bandit algorithm. We provide theoretical guarantees on the behavior of the algorithm. We then evaluate the algorithm on different Twitter datasets for both offline and online settings. MOTS-CLÉS : Apprentissage statistique, réseaux sociaux, bandit manchot
La quantité des données produites par de nombreux domaines augmente constamment et rend leur traitement de plus en plus difficile à gérer. Parmi ces domaines nous nous intéressons à la biodiversité pour laquelle le GBIF (Global Biodiversity Information Facility) vise à fédérer et partager les données de biodiversité produites par de nombreux fournisseurs à l’échelle mondiale. Aujourd’hui, avec un nombre croissant d’utilisateurs caractérisés par un comportement versatile et une fréquence d’accès aux données très aléatoire, les solutions actuelles n’ont pas été conçues pour s’adapter dynamiquement à ce type de situation. Par ailleurs, avec un nombre croissant de fournisseurs de données et d’utilisateurs qui interrogent sa base, le GBIF est confronté à un problème d’efficacité difficile à résoudre. Nous visons, dans cet article, à résoudre les problèmes de performances du GBIF. Dans cette perspective, nous proposons une approche d’optimisation de requête d’analyse de données de biodiversité qui s’adapte dynamiquement au contexte des environnements répartis à large échelle pour garantir la disponibilité des données. L’implémentation de notre solution et les résultats des expériences sont satisfaisants pour la garantie de performance et du passage à l’échelle.
Un flot de liens est une suite de quadruplets (b, e, u, v) indiquant qu'une interaction a eu lieu entre les entités u et v sur l'intervalle [b, e]. Les échanges d'emails, le trafic IP, ou les appels téléphoniques se modélisent de cette façon. La recherche de structures dans ce type de données est un problème très étudié. Nous explorons ici la recherche de sous flots pertinents, c'est-à-dire de sous-ensembles d'interactions denses à la fois structurellement et temporellement. Nous proposons une méthode utilisant un algorithme de détection de communautés et un moyen d'évaluer les groupes trouvés utilisant une définition de densité adaptée aux flots de liens. Nous montrons la pertinence des structures trouvées sur plusieurs réseaux de contacts réels. Mots-clefs : flot de liens, réseaux de contacts, densité, groupes denses
La recherche de communautés chevauchantes est un enjeu important pour l'analyse des réseaux complexes. Une piste souvent envisagée est la recherche d'un partitionnement des arêtes du graphe. L'évaluation de cette décomposition tient cependant rarement compte du fait que les communautés recherchées correspondent à des groupes d'arêtes. Nous discutons dans ce papier l'utilisation de nouveaux critères pouvant répondre à ce problème. Nous proposons de comparer le nombre de sommets incidents à un groupe d'arêtes au nombre attendu dans un graphe aléatoire. Un optimum local de la mesure dérivée de ce concept peut être obtenu par un algorithme glouton. Nous présentons les premiers résultats obtenus à travers une analyse de la mesure et des tests empiriques.
Nous analysons les dynamiques du réseau des commentaires du site Flickr à travers l'évolution de la structure globale du réseau, mais aussi celle des voisinages locaux et la manière dont ils se constituent. Nous montrons que l'essentiel de l'activité concerne des « liens proches », et nous analysons les configurations locales pour montrer les répercussions de ces liens sur la constitution du voisinage : les individus qui ont le plus de voisins choisissent essentiellement ceux-ci parmi les voisins de leurs voisins (dans une proportion bien plus grande que dans le cas d'un choix aléatoire).
En dépit des efforts déployés dans le domaine de la mobilité dans le contexte des réseaux maillés sans fil (Wireless Mesh Networks -WMN), la gestion de mobilité souffre toujours d'un manque de recherche. Plusieurs travaux intéressants ont été menés sur ce type de réseaux, dont quelques-uns qui proposent des solutions pour gérer la mobilité des clients. Cependant, souvent ces solutions exigent aux utilisateurs de modifier ou rajouter des modules supplémentaires dans la pile protocolaire de leur équipement. Dans ce papier, nous abordons les problèmes liés à la mobilité dans les réseaux maillés sans fil et nous proposons une solution efficace à ces problèmes. Nous concevons et implémentons Enhanced Mobility Management, une approche améliorée de la gestion de mobilité, qui détecte efficacement les utilisateurs lors de leurs déplacements. EMM se base sur l'utilisation du cache NDP (Neighbor Discovery Protocol) des clients afin de garder une trace de leur ancienne association au cours de leurs déplacements. Cette trace est utilisée pour mettre à jour les routes sans nécessiter l'installation de logiciels supplémentaires.
L'anomalie de performance est un problème bien connu du standard 802.11. Il est aussi l'un des plus étudiés. Ces dernières années des solutions permettant de résoudre ce problème, telles que la fragmentation de paquet, l'adaptation de l'algorithme de backoff, ou l'agrégation d'envois de paquets durant un temps donné, ont été developpées. Dans ce papier nous proposons une solution au problème de l'anomalie de performance basée sur une agrégation des paquets en utilisant un intervalle de temps dynamique, qui dépend du temps d'occupation du médium sans fil. Cette approche dynamique nous permet d'augmenter l'équité, la réactivité, et d'être dans certain cas plus efficace comparé aux autres solutions proposées dans la littérature.
Malgré le nombre élevé de protocoles de communication destinés aux réseaux sans fil, seule une petite partie a fait l'objet d'une implémentation dans des conditions réelles. En même temps, attendre l'implémentation finale d'une solution afin d'observer son comportement dans une situation réelle peut s'avérer très fastidieux. Dans cet article, nous suggérons d'insérer une phase de prototypage dans le processus de conception de ces protocoles. Ce prototypage s'appuie sur des outils de haut niveau afin d'aboutir à une implémentation entièrement fonctionnelle –bien que non-optimisée– du système. Nous montrons que cette méthode permet d'une part d'accélérer le processus de conception, et d'autre part d'aider à la validation des protocoles de communication sans fil en les confrontant aux conditions réelles. Pour celà, nous proposons Warp, la première plateforme opérationnelle de prototypage destinée aux protocoles de réseaux sans fil.
La première utilisation des réseaux de capteurs sans fil est l'agrégation des données collectées par chaque capteur, de manière économe en énergie. Dans ce papier, nous présentons le problème de l'agrégation des données de manière formelle dans les réseaux de capteurs dynamiques (dont la topologie évolue avec le temps). Dans les réseaux statiques de degré au plus quatre, il a déjà été prouvé que résoudre ce problème en minimisant le délai est NP-Complet. Il en est donc de même dans les réseaux dynamiques. Notre première contribution est de caractériser exactement ce qui fait de l'agrégation de données un problème NP-Complet. En effet, dans les réseaux statiques, où le problème est trivial pour les réseaux de degré au plus deux, nous montrons que le problème reste NP-Complet dans les réseaux de degré au plus trois. De même, le problème est trivial dans les réseaux dynamiques de degré au plus un et nous montrons qu'il est NP-Complet dans les réseaux dynamiques de degré au plus deux. Nous montrons donc que l'ajout de la dynamique rend le problème de l'agrégation de données intrinsèquement plus difficile. Notre deuxième contribution est de présenter des bornes inférieures et supérieures pour la durée d'agrégation des données dans un réseau dynamique. Là encore, l'ajout de la dynamique augmente la durée d'agrégation des données dans le pire des cas.
Dans un Internet qui pose de multiples façons la question de la régulation de ses usages, un seul dispositif détient sur tous un instrument de pouvoir, et de pouvoir suprême puisqu’il peut conduire à priver un acteur d’existence sur le réseau : l’Internet Corporation for Assigned Names and Numbers (ICANN). Ayant la charge de l’organisation des noms de domaine, cet organisme, créé en 1999, a mis en place une procédure permettant de gérer les litiges entre deux parties qui se dispute nt une dénomination. Ce dispositif constitue une sorte de cas d’école des questions de gouvernance d’Internet et sur Internet, en posant la question de la fixation des normes et de leurs fondements et en proposant une application concrète puisque cette procédure gère des conflits transnationaux. Quel type de gouvernement des affaires d’Internet est donc mis en place à travers cette procédure ?
Ce papier présente le travail effectué à Thales Communications France concernant la spécification et l'implémentation d'une architecture pour la découverte et l'orchestration de services Web sémantiques en fonction de leurs contraintes fonctionnelles. L'objectif principal étant d'améliorer l'interopérabilité des systèmes SOA hétérogènes et dynamiques, la particularité de cette architecture est de placer les ontologies au coeur de ce processus. Une implémentation de référence a été réalisée qui pourra par la suite être étendue pour s'accommoder des évolutions des besoins utilisateurs et du domaine. De plus, des travaux de recherche sont actuellement entrepris pour lui adjoindre le support des contraintes non fonctionnelles (ou extra-fonctionnelles) de qualité de service (QoS).

This paper presents the work that has been done at Thales Communications France regarding the specification and implementation of a semantic Web service discovery and orchestration platform based on services' functional constraints. The main objective was to increase interoperability in heterogeneous and dynamic SOA systems by putting ontologies at the center of this process. A reference implementation is provided that could easily be extended to accommodate an evolution of the domain or of users requirements. Also, ongoing research at Thales is focused on including non-functional (or extra-functional) constraint handling, like Quality of Service (QoS), to the framework.
Cet article traite de l'allocation de ressources dans le sens descendant des réseaux pré-5G (LTE-B) en considérant les contraintes de la norme. Le problème consiste, à un instant donné, à affecter aux flux utilisateurs les ressources radios (divisées dans le domaine fréquentiel) de manière à maximiser une fonction d'utilité. Ce problème étant NP-Difficile, nous proposons un algorithme d'approximation. Cet algorithme est composé de trois routines qui fonctionnent ensemble afin d'allouer efficacement les ressources. Les résultats, obtenus par simulation, montrent que notre solution permet d'obtenir une très bonne équité entre les utilisateurs tout en maintenant une capacité proche de la solution optimale. Mots-clefs : allocation de ressources, LTE-B, algorithme d'approximation.
Traceroute permet de découvrir le chemin entre deux machines sur internet, en envoyant des sondes avec une durée de vie limitée pour forcer les routeurs à révéler leur présence. Lorsqu'il ne parvient pas à déterminer l'adresse IP d'un routeur, traceroute affiche à la place une étoile (*). Les nombreuses étoiles présentes dans les traces introduisent des imprécisions indésirables dans les applications de cartographie de l'internet, ou encore lors d'un diagnostic de panne. Cet article se penche sur les raisons de leur apparition, que nous classons en deux catégories. (1) Le routeur émet une réponse altérée qui empêche traceroute de l'associer à une sonde émise. (2) Le routeur n'émet tout simplement pas de réponse. Nous proposons des mesures qui mettent en évidence l'existence de chacune de ces causes. De plus, nous montrons comment réduire l'effet de ces étoiles grâce à un paramétrage approprié de l'outil de traçage.
Les applications de diffusion de flots multimédia en direct via un réseau pair à pair (P2P IPTV) sont en plein essor et promises à un bel avenir. Leur utilisation massive va fortement augmenter le trafic réseau de l'Internet. C'est pourquoi il est important de caractériser leur trafic afin d'évaluer leurs effets sur le réseau. Dans cet article, nous étudions le trafic d'applications P2P IPTV. Nous avons pour cela mesuré leur trafic et nous caractérisons sa structure à différentes échelles temporelles en utilisant une méthode de transformées en ondelettes. Notre analyse montre que les propriétés d'échelle du trafic P2P IPTV sont différentes suivant que les applications utilisent principalement TCP ou UDP. Les caractéristiques du trafic descendant sont différentes de celles du trafic montant. La signalisation utilisée a également un impact significatif sur les propriétés du trafic descendant, mais n'affecte pas le trafic montant. Ces observations nous permettront de concevoir des modèles de trafic P2P IPTV réalistes qui sont des éléments essentiels pour modéliser ou simuler correctement ces systèmes.
Comprendre la capacité des réseaux mobiles à connexions intermittentes (ICMN - Intermittently Connected Mobile Networks) est important pour bien répondre aux divers besoins d'interactivité et de bande passante des applications mobiles. Un problème pratique concerne la transformation des messages d'une application en paquets prêts à être transmis à travers un ICMN. Dans ce papier, nous proposons un nouveau modèle de graphes aléatoires temporels et montrons, à la fois analytiquement et en rejouant une trace de connectivité obtenue lors d'une randonnée roller, que la taille des messages envoyés dans un ICMN a un impact décisif sur leur taux de livraison. Cependant, nous montrons également que ce gain de fiabilité n'apparaît que sous l'effet de fortes contraintes sur le délai maximal toléré. Ainsi, il faut ajuster la taille des messages en fonction à la fois des besoins des applications et de la dynamique de la topologie du réseau pour améliorer les performances du routage.
La créativité, les compétences et la présence des réseaux sociaux sont considérés comme les principaux facteurs de l'émergence d'une innovation. La pérennité d'une politique d'innovation dépend donc de la mise en place d'un système destiné à favoriser la créativité, la capacité de saisir et de développer des compétences et et de la présence d'une structure sociale qui assure et gère les interactivités entre les acteurs de l'innovation. Nous tenterons, dans ce papier, à travers une analyse des caractéristiques fonctionelles des communautés des logiciels libres de montrer qu'elles peuvent être considérées comme une structure innovante.
Nous proposons de résoudre le problème classique de l'estimation du mouvement dans une séquence d'images en calculant le flot optique. Pour cela, nous utilisons une approche basée sur l'assimilation variationnelle de données qui permet de réaliser une intégration temporelle du calcul du flot optique : les gradients spatiotemporels constituent les observations et sont assimilés dans un modèle de transport du flot optique. Cette approche a deux avantages principaux. D'une part elle permet de définir des modèles d'erreurs qui, in fine, peuvent gérer de façon naturelle les données manquantes. D'autre part, le schéma numérique incrémental sur lequel repose l'assimilation variationnelle de données permet de résoudre efficacement les systèmes non-linéaires. Or, la contrainte du flot optique n'est pas linéaire dans sa forme non différentiée. Notre méthode prend donc en charge l'estimation de grands déplacements.
Un diamant correspond à l'existence de plusieurs chemins alternatifs entre deux points du réseau. Cette notion joue un rôle important en ingénierie du trafic où il faut, par exemple, répartir la charge de trafic entre plusieurs chemins. Ces diamants peuvent être présents au niveau SA ou au niveau IP. Cet article s'intéresse au niveau IP et propose une méthode récursive d'étiquetage des diamants, RLPA. Nous avons appliqué RLPA sur un sous-ensemble des données skitter. Nous montrons, sur le sous-ensemble observé, que les diamants sont majoritairement composés d'un seul noeud intermédiaire, qu'ils sont formés de deux chemins alternatifs, qu'ils sont essentiellement symétriques et qu'ils se situent entre 10 et 15 sauts de la source du traceroute.
Nous considérons un ensemble de robots anonymes et autonomes qui se déplacent dans le plan afin de former un motif géométrique donné. En l'absence de condition sur le motif à former, un algorithme qui résout ce problème est nécessairement probabiliste. Dans ce papier nous montrons que toutes les hypothèses supplémentaires concernant les robots formulées jusqu'à présent ne sont pas nécessaires. Pour cela, nous présentons le premier algorithme probabiliste fonctionnant avec des robots totalement asynchrones et désorientés.
Le multicast LTE représente, en principe, un moyen très efficace de distribuer du contenu à un groupe d'utilisateurs. Sur une cellule, son efficacité est dictée par les utilisateurs dont le canal est le moins bon. Afin de limiter leur impact, nous proposons d'exploiter des communications opportunistes entre les terminaux (D2D) en complément du multicast. Cependant, un tel mécanisme doit s'adapter à l'aléa introduit par les communications opportunistes pour sélectionner le meilleur compromis entre transmissions multicast et D2D. Dans ce but, nous évaluons l'apport d'une stratégie d'apprentissage automatique, dite du " bandit manchot multi-bras". Nos évaluations montrent que cette stratégie permet de configurer la transmission multicast d'une manière plus efficace, contribuant ainsi à l'économie des ressources radio.
Alors que Twitter est devenu incontournable, la propagation des tweets et hashtags est toujours largement incomprise. Le propagation d'information sur Twitter est principalement due aux retweets et aux mentions mais, alors que les retweets ne permettent d'atteindre que les abonnés d'un individu, les mentions permettent d'atteindre n'importe qui directement. De nombreuses études ont montré que les mentions sont largement utilisées sur Twitter, mais surtout qu'elles sont fondamentales pour augmenter la popularité des tweets et hashtags. Des méthodes automatiques pour choisir les bons utilisateurs à mentionner pourraient donc permettre d'augmenter la visibilité des tweets. Dans cet article nous proposons un système de recommandation de mentions en temps réel pour augmenter la popularité d'un tweet. Ce système est basé sur un modèle de propagation de tweet dans un graphe multiplexe construit à partir d'une étude de données réelles. Il permet de clairement faire la différence entre les propagations dues aux mentions et celles dues aux abonnements. Les simulations du modèle donnent des résultats similaires aux observations empiriques et sont également fondées sur des résultats analytiques. En utilisant ces différents résultats nous proposons une stratégie de recom-mandation effective et une application Twitter associée.

While Twitter has become one of the most influential micro-blogging systems, the propagation of tweets or hashtags is still widely misunderstood. Information propagation in Twitter is mainly due to 'retweets' and 'mentions' but, while retweets only reach the circle of a source, mentions allows to spread an information far beyond its neighborhood in just one step. Studies show that mentions are not only widely used by Twitter users, but are fundamental in the popularity of tweets or hashtags. Solutions to help in mentioning the proper users could therefore give maximal exposure to a given tweet. In this paper, we propose a real time mention recommendation system to enhance the popularity of tweets by a strategic use of the mention utility. This system is based on a model of tweet propagation in a multiplex network whose basic bricks are supported by the study of a real dataset and that allows to make a clear difference between retweets due to mentions and other factors. Simulations of the model show a nice agreement with the empirical tweet popularity observed in the dataset and are further supported by analytical results. Using all these results, we propose an effective mention recommendation strategy and implement it in a Twitter Application.
Cet article s'intéresse au problème de l'estimation du mouvement apparent sur une séquence d'images et au suivi d'un objet particulier. Pour ce faire, l'approche considérée est celle de l'assimilation de données, et, dans ce cas, de l'assimilation d'images. Cette approche repose sur les équations de la dynamique du système visualisé par la séquence d'images. Le modèle de dynamique considéré est la conservation lagrangienne de la vitesse et le transport des images et de la carte de distance qui modélise l'objet étudié. La méthode d'assimilation de données choisie, appelée 4D-Var, effectue une optimisation itérative d'une fonction de coût. Cette approche d'assimilation d'images est tout d'abord quantifiée au moyen d'une expérience jumelle, afin de démontrer l'amélioration obtenue sur l'estimation du mouvement. Puis la méthode est appliquée à une séquence d'images satellite météorologiques, avec l'objectif de suivre un nuage tropical. Les visualisations proposées illustrent les différentes composantes de la méthode.
La représentation de connaissances incertaines est un problème important dans le domaine de l'intelligence artiﬁcielle. Les réseaux bayésiens proposent une solution intéressante pour de nombreuses raisons théoriques et pratiques mais ont le désavantage d'être difficiles à créer autant qu'à maintenir. Dans cet article, nous comparons trois formalismes qui tentent de répondre à ces problèmes en enrichissant les réseaux bayésiens avec des notions issues des paradigmes orientés objets et de la logique du premier ordre. Nous verrons que ces propositions fournissent de nouveaux outils de modélisation des réseaux bayésiens, mais posent de nouveaux problèmes propres aux réseaux de grande taille.
Dans cet article, nous proposons une approche originale d'estimation séquentielle de densités non paramétriques définies dans des espaces de grande dimension, dans le cadre méthodologique du filtrage particulaire. En exploitant les indépendances conditionnelles de l'espace d'état, nous proposons de permuter des sous-ensembles indépendants de particules de manière à générer un nouvel ensemble échantillonnant mieux cet espace. Nous intégrons cette approche dans deux versions classiques du filtre particulaire : celui avec échantillonnage partitionné et celui à recuit simulé de manière à prouver son efficacité. Nous nous comparons aux approches classiques dans le cadre de l'estimation des densités d'objets synthétiques articulés. Nous montrons que notre approche diminue à la fois les erreurs d'estimation et les temps de traitement
Dans le cadre du projet Robust FPGA, qui traite de la tolérance aux défauts, nous sommes amenés à créer notre propre architecture FPGA. Il existe plusieurs types d'architecture (mesh, Tree et mesh of tree FPGA) qui présentent chacune leurs avantages. Nous allons donc étudier l'impact de l'architecture sur la robustesse selon divers paramètres (nb I/O, nb CLB etc...), il faut donc pouvoir facilement jouer sur les paramètres de l'architecture d'où la nécessité du générateur.
Cet article présente aGrUM, une bibliothèque C++ qui implémente des modèles graphiques pour l'aide à la décision. Les modèles implémentés incluent les Réseaux Bayésiens, les Diagrammes d'Influences, les Réseaux Crédaux et les Modèles Probabilistes Relationnels. Cette bibliothèque est le résultat d'un effort continu de chercheurs et d'industriels pour fournir une solution open source multi plateforme (Linux, MacOS X et Windows 10), performante et maintenue. La bibliothèque fournit également des extensions pour utiliser aGrUM avec d'autres langages de programmation comme Python.

This paper presents the aGrUM framework, a C++ library providing state-of-the-art implementations of graphical models for decision making, including Bayesian Networks, Influence Diagrams, Credal Networks, Probabilistic Relational Models. This is the result of an ongoing effort of researchers and industrials to build an efficient and well maintained open source cross-platform software (running on Linux, MacOS X and Windows 10) for dealing with graphical models. The framework also contains wrappers for exploiting aGrUM within other programming languages like Python.
Dans le domaine de l'aide à la décision, les problèmes de choix (sélection de la meilleure alternative), de rangement (classement des alternatives de la meilleure à la plus mauvaise) et de tri (affectation des alternatives dans des catégories prédéfinies) constituent les trois probléma-tiques de références. Cette dernière problématique apparaît naturellement par exemple lorsque le décideur souhaite évaluer différentes demandes de crédits financiers ou encore décerner des distinctions spécifiques à des individus. Dans la littérature, lorsque les alternatives à trier sont évaluées sur plusieurs critères, on distingue les approches quantitatives et qualitatives. L'approche quantitative classique, aussi appelée "agréger puis comparer" [3, 7, 8], consiste tout d'abord à agréger les performances de chaque alternative sur les différents critères en une unique valeur représentant son utilité globale pour le décideur, puis de comparer cette valeur à des seuils de préférences prédéfinis pour déterminer la catégorie de l'alternative. Plus précisément, l'échelle d'utilités est divisée en intervals, un par catégorie, et il s'agit d'affecter chaque alternative à la catégorie dont l'interval représentatif contient sa valeur d'utilité globale. Cette approche est souvent utilisée pour évaluer les étudiants dont la qualité est appréciée à travers leurs notes dans différentes matières. En effet, l'évaluation globale d'un étudiant est généralement obtenue en calculant la moyenne arithmétique de ses notes, puis cette moyenne est comparée à des seuils de références définissant notamment les conditions de réussite. L'approche qualitative standard [5] consiste à permuter les étapes d'agrégation et de com-paraison ; pour cette raison, elle est connue sous le nom "comparer puis agréger". Cette ap-proche utilise des profils multicritères pour définir le "desiderata" de chaque catégorie en terme de performances sur les critères du problème ; en d'autres termes, ces profils de référence se comportent comme des bornes multicritères des catégories. L'idée est alors d'affecter chaque alternative à la catégorie dont le profil inférieur est plus mauvais aux yeux du décideur que l'alternative considérée, alors que celui représentant sa borne supérieure est vu comme étant meilleur. La comparaison d'une alternative avec un profil de référence se fait tout d'abord en dérivant un indice de préférences par critère (obtenu en comparant l'alternative et le profil sur ce critère), puis en agrégeant les différents indices afin d'établir la relation de préférences. Cette approche permet de définir plus précisément le type d'alternatives entrant dans une catégorie. À titre d'exemple, prenons deux étudiants ayant la même moyenne. Il est possible que seulement l'un des deux réussisse en considérant des profils de références réduisant les effets compensatoires.