Le séminaire du Laboratoire

Les archives de 2013

DEC
17
13:30
Processus générique de construction de descripteurs pour la classification supervisée de séries temporelles
Nous présentons un processus de construction de descripteurs pertinents et interprétables pour la classification de séries temporelles. Ce processus est générique et libre de tout paramètre utilisateur, s'adapte à un large spectre de données de séries temporelles et permet d'identifier les représentations pertinentes pour le domaine courant. Les comparaisons avec les méthodes de l'état de l'art indiquent que notre processus est très compétitif tant en terme de performances prédictives qu'en temps de calcul.
OCT
18
10:00
De la gestion des connaissances à la gestion des signes : application à la transmission des savoir-faire musicaux
Les systèmes informatiques actuels sont adaptés à la gestion de données et de connaissances structurées. Cependant la collecte et la transmission de savoir-faire immatériels requiert de nouveaux modèles afin de construire des outils innovants correspondant aux besoins des experts et amateurs des domaines considérés. La caractéristique commune de nombreux domaines artistiques est de mettre en avant la création et la comparaison d’interprétations personnelles d’objets (les œuvres) par des sujets (les interprètes). Dans cette thèse, nous proposons donc une nouvelle approche sémiotique pour la gestion d’interprétations de haut niveau dans des environnements multimédia utilisant les Technologies de l’Information et de la Communication. Le passage de la gestion des Connaissances à la gestion des Signes Interprétatifs s’opère par la saisie et le partage d’annotations sémiotiques entre les utilisateurs d’une plateforme de travail collaboratif. Chacune de nos contributions est appliquée au domaine musical, en particulier à l’apprentissage du piano classique pour lequel des prototypes expérimentaux de gestion des Signes Musicaux ont été réalisés.
AOU
22
13:30
Architecture Agent pour la modélisation et simulation de systèmes complexes multi-dynamiques : Une approche multi-comportementale basée sur le pattern "Agent MVC"

La co-construction et la réutilisation de modèles font l'objet de plusieurs travaux dans le domaine de la simulation. Cependant, dans le domaine plus spécifique de la Simulation Orientée Agent (SOA), nous pouvons constater un manque sur ces deux points malgré un besoin fort de la part des thématiciens. La co-construction est essentielle pour optimiser la mise en commun du savoir de différents experts, mais nous faisons souvent face à des divergences de points de vue. Les méthodologies existantes pour la co-construction en SOA ne permettent qu'un faible niveau de collaboration entre thématiciens durant la phase initiale de modélisation, ainsi qu'entre les des thématiciens avec les modélisateurs ou les modélisateurs-informaticiens... Pour faciliter cette co-construction, nous proposons de suivre une méthodologie de conception favorisant cette collaboration. La réutilisation de modèle octroie un gain de temps significatif, une amélioration du modèle et l'apport de nouvelle connaissance. Les méthodologies en SOA dans ce domaine existent. Cependant, dans le spectre de réutilisation, elles sont souvent limitées au niveau du modèle complet ou de l'agent avec l'impossibilité de "descendre" plus bas. L'expérience de EDMMAS, un cas concret d'un modèle issu de trois réutilisations successives, nous a permis de constater une nouvelle complexité qui découle de la démultiplication des comportements des agents et crée un décalage conséquent entre le modèle opérationnel et le modèle conceptuel Notre objectif est de promouvoir la réutilisation aussi bien des modèles, que des agents et de leurs comportements.

Pour répondre à ces questionnements, nous proposons dans ce manuscrit une manière de codifier et d'intégrer la connaissance provenant de disciplines différentes dans le modèle, tout en utilisant des modules "composables" qui facilitent la réutilisation. Nous proposons (i) une nouvelle architecture Agent (aMVC), appliquée dans un cadre multidynamique (DOM), avec l'appui (ii) d'une approche méthodologique (MMC) basée sur la décomposition et réutilisation des comportements. Cet ensemble de propositions, (i) et (ii), permet de conduire un projet pluridisciplinaire de SOA avec un grand nombre d'acteurs, facilitant la co-construction des modèles grâce à l'instauration de nouvelles synergies entre les différents acteurs participant à la modélisation. Les concepteurs pourront travailler de manière autonome sur leur dynamique et la plateforme fera l'intégration de ces dernières en assurant la cohésion et la robustesse du système. Nos contributions offrent la capacité de créer les briques élémentaires du système de manière indépendante, de les associer et de les combiner pour former des agents, selon des dynamiques conformément à l'approche DOM. Elles permettent ainsi de comparer la logique selon différentes possibilités pour une même dynamique et d'ouvrir la perspective d'étudier un grand nombre d'alternatives de modélisation d'un même système complexe, et de les analyser ensuite à une échelle très fine.

