soutenance de thèse de TRAN Tri Duc

Bonjour,

J'ai le plaisir de vous annoncer la soutenance de ma thèse intitulée
«Conception et développement d'un assistant intelligent pour un
accompagnement conatif des élèves en difficulté.» qui aura lieu le 25
janvier 2010 à 14h00 au Laboratoire d'Informatique de Paris 6 (LIP6),
situé au 104 avenue du Président Kennedy, 75016 Paris, salle 549.
(Plan d'accès : http://www.lip6.fr/informations/comment.php)
Vous êtes également invités au pot qui suivra (même salle).

Cordialement,
Tri Duc TRAN

Résumé de la thèse :

L'éducation et les technologies de l'information et de la communication
sont des enjeux primordiaux dans notre société du savoir. Dans ce
contexte socio-économique fondé sur la connaissance, la lutte contre
l'échec scolaire est un objectif majeur de l'éducation. Notre
problématique est de concevoir un système intelligent et personnalisé
destiné à aider les élèves en difficultés.
Notre solution consiste à mettre en place un assistant intelligent
personnel possédant des capacités de communication en langue naturelle.
Notre assistant intelligent I-CAN (Intelligent Coach and Assistant to New
way of learning) aura un rôle complémentaire de celui de l'enseignant, il
sera utilisé dans le cadre du travail personnel en dehors de l'école. Ses
missions se focaliseront sur les aspects conatifs de l'apprentissage qui
consistent à aider l'élève à gérer les stratégies affectives, les
stratégies de gestion de ressources, les stratégies méta-cognitives,
l'orientation scolaire et les problèmes liées à l'utilisation de la
plateforme éducative.
Notre assistant intelligent I-CAN n'est pas destiné à remplacer
l'enseignant, son rôle est complémentaire de celui de l'enseignant,
I-CAN est conçu pour accompagner l'élève durant les sessions de travail
hors de la classe.
La mise en place de notre assistant personnel intelligent est au
croisement de plusieurs domaines de recherches. Nous explorons au cours
de cette thèse des aspects des sciences cognitives, des sciences de
l'éducation, de l'animation graphique, des technologies de l'information
et des systèmes d'information, et de l'intelligence artificielle.

Rapporteurs :

M. Michel ARNAUD
Mme. Sandra JHEAN-LAROSE

Jury :

M. Michel ARNAUD
M. Thierry ARTIERES
Mme. Bernadette BOUCHON-MEUNIER, Directrice de thèse
Mme. Sandra JHEAN-LAROSE
M. Christophe MARSALA
M. Jean-Claude MARTIN
M. Georges-Marie PUTOIS

Soutenance de thèse d'Alexis Darrasse

Bonjour à tous,

J'ai le plaisir de vous annoncer la soutenance de ma thèse intitulée

« Structures arborescentes complexes :
analyse combinatoire, génération aléatoire et applications. »

qui aura lieu le 26 janvier 2010 à 10h30 en salle 203-205 du bâtiment 41
au campus Jussieu.

Vous êtes également invités au pot qui suivra (même salle).

Cordialement,
Alexis Darrasse

--------------------------------------------------------------------------------

Résumé de la thèse :

Ce travail a pour but l'application des techniques d'analyse et de
génération aléatoire de la combinatoire analytique à des problèmes issus
de domaines variés où apparaissent des structures arborescentes.

Dans un premier temps, nous étudions les propriétés des k-arbres, une
famille de graphes qui généralise celle des arbres. Les k-arbres jouent
un rôle central en algorithmique des graphes et apparaissent aussi (sous
le nom de réseaux apolloniens aléatoires ou triangulations en pile)
comme modèle pour les graphes de terrain. Notre contribution consiste en
une bijection entre k-arbres et une famille simple d'arbres et son
utilisation pour analyser certaines propriétés des k-arbres sous la
distribution uniforme: distribution des degrés en loi de puissance avec
chute exponentielle, distance moyenne en racine carrée de la taille et
profil qui suit une loi de Rayleigh.

La seconde partie a pour objet la génération aléatoire de structures
arborescentes avec la méthode de Boltzmann. Nous avons mis en place un
cadre générique et efficace que nous avons appliqué à la génération de
données issues de plusieurs domaines logiciels : instances de types de
données algébriques, instances de méta-modèles et de documents XML selon
une grammaire. La complexité linéaire des algorithmes de génération rend
ces outils bien adaptés aux tests de robustesse et de performance.

--------------------------------------------------------------------------------

Rapporteurs :

Hsien-Kuei Hwang
Gilles Schaeffer

--------------------------------------------------------------------------------

Jury :

Frédéric Chyzak
Philippe Duchon
Philippe Flajolet
Mihyun Kang
Matthieu Latapy
Christian Queinnec
Gilles Schaeffer
Michèle Soria, directrice

Rappel: invitation à la soutenance de thèse de Daniel FERNANDES MACEDO

Bonjour,

C'est avec le plus grand plaisir que je vous invite à ma soutenance de
thèse intitulée « Self-Configuration of Multi-Hop Wireless Networks »
ainsi qu'au pot qui suivra.

La soutenance se déroulera le 18 Décembre 2009 à 10h30, au LIP6 salle 550
- 5ème étage (Site Passy-Kennedy)
Le pot se déroulera en salle 549 - 5ème étage (Site Passy-Kennedy)

========
Accès
========

LIP6 : 104 avenue du Président Kennedy, 75016 Paris.
Plan d'accès : http://www.lip6.fr/informations/comment.php
IMPORTANT: Pour les visiteurs il faut demander un badge à l'accueil. Il
est nécessaire une pièce d'identité.

=========
Abstract
=========

This thesis was developed in the context of wireless multi-hop networks.
Those networks work by packet forwarding over wireless links (also called
hops). Due to the very high dynamics of the environment,
self-configuration approaches are used within the network protocols. In
those approaches, the parameters of applications and protocols are
automatically adjusted whenever a change in the environment occurs. Thus,
in this thesis we propose a new approach for the sharing of
self-configuration and cross-layering information, as well as two
self-configuration algorithms. The first algorithm improves routing on
wireless links having a dynamic data rate and transmission power. We
present an analytical model to support the results of our routing
extensions. The second algorithm that we propose uses control theory and
fuzzy logic to adapt the query mechanism of a peer-to-peer file sharing
application according to the load experienced on the network.

=========
Résumé
=========

Cette thèse s'insère dans le contexte des réseaux sans fil à multi-sauts.
De tels réseaux se communiquent par des liens hertziens par le relayage de
paquets (les sauts). La très haute dynamique dans cet environnement force
l'utilisation des approches d'auto-configuration, c'est-à-dire des
approches où les paramètres des terminaux sont adaptés automatiquement
face aux changements de l'environnement. Nous proposons ainsi une nouvelle
approche de partage d'informations d'auto-configuration et de cross-layer,
basée sur le concept du plan de d'information, ainsi que deux algorithmes
de auto-configuration qui les utilisent. Nous commençons la thèse avec
l'architecture et l'évaluation du logiciel du plan d'information. Ensuite
nous présentons et évaluons les deux algorithmes d'auto-configuration
proposés. Le premier algorithme améliore le routage en prenant en compte
la bande passante et la puissance de transmission des liens sans fil
hertziens. Nous présentons un modèle mathématique pour ce problème comme
support à notre proposition. Le deuxième algorithme utilise la théorie de
contrôle et la logique floue pour adapter le mécanisme d'enquêtes d'une
application pair à pair à la charge du réseau.

========
Jury
========

- M. Khaldoun AL AGHA, Professeur à l'Université d'Orsay (Rapporteur)
- M. André-Luc Beylot, Professeur à l'ENSEEIHT (Rapporteur)
- M. Mario GERLA, Professeur à l'Université de Californie, Los Angeles
(Examinateur)
- M. Serge FDIDA, Professeur à l'Université Pierre et Marie Curie
(Examinateur)
- M. José M. NOGUEIRA, Professeur à l'Université Fédérale de Minas Gerais
(Co-encadrant)
- M. Guy PUJOLLE, Professeur à l'Université Pierre et Marie Curie
(Directeur de thèse)

Cordialement,

Daniel FERNANDES MACEDO

--
Daniel Fernandes Macedo
Daniel.Macedo@rp.lip6.fr

PhD student
Université Pierre et Marie Curie
Laboratoire d'Informatique Paris VI
http://www-rp.lip6.fr/~macedo

Invitation à la soutenance de thèse de Vasilis FREIDERIKOS.

Bonjour,

 

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Architectures Autonomiques pour le Réseau Local Domestique / Autonomic Architectures for Home Networks".
La soutenance aura lieu le :

 

===========
Lundi 14 Décembre 2009 à 13h00, au LIP6 - salle 847 - 8ème étage (Site Passy-Kennedy)
===========

 

Vous êtes également invités au pot qui suivra en salle 555 - 5ème étage (Site Passy-Kennedy) 

===========
Accès
===========
LIP6 : 104 avenue du Président Kennedy, 75016 Paris.
Plan d'accès : http://www.lip6.fr/informations/comment.php
Demander un badge visiteur à l'accueil et prévoir une pièce d'identité.

 

===========

Résumé

===========

Le futur réseau de domicile se verra transformé en réseau maillé, multi-technologies avec des possibilités d'acheminements multiples, afin d'offrir de nouveaux services et dispositifs avec une couverture étendue et de très hauts débits de données vers l' ensemble des terminaux de l'habitat. Cependant cette architecture étendue est susceptible d'augmenter sensiblement la complexité de la gestion et du contrôle, qui peuvent se révéler à un grave problème tant pour les utilisateurs que pour les opérateurs. Il affectera les utilisateurs, car ils ne sont pas nécessairement des experts réseaux et les opérateurs car ils auront à gérer un réseau infiniment croissant avec des millions d'appareils. Il est donc important que ces réseaux soient revus pour intégrer dans leur architecture fondamentale la capacité d'autogestion. Cette thèse porte sur l'application des technologies appelées  «autonomiques» afin de proposer un cadre complet pour une gestion du réseau de domicile distribuée, déclenchée localement, et basée sur la connaissance mutualisée. Un modèle concret d'architecture autonome pour le réseau domestique ainsi que des contributions à la gestion de la QoS, l'auto-réparation, la supervision et l'analyse des causes, sont proposés.

 

===========

Abstract

===========

Next-generation home networks are expected to evolve into multi-technology, multipath mesh networks to support future services and devices with extended coverage and ultra broadband data rates throughout the home area. However this extended architecture is likely to significantly increase management and control complexity, which may become a serious problem for both end-users and operators. End-users will be affected since they are not necessarily network experts, whereas operators will have to manage an ever-expanding network incorporating millions of devices. It is therefore important to redesign such networks in order to embed self-management capabilities. This thesis applies the principles of "autonomic" systems to provide a complete framework for the distributed, knowledge-based and locally triggered management of home-network equipment. A concrete architectural model for an autonomic home network is defined. Contributions to QoS management, self-healing, supervision and root cause analysis are also presented.

 

===========

Jury

===========

 

- Guy PUJOLLE, professeur à l'Université Pierre & Marie Curie, Paris (directeur de thèse)
- Sylvain MEYER, ingénieur de recherche à Orange Labs, Lannion (co-encadrant et examinateur)

- Dominique GAÏTI, professeur à l'Université de Technologie de Troyes (rapporteur)
- Ulf KÖRNER, professeur à l'Université de Lund, Suède (rapporteur)
- Thierry COUPAYE, ingénieur de recherche à Orange Labs, Grenoble (examinateur)
- Harry PERROS, professeur à l'Université d'état de Caroline du Nord, Etats-Unis (examinateur)
- Christian QUEINNEC, professeur à l'Université Pierre & Marie Curie, Paris (examinateur)

 

Cordialement,

 

Vasilis Freiderikos

 

-------------------------------------------------------------

Vasilis Freiderikos
PHARE - LIP6 - UPMC - Paris Universitas
E-mail: vasilis.freiderikos@lip6.fr

 

 

 

 

Invitation à la soutenance de thèse de Salim Nahle, Mercredi 9 Décembre à 16h00, salle 549

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée
"Algorithmes d'Amélioration de Capacité pour les Réseaux Maillés Sans Fils
"

La soutenance se déroulera le Mercredi 9 Décembre 2009 à 16h00, au LIP6
salle 549 - 5ème étage (Site Passy-Kennedy).

Vous êtes également invités au pot qui suivra.

Accès

LIP6 : 104 avenue du Président Kennedy, 75016 Paris.

Plan d'accès : http://www.lip6.fr/informations/comment.php

Demander un badge visiteur à l'accueil et prévoir une pièce d'identité.

=========

Résumé

Cette thèse a pour objectif d'améliorer l'équité et la capacité des
réseaux maillés sans fil. Elle comporte deux parties principales: Les
réseaux maillés basés sur la technologie WI-FI (Wi-Fi-based wireless mesh
networks), et les réseaux maillés basés sur la technologie WiMAX (WiMAX
Mesh Networks).

Dans la première partie, on étudie le problème d'équité dans les réseaux
maillés sans fil basés sur la technologie Wi-Fi. On propose un algorithme
distribué pour améliorer l'équité et la capacité des réseaux. Cet
algorithme est basé sur l'utilisation d'une deuxième file d'attente par
nœud dédié pour stocker les paquets des autres nœuds. De plus, il change
les paramètres des contentions inversement proportionnels aux débits
équitables calculés, en se basant sur le 'weighted contention graph'. On
montre par simulation sur OMNET++ l'efficacité de notre algorithme en
termes de débit et d'équité.

Dans la deuxième partie et afin d'améliorer la capacité équitable dans les
réseaux maillés sans fil basés sur la technologie Wi-Fi, on propose des
algorithmes de routage et d'ordonnancement pour les réseaux maillés
exploitant un seul canal. Ensuite, on étudie les réseaux maillés WiMAX
multi-canaux. On propose une métrique de routage (appelé MCOP 'Multiple
Channel One Pass') qui prend en compte les 'burst profiles' et les
'goulots d'étranglement' dans le cas d'utilisation de plusieurs canaux. On
montre par simulation l'efficacité du routage basé sur cette métrique.
Enfin, on propose des algorithmes de placement des nœuds dans un réseau
maillé sans fil WIMAX, dont le but est de minimiser le nombre de stations
nécessaires pour assurer une couverture totale d'un itinéraire pour un
débit donné.

--

Jury
Tijani Chahed Rapporteur, Professeur, TELECOM et Management SudParis
Fabrice Valois Rapporteur, Professeur, INSA-Lyon
Vishal Misra Examinateur, Professeur, Columbia University
Samir Tohme Examinateur, Professeur, Université de Versailles - UVSQ
Sébastien Tixeuil Examinateur, Professeur, UPMC
Serge Fdida Directeur de thèse, Professeur, UPMC
Naceur Malouch Encadrant, Maıtre de Conférences, UPMC

--
Salim Nahle

Laboratoire Informatique de Paris 6 (LIP6)
104, avenue du Président Kennedy
75016 Paris

http://www-rp.lip6.fr/~nahle/

Soutenance de Thèse de Xavier Renault

Bonjour à tous,

J'ai le plaisir de vous inviter à ma soutenance de thèse de doctorat
intitulée :

"Mise en oeuvre de notations standardisées, formelles et semi-
formelles dans un processus de développement de systèmes embarqués
temps-réel répartis."

La soutenance se déroulera le 3 décembre 2009, à 14h dans les locaux
du LIP6 :

salle 549
104 avenue du Président Kennedy
75016 Paris

Vous êtes également conviés au pot qui suivra.

Pour les visiteurs extérieurs au LIP6, veuillez penser à vous munir
d'une pièce d'identité.

Résumé :

Dans un processus d'ingénierie dirigée par les modèles (IDM),
l'ingénieur modélise son système à l'aide d'une notation semi-
formelle, le valide puis l'implante. L'étape de validation est
cruciale pour les systèmes temps-réel répartis et embarqués (TR2E),
pour s'assurer de leur bon fonctionnement logique ou temporel.
Cependant, une démarche IDM n'est pas suffisante car elle n'indique
pas comment utiliser les modèles pour faire des analyses. Il est
nécessaire d'adopter une démarche d'Ingénierie Dirigée par les
Vérifications et les Validations (IDV2) pour s'assurer que le système
est correctement construit, et qu'il satisfait un ensemble de
propriétés spécifiées en amont dans le processus de développement.

Cette thèse propose un processus de développement, de validation et de
vérification basé sur des notations formelles, et dédié aux
applications TR2E. Le langage AADL (Architecture Analysis and Design
Language) est utilisé comme notation pivot. Le processus proposé prend
en compte les aspects comportementaux de l'application et les aspects
architecturaux de l'exécutif. Il repose sur des notations
standardisées, pour faire face aux problèmes d'interopérabilités des
outils mis en oeuvre.

Notre démarche permet d'obtenir des retours aussi bien à propos de
l'applicatif que de l'exécutif, et permet de corriger ou modifier les
modèles dans un processus de développement itératif. Au cours de
notre démarche, nous transformons les spécifications AADL vers
différentes notations standardisées : les réseaux de Petri pour la
validation de l'applicatif, la notation Z pour la vérification de
l'exécutif utilisé, PolyORB.

Jury :

Laurence Duchien Rapporteur Professeur à l'Université de Lille 1
Michel Lemoine Rapporteur Directeur de recherche à l'ONERA CMP

Béatrice Bérard Examinateur Professeur à l'Université Pierre et
Marie Curie
Peter Feiler Examinateur Senior Technical Staff - Carnegie Mellon
University, SEI
Laure Petrucci Examinateur Professeur à l'Université de Paris 13

Jérôme Hugues Encadrant Maître de Conférences à l'ISAE
Fabrice Kordon Directeur Professeur à l'Université Pierre et Marie
Curie

--
Xavier Renault
LIP6

Soutenance de thèse de Corina IOVAN

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée :

«Détection et caractérisation de la végétation en milieu urbain à partir
d'images aériennes haute résolution»

ainsi qu'au pot qui suivra. La soutenance aura lieu le lundi 30 novembre à
14h30 dans la salle Robert Génot de l'Institut Géographique National, à
Saint-Mandé.

Plan d'accès :

Institut Géographique National,
2-4 avenue Pasteur,
94165 Saint-Mandé
Métro ligne 1, Station Saint-Mandé

http://maps.google.fr/maps/ms?ie=UTF8&hl=fr&msa=0&msid=114865627586456036069.000479214ee2ec27f11f1&t=h&z=18

La thèse sera soutenue devant le jury composé de :

Mme. Nicole VINCENT, Professeur à l'Université Paris Descartes (Paris 5)
(Rapporteur)
Mme. Josiane ZERUBIA, Directrice de Recherche à INRIA Sophia Antipolis
(Rapporteur)
Mr. Patrick GALLINARI, Professeur à l'Université Pierre et Marie Curie
(Paris 6) (Examinateur)
Mr. Michel ROUX, Maître de Conférences à Télécom ParisTech(Examinateur)
Mr. Matthieu Cord, Professeur à l'Université Pierre et Marie
Curie(Directeur de thèse)
Mr. Didier BOLDO, Chargé de Recherches à l'Institut Géographique National
(Encadrant)

=========
Résumé
=========

La modélisation 3D des zones urbaines est un enjeu actuel important pour
de nombreuses applications liées à l'aménagement du territoire,
l'urbanisme ou la gestion de l'environnement. Un large éventail de
méthodes de traitement automatique d'images aériennes a été proposé depuis
plusieurs années pour la reconstruction 3D d'environnements urbains. Ces
approches sont aussi nombreuses que variées, tant en ce qui concerne le
type de données utilisées que sur le plan du degré d'automatisation des
méthodes. Cependant, la plupart des modélisations se limitent aux objets
créés par l'homme (bâti, route...). Or la végétation est également très
importante pour la compréhension des zones urbaines. Les modèles urbains
3D peuvent être améliorés par l'intégration de la végétation, avec une
description précise de la disposition des arbres et des espèces.

Cette thèse présente une chaine d'analyse d'images aériennes couleur et
infrarouge pour la détection et la caractérisation de la végétation en vue
de la modélisation 3D des milieux urbains.

Le premier module de ce système a pour fonction de détecter les zones de
végétation. L'approche adoptée repose sur une méthode de classification
supervisée utilisant les Séparateurs à Vaste Marge (SVM) que nous
comparons aux approches traditionnelles de télédétection. Les modules
suivants ont pour but de caractériser ces zones de végétation. La
séparation en végétation haute (arbre) et végétation basse (pelouse) est
réalisé par une analyse de la texture du modèle numérique de surface
(MNS). Ensuite, une étape d'extraction des houppiers faisant intervenir un
algorithme de croissance de régions intégrant des caractéristiques
géométriques d'arbres est présentée. Des paramètres morphologiques (la
hauteur, le diamètre de la couronne, la localisation du tronc des arbres)
sont estimés pour chaque houppier. Les différentes espèces d'arbres sont
ensuite déterminées par un système de classification supervisée. Dans ce
domaine, nous avons étudié l'apport des caractéristiques radiométriques,
de texture, ainsi que de leur fusion. L'ensemble des informations
extraites par ce système (paramètres morphologiques, type de végétation et
espèce) est utilisé pour enrichir un modèle 3D urbain avec des modèles de
végétation réalistes.

Cordialement,
Corina IOVAN