img-logo-inria

img-logo-hdr

Les Habilitations à Diriger des Recherches (HDR)

Cette page contient l'ensemble des soutenances HDR, enregistrées à l'Inria-Rennes depuis 2001.

img-fleche-bas

Ocan Sankur (IRISA - projet SUMO) ; Tayeb Lemlouma (IUT-Lannion) ; Cédric Tedeschi (équipe-projet Myriads) ; Pierre Peterlongo (projet GenScale) ; Paolo Robuffo Giordano (projet Lagadic) ; Olivier Dameron (projet DyLISS) ; Benoit Combemale (projet DiverSE) ; Axel Legay (projet Estasys) ; Nathalie Bertrand (projet SUMO) ; Julien Pettré (projet MIMETIC) ; Olivier Barais (projet DiverSE) ; Laurent Amsaleg (projet LinkMedia) ; Maud Marchal (projet Hybrid) ; Olivier le Meur (projet Sirocco) ; Sébastien Ferré (projet LIS) ; Hervé Jégou (projet Texmex) ; Rémi Cozot (projet FRVSense) ; Sébastien Gambs (projet CIDRE) ; Adlen Ksentini (projet Dionysos) ; Loïc Hélouët (projet SUMO) ; Olivier Berder (projet Cairn) ; Alexandre Krupa (projet Lagadic) ; Bertrand Coüasnon (projet IntuiDoc) ; Emmanuel Vincent (projet METISS) ; Jordi Cabot (projet AtlanMod) ; Frédéric Weis (projet Aces) ; Arnaud Gotlieb (projet Celtique) ; Daniel Ménard (projet Cairn) ; François Taiani (projet Asap) ; Benoit Caillaud (projet S4) ; Benoit Baudry (projet Triskell) ; Sébastien Pillement (projet Cairn) ; David Cachera (projet Celtique) ; Arnaud Tisserand (projet Cairn) ; Charles Kervrann (projet Serpico) ; Anatole Lécuyer (projet Bunraku) ; Daniel Chillet (projet Cairn) ; Thomas Genet (projet Celtique) ; Guillaume Gravier (projet Metiss) ; Nizar Bouabdallah (projet Dyonisos) ; Gabriel Antoniu (projet Paris) ; Miklos Molnar (projet Armor) ; Anne Siegel (projet Symbiose) ; Stefan Haar (projet DistribCom) ; Eric Anquetil (projet Imadoc) ; Laurent Mevel (projet Sisthem) ; Christophe Collewet (projet Lagadic) ; Jacques Nicolas (projet Symbiose) ; Rémi Gribonval (projet Metiss) ; Erwan Faou (projet Ipso) ; Eric Fabre (projet Distribcom) ; Ovidiu Radulescu (projet Symbiose) ; Franck Multon (projet Bunraku) ; Vlad Rusu (projet Vertecs) ; Pierre-Alain Muller (projet Triskell) ; Christian Pérez (projet Graal) ; Luce Morin (projet temics) ; Bruno Tuffin (projet Dyonisos) ; Georges Dumont (projet Bunraku) ; Olivier Boëffard (Ensatt Lannion) ; Fabien Campillo (projet Mere) ; Robin Gras (projet Symbiose) ; Eric Marchand (projet Lagadic) ; Michel Hurfin (projet Adept) ; Stéphane Donikian (projet Bunraku) ; Yves le Traon ( projet Triskell) ; Thierry Jéron ( projet Vertecs) ; Patrick Pérez ( projet Vista) ; Sophie Pinchinat (projet S4) ; Anne-Marie Kermarrec ( projet Asap) ; César Viho (projet Dyonisos) ; Pascale Sébillot ( projet Texmex) ; Isabelle Puaut ( projet Caps)


Depuis 2018, les soutenances HDR sont en ligne sur ce portail vidéo.

Ce portail n'accueille plus de vidéos depuis juin 2023 mais les HDR en ligne restent consultables en accès intranet pour les titulaires d'un compte Inria ou Irisa.

 

Consulter l'ensemble des habilitations présentées à l'Inria-Rennes (documents PDF ou PostScript)

 

2023
img-Ocan-Sankur-indexHDR-videotheque

Ocan Sankur (SUMO team - CNRS - IRISA)

Formal methods for Timed and Probabilistic Systems

