Jean-Baptiste Barreau - Techniques de production, d'exploration et d'analyse d'environnements archéologiques virtuels - 10 juillet 2017

Si les possibilités de numérisation 3D de la présente réalité d'un site archéologique par le biais des dernières  techniques d'acquisition 3D (photogrammétrie/scan laser) aident à la compréhension de son fonctionnement, elles peuvent aussi permettre de véritables hypothèses de reconstitutions de celui-ci tel qu'il a pu l'être à une époque donnée. (Lire la suite)

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)

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)

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)

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)

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

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)

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

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)

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

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)

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

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)

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

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)

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)

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

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)

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

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)

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

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)

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

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)

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

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)

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

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)

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

- February 17th, 2016

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)

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

- January 26th, 2016

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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).

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).

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)

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).

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)

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)

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)

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)

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)

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)

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)

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)

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)

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é)

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é)

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é)

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é)

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é)

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é).

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)

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)

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).

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)

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.

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.

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.

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.

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.

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.

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.

Fabien Danieau (Hybrid)- Contribution to the study of haptic feedback for improving the audiovisual experience – 13 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.

Stephan Ziegler (Panama) - A Study on the Integration of Phonetic Landmarks into Large Vocabulary Continuous Speech Decoding – 17 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.

2013