JUL
10
13:30
Modélisation de l'action située basée sur l'affordance vue comme une propriété émergente du système agent-environnement dans le contexte des systèmes de production agricole
email hidden; JavaScript is required
La présentation porte sur un modèle de représentation de l’action au niveau opérationnel à l’échelle individuelle et collective dans le contexte des systèmes agricoles. L’action est vue comme un processus dynamique situé dans le temps et dans l’espace émergent de l’interaction acteur/situation. Pour concrétiser cette vision de l’action, nous considérons un système multi-agents basé sur un environnement intelligent qui est capable de fournir à l’acteur à un instant et dans une localisation donnée l’action à exécuter. Le modèle est constitué de 4 couches : l’espace, les objets, les marques et les agents. L’espace est une grille de cellules sur lesquelles sont localisés des objets (passive et active). Les objets actifs sont dotés de capacités pour réaliser une action. La conjonction de plusieurs objets actifs constitue les actuateurs (les réalisateurs de l’action). Les agents sont les contrôleurs de cellules. Ils perçoivent l’environnement et dicte une action, en se basant sur les affordances (les opportunités d’actions sont offertes par les objets de l’environnement). Les objets du modèle sont ce qu’on appelle les affordeurs. Ils portent des services qui affordent un agent à un instant donné selon ses capacités. Les marques sont un moyen de communication indirecte entre les agents. Elles permettent d’une part aux agents de communiquer entre eux (ex : demande d’une ressource) et d’autre part d’acheminer un actuateur entre plusieurs cellules. Ce modèle est basé donc sur des agents simples qui agissent localement de façon située, en utilisant les affordances et la stigmergie pour se coordonner.
JUN
21
13:30
Prévention et détection des interférences inter-aspects : méthode et application à l’aspectisation de la tolérance aux fautes

La programmation orientée aspects (POA) sépare les différentes préoccupations composant un système informatique pour améliorer la modularité. La POA offre de nombreux bénéfices puisqu'elle permet de séparer le code fonctionnel du code non-fonctionnel améliorant ainsi leur réutilisation et la configurabilitè des systèmes informatiques. La configurabilité est un élément essentiel pour assurer la résilience des systèmes informatiques, puisqu’elle permet de modifier les mécanismes de sûreté de fonctionnement. Cependant le paradigme de programmation orientée aspect introduit de nouveaux défis pour le test. Dans les systèmes de grande taille où plusieurs préoccupations non fonctionnelles cohabitent, une implémentation à l'aide d'aspects de ces préoccupations peut être problématique. Partageant le même flot de données et le même flot de contrôle les aspects implémentant les différentes préoccupations peuvent écrire dans des variables lues par d'autres aspects ou interrompre le flot de contrôle commun aux différents aspects empêchant ainsi l'exécution de certains d'entre eux. Dans cette présentation nous nous intéressons plus spécifiquement aux interférences entre aspects dans le cadre du développement de mécanismes de tolérance aux fautes implémentés sous forme d’aspects. Ces interférences sont dues à une absence de déclaration de précédence entre les aspects ou à une déclaration de précédence erronée.

Afin de mieux maîtriser l’assemblage des différents aspects composant un mécanisme de tolérance aux fautes, nous avons développé une méthode alliant l'évitement à la détection des interférences au niveau du code. Le but de l'évitement est d'empêcher l'introduction d'interférences en imposant une déclaration de précédence entre les aspects lors de l'intégration des aspects. La détection permet d'exhiber lors du test les erreurs introduites dans la déclaration des précédences. Ces deux facettes de notre approche sont réalisées grâce à l’utilisation d’une extension d'AspectJ appelée AIRIA. Les constructions d'AIRIA permettent l’instrumentation et donc la détection des interférences entre aspects, avec des facilités de compilation permettant de mettre en œuvre l’évitement d’interférences. Notre approche est outillée et vise à limiter le temps de déboguage : le testeur peut se concentrer directement sur les points où une interférence se produit.