2018
img-soutenanceHDR-TayebLemlouma-26juin2018

Tayeb Lemlouma (University Rennes I (IUT of Lannion) / IRISA Lab (CNRS UMR 6074) -

Contribution to Context-Aware and Adaptive Approaches for Services in Smart Spaces - 2018, June 26

2017


img-soutenanceHDR-CedricTedeschi2017

 

Cédric Tedeschi (projet Myriads) - Distributed chemically-Inspired Runtimes for Large-Scale Adaptive Computing Platforms - 2017, April 11th

A chaque nouvelle génération de plate-forme de calcul, le problème se pose: augmenter la quantité des ressources de calcul disponibles ne garantit pas son exploitation simple et efficace. De nouveaux modèles, abstractions et outils de programmation doivent être proposés afin d’exécuter des programmes facilement et efficacement sur ce nouveau type de plates-formes. (Lire la suite)

img-flecheHaut-indexHDR

2016
img-soutenanceHDR-PaoloRobuffoGiordano2016

Pierre Peterlongo (projet GenScale) - Reading Reads: Sequencing Data Analysis - 25 janvier 2016

Tous les travaux présentés dans cette HDR concernent l’exploitation de données de séquençage haut débit en absence de génome de référence proche et de bonne qualité.
Dans un premier chapitre, nous proposons de nouvelles approches pour extraire des variants biologiques d’intérêt de ces données de séquençage. . (Lire la suite)
img-flecheHaut-indexHDR
img-soutenanceHDR-PaoloRobuffoGiordano2016

Paolo Robuffo Giordano (project Lagadic) - Contributions to shared control and coordination of single and multiple robots - January 15th, 2016

L’ensemble des travaux présentés dans cette habilitation traite de l'interface entre un opérateur humain avec un ou plusieurs robots semi-autonomes aussi connu comme le problème du « contrôle partagé ».

Le premier chapitre traite de la possibilité de fournir des repères visuels / vestibulaires à un opérateur humain pour la commande à distance de robots mobiles. (Lire la suite)
img-flecheHaut-indexHDR
img-soutenanceHDR-PaoloRobuffoGiordano2016

Olivier Dameron (projet DyLISS) - Ontology-based methods for analyzing life science data - 11 Janvier 2016

Lien vers le document (Pdf) d’Habilitation à Diriger des Recherches
img-flecheHaut-indexHDR
2015
img-soutenanceHDR-OlivierBarais2014

Benoit Combemale (project DiverSE) - Towards Language-Oriented Modeling - December 4th , 2015

In this habilitation à diriger des recherches (HDR), I review a decade of research work in the fields of Model-Driven Engineering (MDE) and Software Language Engineering (SLE). I propose contributions to support a language-oriented modeling, with the particular focus on enabling early validation & verification (V&V) of software-intensive systems. (read more)
img-flecheHaut-indexHDR
img-soutenanceHDR-OlivierBarais2014

Axel Legay (project Estasys) - Contributions to statistical model checking - November 18th , 2015

Statistical Model Checking (SMC) is a powerful and widely used approach that consists in estimating the probability for a system to satisfy a temporal property. This is done by monitoring a finite number of executions of the system, and then extrapolating the result by using statistics. (read more)

img-flecheHaut-indexHDR

img-soutenanceHDR-OlivierBarais2014

Nathalie Bertrand (team project SUMO) - Contributions to the verification and control of timed and probabilistic - Monday 16th November 2015

The importance of model checking was acknowledged by a Turing award in 2007, and formal methods in general have proved extremely useful in the validation of hardware and software systems. These techniques are based on mathematical abstractions, and require models both of the system, and of the requirements it has to meet. In order to faithfully represent real-life systems, models should incorporate several features including timing contraints, probabilities, unknown parameters and imperfect information. (read more) img-flecheHaut-indexHDR
img-soutenanceHDR-OlivierBarais2014

Julien Pettré (projet MIMETIC) - Toward realistic and efficient virtual crowds - June 25th 2015

Crowd simulation was born from the need to understand, predict or imitate the behavior of real crowds. Applications are numerous, ranging from the architectural design of buildings aimed at hosting public to populating the background of virtual scenes for the movie industry. (read more)
img-flecheHaut-indexHDR
2014
img-soutenanceHDR-OlivierBarais2014

Olivier Barais (projet DiverSE ) - Utilisation de la modélisation à l’exécution : objectif, challenges et bénéfices - 8 décembre 2014

Le développement logiciel traditionnel, généralement fondé sur l'hypothèse d'un monde clos définissant une frontière connue et stable entre le système et son environnement n'est plus tenable. Par opposition, la notion de système dit ouvert et éternel s'est imposée à la plupart des systèmes informatiques. (lire plus)
  img-flecheHaut-indexHDR
img-LaurentAmsaleg-soutenanceHDR2014

Laurent Amsaleg (team-project LinkMedia) - A Database Perspective on Large Scale High-Dimensional Indexing - November 22th 2014

  img-flecheHaut-indexHDR
img-soutenanceHDRMaudMarchal2014

Maud Marchal (team-project Hybrid) - 3D Multimodal Interaction with Physically-based Virtual Environments - November 22th 2014

The virtual has become a huge field of exploration for researchers: it could assist the surgeon, help the prototyping of industrial objects, simulate natural phenomena, be a fantastic time machine or entertain users through games or movies. Far beyond the only visual rendering of the virtual environment, the Virtual Reality aims at -literally- immersing the user in the virtual world. VR technologies simulate digital environments with which users can interact and, as a result, perceive through different modalities the effects of their actions in real time (read more).
  img-flecheHaut-indexHDR
img-OlivierleMeurHDR2014

Olivier le Meur (projet Sirocco) - Visual attention modelling and applications. Towards perceptual-based editing methods - 18 novembre 2014

In this presentation, I will present my main research topics, namely the modelling of visual attention and image editing. The former deals with the bottom-up computational models which predict where people look within a scene. From an incoming image, such models output a 2D map which indicates the salient locations of the input image. This map is well known as the saliency map. Performance and limitations of existing models will be underlined and discussed. I will also introduce some saliency-based applications.
  img-flecheHaut-indexHDR
img-SebastienFerreHDR2014

Sébastien Ferré (projet LIS) - Reconciling Expressivity and Usability in Information Access - From File Systems to the Semantic Web - 6 novembre 2014

In many domains where information access plays a central role, there is a gap between expert users who can ask complex questions through formal query languages (e.g., SQL), and lay users who either are dependent on expert users, or must restrict themselves to ask simpler questions (e.g., keyword search). Because of the formal nature of those languages, there seems to be an unescapable trade-off between expressivity and usability in information systems.
 

img-flecheHaut-indexHDR

img-HDRHerveJegou2014

Hervé Jégou (projet Texmex) - On visual recognition and similarity search - 1er octobre 2014

  img-flecheHaut-indexHDR
img-RemiCozotHDR2014

Rémi Cozot (projet FRVSense) - Vers plus de contrôle pour le créateur d'images de synthèse - 8 septembre 2014

La création d’image de synthèse s’effectue en plusieurs étapes :
1) définition de la scène 3D,
2) simulation physique de la lumière dans la scène dont le résultat est une image où chaque pixel correspond à la luminance - ci après appelée image physique et
3) post-traitement et adaptation de cette image physique au dispositif de restitution. Avec les progrès de la recherche sur chacune des étapes, le créateur d’image a une plus grande capacité et liberté de création mais en contrepartie il fait face à une plus grande complexité pour définir, configurer et régler les données et les paramètres nécessaires à la réalisation de l’image.
  img-flecheHaut-indexHDR
