img-logoInriaRennesSoutenances img-logoIrisa

img-jurySoutenanceMihirJain Les soutenances de thèse (PhD Defenses)

Cette page contient un ensemble de soutenances de thèse, présentées successivement au cours des années 2013, 2014, 2015, 2016 au centre Inria de Rennes.

Elle a pour but de permettre aux doctorants eux-mêmes, et aussi, à l'ensemble de la communauté scientifique, d'accéder facilement aux travaux menés au sein de nos équipes de recherche.

A dater de 2014, l'ensemble des soutenances de thèse présentés au centre Inria est systématiquement enregistré.

Année

2016

Equipes

ALF ; ASAP ; CIDRE ; DiverSE ; Druid ; Dionysos ; Hybrid ; IntuiDoc ; Lagadic ; MimeTIC ; Myriads ; Panama ; VIsAGeS

Année

2015

Equipes

ALF ; ADOPNET ; Asap ; CAIRN ; CIDRE ; CELTIQUE ; DiverSE ; DyLISS ; FRVSense ; GenScale ; HYBRID ; Lagadic ; LINKMEDIA ; MimeTIC ; SAGE ; Sumo ; Visages

Année

2014

Equipes

Atnet ; Aces/Tacoma ; Asap ; Cairn ; Celtique ; Dyliss ; DiverSE ; Estasys ; Fluminance ; FRVSense ; Hybrid ; Irisa ; KerData ; Lagadic ; Panama ; Sage ; Serpico img-flecheHaut

 

2016

ALF

Intercepting Functions for Memoization

Arjun Suresh (ALF) - 10th May 2016 img-flecheHaut

ASAP

DATA, LEARNING & PRIVACY in RECOMMENDATION SYSTEMS

Nupur Mittal (ASAP) - November 25th 2016 img-flecheHaut


User Privacy in Collaborative Filtering Systems

Antoine Rault (équipe ASAP) - Jeudi 23 juin 2016 img-flecheHaut

CIDRE
DiverSE

Mining and Modeling Variability from Natural language Documents:
Two Case Studies

Sana Ben Nasr (DiverSE) - 5th April 2016 img-flecheHaut

Druid

Belief relational clustering and its application to community detection

Kuang-Zhou (Druid) - July 5th 2016 img-flecheHaut

Dionysos

Cooperation and Self-* for Small Cells Networks

Btissam Er-Rahmadi (Dionysos) - 15 septembre 2016 img-flecheHaut

Hybrid

Séquencement d’actions en environnement virtuel collaboratif

Guillaume Claude (Hybrid) - 12 juillet 2016 img-flecheHaut

IntuiDoc

Apprentissage actif en-ligne d'un classifieur évolutif, application à la reconnaissance de commandes gestuelles

Manuel Bouillon (IntuiDoc) - Vendredi 18 mars 2016 img-flecheHaut

Lagadic

Quality-Driven Control of a Robotized Ultrasound Probe

Pierre Chatelain - December 12, 2016 img-flecheHaut

Aural servo towards an alternative approach to sound localization for robot motion control

Aly Magassouba (Lagadic) - Monday 5th december 2016 img-flecheHaut

Commande prédictive pour la réalisation de tâches d'asservissement visuel successives

Nicolas Cazy (Lagadic) - 29 novembre 2016 img-flecheHaut

Robust micro and nano manipulation by visual servoing

Le Cui (Lagadic) - January 26th, 2016 img-flecheHaut

MimeTIC

Data-driven Virtual Cinematography

Cunka Bassirou Sanocko (MimeTIC) - 17 février 2016 img-flecheHaut

 

Microscopic Crowd Simulation : Evaluation and Development of Algorithms

David Wolinski (MimeTIC) - January 22nd, 2016 img-flecheHaut

Dictionary Learning for Pattern Classification in Medical Imaging

Hrishikesh Deshpande (VIsAGeS) - 8th July 2016 img-flecheHaut

Performance-Cost Trade-offs in Heterogeneous Clouds

Anca Iordache (Myriads) - Friday 9th September 2016 img-flecheHaut

Panama

Matrices efficientes pour le traitement du siganl et l’apprentissage automatique

Luc Le Magoarou (Panama) - Jeudi 24 novembre 2016 img-flecheHaut

2015

ALF

Increasing the Performance of Superscalar Processors through Value Prediction

Arthur Perais (ALF) - Thursday 24th September 2015 img-flecheHaut

Extraction and Traceability of Annotations for WCET Estimation

Hanbing Li (ALF) - Friday 9th September 2015 img-flecheHaut

ADOPNET

TCP Protocol Optimization for http Adaptive Streaming

Chiheb Ben Ameur (ADOPNET) - 11 décembre 2015 img-flecheHaut

Coordination des interférences intercellulaires dans les réseaux sans-fil

Mohamad Yassin (ADOPNET) - 13 novembre 2015 img-flecheHaut

Asap

Computability Abstractions for Fault-tolerant Asynchronous Distributed Computing

Julien Stainer - (ASAP) - Wednesday 18th march 2015 img-flecheHaut

CAIRN

Enhanced FPGA Architecture and CAD Flow for Efficient Runtime Hardware Reconfiguration

Christophe Huriaux (Cairn) - December 2nd 2015

CIDRE

Réputation et vie privée dans les réseaux dynamiques auto-organisés

Paul Lajoie-Mazenc (CIDRE) - Vendredi 25 septembre 2015 img-flecheHaut

CELTIQUE

Verified Static Analyses for Low-Level Languages

Vincent Laporte (CELTIQUE) - Wednesday 25th November, 2015 img-flecheHaut

DiverSE

Testing and Maintenance of Graphical User Interfaces

Valeria Lelli Leitao Dantas (DiverSE) - Thursday 19th November 2015 img-flecheHaut

Integrating Predictive Analysis in Self-adaptive Pervasive Systems

Ivan Dario Paez Anaya (DiverSE) - Monday 22th September 2015 img-flecheHaut

DyLISS

Réseaux de réactions: de l'analyse probabiliste à la réfutation

Vincent Picard (DyLISS) - Mercredi 16 décembre 2015 img-flecheHaut

Structural fragments: comparison, predictability from sequence and application to identification of viral proteins

Clovis Galiez (DyLISS) - Friday 8th December 2015

FRVSense

Toward more Realism and Robustness in Global Illumination

Adrien Gruson - (FRVSense) - Monday 6th July 2015 img-flecheHaut

GenScale

Concevoir et partager des workflows d’analyse de données. Application aux traitements intensifs en bioinformatique

François Moreews (GenScale) - 11 décembre 2015 img-flecheHaut

HYBRID

Contributions to the Design of Novel Hand-based Interaction Techniques for Virtual Environments

Merwan Achibet (Hybrid) - 14 décembre 2015 img-flecheHaut

