Catégorie:TER

A

• Accord et désaccord entre ontologies
• Accord et désaccord entre ontologies - Resultats
• Accélération de la recherche des vecteurs propres généralisés pour la simulation de nanosystèmes
• Accélération de la simulation "cycle accurate" par décodage anticipé des instructions
• Adolfo Olguín-Gutiérrez - Modèles stochastiques de propagation d'épidémies - resultats
• Adrien Bustany - Construction d'une application d'annotation sémantique et d'extraction de métadonnées de fichiers multimédia - Résultats
• Adrien Janvier - Débruitage de données tomographiques RX 3D - Résultats
• Ajout de plis locaux sur une surface par méthode implicite
• Alexandre Aminot - Implémentation d’un système de reconnaissance de la parole sur un processeur embarqué
• Alexandre Anzala-Yamajako - Propriétés de sécurité des protocoles de vote électronique - Résultats
• Algorithmes de compression d'images et quadtree
• Allain Benjamin Recalage de données tomographiques RX 3D Résultats
• Analyse de code binaire pour la détection de vulnérabilités
• Analyse de la cohérence mémoire dans les systèmes multiprocesseurs
• Analyse de programmes par SMT-solving
• Analyse de programmes par interprétation abstraite
• Anthony Gelibert - Modélisation sous OpNet de réseau 6LoWPAN pour une application de télé-opération - Résultats
• Antoine Lefebvre Modélisation et simulation des interactions en situation d urgence
• Antoine Levitt Effets non-lineaires dans la dynamique d'ouverture de l'ADN resultats
• Antoine ROJAT - Schéma de Subdivision Box Spline
• Approche formelle pour le développement de services système dans les systèmes embarqués : du modèle à l'implantation
• Approches homotopiques pour l'optimisation d'algorithmes d'apprentissage statistique
• Approches symboliques pour le contrôle robuste de systèmes dynamiques
• Approximation de surfaces développables
• Approximation de surfaces développables pour la modélisation d'objets 3D
• Approximation non linéaire pour la résolution d'équations aux dérivées partielles en grande dimension
• Aquarelle animée
• Attaques par canaux cachés
• Aufrere Pierre - Création de modèles virtuels précis et complets d'arbres et de plantes à partir de scans
• Auriault Anne-Victoire - Utilisation des arbres binomiaux pour le pricing des options américaines - Résultats
• Aurélia Spanneut - Modélisation mathématique des mouvements de foule - Résultats

B

• Badr Boualam Information et estimation pour des canaux à bruits additifs non gaussiens
• Balliet Amaury - Conception de l'Interaction d'une Table Multi-Utilisateurs pour les Réunions Informelles - Résultats
• Belasri Mohamed - Validation formelle de composants d'un noyau système embarqué
• Ben Salma Sana Analyse des performances dans les systèmes intégrés multicoeurs
• Berard Guillaume - Evaluations et caractérisations des activités d'E/S dans les infrastructures de calcul
• Braun Antonin Perception visuelle et compression du mouvement dans des scènes 3D

C

• Capture de mouvement à partir de données vidéo multivues
• Champ de vecteurs tangent à une surfaces
• Classification des sons de la vie courante dans un bâtiment intelligent en utilisant des méthodes probabilistes
• Codes identifiants dans les graphes
• Communication asynchrone dans une machine virtuelle
• Compilation optimisée pour la robustesse de systèmes embarqués
• Compilation optimisée pour la robustesse sous GCC
• Compression de bitstream de FPGA
• Compression de configurations de FPGA
• Conception de boucle d'administration systeme avec des modeles reactifs et synchrones
• Conditions aux limites artificielles pour un modèle d'EDP
• Conditions aux limites, couplage de modèles en océanographie
• Correction des Distorsions photometriques d'images et de photos
• Courbes multirésolution sous contraintes
• Creation Par Croquis de Personnages Animes
• Criticité des registres dans un microprocesseur RISC
• Croquis animés pour l'enseignement de l'anatomie
• Création de cheveux dynamiques à partir de lignes 2D
• Création de modèles virtuels précis et complets d'arbres et de plantes à partir de scans
• Création par croquis de personnages animés
• Cédric Zanni - Frottements et Impacts dans un jeu de Billard - resultats