img-SebastienGambs-HDR2014

Sébastien Gambs (projet CIDRE) - Respect de la vie privée dans la société de l'information (Protection of Privacy in the Information Society) - 23 juin 2014

Le droit au respect de la vie privée est un droit fondamental de tout individu. Cependant, ce droit devient de plus en plus difficile à protéger dans notre "Société de l'Information" où chaque individu laisse constamment des traces numériques pouvant être reliées à son identité, parfois même sans en être conscient.
2013  
img-HDR2013AdlenKsentini

Adlen Ksentini (projet Dionysos) - Building the bridges between QoS and QoE for network control mechanisms - 3 juillet 2013

Cette dernière décennie a connu une prolifération des réseaux d’accès sans fil, dominée par les réseaux locaux sans fil (ou Wireless Local Area Network - WLAN), les réseaux cellulaires 3GPP de troisième (3G) et quatrième génération (4G) et en moindre mesure les réseaux Digital Video Broadcast (DVB) pour la télévision numérique. (lire la suite)
img-soutenanceHDRLoicHelouet

Loïc Hélouët (projet SUMO) - Scenario Automata: theory and applications - 17 mai 2013

Automates d'ordres: théorie et applications

Les automates de scénarios, plus connus sous le nom de Message Sequence Charts (MSC), ont connu une énorme popularité depuis les années 1990. Ce succès est à la fois académique et industriel. Les raisons de ce succès sont multiples : le modèle est simple et s'apprend très vite. De plus il possède une puissance d'expression supérieure à celle des automates finis, et pose des problèmes difficiles. L'apparente simplicité des MSCs est en fait trompeuse, et de nombreuses questions se révèlent indécidables (lire la suite).
2012  
img-OlivierBerderCairnHDR

