Intranet
Vous êtes ici : Accueil → Centre de documentation → Publications de l'Irisa → Thèses

Thèses

Les fichiers des thèses accessibles sur ce site ont été concédés par les doctorants. Seul l'établissement d'inscription du doctorant détient le document originel.

Années : 2010 - 2009 - 2008 - 2007 - 2006 - 2005 - 2004 - 2003 - 2002 - 2001 - 2000 - 1999 - 1998 - 1997 - 1996 - 1995 - 1994 - 1993 - 1992 - 1991

2010

Matthieu Fradet

Contributions à la segmentation de séquences d'images au sens du mouvement dans un contexte semi-automatique

Equipe(s): VISTA

22 Janvier 2010

2009

Renaud Santoro

Vers des générateurs de nombres aléatoires uniformes et gaussiens à très haut débit

Equipe(s): CAIRN

17 Décembre 2009 / 197 pages

Thomas Ropars

Services et protocoles pour l’exécution fiable d’applications distribuées dans les grilles de calcul

Equipe(s): PARIS

11 Décembre 2009 / 172 pages

Yann Glouche

Une méthodologie de spécification et de validation de systèmes hétérogènes fondée sur un modèle de contrats pour la conception des systèmes embarqués

Equipe(s): ESPRESSO

10 Décembre 2009

Eric Petit

Vers un partitionnement automatique d’applications en codelets spéculatifs pour les systèmes hétérogènes à mémoires distribuées

Equipe(s): CAPS

03 Décembre 2009 / 186 pages

Romain Delamare

Analyses automatiques pour le test de programmes orientés aspect

Equipe(s): TRISKELL

02 Décembre 2009 / 141 pages

Gilles Tredan

Structures et systèmes répartis

Equipe(s): ASAP

26 Novembre 2009 / 120 pages

Jérémy Dubreil

Vérification et Synthèse de Contrôleur pour des Propriétés de Confidentialité

Equipe(s): VERTECS

25 Novembre 2009

Emilie Dexter

Modélisation de l’auto-similarité dans les vidéos : Applications à la synchronisation de scènes et à la reconnaissance d’actions

Equipe(s):

24 Novembre 2009 / 198 pages

Van Hoa Nguyen

Traitement parallèle des comparaisons intensives de séquences génomiques

Equipe(s): SYMBIOSE

12 Novembre 2009 / 128 pages

Nguyen-Khang Pham

Analyse factorielle des correspondances pour l'indexation et la recherche d'information dans une grande base de données d'images

Equipe(s): TEXMEX

06 Novembre 2009 / 156 pages

Faten Ben Abdallah Manai

Étude et optimisation de l'interaction processeurs-architectures reconfigurables dynamiquement

Equipe(s): CAIRN

20 Octobre 2009 / 168 pages

Mohamad Muhieddine

Simulation numérique des structures de combustion préhistoriques

Equipe(s): SAGE

16 Octobre 2009 / 166 pages

Damien Martin-Guillerez

Mécanismes de prise de points de reprise opportunistes pour robots mobiles autonomes

Equipe(s): ACES

07 Juillet 2009 / 106 pages

Fabien Servant

Localisation et cartographie simultanées en vision monoculaire et en temps réel basé sur les structures planes

Equipe(s): LAGADIC

18 Juin 2009 / 172 pages

Tuan-Duc Nguyen

Stratégies de MIMO coopératif pour les réseaux de capteurs sans fil contraints en énergie

Equipe(s): CAIRN

15 Mai 2009 / 157 pages

Claire Dune

Localisation et caractérisation d'objets inconnus à partir d'informations visuelles : vers une saisie intuitive pour les personnes en situation de handicap

Equipe(s): LAGADIC

30 Avril 2009 / 222 pages

Alexandre Hervieu

Analyse de trajectoires vidéos à l’aide de modélisations markoviennes pour l’interprétation de contenus

Equipe(s): VISTA

05 Mars 2009 / 254 pages

Olivier Bedel

GEOLIS : Un Système d’information logique pour l’organisation et la recherche de données géolocalisées

Equipe(s): LIS

22 Janvier 2009 / 202 pages

Debmalya Biswas

Visibility in Hierarchical Systems

Equipe(s): DISTRIBCOM

19 Janvier 2009 / 176 pages

Loïc Cudennec

CoRDAGe : un service générique de co-déploiement et redéploiement d’applications sur grilles

Equipe(s): PARIS

15 Janvier 2009 / 177 pages

Années : 2010 - 2009 - 2008 - 2007 - 2006 - 2005 - 2004 - 2003 - 2002 - 2001 - 2000 - 1999 - 1998 - 1997 - 1996 - 1995 - 1994 - 1993 - 1992 - 1991
Annuaire téléphonique  
Mentions légales et crédits