Catégorie:TER

De Ensiwiki.

Aller à : Navigation, rechercher

Mycomputer.png  Deuxième Année 

Page principale de la catégorie : Travaux d'études et de recherches.


(200 précédentes) (200 suivantes)

Pages dans la catégorie « TER »

Cette catégorie contient 298 pages, dont les 200 ci-dessous.

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é
(200 précédentes) (200 suivantes)
Récupérée de « http://ensiwiki.ensimag.fr/index.php/Cat%C3%A9gorie:TER »
Catégories : Deuxième Année | Recherche
Powered by MediaWiki
Attribution-Share Alike 3.0 Unported
  • Dernière modification de cette page le 31 juillet 2009 à 09:55.
  • Cette page a été consultée 7 195 fois.
  • Contenu disponible sous Attribution-Share Alike 3.0 Unported.
  • Politique de confidentialité
  • À propos de Ensiwiki
  • Avertissements
 
Affichages
  • Catégorie
  • Discussion
  • Voir le texte source
  • Historique
Outils personnels
  •  
  • Connexion
A ne pas manquer
  • Aide à la rédaction de documents écrits
  • objets trouvés
  • FAQ
  • FAQ 1A
  • Choix de filières
  • FAQ Bug Busters
  • EnsiLinux
  • Lexique franco-anglais
Actualité
  • Logiciel de Base Apprentis
  • Conception et Exploitation des Processeurs (CEP)
  • Projets de spécialité - 2A
Navigation
Ensimag
  • Accueil
  • Mode d'emploi
  • Droit d'auteur
  • Modifications récentes
  • Page au hasard
  • Téléverser plusieurs fichiers
Boîte à outils
  • Pages liées
  • Suivi des pages liées
  • Pages spéciales
  • Version imprimable
  • Lien historique