Nous illustrons notre approche sur une étude de cas: un protocole de réplication duplex. Dans ce contexte le protocole est implémenté en utilisant des aspects à grain fin permettant ainsi une meilleure configurabilité de la politique de réplication. Nous montrons que l'assemblage de ces aspects à grain fin donne lieu à des interférences de flot de données et flot de contrôle qui sont détectées par notre approche d'instrumentation. Nous définissons un ensemble d'aspects interférant pour l'exemple, et nous montrons comment notre approche permet la détection d'interférences.

MAI
16
17:30
Ethnomathématique des jeux de semailles dans le SO de l'océan Indien
email hidden; JavaScript is required
Les jeux de semailles, ou mancalas, sont répandus dans pratiquement tous les pays limitrophes de l'océan Indien. Ils se répartissent en deux classes : waris et solos. Les waris, auquel appartient le seul jeu connu en France, l'awélé, ont été abondamment décrits. Les solos, qui sont les seuls présents à Madagascar, aux Comores et au sud de la Bantu Line l'ont été beaucoup moins. Je présenterai les différents aspects sous lesquels ces jeux peuvent être étudiés, et présenterai des premiers résultats concernant mes recherches ethnographiques à Madagascar.
MAI
16
17:00
Contribution à l’Enseignement - Apprentissage des coniques et quadriques dans les Collèges et Lycées
email hidden; JavaScript is required

Cette recherche s’adresse aux enseignants des Mathématiques des Collèges et Lycées. Elle se veut aussi un outil de prise de décisions, pour les responsables du Ministère de l’Education Nationale, quant aux contenus d’enseignement de la géométrie et de la formation des futurs enseignants des mathématiques. En effet, depuis des décennies, les courbes vues par les élèves à travers l’étude de la géométrie sont restées inchangées, même si l’évolution technologique a marqué notre ère. Il en est de même des pratiques enseignantes, qui laissent penser que les mathématiques, ainsi que leur enseignement, sont figés.

Nous avons choisi le domaine de la géométrie car son enseignement contribue beaucoup au développement de l’enfant et des mathématiques même, de par ses multiples applications dans diverses branches des sciences. Quant à l’enseignement-apprentissage des coniques et quadriques, il permet de mobiliser plusieurs registres (géométrique, algébrique, numérique, graphique, transformations,...). Il permet également une meilleure appréhension de l’espace par les élèves et enrichit leur banque de données d’images mentales. Par ailleurs, c’est un domaine privilégié d’utilisation d’outil TICE.

En collaboration avec l’équipe de l’EREDIM (Equipe Réunionnaise d’Epistémologie et de Didactique de L’Informatique et des Mathématiques), nous concevons et élaborons des activités sur les coniques et quadriques par le moyen d’une ingénierie didactique. Nous allons alors proposer aux décideurs des plans et contenus de formation pour les enseignants des Collèges et Lycées afin que ces derniers soient aptes à mettre en œuvre une pratique enseignante innovante à travers l’enseignement-apprentissage des coniques et quadriques.

Notre recherche contribuera ainsi à atteindre l’objectif d’un enseignement mathématique de qualité pour tous.

MAI
16
16:30
Intergiciel réflexif dans des architectures auto-adaptables pour des environnements dynamiques
email hidden; JavaScript is required

Les travaux portant sur la programmation orientée composants et plus récemment les architectures orientées services apportent des réponses efficaces vis-­‐à-­‐vis des besoins d’adaptation des applications. Bien que ces deux approches aient fait leur preuve pour la définition de systèmes distribués (auto)-­‐adaptables, elles imposent cependant aux développeurs d’application de gérer l’articulation entre les aspects structurels et comportementaux. En effet, les mécanismes d’encapsulation offerts par l’approche orientée composants limitent la définition de stratégies d’adaptation sur l’architecture de l’application (substitution d’un composant, définition à chaud de nouvelles liaisons-­‐bindings). Ainsi, par exemple, les politiques guidant le redéploiement d’une application (eg, la redéfinition de la localisation d’un composant, la mise en place de dupliquats pour pallier à une perte de connectivité) ne peuvent être définie depuis l’architecture seule. À l’inverse, l’approche SOA qui, en se focalisant sur l’orchestration des accès aux services des différents composants, masque les interactions (de structure) entre composants.

Nous proposons dans le cadre de ces travaux d’adopter les approches orientées composants et services à la plate-­‐forme existante développée au sein de la société MI-­‐Technologies avec pour contribution la mise en place d’un cadre de conception pour le développement d’applications distribuées auto-­‐adaptables censées s’exécuter dans des environnements dynamiques.

