Catégorie:TER

De Ensiwiki.

Aller à : Navigation, rechercher

  Deuxième Année 

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

Pages dans la catégorie « TER »

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

A

  • 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
  • Alexandre Anzala-Yamajako - Propriétés de sécurité des protocoles de vote électronique - Résultats
  • Allain Benjamin Recalage de données tomographiques RX 3D Résultats
  • Analyse de programmes par SMT-solving
  • 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
  • Aquarelle animée
  • Attaques par canaux cachés
  • 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
  • Ben Salma Sana Analyse des performances dans les systèmes intégrés multicoeurs

C

  • Codes identifiants dans les graphes
  • Communication asynchrone dans une machine virtuelle
  • Compilation optimisée pour la robustesse sous GCC
  • Conception de boucle d'administration systeme avec des modeles reactifs et synchrones
  • Criticité des registres dans un microprocesseur RISC
  • Création de cheveux dynamiques à partir de lignes 2D
  • 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
  • Delahaye Pierre-Yves - Extraction de contrats 42 à partir de programmes SystemC - Résultats
  • Débruitage de données tomographiques RX 3D
  • Définition d'un modèle de simulation omniscient pour tracer l'exécution d'un OS

E

  • 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

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
  • 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
  • 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
  • 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
  • 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 Henry - Analyse de programmes par SMT Solving
  • 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
  • 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

M

  • Marc Aubert - Outil d'animation de fluide pâteux pour la peinture animée 2D - Résultats
  • 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

M (suite)

  • 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
  • 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 temps dans un simulateur pour systèmes sur puces
  • Modélisation mathématique des mouvements de foule
  • 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é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

O

  • Obey Liu Using DBpedia for Relation Discovery on the Semantic Web resultats
  • Optimisation de formes
  • Optimisation semidéfinie pour le problème de bipartition d'un graphe

P

  • Paul Roy Étude des performances de calcul et de communication du processeur CELL - Resultats
  • Petit Benjamin - Répartition de charge dynamique dans un système distribué - Résultats
  • Pierre Jolivet Shape Optimization - Resultats
  • 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)

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
  • 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
  • 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
  • Segmentation d'images par coupure de graphe
  • 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
  • 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
  • Sujet de TER plutot info
  • Sujet ter0809 gipsa jmb
  • Sujet ter0809 gipsa saiga jmt
  • Sujet ter0809 gipsa sm1
  • Sujet ter0809 gipsa sm2
  • Sujet ter0809 gipsa sm3
  • Sujet ter0809 gscop dn1
  • Sujet ter0809 gscop nb1
  • Sujet ter0809 lig adele ad
  • Sujet ter0809 lig drakkar bp
  • Sujet ter0809 lig drakkar bp2
  • Sujet ter0809 lig drakkar fr
  • Sujet ter0809 lig drakkar ft
  • Sujet ter0809 lig exmo je
  • Sujet ter0809 lig exmo je2

S (suite)

  • Sujet ter0809 lig hadas mcr
  • Sujet ter0809 lig magma yd jd
  • Sujet ter0809 lig magma yd jd 2
  • Sujet ter0809 lig moais fw
  • Sujet ter0809 lig moais fw2
  • Sujet ter0809 lig moais jlr
  • Sujet ter0809 lig sigma cr
  • Sujet ter0809 lig vasco
  • Sujet ter0809 lig vasco ai
  • Sujet ter0809 ljk artis
  • Sujet ter0809 ljk artis th ts
  • Sujet ter0809 ljk bipop jm fc
  • Sujet ter0809 ljk bipop jm fc2
  • Sujet ter0809 ljk bipop jm3
  • Sujet ter0809 ljk casys gj eb
  • Sujet ter0809 ljk edp tm
  • Sujet ter0809 ljk evasion bipop fh fb
  • Sujet ter0809 ljk evasion fh
  • Sujet ter0809 ljk evasion fh2
  • Sujet ter0809 ljk evasion mpc jcl
  • Sujet ter0809 ljk lear rm1
  • Sujet ter0809 ljk mathfi eg
  • Sujet ter0809 ljk mathfi eg2
  • Sujet ter0809 ljk mgmi sm
  • Sujet ter0809 ljk mgmi sm2
  • Sujet ter0809 ljk mgmi vp
  • Sujet ter0809 tima sls fp1
  • Sujet ter0809 tima sls fp2
  • Sujet ter0809 tima sls fp3
  • Sujet ter0809 tima sls fp4
  • Sujet ter0809 tima sls fp5
  • Sujet ter0809 tima sls om
  • Sujet ter0809 timc guiol
  • Sujet ter0809 timc lt
  • Sujet ter0809 timc timb hg
  • Sujet ter0809 verimag dcs mlp mp
  • Sujet ter0809 verimag dcs mlp sb
  • Sujet ter0809 verimag ka cr
  • Sujet ter0809 verimag mm dm
  • Sujet ter0809 verimag sb
  • Sujet ter0809 verimag synchone cr pr
  • Sujet ter0809 verimag synchron mm km
  • Sujet ter0809 verimag synchrone ka mm
  • Sujet ter0809 verimag synchrone mm

T

  • TER-archive-0809
  • Tatiana Curelli - Support système pour l'ordonnancement d'applications synchrones dans les noyaux de systèmes critiques embarqués - Résultats
  • Thibault Lehouillier Codes Identifiants dans les graphes Résultats
  • Thomas Delamé-Déformations 2D par opérateurs morphologiques-resultats
  • Thomas Janssoone-Représentation de connaissances anatomiques à priori dans des modèles géométrique le cas du genou-resultats
  • Thomas Oberlin - Différentes méthodes pour la décomposition modale empirique - Résultats
  • Tir à l'arc pour les aveugles
  • Tomographie médicale multi-résolution en rayonnement synchrotron
  • Traduction binaire dynamique pour QEMU de l'extension SIMD Néon de l'ARMv7
  • Transformation de programmes SystemC vers langage de vérification
  • Travaux d'études et de recherches

U

  • Utilisation des arbres binomiaux pour le pricing des options américaines
  • Utilisation des langages synchrones pour l'analyse de performance modulaire

V

  • Vérification dense de matching d'images

X

  • Xavier Marchal - Construction de courbes 3D à partir de courbes 2D - resultats

Y

  • Yuefei Huang - La recherche opérationnelle dans la finance - Résultats

Z

  • Zorgati Mohamed Bechir Intégration d'un support de contraintes au standard IP-XACT
  • Zorgati Mohamed Bechir Intégration d'uun support de contraintes au standard IP-XACT

É

  • Étude des performances de calcul et de communication du processeur CELL
Récupérée de « http://ensiwiki.ensimag.fr/index.php/Cat%C3%A9gorie:TER »
Catégories : Deuxième Année | Recherche
Affichages
  • Catégorie
  • Discussion
  • Voir le texte source
  • Historique
Outils personnels
  •  
  • Connexion
Actualité
  • Soutenances de PFE
  • Projet système
  • Projets spécialité
  • Lexique franco-anglais
  • Stage Unix de rentrée
  • Projet C
  • Plannings des stages
Navigation
Logo Ensimag
  • Accueil
  • FAQ
  • Mode d'emploi
  • Droit d'auteur
  • Modifications récentes
  • Page au hasard
Boîte à outils
  • Pages liées
  • Suivi des pages liées
  • Pages spéciales
  • Version imprimable
  • Lien historique
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 1 001 fois.
  • Contenu disponible sous Attribution-Share Alike 3.0 Unported.
  • Politique de confidentialité
  • À propos de Ensiwiki
  • Avertissements