D

• D'ou vient la bactérie Helicobacter pylori?
• DTSE pour les systèmes embarqués de traitement d'image
• Decouchant Jérémie - Techniques de compression distribuées dans les réseaux de capteurs sans fils
• Delahaye Pierre-Yves - Extraction de contrats 42 à partir de programmes SystemC - Résultats
• Design d'un champ de vecteur tangent
• Design d'un champs de vecteur tangent
• Doussot Quentin Croquis animés pour l'enseignement de l'anatomie
• Débruitage de données tomographiques RX 3D
• Décomposition multi-échelle de signaux et recherche de lignes temps-fréquence (math/traitement du signal)

D (suite)

• Définition d'un modèle de simulation omniscient pour tracer l'exécution d'un OS
• Déformation par cage d'une surface 3D

E

• Eeckman Judith Conditions aux limites artificielles pour un modèle d'EDP
• El Abed Mohamed Khalil Interrogation de capteur hétérogènes et économie d'énergie
• Energie & Interrogation de capteurs hétérogènes
• Environnement matériel pour la reconfiguration dynamique partielle sur des circuits FPGA
• Etude d'un système embarqué pour la téléphonie "silencieuse"
• Etude de protocoles de communication sur un prototype de NoC
• Etude et implantation de primitives de priorité pour la programmation concurrente par envoi de message
• Etude et vérification d'un composant matériel de traitement du signal
• Evaluations et caractérisations des activités d'E/S dans les infrastructures de calcul
• Extraction de noyaux insatisfaisables dans les problèmes SMT

F

• Filip Novotny - Implémentation d'un HAL pour processeur Cell - resultats

G

• GINSS Jerome - Generation de graphes realistes pour la simulation de reseaux - Resultats
• Gabrielle Sabatier Une méthode de type Gradient Projeté pour la simulation de systèmes mécaniques avec frottement resultats
• Gaspard Jankowiak Arbres de decision pour la classification d'images resultats
• Glesser David À la recherche de la résolution humaine du touché
• Goguey Alix Scan Continu du Contenu d'une Surface Interactive
• Guez Lionel - Algorithmes de compression d'images et quadtree
• Guillaume Sarrazin - Utilisation des langages synchrones pour l'analyse de performance modulaire
• Guillaume Touron - Analyse de code binaire pour la détection de vulnérabilités
• Guy Emilie - Capture de mouvements à partir de données vidéo multivues
• Guy Emilie Titre - Capture de mouvements à partir de données vidéo multivues
• Génération automatique de textes en langue naturelle
• Génération de graphes réalistes pour la simulation de réseaux

H

• Hamza JELJELI - Implémentation d'une solution de contrôle de puissance sur une plate‐forme de réseaux de capteurs sans fil - Résultats
• Henry Julien Analyse de programmes par SMT Solving Résultats
• Heuristiques pour la conception simultanée produit - chaine logistique
• Hh Arbres de decision pour la classification d'images resultats
• Hugues Evrard - Implantation de protocoles d'ordonnancement dynamiques pour applications embarquees synchrones - Resultats

I

• Implantation de protocoles d'ordonnancement dynamiques pour applications embarquées synchrones
• Implémentation d'une solution de contrôle de puissance sur une plate‐forme de réseaux de capteurs sans fil
• Implémentation d’un système de reconnaissance de la parole sur un processeur embarqué
• Inférence de la structure génétique d'une population
• Ingo Müller - Langage parallèle pour la génération automatique d'algorithmes adaptatifs - Résultats
• Interface de dessin de textures auto-zoomables
• Interpolation de champs de vecteurs tangents à une surfaces
• Intégration d'un gestionnaire d'identités dans Secure FOCAS

