Irisa - événements audiovisuels : HDR

Analyse, modélisation et simulation du mouvement humain
Franck Multon - Rennes, 8 décembre 2006
Résumé :
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. Pour mener à bien cette démarche, une première tâche consiste à modéliser et à simuler le système moteur ainsi qu'un ensemble d'hypothèses. L'objectif est de disposer d'une représentation numérique du problème. Les mouvements simulés doivent ensuite être confrontés à des données expérimentales pour valider à la fois les hypothèses, le modèle et la méthode de simulation. Mon travail s'organise en trois principales contributions qui entrent dans cette approche d'analyse/synthèse. (lire suite)

Formal verification and conformance testing for reactive systems
Vlad Rusu - Rennes, 8 décembre 2006
Résumé:
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 :
d'une part, associer à la preuve formelle des techniques d'abstraction et de compositionnalité pour permettre de passer à l'échelle et de traiter des études de cas réalistes ; et d'autre part, combiner la vérification et le test de conformité pour valider, au delà des spécifications formelles, des implémentations boite-noire de systèmes réactifs.

De la modélisation objet des logiciels à la métamodélisation des langages informatiques
Pierre-Alain Muller - Rennes, 20 novembre 2006
Résumé:
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.
La modélisation est l'utilisation d'une représentation, en lieu et place d'une chose du monde réel, dans un but cognitif. Un modèle se substitue à un système dans un contexte donné, à moindre coût, plus simplement, plus rapidement et sans les risques ou dangers inhérents à une manipulation du système réel. Une modélisation devient opérationnelle dès lors qu'une implantation informatique peut en être dérivée de manière systématique.(lire suite)

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
Christian Pérez - Rennes, 10 novembre 2006
Résumé:
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.
Mon objectif est d'étudier et de proposer un modèle de programmation général, efficace et offrant un niveau d'abstraction élevé pour les grilles informatiques. (lire suite)

Modélisation 3D pour la communication vidéo
Luce Morin - Rennes, 19 mai 2006
Résumé:
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, en particulier :
- la représentation de vidéos par un flux de modèles 3D maillés et la construction automatique de cette représentation à partir des données vidéo,
- l'estimation d'un champ de disparité dense par flot optique contraint par la géométrie épipolaire,
- la mise-en-cohérence des modèles par ajustement glissant, fondu 3D et métamorphose 3D et par la construction d'un maillage 3D évolutif,
- la compression de la vidéo à très bas débit par un encodage prédictif de la texture et une représentation hiérarchique par ondelettes géométriques des modèles 3D,
- le codage vidéo de type DVC (Distributed Video Coding) par modélisation 3D.

Modélisation mathématique pour la conception, l'analyse quantitative et le contrôle de la qualité de service des systèmes
Bruno Tuffin - Rennes, 10 avril 2006
Résumé:
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.