Contribution à l’étude de l’utilisation des interfaces cerveau-ordinateur en réalité virtuelle ou augmentée

Jonathan Mercier-Ganady (Hybrid) - 12 octobre 2015 img-flecheHaut

Lagadic

Contributions to Active Visual Estimation and Control of Robotic Systems

Riccardo Spica (Lagadic) - December 11th, 2015 img-flecheHaut

Utilisation of Photometric Moments in Visual Servoing

Manikandan Bakthavatchalam - (Lagadic) - Tuesday 17th march 2015 img-flecheHaut

LINKMEDIA

Création automatique de résumés vidéo par programmation par contraintes

Mohammed Haykel Boukadida (LINKMEDIA) - Vendredi 4 décembre 2015 img-flecheHaut

Semantic structuring of video collection from speech: segmentation and hyperlinking

Anca Simon (LINKMEDIA) - Wednesday 2nd december 2015 img-flecheHaut

MimeTIC

Microscopic Crowd Simulation : Evaluation and Development of Algorithms

David Wolinski (MimeTIC) - January 22nd, 2016 img-flecheHaut

Scheduling Activities Under Spatial Temporal Constraints to Populate Virtual Urban Environments

Carl-Johan Jorgensen - (MimeTIC) - Friday 17th July 2015 img-flecheHaut

Motion Planning and Synthesis for Arbitrary Creatures in Constrained Environments

(S.Tonneau - MimeTIC) - Friday 27th February 2015 img-flecheHaut

SAGE

Contribution to certain physical and numerical Aspects of the Study of the Heat Transfer in a granular medium

Salwa Mansour (SAGE) - Tuesday 8th december 2015

Etude et simulation des processus de diffusion biaisés

Lionel Lenôtre - (SAGE) - Vendredi 27 novembre 2015 img-flecheHaut

Sumo

Parameterized verification of networks of many identical processes

Paulin Fournier (SUMO) - December 17th, 2015

Runtime Enforcement of Timed Properties

(S. Pinisetty - SUMO) - Friday 23rd January 2015 img-flecheHaut

VIsAGeS

 Enhanced representation and learning of magnetic resonance image signatures in multiple sclerosis

Yogesh Karpate (VIsAGeS) - Monday 14th September 2015 img-flecheHaut

2014

Atnet

Joint Minimization of Power and Delay in Wireless Access Networks

(F. Moëty - Atnet) - 4th december 2014 img-flecheHaut

Radio Access Technology Selection in Heterogeneous Wireless Networks

(M. El Helou - Atnet) - 28 novembre 2014 img-flecheHaut

Aces-Tacoma

Self-Describing Objects with Tangible Data Structures

(A. Sinha - Aces - Tacoma) - 28th may 2014 img-flecheHaut

Asap

Harnessing the power of explicit and implicit social networks through decentralization
(A. Jégou - ASAP) - 23rd September 2014 img-flecheHaut

Cairn

Global Power Manager System for Self-Powered Autonomous Wireless Sensor Node

(T. Nhan Le - Cairn) - 4th July 2014 img-flecheHaut

Low-Complexity Parallel Algorithm and Scalable Architecture for Real-Time Coherent Optical OFDM Systems (P. Udupa - Cairn) - 19th June 2014 img-flecheHaut

Celtique

Verified Compilation and Worst case Execution Time Estimation

(A.O. Maroneze - Celtique) - 17th June 2014 img-flecheHaut

Dyliss
Classification and Characterization of Enzymatic Functions using Formal Methods (G. Garret - Dyliss) - 16 décembre 2014 img-flecheHaut

Complétion combinatoire pour la reconstruction de réseaux métaboliques, et application au modèle des algues brunes Ectocarpus siliculosus

(S. Prigent - Dyliss) - 14 novembre 2014 img-flecheHaut

Modelling an RNA interaction network for the prediction of gene functions related to the pea aphid reproduction mode

(V. Wucher - Dyliss) - 3 novembre 2014 img-flecheHaut

Reasoning on the response of logical signaling networks with Answer Set Programming (S. Videla - Dyliss) - 7th July 2014 img-flecheHaut

DiverSE

Test basé sur les modèles appliqué aux lignes de produits

(H. Samih - DiverSE) - 5 décembre 2014 img-flecheHaut

Leveraging model-based product lines for systems engineering

(J. B. Ferreira-Filho - DiverSE) - 3 décembre 2014 img-flecheHaut

Gestion de la variabilité et automatisation des processus de développement logiciel

(E. Rouillé - DiverSE) - 16 avril 2014 img-flecheHaut

Estasys

Rare Event Simulation for statistical Model Checking

(C. Jegourel - Estasys) - 19 novembre 2014 img-flecheHaut

Fluminance
Study of variational Ensemble Methods

Y. Yang (Fluminance) - 16th december 2014 img-flecheHaut

Fluid Flow Control by Visual Servoing