Olivier Berder (projet Cairn) - Systèmes multi-antennes et efficacité énergétique des réseaux de capteurs sans fil - 10 décembre 2012

Résumé:
Notre premier axe de recherche concerne le précodage dans les systèmes multi-antennes (MIMO), qui consiste à adapter le signal au canal de propagation. Nous avons cherché à généraliser l’expression du précodeur max-dmin (qui cherche à maximiser la distance minimale entre symboles des constellations reçues) pour plusieurs voies de données et des constellations quelconques. En vue d’une implémentation, nous avons commencé à analyser les possibilités de réduction de la complexité tant à l’émission qu’à la réception (lire la suite).
img-AlexandreKrupa-HDR

Alexandre Krupa (projet Lagadic) - Contributions to ultrasound visual servoing - 21 décembre 2012

Résumé:
Ces travaux portent sur l'étude et l'élaboration de méthodes d'asservissement visuel utilisant les images échographiques. L'asservissement visuel consiste à commander les mouvements d'un système dynamique, généralement un robot, à partir d'informations visuelles extraites de l'image fournie par un capteur embarqué ou observant le système. (lire la suite)
img_BertrandCouasnon-HDR

Bertrand Coüasnon (projet IntuiDoc) - Fusion of knowledge in document analysis - 6 décembre 2012

Abstract:
The recognition of digitized collections of structured documents like archives documents is difficult not only by the complexity of the documents organization, but also by their degradations (stains, tears, ink bleeding through paper, curves due to scanning...). (read more)
img_EmmanuelVincent

Emmanuel Vincent (projet METISS) - Contribution à la séparation de sources et à la description de contenus audio - 23 novembre 2012

Résumé:
La présentation aborde mes travaux de recherche sur le traitement des signaux audio. J'expose les modèles et algorithmes proposés, fondés sur la modélisation probabiliste ou parcimonieuse des variables en jeu, et je décris leurs applications à la séparation de sources audio, au traitement robuste de la parole et à la modélisation du "langage" musical.

img-Jordi-cabot-HDR-2012

Jordi Cabot (AtlanMod) - MDE 2.0: Vérification pragmatique de modèles et d'autres défis - 12 septembre 2012

Résumé:
L’Ingénierie Dirigée par les Modèles (IDM) devient l’un des paradigmes prédominants du génie logiciel dans l’industrie. De même que n’importe quelle autre discipline d’ingénierie, l’IDM plaide pour un usage rigoureux des modèles (de logiciels) en tant que principaux artéfacts dans toutes les activités de génie logiciel. (lire la suite)
img-Frédéric-Weis

Frédéric Weis (Aces) - Exploitation d'approches système dans les réseaux sans fil - 6 juin 2012

Résumé:
Les travaux présentés s'inscrivent dans le cadre des systèmes mobiles et distribués, et s'intéressent tout particulièrement aux perspectives offertes par les réseaux locaux sans fil.

A l’opposé de la complexité de déploiement d’une infrastructure cellulaire étendue, les interactions sans fil courte portée peuvent être utilisées de manière très simple, sans infrastructure. Ainsi, elles permettent à des calculateurs proches d’échanger automatiquement des informations. Nous proposons des supports système prenant en compte la volatilité des communications sans fil, et permettant de développer des applications tirant spontanément parti de la proximité physique des noeuds mobiles. (lire la suite)
img-date-2011  
img-Arnaud-Gotlieb