MAI
16
15:30
Règles d’association valides dans un contexte binaire : Choix des mesures de qualité
email hidden; JavaScript is required
Un contexte binaire admet potentiellement un nombre exponentiel de règles d’association qui ne sont généralement pas toutes pertinentes. La pertinence des règles est évaluée par le biais de mesures de qualité : les règles valides, donc considérées pertinentes, au sens d'une mesure de qualité sont celles pour lesquelles cette mesure de qualité prend une valeur supérieure ou égale à un seuil fixé. Toutefois, il existe dans la littérature une soixantaine de mesures de qualité, aucune d'entre elles n'étant meilleure au sens de l'ensemble des propriétés que ces mesures sont censées satisfaites. Il se pose alors le problème du choix des mesures de qualité à utiliser. Dans cet exposé, après avoir présenté quelques pistes considérées dans la littérature, je ferai état de l'avancement de mes travaux de recherche et dégagerai quelques perspectives.
MAI
16
15:00
Utilisation des TIC et enseignement de la géométrie dans le contexte éducatif malgache
email hidden; JavaScript is required
Nous avons constaté que l’enseignement de la géométrie au lycée traverse une période difficile. Dans le contexte éducatif malgache par exemple, en classe de seconde, certains enseignants (sinon la majorité d’entre eux) se contentent de traiter une infime partie du programme de géométrie. Parallèlement à ce constat, nous avons remarqué aussi une réticence de certains enseignants vis à vis de l’utilisation des outils informatiques dans leurs classes. Nous pensons qu’il est possible de faire d’une pierre deux coups, c’est-à-dire se servir des outils informatiques pour relancer l’enseignement de la géométrie. La recherche et l’exploitation des liens entre les autres branches de mathématique et la géométrie semblent un moyen de rénover l’enseignement de ce dernier.
MAI
16
14:30
Fouille de règles d'association à partir de données complexes : approche guidée par une classification d'entités
email hidden; JavaScript is required

Les règles d'association sont utiles pour la découverte de relations au sein de très grandes bases de données. L'exemple standard consiste en une grande base de données transactionnelles d'un supermarché. Chaque transaction révèle les articles achetés au supermarché par un client particulier. Le défi est alors de trouver des articles qui ont tendance à se retrouver ensemble dans un nombre significatif de transactions. Dans ce contexte, une règle d'association peut être une proposition du type « 70% des clients achetant du vin et du fromage achètent aussi du pain, sachant que 80% des clients ont effectivement acheté du vin et du fromage ». Ce type de règles d'association est extrait d'un contexte dit binaire, c'est-à-dire, un contexte où les entités sont décrites par des attributs qui peuvent être soit présents soit absents. L'objectif de cette thèse est de se placer dans le cadre d'un contexte non nécessairement binaire et d'étudier l'opportunité de guider l'exploration de l'espace de recherche potentiellement infini des prémisses et conséquents des règles, par une classification non supervisée de l'ensemble potentiellement infini des entités.

Cet exposé présentera essentiellement les règles d'associations dans un contexte binaire et évoquera quelques méthodes s'appliquant à des données non binaires.

MAI
16
14:00
Construction collaborative d’ontologies pour indexer et évaluer des services ou créer des programmes complètement paramétrables par leurs utilisateurs
email hidden; JavaScript is required
L’objectif général de cette thèse est de permettre à des personnes ou logiciels de représenter, organiser, comparer et rechercher de manière efficace et le plus simplement possible n’importe quelle sortes d’informations dans une ou plusieurs « base de connaissances » partagées. Cette thèse s’inscrit donc dans les recherches sur le Web Sémantique et l’ingénierie des connaissances. Les travaux de cette thèse se focaliseront néanmoins sur l’organisation, évaluation et indexation de services ou de programmes, et leur création de telle sorte qu’ils soient complètement paramétrables par leurs utilisateurs. Cet exposé fournira des explications supplémentaires sur le contenu de la thèse, ainsi que quelques exemples tirés des premiers résultats de nos travaux.
MAI
16
13:30
Classification de documents numérisés : aide à la dématérialisation de factures et au traitement de déclarations de sinistre
email hidden; JavaScript is required