J

• Jannik Dreier - Étude et réalisation du déploiement d’un décodeur vidéo sur une machine à base de processeur Cell - resultats
• Jean Monlong Le Coaslescent un modele mathematique pour les genealogies de genes Resultats
• Jean-Baptiste Guet - Spécification et raisonnement logique à l'aide de schémas
• Julien Guépet - Modèles mathématiques de gestion de revenu (Yield Management)
• Julien Henry - Analyse de programmes par SMT Solving
• Julien Malherbe - Utilisation de la mesure d'accord et de désaccord dans l'alignement d'ontologies
• Julien Viana - Courbes stylisées à la surface d’objets 3D pour un rendu temporellement cohérent en temps réel - Résultats

L

• L'Augmentation de l'arête-connexité des graphes
• Laura Peythieux - Modélisation 3D par croquis: surfaces de convolution multirésolution - Résultats
• Lavanant Aurélie Creation par croquis de personnages animes
• Layla El Asri - Inférence de la structure génétique d'une population - Résultats
• Le coalescent: un modele mathématique pour les généalogies de gènes
• Les pygmées sont-ils différents des autres populations bantouphones?
• Letort Gaelle - D'ou vient la bacterie Helicobacter pylori? - Resultats
• Luc Boissaye Segmentation multi-caméra d’un objet
• Léo Allemand-Giorgis - Design d'un champ de vecteur tangent

M

• Marc Aubert - Outil d'animation de fluide pâteux pour la peinture animée 2D - Résultats
• Marc Pegon - Analyse de programmes par interprétation abstraite
• Marie-Angela Cornélie - Vérification de propriétés de responsabilité sur des protocoles de vente aux enchères
• Marin-Matholaz Etienne - DTSE pour les systèmes embarqués de traitement d'image - Résultats
• Marine Le Touze Modèles et algorithmes combinatoires pour les futurs réseaux de distribution d’énergie électrique - Resultats
• Mehdi Meghzifene - Approches homotopiques pour l'optimisation d'algorithmes d'apprentissage statistique
• Michael Gabay - Quelle taille de graphe peut-on colorier optimalement avec un ordinateur aujourd'hui? - Résultats
• Michel Luc - Traduction binaire dynamique pour QEMU de l'extension SIMD Néon de l'ARMv7 - Résultats
• Modèle:Sujet ter
• Modèles et algorithmes combinatoires pour les futurs réseaux de distribution d’énergie électrique
• Modélisation 3D par croquis : surfaces de convolution multi-résolution
• Modélisation Géométrique : Filling N-sided hole
• Modélisation Géométrique : Lissage de courbes multirésolution

M (suite)

• Modélisation Géométrique : Lissage de courbes multirésolution - sujet 1
• Modélisation Géométrique : Lissage de courbes multirésolution - sujet 2
• Modélisation d'un processeur VLIW en vue de la génération automatique de code de traduction binaire
• Modélisation du comportement des instructions SIMD en vue de traduction binaire dynamique
• Modélisation du temps dans un simulateur pour systèmes sur puces
• Modélisation mathématique des mouvements de foule
• Modélisation numérique de l'océan: conditions de frontière ouverte, couplage de modèles
• Mohamed Aziz Mezlini - les pygmées sont-ils génétiquement différents des autres populations bantouphones
• Mohamed Taoufiq El Aissaoui - Modélisation du temps dans un simulateur pour systèmes sur puces - Résultats
• Mohammed TAZI Génération automatique d’algorithmes adaptatifs Résultats
• Méra Michaël - Portage d'un noyau de système pour applications synchrones vers la plate-forme Lego NXT
• Méthode level-set et contours actifs
• Méthodes probabilistes pour le routage dans les réseaux de capteurs sans fil

N