Arnaud Gotlieb (Celtique) - Contribution à la génération de tests à base de contraintes - 12 décembre 2011

Résumé:
Ces dernières années, les recherches en matière de Test Logiciel ont conduit au développement de techniques de résolution de contraintes dédiées, dans ce qui est appelé "le test à base de contraintes''. Notre approche dans ce domaine vise à explorer l'apport de la Programmation par Contraintes à la génération automatique de test pour les programmes impératifs. (lire la suite)
img-Daniel-Menard

Daniel Ménard (Cairn - Lannion) - Contributions à la conception de systèmes en virgule fixe - 29 novembre 2011

Résumé:
Mes activités de recherche se situent dans le domaine de l'implantation efficace d'applications de traitement du signal et de l'image (TDSI) au sein de systèmes embarqués. Face à la complexité grandissante des applications implantées au sein des systèmes embarqués, et face à la nécessité de réduire les temps de mise sur le marché, des méthodes et les outils associés sont nécessaires pour automatiser le processus d'implantation de ces applications sur des plateformes embarquées. (lire la suite)
img-Francois-Taiani

François Taïani (Asap) - Programming large-scaled distributed systems: some mechanisms, abstractions and tools - 17 novembre 2011

Résumé:

À l'interface entre informatique distribuée et génie logiciel, nous présentons trois contributions liées aux problématiques de réutilisation du logiciel dans trois cas représentatifs de systèmes distribués grande échelle: les réseaux logiques pair-à-pair, les protocoles épidémiques, et les intergiciels de grille. (lire la suite)
img-benoit-caillaud

Benoit Caillaud (projet S4) - Analysis, synthesis and control of concurrent systems - 23 mars 2011

Abstract:
My research interests cover the realization by algorithmic methods of concurrent systems from partial and heterogeneous specifications. I have contributed to the design of methods, algorithms and tools capable of synthesizing reactive software from one or several incomplete descriptions of the system's expected behavior, regarding several viewpoints: functionality, control, architecture, and quantitative performances (read the rest).
img-date-2010  
img-benoit-baudry

Benoit Baudry (projetTriskell) - Question-learn-test-feedback pattern to test emerging software construction paradigms - 10 décembre 2010

Abstract: This habilitation introduces the question-learn-test-feedback pattern that resulted from a series of investigations in the domains of software testing and modular software construction. The contributions to these fields are of various natures, but are all fundamentally related through two major assumptions: software construction paradigms have to constantly evolve in order to deal with the increasingly complex requirements that software-intensive systems have to meet; a tester’s perspective can support this evolution through the development of effective testing techniques and new empirical knowledge about these paradigms.
img-sebastien-pillement

Sébastien Pillement (projet Cairn) - Conception d'architectures reconfigurables dynamiquement: du silicium au système - 22 octobre 2010

Résumé :
Ces travaux de recherche portent sur la conception de systèmes reconfigurables dynamiquement. L’évolution constante des applications et le besoin toujours croissant de performances imposent le développement de nouvelles architectures performantes et flexibles. (lire la suite)

img-david-cachera-hdr

David Cachera (projet Celtique) - Analyses statiques: certifier et quantifier - 30 août 2010

Ce travail présente quelques contributions dans le domaine des méthodes formelles de vérification des systèmes matériels et logiciels.  Pendant longtemps, la seule technique utilisable à grande échelle pour vérifier un système informatique, a été le test. S'il permet de trouver des erreurs, il ne garantit pas en revanche leur absence. Les méthodes formelles en revanche poursuivent cet objectif, puisqu'elles assurent l'absence de certaines classes d'erreurs. (lire la suite)

img-A-Tisserand

Arnaud Tisserand (projet Cairn) -  Etude et conception d'opérateurs arithmétiques - 6 juillet 2010

Ce travail présente quelques contributions en arithmétique des ordinateurs pour le matériel et le logiciel. L'arithmétique des ordinateurs est la branche de l'informatique qui traite des représentations des nombres, des algorithmes pour effectuer les calculs de base en machine, la validation de la qualité des calculs, l'analyse de l'efficacité des calculs et des outils d'aide à la conception de systèmes de calcul arithmétique. (lire la suite)

img-anatole-lecuyer

Anatole Lécuyer (projet Bunraku) - Using eyes, hands and brain for 3D interaction with virtual environments: a perception-based approach