(Xuan-Quy Dao (Fluminance) - 30 septembre 2014 img-flecheHaut

FRVSense

Temporal Coherency in Video Tone Mapping

(R. Boitard - FRVSense) - 16 octobre 2014 img-flecheHaut

Hybrid

Bimanual Haptic interactions with Virtual Environments

(A. Talvas - Hybrid) - 1er décembre 2014 img-flecheHaut

Contribution to the study of haptic feedback for improving the audiovisual experience

(F. Danieau - Hybrid) - 13 février 2014 img-flecheHaut

Irisa

Opacité des artefacts d'un système workflow

(M. Lamine Diouf (Irisa - Lacgaa) - 10 octobre 2014 img-flecheHaut

Caractérisation locale de fautes dans les systèmes large échelle

(R.Ludinard - Irisa) - 2 octobre 2014 img-flecheHaut

KerData

High-Performance Big Data Management Across Cloud Data Centers

(R. Tudoran - KerData) - 10 décembre 2014 img-flecheHaut

Addressing the Challenges of I/O Variability in Post-Petascale HPC Simulations

M. Dorier - KerData - 9 décembre 2014 img-flecheHaut

Lagadic

Contributions to dense visual tracking and visual servoing using robust similarity criteria

(B. Delabarre - Lagadic) - 23rd december 2014 img-flecheHaut

Techniques visuelles pour la détection et le suivi d'objets 2D

(R. Sekkal - Lagadic) - 28 février 2014 img-flecheHaut

Panama

Echantillonnage compressé et réduction de dimension pour l'apprentissage non supervisé

(A. Bourrier - Panama) - 13 mai 2014 img-flecheHaut

A Study on the Integration of Phonetic Landmarks into Large Vocabulary Continuous Speech Decoding

(S. Ziegler - Panama) - 17 janvier 2014 img-flecheHaut

Sage

Les méthodes numériques de transport réactif

(S. Sabit - Sage) - 27 mai 2014 img-flecheHaut

Serpico

Image Processing Methods for Dynamical Intracellular Processes Analysis in Quantitative Fluorescence Microscopy

(P. Roudot - Serpico) - 22 mai 2014 img-flecheHaut


2013

Michele Dominici (projet ACES)

 

 

2016

 
 
img-soutenanceHrishikeshDeshpande2016

Pierre Chatelain - Quality-Driven Control of a Robotized Ultrasound Probe - December 12, 2016

The robotic guidance of an ultrasound probe has been extensively studied as a way to assist sonographers in performing an exam. In particular, ultrasound-based visual servoing methods have been developed to fulfill various tasks, such as compensating for physiological motion, maintaining the visibility of an anatomic target during teleoperation, or tracking a surgical instrument. (read more) img-flecheHaut
 
img-soutenanceAlyMagassoubaInria2016

Aly Magassouba (Lagadic & Panama) - Aural servo towards an alternative approach to sound localization for robot motion control - December 5, 2016

Cette thèse s’intéresse au développement de lois de commande basées sur la perception auditive. Dans le domaine de l'audition robotique, le contrôle du robot à partir d'informations auditives est généralement basé sur des approches de localisation de source sonore. Cependant, la localisation de source en conditions réelles est une tâche complexe à résoudre. (Lire la suite) img-flecheHaut
 
img-soutenanceHrishikeshDeshpande2016

Nicolas Cazy (Lagadic) - Commande prédictive pour la réalisation de tâches d'asservissement visuel successives - 29 novembre 2016

On rencontre aujourd’hui la vision par ordinateur employée pour la réalisation de nombreuses applications de la robotique moderne. L’un des axes de recherche actuel qui tend à améliorer ces systèmes est centré sur la commande. L’objectif est de proposer des schémas de commande originaux permettant de lier efficacement les informations mesurées par les capteurs de vision aux actions que l’on souhaite réaliser avec les robots. (Lire la suite) img-flecheHaut
 
img-soutenanceHrishikeshDeshpande2016

Nupur Mittal (ASAP) - DATA, LEARNING & PRIVACY in RECOMMENDATION SYSTEMS - November 25th 2016

Les systèmes de recommandation sont devenus une partie indispensable des services et des applications d'internet, en particulier dû à la surcharge de données provenant de nombreuses sources. Quel que soit le type, chaque système de recommandation a des défis fondamentaux à traiter. Dans ce travail, nous identifions trois défis communs, rencontrés par tous les types de systèmes de recommandation : les données, les modèles d'apprentissage et la protection de la vie privée. (Lire la suite) img-flecheHaut
 
img-soutenanceHrishikeshDeshpande2016

Luc Le Magoarou (Panama) - Matrices efficientes pour le traitement du siganl et l’apprentissage automatique - Jeudi 24 novembre 2016 img-flecheHaut

Les matrices, en tant que représentations des applications linéaires en dimension finie, jouent un rôle central en traitement du signal et des images et en apprentissage automatique. L'application d'une matrice de rang plein à un vecteur implique a priori un nombre d'opérations arithmétiques de l'ordre du nombre d'entrées non-nulles que contient la matrice. (Lire la suite)
 
img-soutenanceHrishikeshDeshpande2016

Btissam Er-Rahmadi (Dionysos) - Cooperation and Self-* for Small Cells Networks - September 15th 2016 img-flecheHaut

La croissance phénoménale du trafic motive les opérateurs mobiles à différencier leurs plans de tarification en se basant sur la bande passante consommée. Afin de maximiser la monétisation du trafic de données, les opérateurs devront envisager des approches plus intelligentes tout en améliorant leurs réseaux actuels ou déployant de nouvelles infrastructures. (Lire la suite)
 
img-soutenanceHrishikeshDeshpande2016

Anca Iordache (Myriads) - Performance-Cost Trade-offs in Heterogeneous Clouds - September 9th 2016 img-flecheHaut

Les infrastructures de cloud fournissent une grande variété de ressources de calcul à la demande avec différents compromis coût-performance. Cela donne aux utilisateurs des nombreuses opportunités pour exécuter leurs applications ayant des besoins complexes en ressources, à partir d’un grand nombre de serveurs avec des interconnexions à faible latence jusqu’à des dispositifs spécialisés comme des GPUs et des FPGAs. (Lire la suite)
 
img-soutenanceHrishikeshDeshpande2016

Guillaume Claude (Hybrid) - Séquencement d’actions en environnement virtuel collaboratif - 12 juillet 2016 img-flecheHaut

Un environnement virtuel interactif à lui seul ne permet pas de répondre à tous les besoins liés à son utilisation. Dans le cadre de la formation par Réalité Virtuelle, un cadrage de l’activité de l’apprenant est important pour offrir une formation efficace. Le problème est le même dans les fictions interactives : seul, l’environnement n’offre qu’un intérêt limité. (Lire la suite)
 
img-soutenanceHrishikeshDeshpande2016

Hrishikesh Deshpande (VIsAGeS) - Dictionary Learning for Pattern Classification in Medical Imaging - 8th July 2016 img-flecheHaut

La plupart des signaux naturels peuvent être représentés par une combinaison linéaire de quelques atomes dans un dictionnaire. Ces représentations parcimonieuses et les méthodes d'apprentissage de dictionnaires (AD) ont suscité un vif intérêt au cours des dernières années. Bien que les méthodes d'AD classiques soient efficaces dans des applications telles que le débruitage d'images, plusieurs méthodes d'AD discriminatifs ont été proposées pour obtenir des dictionnaires mieux adaptés à la classification. (Lire la suite)
 
img-soutenancemanikandanBakthavatchalam2015

Kuang Zhou (Druid) - Belief relational clustering and its application to community detection - July 5th 2016

Clustering, also called unsupervised learning, is an important technique in the field of data mining. According to the type of data sets, clustering algorithms can be divided into two kinds. One is for  object data in the distance space, where the objects to be clustered are described by feature vectors. The other is for proximity data, where only the relationship values such as similarities or dissimilarities between objects are known. (Read more)

img-flecheHaut

 
img-soutenancemanikandanBakthavatchalam2015

Antoine Rault (ASAP) - User Privacy in Collaborative Filtering Systems - 23 juin 2016 img-flecheHaut

Les systèmes de recommandation essayent de déduire les intérêts de leurs utilisateurs afin de leurs suggérer des items pertinents. Ces systèmes offrent ainsi aux utilisateurs un service utile car ils filtrent automatiquement les informations non-pertinentes, ce qui évite le problème de surcharge d’information qui est courant de nos jours. (Lire la suite)
 
img-soutenancemanikandanBakthavatchalam2015

Julien Lolive (CIDRE) - Entrelacement des mécanismes d’identification et de respect de la vie privée pour la protection des contenus externalisés - 13 mai 2016 img-flecheHaut

Depuis la démocratisation d'Internet, la diffusion de contenus numériques protégés par des droits d'auteur (films, photos, ...) s'est accrue de manière importante, en particulier avec les réseaux pairs-à-pair qui permettent de partager des contenus facilement. D'un côté, cette situation pose problème aux ayants droit de ces contenus qui veulent contrôler leur diffusion et dissuader les potentiels contrevenants. (Lire la suite)
 
img-soutenancemanikandanBakthavatchalam2015

Arjun Suresh (ALF) - Intercepting Functions for Memoization - 10th May 2016 img-flecheHaut

Nous avons proposé des mécanismes pour mettre en œuvre la mémoïsation de fonction au niveau logiciel dans le cadre de nos efforts pour améliorer les performances du code séquentiel. Nous avons analysé le potentiel de la mémoïsation de fonction sur des applications et le gain de performance qu'elle apporte sur des architectures actuelles. (Lire la suite)
 
img-soutenancemanikandanBakthavatchalam2015

Sana Ben Nasr (DiverSE) - Mining and Modeling Variability from Natural Language Documents: Two Case Studies - April, 5th 2016 img-flecheHaut

L'analyse du domaine vise à identifier et organiser les caractéristiques communes et variables dans un domaine. Dans la pratique, le coût initial et le niveau d'effort manuel associés à cette analyse constituent un obstacle important pour son adoption par de nombreuses organisations qui ne peuvent en bénéficier. (Lire la suite)
 
img-soutenancemanikandanBakthavatchalam2015

Cérès Carton (IntuiDoc) - Inférence semi-automatique et interactive de règles avec ou sans vérité terrain pour la reconnaissance de structure de documents - Mercredi 23 mars 2016 img-flecheHaut

Les documents à traiter dans le domaine de l'analyse de la structure de documents sont de plus en plus complexes et les corpus de plus en plus hétérogènes. Nous proposons une nouvelle méthode, la méthode Eyes Wide Open (EWO) pour introduire une phase d'apprentissage semi-automatique et interactive dans la construction de descriptions grammaticales. (Lire la suite)
 
img-soutenancemanikandanBakthavatchalam2015

Manuel Bouillon (IntuiDoc) - Apprentissage actif en-ligne d'un classifieur évolutif, application à la reconnaissance de commandes gestuelles - Vendredi 18 mars 2016 img-flecheHaut

L'utilisation de commandes gestuelles est une nouvelle méthode d'interaction sur interface tactile.
Une bonne méthode pour faciliter la mémorisation de ces commandes gestuelles est de laisser l'utilisateur les personnaliser. (Lire la suite)
 
img-soutenanceLeCui26janvier2016

Cunka Bassirou Sanocko (MimeTIC) - Data-driven Virtual Cinematography

- February 17th, 2016 img-flecheHaut

Le contrôle automatique de caméra est un composant essentiel en cinématographie virtuelle à la fois pour la sélection des points de vue appropriés dans une scène 3D ou pour passer en revue efficacement le contenu d'un environnement 3D. Les applications de cinématographie virtuelle reposent sur des critères réalisme afin de provoquer un impact positif chez le spectateur. Dans cette thèse, nous présentons deux contributions. (Lire la suite)
 
img-soutenanceLeCui26janvier2016

Le Cui (Lagadic) - Robust micro and nano manipulation by visual servoing

- January 26th, 2016 img-flecheHaut

 
img-soutenanceHanbingLI9septembre2015

David Wolinski (MimeTIC) - Microscopic Crowd Simulation : Evaluation and Development of Algorithms - January 22nd, 2016

Dû au grand intérêt porté à la simulation de foules, beaucoup d'algorithmes ont été et sont encore proposés.

Toutefois, (1) il n'existe pas de méthode standard pour évaluer le réalisme et la flexibilité de ces algorithmes, et (2) même les algorithmes les plus récents produisent encore des artéfacts évidents.

Abordant la première question, nous proposons une méthode visant à évaluer le réalisme des algorithmes de simulation de foules d'une manière objective et impartiale. (Lire la suite) img-flecheHaut

2015

 
img-soutenanceHanbingLI9septembre2015

Paulin Fournier (SUMO) - Parameterized verification of networks of many identical processes - December 17th, 2015

Ce travail s'inscrit dans le cadre de la vérification formelle de programmes. La vérification de modèle permet de s'assurer qu'une propriété est vérifiée par le modèle du système. Cette thèse étudie la vérification paramétrée de réseaux composés d'un nombre non borné de processus identiques où le nombre de processus est considéré comme un paramètre. (Lire la suite) img-flecheHaut
img-soutenanceHanbingLI9septembre2015

Vincent Picard (DyLISS) - Réseaux de réactions: de l'analyse probabiliste à la réfutation - 16 décembre 2015

L’étude de la dynamique des réseaux de réactions est un enjeu majeur de la biologie des systèmes. Cela peut-être réalisé de deux manières : soit de manière déterministe à l’aide d’équations différentielles, soit de manière probabiliste à l’aide de chaînes de Markov. Dans les deux cas, un problème majeur est celui de la détermination des lois cinétiques impliquées et l’inférence de paramètres cinétiques associés. Pour cette raison, l’étude directe de grands réseaux de réactions est impossible. (Lire la suite) img-flecheHaut
img-soutenanceHanbingLI9septembre2015

Merwan Achibet (Hybrid) - Contributions to the Design of Novel Hand-based Interaction Techniques for Virtual Environments - December 14th, 2015

Faire directement usage de nos mains pour explorer des environnements virtuels et interagir avec leur contenu permet une interaction à la fois naturelle et convaincante. Dans cette thèse, nous visons à améliorer l'interaction avec les mains dans le contexte de la Réalité Virtuelle en abordant deux principaux défis : (1) faciliter le contrôle de modèles de mains articulées et (2) fournir des sensations haptiques au travers d'interfaces accessibles. (Lire la suite) img-flecheHaut
img-soutenanceHanbingLI9septembre2015

Chiheb Ben Ameur (Adopnet) - TCP Protocol Optimization for http Adaptive Streaming - December 11th, 2015

Le streaming adaptatif sur HTTP, désigné par HAS, est une technique de streaming vidéo largement déployée sur Internet. Elle utilise TCP comme protocole de transport. Elle consiste à segmenter la vidéo stockée sur un serveur web en petits segments indépendants de même durée de lecture et transcodés à plusieurs niveaux de qualité, désignés par "chunks". (Lire la suite) img-flecheHaut
img-soutenanceHanbingLI9septembre2015

Riccardo Spica (Lagadic) - Contributions to Active Visual Estimation and Control of Robotic Systems - December 11th, 2015

Le processus de projection du monde 3D sur l’image acquise par une caméra provoque une ambiguïté d'échelle sur le rapport entre taille et profondeur. L'échelle peut être récupérée à l'aide de plusieurs images prises sous plusieurs points de vue (connus) de la caméra. (Lire la suite) img-flecheHaut
img-soutenanceHanbingLI9septembre2015

François Moreews (GenScale) - Concevoir et partager des workflows d’analyse de données. Application aux traitements intensifs en bioinformatique - Vendredi 11 décembre 2015

Dans le cadre d’une démarche d’Open science, nous nous intéressons aux systèmes de gestion de workflows (WfMS) scientifiques et à leurs applications pour l’analyse de données intensive en bioinformatique. Nous partons de l’hypothèse que les WfMS peuvent évoluer pour devenir des plates-formes pivots capables d’accélérer la mise au point et la diffusion de méthodes d’analyses innovantes. (lire la suite) img-flecheHaut
img-soutenanceHanbingLI9septembre2015

Clovis Galiez (DyLISS) - Structural fragments: comparison, predictability from sequence and application to identification of viral proteins - Tuesday 8th december 2015

This thesis investigates the local characterization of protein families at both structural and sequential level. A formal framework is introduced to describe local relationships between the primary and tertiary structure of proteins. (Read more) img-flecheHaut
img-soutenanceHanbingLI9septembre2015

Salwa Mansour (SAGE) - Contribution to Certain Physical and Numerical Aspects of the Study of the Heat Transfer in a Granular Medium - Tuesday 8th december 2015

L'étude du transfert de chaleur et de masse dans les milieux poreux saturés et insaturés fortement chauffés à leur surface possèdent de nombreuses applications, notamment en archéologie, en agriculture et en géothermie. (lire la suite) img-flecheHaut
img-soutenanceHanbingLI9septembre2015

Mohammed Haykel Boukadida (LINKMEDIA) - Création automatique de résumés vidéo par programmation par contraintes - Vendredi 4 décembre 2015

Cette thèse s’intéresse à la création automatique de résumés de vidéos. L’idée est de créer de manière adaptative un résumé vidéo qui prenne en compte des règles définies sur le contenu audiovisuel d’une part, et qui s’adapte aux préférences de l’utilisateur d’autre part. Nous proposons une nouvelle approche qui considère le problème de création automatique de résumés sous forme d’un problème de satisfaction de contraintes. (lire la suite) img-flecheHaut
img-soutenanceHanbingLI9septembre2015

Christophe Huriaux (CAIRN Lannion) - Enhanced FPGA Architecture and CAD Flow for Efficient Runtime Hardware Reconfiguration - Wednesday 2nd december 2015

Avec l’introduction de capacités d’auto-reconfiguration dans les FPGAs (Field-Programmable Gate Arrays), de nouveaux domaines de recherche ont émergé autour du placement dynamique de modules matériels à l’exécution. Les architectures com­merciales disponibles et les outils ont évolué pour fournir des flots de reconfiguration partielle aboutis qui sont toutefois limités dans leurs fonctionnalités. L’objectif principal des travaux de cette thèse est de proposer de nouvelles approches pour faciliter une gestion en ligne flexible d’accélérateurs matériels dans les FPGAs, à la fois au niveau de l’évolution de son architecture et de son flot de conception. (Lire la suite) img-flecheHaut
img-soutenanceHanbingLI9septembre2015

Anca Simon (LINKMEDIA) - Semantic structuring of video collection from speech: segmentation and hyperlinking - Wednesday 2nd december 2015

Au cours des dernières années, de nouveaux challenges ont émergé avec la transformation très significative du paysage audiovisuel due à l'émergence de la télévision sur Internet. La décision de ce qui est regardé et dans quel ordre n'appartient en effet plus à la chaîne TV concernée mais à l'utilisateur. (lire la suite) img-flecheHaut
img-soutenanceHanbingLI9septembre2015

Lionel Lenôtre (SAGE) - Etude et simulation des processus de diffusion biaisés - Vendredi 27 novembre 2015

Nous considérons les processus de diffusion biaisés et leur simulation. Notre étude se divise en quatre parties et se concentre majoritairement sur les processus à coefficients constants par morceaux dont les discontinuités se trouvent le long d'un hyperplan simple. (lire la suite) img-flecheHaut
img-soutenanceHanbingLI9septembre2015

Vincent Laporte (CELTIQUE) - Verified Static Analyses for Low-Level Languages - Mercredi 25 novembre 2015

L’analyse statique des programmes permet d’étudier les comportements possibles des programmes sans les exécuter. Les analyseurs statiques sont employés par exemple pour garantir que l’exécution d’un programme ne peut pas produire d’erreurs. Ces outils d’analyse étant eux-mêmes des programmes, ils peuvent être incorrects. (lire la suite) img-flecheHaut
img-soutenanceHanbingLI9septembre2015

Valeria Lelli Leitao Dantas (DiverSE) - Testing and Maintenance of Graphical User Interfaces - Jeudi 19 novembre 2015

La communauté du génie logiciel porte depuis ses débuts une attention spéciale à la qualité et la fiabilité des logiciels. De nombreuses techniques de test logiciel ont été développées pour caractériser et détecter des erreurs dans les logiciels. Les modèles de fautes identifient et caractérisent les erreurs pouvant affecter les différentes parties d’un logiciel. (lire la suite) img-flecheHaut
img-soutenanceHanbingLI9septembre2015

Mohamad Yassin (ADOPNET) - Coordination des interférences intercellulaires dans les réseaux sans-fil - Vendredi 13 novembre 2015

Les réseaux mobiles doivent répondre aux besoins croissants en débit et en qualité de service, tout en améliorant l’efficacité énergétique, l’efficacité spectrale et la capacité du système. Par conséquent, la gestion de l’allocation des ressources radio et des puissances de transmission s’avère un avantage, voire une nécessité (lire la suite). img-flecheHaut
img-soutenanceHanbingLI9septembre2015

Jonathan Mercier-Ganady (HYBRID) - Contribution à l’étude de l’utilisation des interfaces cerveau-ordinateur en réalité virtuelle ou augmentée - Lundi 12 octobre 2015

L'objectif de cette thèse est d'étudier l'utilisation d'Interfaces Cerveau-Ordinateur (ICOs) au sein de la Réalité Virtuelle (RV) et de la Réalité Augmentée (RA). Notre but est d'évaluer la compatibilité entre les systèmes basés sur une ICO et la RV/RA, de concevoir de nouveaux outils pour la visualisation de l'activité cérébrale basée sur la RV/RA, et finalement de proposer de nouveaux usages pour les ICOs, plus particulièrement en combinaison avec des vêtements intelligents (lire la suite). img-flecheHaut
img-soutenanceHanbingLI9septembre2015

Hanbing Li (ALF) - Extraction and Traceability of Annotations for WCET Estimation - Friday 9th October 2015

Les systèmes temps-réel devenaient omniprésents, et jouent un rôle important dans notre vie quotidienne. Pour les systèmes temps-réel dur, calculer des résultats corrects n’est pas la seule exigence, ils doivent de surcroît être produits dans in intervalle de temps borné. (Read more) img-flecheHaut
img-soutenanceThesePaulLajoieMazenc25septembre2015

Paul Lajoie-Mazenc (CIDRE) - Réputation et vie privée dans les réseaux dynamiques auto-organisés - Vendredi 25 septembre 2015

Les mécanismes de réputation sont des outils très utiles pour inciter des utilisateurs ne se connaissant pas à se faire confiance, en récompensant les bons comportements et, inversement, en pénalisant les mauvais. Cependant, pour que la réputation des fournisseurs de service soit précise et robuste aux attaques, les mécanismes de réputation existants requièrent de nombreuses informations qui menacent la vie privée des utilisateurs ; par exemple, il est parfois possible de traquer les interactions effectuées par les clients (Lire la suite). img-flecheHaut
img-soutenanceArthurPerais2015

Arthur Perais (ALF) - Increasing the Performance of Superscalar Processors through Value Prediction - Thursday 24th September 2015

Bien que les processeurs actuels possèdent plus de 10 cœurs, de nombreux programmes restent purement séquentiels. Cela peut être dû à l'algorithme que le programme met en œuvre, au programme étant vieux et ayant été écrit durant l'ère des uni-processeurs, ou simplement à des contraintes temporelles, car écrire du code parallèle est notoirement long et difficile. (Lire la suite) img-flecheHaut
img-soutenanceIvanDarioPaezAnaya22sept2015

Ivan Dario Paez Anaya (DiverSE) - Integrating Predictive Analysis in Self-adaptive Pervasive Systems - Monday 22th September 2015

Currently, systems are required to dynamically adapt themselves to new situations in order to maximize performance and availability. Pervasive systems run in complex and heterogeneous environments using resource constrained devices where arising events may compromise the quality of the system. (Read more) img-flecheHaut
img-soutenanceTheseYogeshKarpate2015

Yogesh Karpate (EPI VIsAGeS) - Enhanced representation and learning of magnetic resonance image signatures in multiple sclerosis - Monday 14th September 2015

La sclérose en plaques (SEP) est une maladie auto-immune inflammatoire du jeune adulte causant des handicaps variables et progressifs irréversibles. Cette maladie est présente de manière prépondérante dans l’hémisphère nord. Cette thèse s’attache à la caractérisation et à la modélisation de signatures IRM multimodales des lésions de sclérose en plaques. (Lire la suite) img-flecheHaut
img-soutenanceTheseCJJorgensen2015

Carl-Johan Jorgensen (MIMETIC) - Scheduling Activities Under Spatial Temporal Constraints to Populate Virtual Urban Environments - Friday 17th July 2015

Certaines applications, telles que la validation d’environnements urbains, nécessitent la génération de flux réalistes dans les foules virtuelles. Ces flux résultent de la somme des comportements individuels des piétons dans l’environnement. Ces comportements dépendent principalement des activités que les individus ont l'intention de réaliser, des lieux où ils ont l'intention de les exécuter et à quel moment. Ces décisions reposent sur de multiples paramètres, tels que la structure et la nature de l'environnement, les contraintes temporelles et spatiales associées aux activités des individus ainsi que les caractéristiques personnelles et préférences de ces derniers.. (Read more) img-flecheHaut
img-soutenanceTheseAdrienGruson2015

Adrien Gruson (FRVSense) - Toward more Realism and Robustness in Global Illumination - Monday 6th July 2015

L'un des buts principaux de la synthèse d'image est de générer une image en adéquation avec les attentes de l’utilisateur. Pour ce faire, l'utilisateur doit passer par plusieurs étapes. La première, dite « Moteur de rendu », a pour but de simuler de façon précise les différentes interactions lumineuses avec les objets d'une scène 3D. A l'issue de cette étape, l'utilisateur aura à sa disposition une image décrite par des grandeurs photométriques. (Read more) img-flecheHaut
img-soutenanceJulienStainer2015

Julien Stainer (ASAP) - Computability Abstractions for Fault-tolerant Asynchronous Distributed Computing - Wednesday 18th march 2015

This thesis studies computability in systems composed of multiple computers exchanging messages or sharing memory. The considered models take into account the possible failure of some of these computers, as well as variations in time and heterogeneity of their execution speeds. (Read more) img-flecheHaut
 
img-soutenancemanikandanBakthavatchalam2015

Manikandan Bakthavatchalam (Lagadic) - Utilisation of Photometric Moments in Visual Servoing - Tuesday 17th march 2015

Cette thèse s'intéresse à l'asservissement visuel, une technique de commande à partir d'informations visuelles permettant de contrôler le mouvement de systèmes équipés de caméras tels que des robots. (lire la suite) img-flecheHaut
 
img-soutenanceSteveTonneau

Steve Tonneau (MimeTIC) - Motion Planning and Synthesis for Arbitrary Creatures in Constrained Environments - Friday 27th February 2015

Avec la complexité croissante des environnements virtuels apparaît le besoin de doter les personnages qui les peuplent d'une plus grande autonomie de mouvement. En plus de marcher, courir et sauter, les simulations interactives actuelles requièrent des personnages qu'ils rampent, escaladent, poussent ou tirent des objets... (lire la suite) img-flecheHaut
 
img-soutenanceSrinivasPinisetty2015

Srinivas Pinisetty (SUMO) - Runtime Enforcement of Timed Properties Enforcement à l'Exécution de Propriétés Temporisées - Friday 23rd January 2015

Runtime enforcement is a verification/validation technique aiming at correcting possibly incorrect executions of a system of interest. It is a powerful technique to ensure that a running system satisfies some desired properties. Using an enforcement monitor, an (untrustworthy) input execution (in the form of a sequence of events) is modified into an output sequence that complies with a property. Over the last decade, runtime enforcement has been mainly studied in the context of untimed properties. (Read more) img-flecheHaut

2014

 
 
img-soutenancetheseBertrandDelebarre

Bertrand Delabarre (Lagadic) - Contributions to dense visual tracking and visual servoing using robust similarity criteria - Tuesday 23rd december 2014

Dans cette thèse, nous traitons les problèmes de suivi visuel et d'asservissement visuel, qui sont des thèmes essentiels dans le domaine de la vision par ordinateur. La plupart des techniques de suivi et d’asservissement visuel présentes dans la littérature se basent sur des primitives géométriques extraites dans les images pour estimer le mouvement présent dans la séquence. (Lire l'intégralité du résumé) img-flecheHaut
 
img-soutenanceYinYang2014

Yin Yang (Fluminance) - Study of variational Ensemble Methods - 16th december 2014

Les méthodes hybrides combinant les méthodes de 4D variationnelles et le filtre de Kalman d’ensemble fournissent un cadre flexible. Dans ce cadre, les avantages potentiels par rapport à chaque méthode peuvent être conservé. (Lire l'intégralité du résumé) img-flecheHaut
 
img-soutenanceGaelleGaret

Gaëlle Garet ( DyLISS) -  Classification and Characterization of Enzymatic Functions using Formal Methods - 16 décembre 2014

Cette thèse propose une nouvelle approche de découverte de signatures de familles (et superfamilles) d'enzymes. Dans un premier temps, étant donné un échantillon aligné de séquences appartenant à une même famille, cette approche infère des grammaires algébriques caractérisant cette famille. (Lire l'intégralité du résumé) img-flecheHaut
 
img-soutenanceRaduTudoran

Radu Tudoran (KerData) - High-Performance Big Data Management Across Cloud Data Centers - 10 décembre 2014

La puissance de calcul facilement accessible offerte par les infrastructures clouds, couplés à la révolution du "Big Data", augmentent l'échelle et la vitesse auxquelles l'analyse des données est effectuée. Les ressources de cloud computing pour le calcul et le stockage sont répartis entre plusieurs centres de données de par le monde. (lire l'intégralité du résumé) img-flecheHaut
 
img-soutenanceTheseMatthieuDorier

Matthieu Dorier (KerData) - Addressing the Challenges of I/O Variability
in Post-Petascale HPC Simulations
- 9 décembre 2014

Les machines dépassant le million de cœurs sont devenues une réalité avec Sequoia, un supercalculateur mis en production à LLNL en 2012. D'après la loi de Moore, les machines exaflopiques (capable d'exécuter 10^18 opérations par seconde) sont attendues pour 2018. (lire l'intégralité du résumé) img-flecheHaut
 
img-soutenanceHamzaSamih2014

Hamza Samih (DiverSE) - Test basé sur les modèles appliqué aux lignes de produits - 5 décembre 2014

L'ingénierie des lignes de produits est une approche utilisée pour développer une famille de produits. Ces produits partagent un ensemble de points communs et un ensemble de points de variation. Aujourd'hui, la validation est une activité disjointe du processus de développement des lignes de produits (lire l'intégralité du résumé). img-flecheHaut
 
img-soutenanceFarahMoety2014

Farah Moëty (Atnet) - Joint Minimization of Power and Delay in Wireless Access Networks - 4th december 2014

Dans les réseaux d'accès sans fil, l'un des défis les plus récents est la réduction de la consommation d'énergie du réseau, tout en préservant la qualité de service perçue par les utilisateurs finaux. Cette thèse propose des solutions à ce problème difficile considérant deux objectifs, l'économie d'énergie et la minimisation du délai de transmission. (Read more) img-flecheHaut
 
img-FerreiraFilhosoutenancethese2014

Joao Bosco Ferreira-Filho (DiverSE) - Leveraging model-based product lines for systems engineering - 3 décembre 2014

Actuellement, de nombreuses entreprises ont besoin de construire des versions\variantes légèrement différentes d'un même système. Ces versions partagent des points communs et des différences, le tout pouvant être géré à l'aide d’une approche ligne de produits (SPL). (Lire la suite) img-flecheHaut
 
img-soutenanceAnthonyTalvas2014

Anthony Talvas (Hybrid) - Bimanual Haptic interactions with Virtual Environments - 1er décembre 2014

En Réalité Virtuelle (RV), le sens haptique est utilisé pour accroître l’immersion d’un utilisateur dans un Environnement Virtuel (EV) avec lequel il interagit en temps réel. Dans cette thèse, nous proposons des contributions pour améliorer l’interaction à deux mains en interaction haptique avec des EV (read more). img-flecheHaut
 
img-MelhemElHelouSoutenanceThese2014

Melhem El Helou (ATNET) - Radio Access Technology Selection in Heterogeneous Wireless Networks - 28 novembre 2014

To cope with the rapid growth of mobile broadband traffic, various radio access technologies (e.g., HSPA, LTE, WiFi, and WiMAX) are being integrated and jointly managed. (read more) img-flecheHaut
 
img-soutenancetheseCyrilleJegourel2014

Cyrille Jégourel (Estasys) - Rare Event Simulation for statistical Model Checking - 19 novembre 2014

Dans cette thèse, nous considérons deux problèmes auxquels le model checking statistique doit faire face. Le premier concerne les systèmes hétérogènes qui introduisent complexité et non-déterminisme dans l'analyse. Le second problème est celui des propriétés rares, difficiles à observer et donc à quantifier. img-flecheHaut
 
img-soutenanceTheseSylvainPrigent2014

Sylvain Prigent (DyLISS) - Complétion combinatoire pour la reconstruction de réseaux métaboliques, et application au modèle des algues brunes Ectocarpus siliculosus - 14 novembre 2014

Durant cette thèse, nous nous sommes attachés au développement d'une méthode globale de création de réseaux métaboliques chez des espèces biologiques non classiques pour lesquelles nous possédons peu d'informations. Classiquement cette reconstruction s'articule en trois points : la création d'une ébauche métabolique à partir d'un génome, la complétion du réseau et la vérification du résultat obtenu. img-flecheHaut
 
img-soutenanceValentinWucher-3novembre2014

Valentin Wucher (DyLISS) - Modelling an RNA interaction network for the prediction of gene functions related to the pea aphid reproduction mode - 3 novembre 2014

Cette thèse cherche à discriminer au niveau génomique entre le développement d’embryons vers un mode de reproduction sexué et le développement vers un mode asexué chez le puceron du pois, Acyrthosiphon pisum. img-flecheHaut
 
img-RonanBoitard-soutenanceThese16octobre2014

Ronan Boitard (FRVSense) - Temporal Coherency in Video Tone Mapping - 16 octobre 2014

L’un des buts principaux de l’imagerie numérique est, d’une part, la capture et, d’autre part, la reproduction de scènes réelles ou synthétiques sur des dispositifs d’affichage aux capacités restreintes. Les techniques d’imagerie traditionnelles sont limitées par la gamme de luminance qu’elles peuvent capturer et afficher. img-flecheHaut
 
img-MohamadouLamineDiouf-soutenncethese10octobre2014

Mohamadou Lamine Diouf (Irisa - Lacgaa) - Opacité des artefacts d'un système workflow - 10 octobre 2014

Une propriété d’un objet est dite opaque pour un observateur si celui-ci ne peut déduire que la propriété est satisfaite sur la base de l’observation qu’il a de cet objet. Supposons qu’un certain de nombre de propriétés (appelées secrets) soient attachées à chaque intervenant d’un système, nous dirons alors que le système lui-même est opaque si chaque secret d’un observateur lui est opaque : il ne peut percer aucun des secrets qui lui ont été attachés. img-flecheHaut
 
img-Romaricludinard-soutenance2oct2014

Romaric Ludinard (Irisa) - Caractérisation locale de fautes dans les systèmes large échelle - 2 octobre 2014

Internet est un réseau de réseaux permettant la mise en oeuvre de divers services consommés par les utilisateurs.
Malheureusement, chacun des éléments présents dans le réseau ou impliqués dans ces services peut potentiellement exhiber des défaillances. img-flecheHaut

 

img-XuanQuyDao-soutenanceThese30sept2014

Xuan-Quy Dao (Fluminance) - Fluid Flow Control by Visual Servoing - 30 septembre 2014

Cette thèse a pour but l’étude de la mise en œuvre de commandes par asservissement visuel pour le contrôle actif d’un écoulement de Poiseuille. Une des situations d’intérêt concerne par exemple la transition vers la turbulence où l'écoulement peut devenir turbulent avec la croissance de sa densité d'énergie cinétique. img-flecheHaut
 
img-ArnaudJegouSoutenanceThese2014

Arnaud Jégou (ASAP) - Harnessing the power of explicit and implicit social networks through decentralization - 23rd September 2014

La personnalisation de contenu est devenue une fonctionnalité cruciale sur Internet, car elle aide les utilisateurs à filtrer le contenu qu'ils ne trouvent pas intéressant. Ces systèmes, généralement centralisés, ont besoin de collecter une grande quantité de données sur les utilisateurs pour fournir un service efficace. img-flecheHaut
 
img-soutenanceSantiagoVidela

Santiago Videla (DyLISS) - Reasoning on the response of logical signaling networks with Answer Set Programming - 7th July 2014

Deciphering the functioning of biological networks is one of the central tasks in systems biology. In particular, signal transduction networks are crucial for the understanding of the cellular response to external and internal perturbations. img-flecheHaut
 
img-soutenanceTrongNhanLe

Trong Nhan Le (Cairn) - Global Power Manager System for Self-Powered Autonomous Wireless Sensor Node - 4th July 2014 img-flecheHaut

Pramod Udupa (Cairn) - Low-Complexity Parallel Algorithm and Scalable Architecture for Real-Time Coherent Optical OFDM Systems - 19th June 2014

Les systèmes de communications optiques à très haut débit sont construits à partir des techniques de pointe pour la détection, la modulation et la compensation de dispersion tels que, la détection cohérente, les modulations multi-porteuses orthogonales (OFDM) et la compensation électronique des dispersions (EDC). img-flecheHaut
img-PramodUdupaSoutenance19juin2014
img-soutenanceAndreMaroneze17juin2014

Andre Oliveira Maroneze (CELTIQUE) - Verified Compilation and Worst case Execution Time Estimation - 17th June 2014

Les systèmes informatiques critiques - tels que les commandes de vol électroniques et le contrôle des centrales nucléaires - doivent répondre à des exigences strictes en termes de sureté de fonctionnement. img-flecheHaut

 

img-soutenanceArnabSinha2014

Arnab Sinha (ACES -TACOMA) - Self-Describing Objects with Tangible Data Structures - 28th may 2014

L’informatique ubiquitaire, ou informatique omniprésente, a pour but l’intégration de systèmes d’information dans l’environnement de façon aussi transparente que possible pour l’utilisateur. Elle permet aux systèmes d’information d’être directement couplés aux activités physiques ayant lieu dans l’environnement. img-flecheHaut

 

img-soutenance'SouhilaSabit2014

Souhila Sabit (SAGE) - Les méthodes numériques de transport réactif - 27 mai 2014

La modélisation du transport réactif du contaminants en milieu poreux est un problème complexe cumulant les difficultés de la modélisation du transport avec celles de la modélisation de la chimie et surtout du couplage entre les deux. img-flecheHaut

 

img-soutenancePhilippeRoudot2014

Philippe Roudot (SERPICO) - Image Processing Methods for Dynamical Intracellular Processes Analysis in Quantitative Fluorescence Microscopy - 22 mai 2014

We present two projects involved in the quantification of dynamical intracellular processes in fluorescence microscopy. img-flecheHaut

 

img-soutenanceAnthonyBourrier2014

Anthony Bourrier (Panama) - Echantillonnage compressé et réduction de dimension pour l'apprentissage non supervisé - 13 mai 2014

Cette thèse est motivée par la perspective de rapprochement entre traitement du signal et apprentissage statistique, et plus particulièrement par l'exploitation de techniques d' échantillonnage compressé afin de réduire le coût de tâches d'apprentissage. img-flecheHaut

 

img-EmmanuelleRouilleSoutenance16avril2014

Emmanuelle Rouillé (DiverSE) - Gestion de la variabilité et automatisation des processus de développement logiciel - 16 avril 2014

De nombreux outils existent afin de faire face à la complexité des logiciels et des projets de développement logiciel. Leur utilisation est cependant à l'origine de tâches manuelles répétitives, sources d'erreurs et coûteuses en temps. L'automatisation de ces tâches permet de gagner en productivité. img-flecheHaut

 

img-soutenanceRafiqSekkal

Rafik Sekkal (Lagadic) – Techniques visuelles pour la détection et le suivi d'objets 2D - 28 février 2014

De nos jours, le traitement et l'analyse d'images trouvent leur application dans de nombreux domaines. Dans le cas de la navigation d’un robot mobile (fauteuil roulant) en milieu intérieur, l’extraction de repères visuels et leur suivi constituent une étape importante pour la réalisation de tâches robotiques (localisation, planification, etc.). img-flecheHaut

 

img-soutenanceFabienDanieau

Fabien Danieau (Hybrid)- Contribution to the study of haptic feedback for improving the audiovisual experience13 février 2014

Haptic technology, stimulating the sense of touch, is used for years in virtual reality and teleoperation applications for enhancing the user immersion. Yet it is still underused in audiovisual systems such as movie theaters.
The objective of this thesis is thus to exploit the potential of haptics for audiovisual content. img-flecheHaut

 

img-soutenanceStephanZiegler

Stephan Ziegler (Panama) - A Study on the Integration of Phonetic Landmarks into Large Vocabulary Continuous Speech Decoding17 janvier 2014

This thesis studies the integration of phonetic landmarks into standard statistical large vocabulary continuous speech recognition (LVCSR). Landmarks are discrete time instances that indicate the presence of phonetic events in the speech signal. img-flecheHaut

2013

 

img-soutenanceMicheleDominici

Michele Dominici (ACES) – Contributing to Energy Efficiency through a User-Centered Smart_Home (« Contribution à la gestion efficace de l’énergie dans le contexte d'une Maison Intelligente « Centrée Utilisateur ») -  3 juin 2013

Les maisons intelligentes sont des habitations équipées de technologies de l'information et de la communication qui anticipent et répondent aux besoins des occupants. Malgré les nombreux travaux et solutions existants, seulement peu d'exemplaires de maisons intelligentes ont été construits et vendus. La raison cachée derrière cette lente diffusion est l'orientation technologique des approches existantes.
img-flecheHaut