• Neil Jami - L'augmentation de l'arête-connexité des graphes Resultats
• Neil Jami L'augmentation de l'arête-connexité des graphes Resultats
• Nhat Minh Lê - Prise en charge d’un processeur VLIW dans QEMU - Résultats
• Nicolas Auget - Optimisation sur le cône du second ordre - Résultats
• Nom Prenom Titre Résultats
• Nom Prénom Titre

O

• Obey Liu Using DBpedia for Relation Discovery on the Semantic Web resultats
• Olivier Benjamin - Test en frelatage (fuzzing) et code binaire
• Optimisation d'une fonction linéaire sous contraintes quelconques
• Optimisation de formes
• Optimisation de la gestion de la mémoire pour les transformations perspectives par morceaux
• Optimisation semidéfinie pour le problème de bipartition d'un graphe
• Ordonnancement sous contrainte de mémoire dans les systèmes multiprocesseurs
• Oussama Chelly - Correction des Distorsions photometriques d'images et de photos

P

• Paul Roy Étude des performances de calcul et de communication du processeur CELL - Resultats
• Perception visuelle et compression du mouvement dans des scènes 3D
• Petit Benjamin - Répartition de charge dynamique dans un système distribué - Résultats
• Pierre Jolivet Shape Optimization - Resultats
• Pierre-Luc Manteaux - Interpolation de champs de vecteurs sur des maillages surfaciques 3D
• Portage d'un noyau de système pour applications synchrones vers la plate-forme Lego NXT
• Pradier Eric - Théorie des copules et application à la VaR
• Prenom Nom Un exemple de titre de TER resultats
• Programmation d'un simulateur de réseaux de systèmes embarqués (par exemple : réseaux de capteurs)
• Programmation de capteur et déploiement sur un réseau

Q

• Quelle taille de graphe peut-on colorier optimalement avec un ordinateur aujourd'hui?

R

• Recalage de données tomographiques RX 3D
• Recherche d'invariants par optimisation sous contraintes
• Recherche opérationnelle dans la finance
• Relocation de bitstream dans une architecture reconfigurable hétérogène
• ReunionInformelleTableInteractive
• Robin Lamarche-Perrin - Argumentation, contexte et alignement d'ontologies - Résultats
• Romain Casati - Reconstruction de Trochoïdes à partir de courbes 2D : épisode II - Résultats
• Romain Ducout Analyse et preuve de causalité dans des systèmes distribués communicants resultats
• Rouot Jérémy Accélération de le recherche aux vecteurs propres généralisés
• Réduction de dimension/compression de descripteurs par algorithmes d'optimisation extensibles et application à la reconnaissance d'images
• Rémi Fusade Visualisation dynamique d arbres hiérarchiques de très grande taille resultats

S

• Samuel Loury Schéma de Subdivision Box Spline
• Sarah Moussouni Vers l’introduction de politique d’ordonnancement dans la compilation de programmes Lustre resultats
• Scan Continu du Contenu d'une Surface Interactive
• Segmentation d'images par coupure de graphe
• Segmentation multi-caméra d’un objet
• Selma Belhadj Amor - Simulation du protocole de routage Binary Waypoint sur WSnet - Résultats
• Seydina Hane Simulation d'évènements rares en finance resultats
• Simon Courtemanche Traitement et régularisation de surfaces 3D en mouvement resultats
• Simon Giraudot - Étude d'un système embarqué pour la téléphonie silencieuse - Résultats
• Simplification de maillages d’objets 3D
• Simulation coopérative et parallèle : expérimentations avec le scheduler SystemC
• Simulation du protocole de routage binary waypoint sur WSNet
• Sofia Zaourar - Résolution exacte du problème de bipartition de graphe - Résultats
• Sonia Belaid Attaques par canaux cachés - Résultats
• Sonia SELMI - Segmentation d'images médicales par coupure de graphe -Resultats
• Spécification et raisonnement logique à l'aide de schémas
• Stratégies de déploiement de composants matériels reconfigurables dans un système d'exploitation embarqué