Far beyond science-fiction clichés, Virtual Reality (VR) technologies can be used in a wide range of applications including, for instance, industrial virtual prototyping, medical training or architectural project review. (lire la suite)

img-daniel chillet

Daniel Chillet (projet Cairn) - Contribution à la gestion dynamique d'une ressource reconfigurable intégrée au sein d'un MPSoC - 8 juin 2010

Le domaine des technologies de l’électronique et de l’informatique a subi d’importantes évolutions dans les dernières années, aussi bien du point de vue matériel que du point de vue applicatif. L’évolution matérielle est en grande partie ‘’tirée’’ par l’augmentation de la densité d’intégration des technologies de fabrication des circuits qui peuvent maintenant mettre en œuvre des milliards de transistors. (lire la suite)
img-date-2009  
img-thomas-genet

Thomas Genet (projet Celtique) - Reachability analysis of rewriting for software verification - 30 novembre 2009

Ce travail s'intéresse à la preuve de propriétés de sûreté sur les programmes. Prouver de telles propriétés revient généralement à démontrer que les configurations critiques ne sont jamais atteintes lors de l'exécution du programme. Pour ces propriétés, nous proposons une technique de vérification semi-automatique qui tente de combiner les avantages du model-checking, de l'interprétation abstraite et de la preuve interactive. (lire la suite) img-logo-flashplayer


img-guillaume-gravier

Guillaume Gravier (projet Metiss) - Intégration de connaissances par modèles probabilistes pour l'analyse de documents multimédias - 29 septembre 2009

Par essence, un document multimédia comporte plusieurs sources d'informations portées par une seule ou plusieurs modalités. L'analyse de documents multimédias vise à exploiter ces sources d'informations, que nous appellerons connaissances, pour extraire une représentation d'un document à des fins de structuration ou d'indexation. (lire la suite) img-logo-flashplayer


img-nizar-bouabdallah

Nizar Bouabdallah (projet Dyonisos) - Une croisière dans les réseaux: des réseaux d'accès sans fil aux réseaux de coeur tout optique - 30 avril 2009 img-logo-flashplayer


img-antoniu

Gabriel Antoniu (projet Paris) - Contribution à la conception de services de partage de données pour les grilles de calcul - 5 mars 2009

Nos travaux portent sur le partage transparent des données réparties à grande échelle, sur des infrastructures de type grilles de calcul. Notre objectif a été de répondre à la question: comment serait-il possible de construire un système fournissant un modèle transparent d'accès aux données, tout en tenant compte des contraintes spécifiques aux infrastructures physiques utilisées (architecture hiérarchique, distribution à grande échelle, volatilité, tolérance aux défaillances, etc.)? img-logo-flashplayer


img-miklos-molnar

Miklos Molnar - Optimisation des communications multicast sous contraintes - 23 janvier 2009

L'évolution des réseaux informatiques soulève de nouvelles questions de gestion et d'optimisation tous les jours. C'est pour cette raison que la recherche vise intensivement les problèmes algorithmiques et d'optimisation combinatoire observés dans les réseaux. (lire la suite) img-logo-flashplayer

img-date-2008  
img-anne-siegel

Anne Siegel - Analyse de systèmes dynamiques par discrétisation - exemples d'applications en théorie des nombres et en biologie moléculaire - 8 décembre 2008

Ce travail présente des contributions théoriques et pratiques à la théorie des codages symboliques de systèmes dynamiques. Les applications concernent différents champs mathématiques et la modélisation en biologie moléculaire. Le but est d'illustrer comment des méthodes de discrétisation de systèmes dynamiques et une approche algorithmique permettent d'exploiter au mieux les connaissances disponibles sur le système, même partielles. (lire la suite) img-logo-flashplayer


img-stephan-Haar

Stefan Haar - Law and partial order - Nonsequential behaviour and probability in asynchronous systems - 30 octobre 2008

A major part of the presentation focuses on partial order behavior of Petri net-type systems. Petri net unfoldings are shown as natural and efficiently exploitable representations of such behaviour, in particular for asynchronous fault diagnosis in large networks. (lire la suite) img-logo-flashplayer


img-eric-anquetil

Eric Anquetil - Reconnaissance d'écriture manuscrite et interaction homme-document - 27 octobre 2008 img-logo-flashplayer