Bien que le numérique se soit considérablement développé ces dernières décennies, dans un contexte d’entreprise, la réception de documents papiers est encore très généralisée (factures, courriers de réclamation, contrats clients, demande d’indemnisation client, …). Deux problématiques principales se posent pour l’entreprise qui m’accompagne dans mon projet de thèse : le traitement des factures et des déclarations de sinistre.

Dans le contexte posé par l’entreprise, l’objectif de ma thèse est double. Dans un premier temps, il s’agit de proposer et de développer une méthode incrémentale de catégorisation de documents numérisés, en vue, notamment, d’améliorer la performance d’outils d’extraction d’informations pertinentes à partir de ces documents. Dans un deuxième temps, je m’attache à proposer et à développer un modèle d’aide à l’aiguillage des déclarations de sinistre vers les chaînes d’expertise appropriées.

MAI
15
17:00
De la gestion des Connaissances à la gestion des Signes : Application à la transmission des savoir-faire musicaux
Les bases de connaissances actuelles sont conçues pour gérer des connaissances formelles, mais ne sont pas adaptées à la gestion de savoir-faire pratiques, nécessitant des démonstrations concrètes et l'analyse d'interprétations personnelles de sujets. C'est pourquoi nous proposons dans cette thèse un nouveau cadre théorique et pratique pour la gestion de savoir-faire : l'étude des Signes (sémiotique). Dans cet exposé, nous définissons puis modélisons un Signe Interprétatif. Le processus de constitution d'une Base de Signes est également détaillé. Enfin, nous présentons une application au domaine de la musique, fondée sur le processus réel d'apprentissage d'une œuvre.
MAI
15
16:30
Ingénierie didactique de la géométrie dynamique au cycle 3 de l’école primaire
email hidden; JavaScript is required

La géométrie dynamique est un nouvel environnement dont le potentiel reste à exploiter. Dans le cadre de cette recherche, nous travaillons avec un logiciel de géométrie dynamique, CaRMetal, peu pratiqué à l’école primaire et présentant certaines spécificités comme notamment un outil de validation qui lui est propre : le Monkey, qui propose des instanciations différentes de la figure construite permettant d’être confronté immédiatement à la résistance des figures par rapport aux propriétés. De manière générale, l’utilisation d’un logiciel de géométrie dynamique peut induire un travail plus conceptuel avec des situations plus complexes permettant ainsi d’entrer dans une démarche d’investigation pertinente en termes de propriétés des objets.

Cet exposé propose de dégager les premiers résultats et quelques pistes de réflexions sur l’usage de la géométrie dynamique au cycle 3 en étudiant les effets de l’instrumentation en géométrie dynamique sur les représentations et les concepts que les élèves de cycle 3 manipulent en géométrie.