img-laurent-mevel

Laurent Mevel - Identification and detection of stochastic systems application in structural monitoring - 22 octobre 2008

La surveillance de structures mécaniques en environnement réel, telles que les avions, les fusées ou les ponts, est un sujet de recherche en effervescence à la fois dans les milieux académiques et industriels. Les défis théoriques proviennent du caractère fortement non stationnaire du système résultant de l’interaction avec de nombreuses sources externes, telles que la consommation en fuel, la turbulence, la température ambiante ou les forces aéroélastiques. (lire la suite) img-logo-flashplayer


img-christophe-collewet

Christophe Collewet - Vers des asservissements visuels sur des scènes inconnues - 30 septembre 2008

Les travaux décrits dans cette présentation concernent le domaine de l'asservissement visuel. D'une façon générale, cette technique permet de contrôler le déplacement d'un système dynamique à l'aide d'une ou plusieurs caméras, embarquées ou non, le système considéré, tout comme la scène observée, pouvant être réel ou virtuel.(lire la suite) img-logo-flashplayer


img-jacques-nicolas

Jacques Nicolas - Syntaxe, raisonnement et génomes - 13 mai 2008

J'ai travaillé sur les problèmes de modélisation du vivant avec l'hypothèse fondamentale qu'il s'agit de machines symboliques et la volonté d'aider le chercheur en biologie à traiter avec le bon niveau d'abstraction ces machines. Le cœur de mes travaux considère les ensembles de séquences que forment les macromolécules du vivant comme des langages formels et cherche à approfondir les concepts nécessaires pour mener à bien leur analyse linguistique. (lire la suite) img-logo-flashplayer

img-date-2007  
img-remi-gribonval

Rémi Gribonval Sparse representations: from source separation to compressed sensing - 24 octobre 2007

Les représentations parcimonieuses de signaux et d'images ont connu un essor considérable à l'occasion du développement enthousiaste au début des années 1990, des techniques de compression et de débruitage basées sur les ondelettes. (lire la suite) img-logo-real


img-erwann-faou

Erwan Faou (projet IPSO) - Some geometrical aspects in shell theory and in numerical integration of hamiltonian systems - 16 Octobre 2007