MAI
15
16:00
Architecture Agent pour la modélisation et simulation de systèmes complexes multi-dynamiques : Une approche multi-comportementale basée sur le pattern "Agent MVC"
Dans le domaine de la modélisation de la dynamique d’interactions de système, certains paradigmes utilisés dans les architectures logicielles fortement interactives ont apporté des solutions architecturales qui ont fait largement leurs preuves, nous proposons de repenser la manière de définir le dynamique d’interaction comportementale d’agents en adaptant le modèle MVC non pas au niveau de la technique informatique, mais cette fois-ci en temps que base conceptuelle pour la représentation des connaissances dynamiques de systèmes complexes naturels et sociaux à simuler. Il s’agit donc de proposer un Design Pattern pour la représentation de la dynamique multi-comportementale dans les simulations multi-agents (SMA).
MAI
15
15:00
Titre non communiqué
email hidden; JavaScript is required
MAI
15
14:30
Comment les enseignants de Mathématiques conçoivent et gèrent des démarches d'investigation ?
email hidden; JavaScript is required
Constatant une désaffection des filières scientifiques et un manque d’intérêt des élèves pour les sciences, les experts prônent de modifier l’enseignement scientifique en le basant sur la démarche d’investigation (DI). Mais, alors que la DI est au cœur des programmes de collège et lycée depuis dix ans, plusieurs rapports pointent les difficultés des enseignants pour modifier leurs pratiques. Le travail engagé depuis deux ans vise à étudier comment les enseignants de mathématiques conçoivent et gèrent des DI dans le cadre de l'enseignement d'exploration Méthodes et Pratiques scientifiques en seconde.
MAI
15
14:00
Hyper-prévention de l’illettrisme mathématique chez des élèves de Grande section de maternelle en contexte créolophone : perspectives didactiques et réalité
email hidden; JavaScript is required
Les résultats académiques aux évaluations de Grande section (des promotions 2007 à 2010) mettent en évidence un écart de résultats avec la Métropole non négligeables. Ce constat initial a permis d’analyser plus finement les items des exercices proposés aux élèves, puis de concevoir dans un premier temps un test ciblé sur la conceptualisation de la cardinalité sur un échantillon d’élèves (année 2011-2012). Puis un second test, basé sur à la fois la partie mathématique et langagière a été mené en décembre 2012. Un protocole de remédiation est en cours, et un test final est programmé pour juin 2013. Nous retracerons l’historique du protocole de recherche et présenterons les premiers résultats obtenus.
MAI
15
13:30
États particuliers sur diverses structures ordonnées
email hidden; JavaScript is required
Mon travail consiste actuellement à chercher des états particuliers sur diverses struc- tures ordonnées, avec une utilisation minimale d’Axiome du choix.
AVR
4
15:30
Développement d'une application mobile de covoiturage opportuniste
email hidden; JavaScript is required
Dans un contexte de sensibilisation du citoyen au développement durable, le covoiturage peut être envisagé comme une solution d'optimisation simple et prometteuse pour diminuer la pollution atmosphérique et les congestions urbaines, tout en favorisant les relations humaines au quotidien et les économies de transport. Dans l'optique de mettre en place un service de covoiturage à L'Université de La Réunion, l'objet de ce travail consiste à développer une application mobile pour faciliter la rencontre des usagers volontaires pour mettre en oeuvre cette pratique. De nombreux services du même type existent déjà en France métropolitaine, mais fonctionnent selon un principe de mise en relation via l'usage de petites annonces publiées sur des sites internet spécialisés, de façon anticipée et planifiée avant le déplacement. L'une des particularités du travail qui est mené dans le cadre de ce stage consiste à remplacer ce mode d'interaction planifié par un mode opportuniste fonctionnant davantage sur le principe de l'auto-stop géolocalisé.
AVR
4
15:00
Étude des déplacements d'unités mobiles en milieu aquatique instable
email hidden; JavaScript is required
Si les mini-véhicules autonomes commencent à se démocratiser aussi bien sur terre, avec des véhicules roulants, que dans les airs, avec les drones aériens (notamment l'AR-Drone), le milieu marin reste encore peu expérimenté. La raison de ce constat tient certainement aux problématiques posées au niveau des déplacements : la surface est étendue, et les courants et les vents provoquent des mouvements résiduels permanents. Aussi, l'objet de ce stage porte sur cette problématique et se penche sur l'étude des comportements de déplacement à la surface de l'eau. Plus particulièrement quand cette surface est rendue instable sous la pression de courants marins et de vents de surface. Le travail consiste à définir des modèles de comportement d'unités mobiles flottantes devant répondre à divers objectifs de déplacement. Le cas le plus simple abordé est la modélisation du comportement d'une seule unité ayant pour objectif de se maintenir à une position fixe quelle que soit l'évolution des courants et des vents. Et l'un des cas les plus complexes sera la modélisation du comportement collectif d'un ensemble d'unités devant se maintenir le long d'une ligne virtuelle. Dans ce dernier scénario, si la force des courants est trop importante, le comportement collectif pourra inclure l'insertion dynamique de nouvelles unités sur l'une des extrémités de la ligne afin de compenser la sortie des unités à l'autre bout de la ligne.
AVR
4
14:30
Etudes du trafic internet
email hidden; JavaScript is required
L'internet devient de plus en plus omniprésent à la Réunion comme partout. La Réunion de part sa situation géographique souffre d'une latence importante pour ses communications de longues distances. Le débit écoulé par une connexion TCP est inversement proportionnel au facteur de la latence. Par conséquent, un client à la Réunion va souffrir d'un débit plus faible qu'un client localisé sur le continent. Il y a une limitation protocolaire au débit obtenu à la Réunion. On va donc durant ce stage, analyser ce trafic en s'appuyant sur ce qui a déjà été fait par ailleurs et sur des outils déjà existant.
AVR
4
14:00
Étude d'un interpréteur symbolique pour le bytecode Dalvik
email hidden; JavaScript is required
Je présenterai un résumé d'un article concernant l'interprétation symbolique de code Dalvik rédigé par Jinseong Jeon, Kristopher K. Micinski et Jeffrey S. Foster, intitulé « SymDroid: Symbolic Execution for Dalvik Bytecode ». L'étude de cet article a pour but la compréhension de l'interprétation symbolique et également du bytecode Dalvik. Dans cette optique, j'ai commencé l'implémentation d'un programme permettant de transformer le bytecode Dalvik en μ-Dalvik, un langage plus simple présenté dans l'article étudié. En parallèle, suite au travail d'étude et de recherche que j'ai effectué en première année de master sur la terminaison des programmes, j'ai participé à l'écriture d'un article sur ce sujet. Ce dernier, co-signé Anthony Alezan, Roberto Bagnara, Fred Mesnard et Étienne Payet, est intitulé « Détection des fonctions de rang linéaires à terme » et a été soumis aux JFPC 2013 (Journées Francophones de Programmation par Contraintes).
AVR
4
13:30
Adaptation de l'algorithme XTA pour Android
email hidden; JavaScript is required
Durant cet exposé, je ferai une présentation de l'algorithme XTA, un algorithme de construction de graphes d'appels mis au point par Frank Tip et Jens Palsberg. Cet algorithme à mi-chemin entre RTA et 0-CFA, fournit une analyse de type basée sur l'accessibilité des méthodes. Il a été conçu pour les langages de type Java. Je présenterai aussi les adaptations nécessaires pour un bon fonctionnement sur Android.
MAR
21
13:30
Stratégie de mise en cache pour les réseaux orientés-contenus (CCN) basée sur la popularité
Les réseaux orientés-contenus (Content Centric Networks, CCN) sont annoncés comme étant une architecture prometteuse pour distribuer du contenu à large-échelle pour un Internet du futur. Dans ces architectures, les noeuds du réseau doivent conserver en mémoire cache les contenus qui les traversent afin de les distribuer pour de futures requêtes. Les réseaux CCN doivent donc gérer efficacement les caches des noeuds du réseau. Dans cette présentation, nous présenterons MPC, une nouvelle stratégie de mise en mémoire cache adaptée aux réseaux CCN. Cette stratégie permet de cacher seulement les contenus populaires. Nous montrons à travers de nombreuses expériences de simulation que MPC permet de mettre en cache beaucoup moins de contenu que les stratégies par défaut de CCN, tout en améliorant les chances de trouver le contenu en cache et la disponibilité des données.
MAR
7
13:30
Structures syntaxiques de fonctions récursives
On décrit syntaxiquement une fonction récursive par une grammaire déterministe de termes qui engendre l'arbre des appels de la fonction. Par quotient de l'arbre des appels, on obtient la structure de contrôle de la fonction qui est décrite par un automate utilisant une pile pour gérer les appels récursifs. Une fonction récursive typée permet d'avoir pour arguments des fonctions, et sa structure est décrite par un automate utilisant une pile de piles. Cet exposé sera un survol sur les graphes des appels des fonctions récursives et on présentera de multiples questions qui font l'objet de travaux actuels ou à venir.
FEV
21
13:30
Caméléons
Le sujet proposé fait appel à des notions mathématiques qui sont détaillées dans le PDF.
FEV
19
13:30
Extraction et analyse du comportement humain à partir des flux vidéo
Dans cet exposé, je présenterai les travaux de l’équipe FOX, du Laboratoire d'Informatique Fondamentale de Lille, dont le thème de recherche est l'extraction et l’analyse du comportement humain à partir des flux vidéo. Nous étudions des descripteurs visuels et de mouvements qui étendent les descripteurs actuels (ex. Mots visuels, Lucas Kanade) pour détecter et suivre les actions et comportements humains. Nos études sont réalisées à deux niveaux d’échelle : l'individu et la foule. L'individu ainsi que la foule sont étudiés dans leurs dynamiques et caractérisés afin d'en extraire des informations sur leurs comportements respectifs (pour l'individu – détection d'action, état de fatigue, etc., pour la foule – mesure de la densité, mouvement de panique, etc.). Nous étudions aussi à la caractérisation sémantique des contenus multimédia, au sens large, en privilégiant notamment des approches basées sur les mots visuels. Les grands domaines de validation que nous considérons incluent l’estimation des flux, les mouvements dominants, le suivi, le regard, l’événement, l’expression facial et la reconnaissance de personne. Dans la plupart des travaux menés, nous privilégions des solutions en temps réels afin d'avoir un niveau de réactivité très élevé.