Les travaux présentés se divisent en deux parties. La première concerne l'analyse asymptotique des coques minces linéairement élastiques. Les coques sont des objets tridimensionnels d'épaisseur petite autour d'une surface moyenne de géométrie arbitraire. Le but de la théorie des coques est d'étudier les différences entre le problème tridimensionnel (les équations de l'élasticité linéaire) et des problèmes bidimensionnels posés sur la surface moyenne. (lire la suite) img-logo-real


img-eric-fabre

Eric Fabre - Bayesian Networks of Dynamic Systems - 14 juin 2007

Bayesian networks, or Markov random fields, are well known statistical models that describe the interactions of large sets of random variables. Their interest is to represent graphically the structure of variable interactions, from which statistical inference algorithms can be designed. (lire la suite) img-logo-real

img-date-2006
   
img-ovidiu-radulescu

Ovidiu Radulescu - Mathematical models of complexity - 11 décembre 2006 img-logo-real


img-frank-multon

Franck Multon - Analyse, modélisation et simulation du mouvement humain - 8 décembre 2006

Comprendre le mouvement humain mobilise des chercheurs de nombreuses disciplines scientifiques : physiologie, biomécanique, neurosciences comportementales, anatomie fonctionnelle, les sciences du sport... Mes travaux s'inscrivent donc dans une démarche pluridisciplinaire d'analyse/synthèse du mouvement humain. (lire la suite)
img-logo-real


img-vlad-rusu

Vlad Rusu (projet Vertecs) - Formal verification and conformance testing for reactive systems - 8 décembre 2006

Je présenterai quelques contributions à la vérification formelle, au test de conformité, ainsi qu'à leur intégration pour la validation formelle des systèmes réactifs. Ces travaux sont représentatifs des deux directions de recherche que je me suis attaché à développer depuis quelques années (lire la suite) img-logo-real


img-p-a-muller

Pierre-Alain Muller - De la modélisation objet des logiciels à la métamodélisation des langages informatiques - 20 novembre 2006

Mes travaux concernent la modélisation opérationnelle des systèmes à informatique prépondérante, dans le double but de capitaliser les savoir-faire et d'automatiser les réalisations. (lire lasuite) img-logo-real


img-christian-perez

Christian Pérez - Contribution à la définition et à la mise en oeuvre d'un modèle de programmation à base de composants logiciels pour la programmation des grilles informatiques - 10 novembre 2006

Les grilles informatiques offrent d'énormes capacités de calcul mais celles-ci sont particulièrement difficiles à exploiter car les modèles de programmation existants ne sont pas adaptés. (lire la suite) img-logo-real


img-luce-morin

Luce Morin (projet Temics) - Modélisation 3D pour la communication vidéo - 19 mai 2006

Je présenterai mes travaux de recherche qui portent sur la représentation 3D de séquences vidéo pour des applications de compression vidéo et réalité augmentée. Je détaillerai dans mon exposé les contributions apportées (lire la suite)
img-logo-real


img-bruno-tuffin

Bruno Tuffin - Modélisation mathématique pour la conception, l'analyse quantitative et le contrôle de la qualité de service des systèmes - 10 avril 2006

Au cours de cet exposé, je présenterai mes activités de recherche dont le cadre général est la modélisation et l’évaluation quantitative des systèmes de communication. Je porterai une attention particulière à deux thèmes majeurs : les méthodes de simulation Monte Carlo et quasi-Monte Carlo, avec application à l’estimation d’événements rares, et le développement et l’analyse de méthodes de tarification pour le contrôle de la congestion et de la qualité de service.
img-logo-real

img-date-2005  
   
img-georges-dumont

Georges Dumont - Simulation mécanique et réalité virtuelle: outils d'aide à la compréhension et à la conception de systèmes - 23 novembre 2005 img-logo-real

img-date-2004

 

img-tpt-hdr-Olivier-boeffard

Olivier Boëffard (Ensatt-Lannion) - Contributions à la synthèse de la parole - 16 décembre 2004 img-logo-real


img-campillo

Fabien Campillo - Quelques applications des processus de diffusion - Rennes, 13 décembre 2004 img-logo-real


img-robin-gras

Robin Gras - Structure des espaces de recherche, complexité des algorithmes d'optimisation combinatoire stochastique et application à la bioinformatique - 3 décembre 2004 img-logo-real


 

img-eric-marchand

Eric Marchand - Commande d'une caméra réelle ou virtuelle dans des mondes réels ou virtuels - 26 novembre 2004 img-logo-real


img-michel-hurfin

Michel Hurfin (projet Adept) - Conception et expérimentation de solutions à des problèmes d'accord - 23 novembre 2004 img-logo-real


 

img-stephane-donikian

Stéphane Donikian (projet Bunraku) - Modelling, control and animation of autonomous virtual agents evolving in structured and informed environments - 26 août 2004 img-logo-real


img-le-traon

Yves Le Traon - Contribution au test de logiciels orientés-objet - 6 juillet 2004 img-logo-real


 

img-thierry-jeron

Thierry Jéron - Contribution à la génération automatique de tests pour les systèmes réactifs - 16 mars 2004 img-logo-real


img-date-2003  
img-patrick-perez

Patrick Pérez - Modèles et algorithmes probabilistes pour l'analyse d'images - 18 décembre 2003 img-logo-real


img-sophie-pinchinat

Sophie Pinchinat - Contribution à l'analyse et au contrôle des systèmes réactifs - 16 décembre 2003 img-logo-real


img-date-2002

   
img-anne-marie-kermarrec

Anne-Marie Kermarrec - Large-scale reliable multicast - 20 décembre 2002 img-logo-real


img-cesar-viho

César Viho - Test de conformité et d'interopérabilité : vers une approche répartie - 13 décembre 2002 img-logo-real


img-pascale-sebillot

Pascale Sébillot - Apprentissage sur corpus de relations lexicales sémantiques - 13 décembre 2002 img-logo-real

img-date-2001

   
img-i-puaut

Isabelle Puaut - Supports d'exécution tolérants aux fautes à temps de réponse contraint - 30 novembre 2001 img-logo-real


  img-haut-de-page
haut de page
img-logo-visuel-videotheque
Retour vidéothèque
copyright

© 2014 Inria Rennes-Bretagne Atlantique