Soutenance de thèse de Vinh Truong

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée :
"Apprentissage de fonctions d'ordonnancement avec peu de données étiquetées:
une application au routage d'information, au résumé de textes et au
filtrage collaboratif."

La soutenance se déroulera le :

==========
jeudi 8 octobre à 14h00 au LIP6, salle 549 - 5ème étage (Site Passy-Kennedy)
==========

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

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

La communauté d'apprentissage s'est récemment intéressée aux fonctions
d'ordonnancement. Ces fonctions cherchent à comparer les entrées entre
elles et à les retourner sous la forme d'une liste ordonnée.
Cependant, l'apprentissage nécessite une grande base de données
étiquetées, dont la création est en général coûteuse.

Dans ce mémoire, nous avons cherché à réduire le nombre d'exemples
étiquetés pour l'apprentissage des fonctions d'ordonnancement. Nous avons
abordé cette problématique sous deux angles différents. En premier lieu,
nous avons cherché à améliorer les performances en apprentissage supervisé
en exploitant l'information contenue dans un grand nombre de données non
étiquetées. Ce cadre est connu sous le terme d'apprentissage
semi-supervisé. En deuxième lieu, nous avons considéré l'apprentissage
actif, dont le but est de construire itérativement la base
d'apprentissage. L'objectif est de sélectionner les meilleures entrées à
étiqueter pour réduire au maximum le nombre de données étiquetées.

Dans une première partie, nous présentons nos modèles en apprentissage
semi-supervisé puis actif pour l'ordonnancement dit biparti. Nos modèles
sont des extensions des méthodes SVM et de boosting. Nous nous sommes
notamment intéressés à développer des modèles de faible complexité pour
pouvoir traiter un grand nombre de données non–étiquetées. Dans une
deuxième partie, nous considérons plusieurs applications de recherche en
information touchées par notre problématique : le routage d'information,
le résumé automatique de textes et le filtrage collaboratif. Cette partie
permet de valider nos modèles et de montrer l'intérêt de l'ordonnancement
pour le filtrage collaboratif.

========
Jury
========
- Massih Réza AMINI, agent de recherche au CNRC (directeur de thèse)
- Patrick GALLINARI, professeur à l'Université Pierre et Marie Curie
(directeur de thèse)
- Éric GAUSSIER, professeur à l'Université Joseph Fourier (rapporteur)
- Yves GRANDVALET, chercheur CNRS à l'Université Technologique de
Compiègne (examinateur)
- François YVON, professeur à l'Université Paris Sud 11

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

Cordialement,

Vinh TRUONG

Soutenance de Thèse de Meriem KASSAR le Mercredi 30 Septembre à 11h00 (Salle 847)

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée "Gestion du Handover Vertical dans les Réseaux sans fil Hétérogènes", ainsi qu'au pot qui suivra.

La soutenance aura lieu le Mercredi 30 Septembre à 11h00 en Salle 847 (8ème étage) au Laboratoire d'Informatique de Paris (LIP6), à l'adresse

104, Avenue du Président Kennedy, 75016 Paris.
(Plan d'accès disponible à : http://www.lip6.fr/informations/comment.php).

 

Composition du Jury :

Mr Nazim AGOULMINE, Professeur à l'Université d'Evry-Val-d'Essonne (Rapporteur)
Mr Thomas NOËL, Professeur à l'Université Louis Pasteur de Strasbourg (Rapporteur)
Mr Tijani CHAHED, Professeur à TELECOM SudParis (Examinateur)
Mr Marcelo DIAS DE AMORIM, Chargé de Recherche CNRS, HDR (Examinateur)
Mr Farouk KAMOUN, Professeur à l'ENSI de Tunis (Examinateur)
Mr Guy PUJOLLE, Professeur à l'Université Pierre et Marie Curie (Directeur)
Mme Brigitte KERVELLA, Maître de Conférence à l'IUT d'Amiens (Co-encadrante)

 

Résumé :

Avec l'évolution de nombreuses technologies sans fil et des terminaux mobiles à interfaces réseau multiples, un compromis apparaît entre la mobilité, la transparence et la performance. Les utilisateurs mobiles auront besoin d'accéder à leurs services IP en tout lieu, à tout moment et de la meilleure manière possible sans se soucier des transitions entre les différents réseaux d'accès. Cet accès sans fil universel fait référence au concept ABC (Always Best Connected) dans les nouvelles générations de systèmes de communication telle que 4G ou NGN. Cette nouvelle génération n'est autre qu'un environnement sans fil hétérogène dans lequel différents réseaux d'accès doivent coexister. Elle peut ainsi offrir une variété de services à haut débit et une couverture ubiquitaire aux utilisateurs mobiles.
Au sein de ce type d'environnement, il est nécessaire d'intégrer ou de faire coopérer des réseaux sans fil hétérogènes par un modèle d'Interworking. Une des principales exigences d'un modèle d'Interworking est de gérer la mobilité des utilisateurs pour une continuité de service de manière transparente. Dans ce cas, un réseau d'accès doit être sélectionné et la communication active doit être maintenue avec prise en compte possible des préférences de l'utilisateur. Pour cela, un schéma de gestion du handover vertical seamless devrait collecter les informations nécessaires, décider du besoin d'initier le handover en temps opportun, choisir le réseau le plus approprié parmi les réseaux d'accès hétérogènes disponibles et exécuter le handover par anticipation.   
Cette thèse analyse tout d'abord les propositions relatives à la gestion de la mobilité dans un contexte de réseaux sans fil hétérogènes, ainsi que les stratégies de décision du handover vertical existantes. Elle étudie ensuite une architecture d'Interworking 3G/UMTS-WLAN en couplage loose. Cette architecture, prouvée par sa faisabilité et sa simplicité, se base sur le protocole Mobile IP afin de gérer la mobilité des utilisateurs pour une continuité de service. Cette thèse propose un schéma de gestion du handover contrôlé par le mobile que nous intégrons à l'architecture d'Interworking dans un contexte multi-opérateurs en collaboration, répondant aux besoins des utilisateurs mobiles d'une part, et assurant la continuité de service d'autre part. Ce schéma, efficace et intelligent, collecte les informations nécessaires, décide du besoin d'initier le handover en temps opportun à l'aide d'un système de logique floue, choisit le réseau le plus approprié parmi les réseaux d'accès hétérogènes disponibles à l'aide d'un processus AHP (Analytic Hierarchy Process). Pour une solution de type seamless, la procédure d'exécution du handover, basée sur une combinaison Mobile IP-AAA, est préparée grâce à la stratégie élaborée de la décision du handover au niveau du terminal mobile.

 

Mots-clés :

Gestion de mobilité, Handover vertical, Réseaux sans fil hétérogènes, Décision du handover, Interworking, Couplage loose, Seamless, Mobile IP, 3G/UMTS, WLAN.

 

Cordialement

Meriem KASSAR BEN JEMAA

Soutenance de thèse d'Alban Linard

Bonjour,

j'ai le plaisir de vous inviter à la soutenance de ma thèse, ainsi
qu'au pot ardéchois qui suivra.

=====
Titre
=====
«Sémantique paramétrable des Diagrammes de Décision : une démarche
vers l'unification»

====
Lieu
====
La soutenance aura lieu le mardi 29 septembre à 14h au LIP6 (Site
Passy-Kennedy), en salle 847. Les indications pour se rendre au LIP6
se trouvent à cette adresse : http://www.lip6.fr/informations/comment.php

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

M. Didier Buchs (Université de Genève) - Rapporteur
M. Jean-Michel Couvreur (Université d'Orléans) - Rapporteur
Mme Béatrice Bérard (Université Pierre et Marie Curie) -
Examinateur
M. Olivier H. Roux (IUT de Nantes) -
Examinateur
M. Alexandre Duret-Lutz (EPITA) -
Examinateur
M. Fabrice Kordon (Université Pierre et Marie Curie) - Directeur
M. Emmanuel Paviot-Adet (Université Paris Descartes) - Encadrant

======
Résumé
======
Les Diagrammes de Décision sont des structures de données compactes,
qui représentent efficacement des ensembles de données de taille
importante sous forme d'un graphe, dont les parties communes sont
partagées. Cette efficacité se traduit, lors de la manipulation de ces
structures, aussi bien dans la mémoire consommée que dans le temps
d'exécution. Elle est toutefois dépendante des données représentées :
le gain peut varier en pratique de très faible à exponentiel. Ainsi,
des techniques récentes ont permis d'atteindre plus de 10^2500 états
différents dans 1 Go de mémoire en environ une minute.

De nombreuses variantes ont été définies depuis le début des années 90
à partir des Diagrammes de Décision Binaire (BDD), à l'origine de ces
structures de données. Les évolutions sont très variées, allant
d'optimisations de la structure à l'extension hiérarchique des
Diagrammes de Décision.
Il existe ainsi actuellement plusieurs dizaines de variantes. Malgré
leur utilisation dans de nombreux domaines, les Diagrammes de Décision
sont à ce jour différentes structures, qui évoluent indépendamment les
unes des autres. Il n'existe pas de théorie unifiée, ce qui a certes
permis des évolutions rapides de ces structures, mais est un frein à
la réutilisation des résultats obtenus dans le domaine.

Nous proposons un cadre unifiant la majeure partie des Diagrammes de
Décision existants à l'heure actuelle, le grand nombre de variantes ne
permettant pas d'espérer tous les couvrir. Nous montrons que cette
généralisation se fait sans perte d'efficacité, en fournissant un
moyen de récupérer les optimisations de structure définies dans
certains évolutions. De plus, en important ces optimisations dans le
cadre unifié, nous permettons leur application pour certains
Diagrammes de Décision pour lesquels elles n'étaient jusqu'à présent
pas définies. L'unification réalisée permet de mélanger, au sein d'un
même Diagramme de Décision, les spécificités de variantes jusque là
séparées.

========
Abstract
========
Decision Diagrams are compact data structures. They represent
efficiently huge data sets as graphs, where common parts are shared.
Gains in efficiency occur on both memory and time used for
computations using these structures. However, it depends on the data
represented, and varies from almost no gain to an exponential one.
With modern techniques, state spaces containing more than 10^2500
different states have been generated in one minute, using only 1 Gbyte
of memory.

A great number of Decision Diagrams, deriving from Binary Decision
Diagrams (BDDs), have been defined during the last 20 years. Their
differences vary from cover optimizations of the structure to its
hierarchical extension. Nowadays, dozens of Decision Diagram kinds
exist. They are used in many domains, but each one is a different data
structure, that evolves unrelated to the others. No unified theory
exists. Its lack helped creating a lot of new Decision Diagrams, but
prevents reuse of results in this domain.

We propose a unifying framework, that covers most of existing Decision
Diagrams. However, we do not cover all the variations, beause of their
great number. We show that this generalization does not imply a loss
in efficiency, by extending the structural optimizations of the
Decision Diagrams. This generalization brings these optimizations to
kinds that did not define them. Moreover, the unified framework
enables mixing several disjoint kinds of Decision Diagrams in one
structure.

Cordialement,
Alban Linard

--
Université Pierre et Marie Curie - UMR CNRS 7606
Laboratoire d'Informatique de Paris 6 / MoVe
Bureau 818
Tél: + 33 1 44 27 31 92
104 Avenue du Président Kennedy
75016 Paris - France

Soutenance de thèse de Michele NOGUEIRA

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse qui s'intitule

«SAMNAR : a survivable architecture for wireless self-organizing networks»

La soutenance aura lieu le mardi 6 octobre
à 10h au LIP6 (Site Passy-Kennedy), en salle 549.

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

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

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

M. Khaldoun AL AGHA, Professeur à l'Université Paris-Sud11 (Rapporteur)
M. José M. NOGUEIRA, Professeur à l'Université de Minas Gerais (Rapporteur)
M. David POWELL, Directeur de Recherche CNRS au LAAS/Toulouse (Examinateur)
M. Serge FDIDA, Professeur à l'Université Pierre et Marie Curie (Examinateur)
M. Pascal URIEN, Professeur à Telecom ParisTech (Examinateur)
M. Guy PUJOLLE, Professeur à l'Université Pierre et Marie Curie (Directeur
de thèse)

Résumé :

Ce travail présente SAMNAR, une architecture pour la survivance des
réseaux sans fil auto-organisés. SAMNAR est basée sur le système
immunitaire du corps humain et vise à maintenir les services essentiels du
réseau, comme la connectivité de la couche de liaison, le routage et la
communication de bout-en -bout même en présence d'attaques ou
d'intrusions. Elle utilise une nouvelle approche pour la gestion de la
sécurité, consistant en la coordination adaptative des lignes de défense
préventive, réactive et tolérante. SAMNAR propose la création des niveaux
différents de protection. Les mécanismes préventifs, tels que la
cryptographie, sont la première protection. Les mécanismes réactifs, tels
que les systèmes de détection d'intrusion, sont la deuxième protection. Et
les mécanismes tolérants sont la troisième protection, en atténuant les
effets d'intrusions ou d'attaques jusqu'à ce que les autres lignes de
défense puissent s'adapter. Nous appliquons SAMNAR dans deux études de
cas. La première étude propose un schèma de sélection de chemin qui
corrèle des critères fournis par trois lignes de défense en utilisant la
logique floue. Son objectif est de choisir le chemin le plus survivant. La
deuxième étude propose un système de gestion de clés publiques (PKI)
visant à gérer et distribuer du matériel cryptographique de manière
survivante. Le PKI est décentralisé et utilise différentes évidences pour
établir la responsabilité des usagers et leurs clés publiques. Ces
évidences résultent de la coordination entre les trois lignes de défense
et des relations sociales entre les utilisateurs. Enfin, nous fournissons
des orientations pour créer des connectivités survivantes au niveau de la
couche de liaison supportées par la technologie de la radio cognitive.

Abstract

This work presents SAMNAR, a survivable architecture for wireless
self-organizing networks. SAMNAR is inspired on the human body immune
system and aims to maintain network essential services, as link-layer
connectivity, routing and end-to-end communication even under attacks or
intrusion. It proposes a new approach for security management, consisting
in the adaptive coordination among preventive, reactive and tolerant
defense lines, and creates different levels of obstacles for attacks and
intrusions. Preventive security mechanisms, such as cryptography, perform
as first protection, blocking some attacks. Reactive security mechanisms,
such as intrusion detection systems, are the second protection, detecting
and reacting against intrusions (successful attacks). Tolerant security
mechanisms are the third protection, mitigating intrusion or attack
effects until the network can adapt preventive or reactive defense lines.
We apply SAMNAR in two case studies. The first one proposes a survival
path selection scheme for routing essential service. The scheme correlates
criteria provided by three defense lines using Fuzzy logic in order to
choose the most survivable path. The second one proposes a survivable
public key management system (PKI), aiming to manage and distribute
cryptographic keying material in a survivable way. Our PKI is fully
decentralized using different evidences to prove the liability of users
for their public keys. Evidences result from the coordination among three
defense lines and social relationships among users. Finally, we provide
directions for a survivable link-layer connectivity supported by the
cognitive radio technology.

Cordialement,
Michele NOGUEIRA

--
----------------------------------------------------------
Michele Nogueira <<Michele.Nogueira AT lip6.fr>>
PhD Candidate - PHARE - LIP6 - Paris Universitas
Université Pierre et Marie Curie - Paris 6
104 avenue du Président Kennedy, 75016 Paris - France
http://www-phare.lip6.fr/~lima/

Soutenance de thèse de Marc-Ismaël Akodjènou

Bonjour,

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

«Clustering et Volume des Données»

ainsi qu'au pot qui suivra. La soutenance aura lieu le lundi 28 septembre
à 14h30 au LIP6 (Site Passy-Kennedy), en salle 847.

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

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

Mr. Christophe Ambroise, Professeur à l'Université d'Évry (Rapporteur)
Mr. Pierre Gançarski, Maître de Conférences à l'Université Louis Pasteur
de Strasbourg (Rapporteur)
Mr. Georges Hébrail, Professeur à l'École Nationale Supérieure des
Télécommunications (Examinateur)
Mr. Matthieu Cord, Professeur à l'Université Pierre et Marie Curie
(Examinateur)
Mr. Patrick Gallinari, Professeur à l'Université Pierre et Marie Curie
(Directeur)
Mr. Kavé Salamatian, Maître de Conférences à l'Université Pierre et
Marie Curie (Encadrant)

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

Le clustering est une tâche fondamentale de la fouille de données. Ces
dernières années, le volume
des données (à la fois le nombre d'objets et le nombre de
caractéristiques, de "dimensions", les dé-
crivant) croît sans arrêt. Les méthodes de clustering doivent s'adapter
à cette évolution qui a des
impacts à la fois qualitatifs (la pertinence des résultats) et
opérationnels (la complexité du traitement).
Nous étudions dans cette thèse comment se sont adaptées les méthodes de
clustering le long
de ces deux axes. Après une analyse des méthodes existantes à travers ce
prisme, nous en arrivons
au constat que les méthodes qui se concentrent sur la réduction de la
complexité opérationnelle ne
sont généralement pas efficaces en haute dimension, et réciproquement.
Nous prenons ensuite ensuite
le cadre abstrait des méthodes à base de grille : le clustering est
effectué indirectement à travers un
résumé des données. Le résumé est constitué d'indices de proximité entre
les points et doit se construire
avec une complexité respectant des contraintes opérationnelles strictes.
Nous proposons ensuite une
méthode dans ce cadre : le résumé est construit à partir de projections
linéaires des données. Les
indices de proximité ainsi accumulés sont agrégés pour obtenir le
clustering. La méthode a une
complexité opérationnelle satisfaisante et a de bonnes performances en
haute dimension.

Cordialement,

Marc-Ismaël Akodjènou

Soutenance de Thèse de Hayder MRABET

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse qui s'intitule
« Conception Et Optimisation D'Architectures Reconfigurables De Type FPGA »
Et qui aura lieu le Vendredi 25 Septembre à 10h30 dans l'Amphithéâtre
J.MONOD, Tour 42, RDC
Université Pierre Et Marie Curie (UPMC) – Paris 6
4 place Jussieu
75252 PARIS cedex 05

Vous êtes par ailleurs très chaleureusement conviés au pot qui suivra.

Plan d'accès:
http://www.upmc.fr/fr/vie_des_campus/handicap/plan_d_acces.html

Jury :

M. Régis Leveugle, (TIMA) Rapporteur
M. Yves Mathieu, (ENST) Rapporteur
M. François Anceau, (Paris 6) Examinateur
M. Marc Belleville, (CEA-LETI) Examinateur
M. André Tissot, (CEA-DAM) Examinateur
M. Olivier Lepape, (Abound Logic) Examinateur
M. Jean-Arnaud François, (STMicroelectronics) Examinateur
M. Habib Mehrez, (Paris 6) Directeur de thèse

Résumé :

La question du choix d'implémentations FPGA ou ASIC se pose dès les
premiers stades de conception des circuits intégrés. De telles décisions
sont basées sur les différences en termes de performances, consommation
électrique et du coût lié à la surface de silicium et au volume de
production. Un FPGA est 3 à 4 fois plus lent et consomme environ 12 fois
plus qu'un ASIC. Cet écart est dû au réseau d'interconnexion programmable
qui représente le facteur dominant du FPGA en terme de surface (90%) et en
terme de consommation électrique (65%). Les circuits FPGAs doivent fournir
un bon compromis entre flexibilité, performances et coût pour rester dans
la course du marché des semi-conducteurs. Ces facteurs sont fortement
liées à la qualité de l'architecture du FPGA, la qualité des outils de CAO
et la qualité de la conception physique. L'objet de cette thèse est
d'explorer les méthodes et les techniques pour trouver le meilleur
compromis.
La première partie traite la conception automatisée de cicuits
reconfigurables spécifiques à un domaine d'application. Nous essayons de
baisser les coûts de conception en automatisant le processus de
développement des dessins des masques. Le générateur développé est
indépendant de la technologie cible et peut être adaptés à n'importe
quelle bibliothèque de cellules précaractérisées. Ce générateur a permis
la création d'une matrice FPGA à base de cellules SRAMs. Cette matrice est
équipée d'un système de détection d'erreur pour l'atténuation des effets
SEU et offre un accès aléatoire à la mémoire de configuration. Un
prototype a été fabriqué avec succès en technologie CMOS 0.12µ de
STMicroelectronics.
La deuxième partie décrit le développement d'un FPGA avec une architecture
arborescente nommée MFPGA. Nous avons exploré l'effet des différents
paramètres de cette architecture (capacité des clusters, paramètre de Rent
etc.) sur la densité logique du FPGA. Grâce à un bon équilibrage entre les
ressources logiques et les ressources d'interconnexion, MFPGA réalise un
gain de 54% en terme de surface par rapport à une architecture matricielle
de référence. Finalement, vu la complexité de conception physique des
structures arborescentes, nous avons proposé une technique de mise à plat
et de construction physique pour MFPGA pour illustrer la faisabilité, la
généricité et la densité de cette architecture.

Cordialement
Hayder MRABET

Soutenance de thèse de Charles Clément

Bonjour,

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

"Isolation des extensions de systèmes d'exploitation dans une machine virtuelle"

qui sera présentée le jeudi 24 Septembre 2009 à 09h30 au Laboratoire
d'Informatique de Paris 6 (LIP6), situé au 104 avenue du Président
Kennedy, 75016 Paris, salle 847, ainsi qu'au pot qui suivra.

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

Composition du jury :

M. Didier Donsez, Professeur à l'Université Joseph Fourier, Grenoble 1 (Rapporteur)
M. Gilles Grimaud, Professeur à l'Université des Sciences et Technologies de Lille (Rapporteur)
M. Bertil Folliot, Professeur à l'Université Pierre & Marie Curie (Directeur)
M. Pierre-Guillaume Raverdy, Ingénieur de Recherche à l'I.N.R.I.A. (Examinateur)
M. Pierre Sens, Professeur à l'Université Pierre & Marie Curie (Examinateur)
M. Gaël Thomas, Maître de Conférences à l'Université Pierre & Marie Curie (Encadrant)

Résumé :

Cette thèse présente une nouvelle architecture de système, µvm-OS qui assure
l'isolation mémoire des extensions de noyau de système d'exploitation en
s'appuyant sur une machine virtuelle. Cette architecture repose sur
l'utilisation de la sûreté de typage et la portée des langages de programmation
pour assurer le cloisonnement de la mémoire entre le système et les différents
pilotes de périphériques. µvm-OS possède aussi une hiérarchie de privilège
logicielle dont le but est d'autoriser l'accès aux ressources aux seuls
composants authentifiés de la plate-forme. Deux prototypes sont présentés : le
premier, fonctionnant sur une machine nue, est un système à part entière tirant
partie de cette architecture. Le second prototype est inclus dans un noyau
existant, ce qui permet d'utiliser notre système tout en bénéficiant d'un
environnement complet.

--
Charles Clément
http://lip6.fr/Charles.Clement
UPMC - LIP6
Bureau 821
Tél : 01 44 27 87 68
104, avenue du Président Kennedy, 75016 Paris

Soutenance de thèse de Jason Forest

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Caractérisation de classes par la découverte automatique de sous-classes"

qui sera présentée le mercredi 23 Septembre 2009 à 14h30 au Laboratoire
d'Informatique de Paris 6, situé au 104 avenue du Président Kennedy,
75016 Paris, salle 847, ainsi qu'au pot qui suivra.
(Plan d'accès : http://www.lip6.fr/informations/comment.php )

Cette thèse sera présentée devant le Jury composé de :
Mr Carl Frélicot, Professeur à l'université de La Rochelle (rapporteur),
Mr Mohammed Ramdani, Professeur à l'université de Mohammedia (rapporteur),
Mr Matthieu Cord, Professeur à l'université Paris 6 (examinateur),
Mr Julien Velcin, Maître de conférence à l'université Lyon 2 (examinateur),
Mme Bernadette Bouchon-Meunier, Directrice de recherche CNRS (directrice
de thèse),
Mme Maria Rifqi, Maître de conférence à l'université Paris 2 (encadrante).

Résumé :
La fouille de données a pour objectif l'extraction de connaissances à
partir de grandes bases de données. La caractérisation de données
s'inscrit de ce domaine et regroupe les méthodes qui mettent en avant
les caractéristiques et les tendances des données. Nos travaux se
placent dans le cadre de la caractérisation de données supervisées et se
focalisent sur la caractérisation de classe.
Dans les jeux de données réelles, il arrive qu'une classe regroupe en
son sein plusieurs comportements distincts. On parle alors de classe
non-homogène. Ce type de classes pose des problèmes aux méthodes de
caractérisation usuelles, comme la construction de prototypes ou de
résumés, qui ne sont pas en mesure de détecter les différentes
tendances. Pour être correctement prises en compte, les classes
non-homogènes nécessitent d'être segmentées en sous-classes pertinentes.
Nous proposons, dans notre thèse, une approche novatrice de segmentation
automatique de classes en sous-classes qui détecte et isole les
différents comportements. Nous proposons également une nouvelle
définition du calcul des scores de typicalité qui se base sur ce
découpage. Contrairement aux méthodes existantes, qui utilisent un
algorithme de clustering, notre approche s'appuie sur l'organisation des
classes dans le jeu de données et détecte automatiquement le bon nombre
de sous-classes.
Notre algorithme permet une amélioration des méthodes de construction de
prototypes flous et donne des résultats de caractérisation plus riches.
Notre approche a été testée et validée aussi bien sur des jeux de
données artificielles que sur des jeux de données réelles issus, par
exemple, du marketing pharmaceutique ou encore des bases d'images.

Cordialement,
Jason Forest.

--

Jason Forest
Laboratoire d'Informatique de Paris 6
104 avenue du Président Kennedy 75016 Paris
Bureau 616 bis
Tel : 01 44 27 87 51 Fax : 01 44 27 70 00
Jason.Forest@lip6.fr

Soutenance de thèse de Lom Hillah

Bonjour,

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

«Intégration des méthodes formelles au développement dirigé par les
modèles pour
la conception et la vérification de systèmes et applications répartis»

ainsi qu'au pot qui suivra. La soutenance aura lieu le
mercredi 23 septembre à 14h au LIP6 (Site Passy-Kennedy), en salle 549.
Comment aller au LIP6 ? http://www.lip6.fr/informations/comment.php

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

Mme Isabel Demongodin (Université de Aix-Marseille) - Rapporteur
M. Michel Lemoine (ONERA) - Rapporteur
M. Claude Girault (Université Pierre et Marie Curie)- Examinateur
Mme Marie-Pierre Gervais (Université Paris Ouest Nanterre La Défense)
- Examinateur
M. Fabrice Kordon (Université Pierre et Marie Curie) - Directeur
Mme Laure Petrucci (Université Paris 13) - Examinateur
M. Ekkart Kindler (Technical University of Denmark) - Examinateur

=========
Résumé
=========
Nous intégrons à la démarche de développement dirigé par les modèles
(MDD),
une approche mettant fortement en oeuvre les méthodes formelles pour
la vérification de systèmes complexes. Le MDD, largement répandu dans
l'industrie, est
notamment mis en oeuvre pour le développement des systèmes de
transport intelligents (ITS).
Notre approche est motivée par le besoin de maîtriser les
spécifications comportementales
de tels systèmes et ainsi garantir leur sûreté. Elle s'articule selon
trois aspects.

Le premier aspect concerne la recherche de stratégies de contrôle pour
la supervision de systèmes
devant satisfaire une spécification donnée. Il s'agit de restreindre
leur comportement
par un contrôleur (s'il existe et peut être synthétisé) afin d'éviter
les états dangereux.
Le problème de l'explosion combinatoire de l'espace d'état nous oblige
à mettre en oeuvre
une structure de données performante comme les diagrammes de décisions
hiérarchiques.
Nous appliquons la recherche de stratégies de contrôle à l'évitement
de collisions sur
route automatisée.

Le deuxième aspect porte sur la vérification formelle de
spécifications comportementales
d'applications ITS en diagrammes d'activité UML. Les réseaux de Petri
constituant le
modèle formel le plus proche de ces diagrammes, nous les avons adaptés
aux
concepts orientés objet d'UML via la définition des Instantiable Petri
Net (IPN).
Les IPN intègrent la notion de type et d'instance de type, gèrent la
modularité et la hiérarchie.
Nous appliquons cette démarche à une application du projet européen
SAFESPOT.

Enfin, le troisième aspect concerne l'interopérabilité des outils de
réseaux de Petri
pour l'échange de modèles. Cette interopérabilité doit aider les
démarches de vérification comme
celle proposée plus haut, à élargir à faible coût la portée de la
vérification sur différents
aspects comportementaux d'un même système. Le problème de
compatibilité sémantique au niveau des différents
types de réseaux de Petri et des formats propriétaires supportés par
ces outils nous incite à
élaborer un cadre normalisé pour l'échange. C'est ainsi que nous
définissons, au sein de la norme
ISO/IEC 15909, le format d'échange Petri Net Markup Language, (PNML),
dans un cadre sémantique
unifiant les définitions des réseaux de Petri place/transition et
colorés.

==========
Abstract
==========
We integrate into the framework of Model-Driven Development, widely
adopted in the industry,
a formal methods approach for the verification of complex systems,
like intelligent
transport systems. This approach is driven by the need to control the
behavioral
specification of such systems. It is structured in three parts.

The first part is about searching for control strategies to supervise
systems that must
stay within the set of their admissible behaviors. To tackle the state
space explosion problem,
we use set decision diagrams, very compact and performant data
structures.
In this approach we look for collision avoidance strategies on an
automated highway.

The second part is about formal verification of behavioral
specifications of ITS applications
in UML activity diagrams. Petri nets being the closest formal models
to these diagrams, we
have tailored them to meet UML object-oriented concepts by defining
Instantiable Petri Nets (IPN).
IPNs encompass the notions of type, instance and they handle
modularity and hierarchy.
In this approach we verify the design of a software of the european
project SAFESPOT.

The last part is about Petri nets tools interoperability over Petri
net models.
This long-sought interoperability is meant to help easily extend the
verification
range of interesting behavioral characteristics of a system, using
different specialized tools.
The semantic compatibility issue over different Petri nets types and
proprietary supporting
formats between the tools made us set up a standardized framework for
models interchange. We thus
define the interchange format Petri Net Markup Language (PNML), second
part of the
international standard ISO/IEC 15909. It relies upon the explicit
semantic unification
of place/transition and colored Petri nets definitions.

Meilleures salutations,

Lom Messan Hillah
--------°°°----------------°°°---------------------------------------
Université Pierre et Marie Curie - UMR CNRS 7606
Laboratoire d'Informatique de Paris 6 / MoVe
tél: + 33 1 44 27 87 71 - Bureau 816
104 Avenue du Président Kennedy
75016 Paris - France
http://lip6.fr/Lom-Messan.Hillah/
--------°°°----------------°°°---------------------------------------

Soutenance de thèse de Vincent Labbé

Bonjour,
j'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Modélisation et apprentissage des préférences appliqués à la
recommandation dans les systèmes d'impression"
qui sera présentée le mardi 22 Septembre 2009 à 10h00 au Laboratoire
d'Informatique de Paris 6 (LIP6), situé au 104 avenue du Président
Kennedy, 75016 Paris, salle 549, ainsi qu'au pot qui suivra.
(Plan d'accès disponible à : http://www.lip6.fr/informations/comment.php),

Cette thèse sera présentée devant le Jury composé de :

Mr Jérôme Lang, Directeur de recherche CNRS à l'Institut de Recherche
en Informatique de Toulouse (Rapporteur)
Mr Gilles Coppin, professeur à Telecom Bretagne (Rapporteur)
Mr Thierry Artières, Professeur à l'Université Pierre et Marie Curie -
Paris 6 (Examinateur)
Mme Brigitte Trousse, Responsable scientifique (Examinateur)
Mme Bernadette Bouchon-Meunier, Directeur de recherche CNRS à
l'Université Pierre et Marie Curie - Paris 6 (Directeur)
Mr Nicolas Labroche, Maître de conférence à l'Université Pierre et
Marie Curie - Paris 6 (Encadrant)
Mr Stéphane Berche, Responsable industriel (Encadrant)

Cordialement

Vincent Labbé

Résumé :
Cette thèse porte sur la modélisation et l'apprentissage automatique des
préférences, dans le contexte industriel de l'impression en grand format. En
particulier, nous nous intéressons à l'automatisation de la
configuration d'impression.
De par la palette des comportements possibles, cette fonctionnalité n'est
triviale, ni à concevoir, ni à utiliser. Nous proposons une
nouvelle approche pour en améliorer les deux aspect complémentaires :
évolutivité et utilisabilité.
Notre réalisation principale est un système de recommandation
adaptatif, basé sur trois contributions originales :
* une modélisation de la configuration d'impression grand format à partir
d'un modèle de préférence, sous la forme de problèmes d'optimisation sous
contraintes,
* un modèle des préférences de l'imprimeur, sous la forme de fonctions
d'utilité additive linéaires par morceaux, basée sur une famille
d'attributs adaptée,
* un algorithme d'apprentissage automatique d'ordonnancements à partir
de données comparatives.
Basé sur l'algorithme rankSVM (noyau linéaire), notre méthode
d'apprentissage permet d'adapter la complexité de l'espace de
description des données, tout en conservant la linéarité.

soutenance de thèse de Thomas Silverston

begin:vcard
fn:Thomas SILVERSTON
n:SILVERSTON;Thomas
org;quoted-printable:Universit=C3=A9 Pierre et Marie Curie - Paris 6
adr;quoted-printable:;;104 Avenue du Pr=C3=A9sident Kennedy;Paris;;75016;France
email;internet:thomas.silverston@lip6.fr
title:Ph.D student
tel;work:+33 1 44 27 88 77
tel;fax:+33 1 44 27 53 53
url:http://rp.lip6.fr/~silverst
version:2.1
end:vcard

Bonjour,

j'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Peer-to-Peer Video Live Streaming: Measurement Experiments and Traffic
Analysis"
qui sera présentée le mercredi 16 septembre 2009 à 11h00 au Laboratoire
d'Informatique de Paris 6 (LIP6), situé au
104 avenue du Président Kennedy, 75016 Paris
salle 549, ainsi qu'au pot qui suivra.
(Plan d'accès disponible à : http://www.lip6.fr/informations/comment.php),

Cette thèse sera présentée devant le Jury composé de :

M. Laurent MASSOULIÉ, Chercheur à Thomson Technology Paris Laboratory
(Rapporteur)
M. Thierry TURLETTI, Chercheur à l'INRIA Sophia Antipolis (Rapporteur)
M. Kenjiro CHO, IIJ Research Laboratory (Examinateur)
M. Pierre SENS, Professeur à l'Université Pierre et Marie Curie - Paris
6 (Examinateur)
M. Ioannis STAVRAKAKIS, Professeur à la National and Kapodistrian
University of Athens (Examinateur)
M. Serge FDIDA, Professeur à l'Université Pierre et Marie Curie - Paris
6 (Directeur)
M. Olivier FOURMAUX, Maître de conférence à l'Université Pierre et Marie
Curie - Paris 6 (Encadrant)

Cordialement

Thomas Silverston

Abstract:
The Internet is currently experiencing one of the most important
challenges in terms of content distribution
since its first uses as a medium for content delivery: users from
passive downloaders and browsers are moving towards content producers
and publishers.
Following this change, the content delivery architecture of the Internet
is also evolving from the classical client/server model to the
peer-to-peer model (P2P).
For new content delivery services that target a large number of
receivers on the Internet, there are scalability issues
to deliver the content to potentially millions of users at the same time.
This is clearly the case for television service on the Internet.

The television broadcast service with a peer-to-peer architecture
(P2P-TV) has became an important research topic
since it is expected that P2P-TV applications will become massively used
on the Internet.
There has been a lot of P2P-TV architecture proposals but, none of these
proposals has been really implemented or deployed.
At the same time, many commercial applications appeared on the Internet
(PPLive, SOPCast) and their popularity is increasing.
Even tough these applications are freely available, their source code is
not open and
their exact implementation details and protocols are still widely unknown.
There is a lack of knowledge with these applications, with regards to
their architectures, mechanisms or traffic.

In this thesis, in order to fill the gap between the architecture
proposals and the commercial applications,
we study the P2P-TV applications by performing extensive measurement
experiments.
We passively measured the network traffic generated by popular P2P-TV
applications.

We present a detailed study of the P2P-TV traffic, providing useful
insights on both transport and packet-level properties
as well as on the behavior of the peers inside the network.
The knowledge gained thanks to this traffic measurement and analysis is
useful for several tasks as traffic identification,
understanding the performance of different P2P-TV technologies,
the impact of such traffic on the network and building more realistic
models for simulations.

In order to extend the scope of our study,
we performed another measurement campaign at larger scale between Japan
and France
to better characterize the P2P network.
From these experiments,
we study the global organization of peers in the network,
the amount of traffic they exchange and
the overall collaboration of peers.
We will also focus on the distance between peers and
the geographic location of the users.

--
*********************************************
Thomas Silverston - Ph.D student
thomas.silverston@lip6.fr
http://rp.lip6.fr/~silverst

Université Pierre et Marie Curie - LIP6/CNRS
104 avenue du Président Kennedy
75016 Paris, France
+33 1 44 27 88 77
*********************************************

Soutenance de thèse de Raimana Teina

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée
"Caractérisation de la cocoteraie des Tuamotu à partir d'images
satellites à très haute résolution spatiale" qui sera présentée le
mardi 15 Septembre 2009 à 10h00 en salle 847 ainsi qu'au pot qui
suivra, au Laboratoire d'Informatique de Paris 6, 104 avenue du
Président Kennedy, 75016.

Résumé:

Les travaux effectués pendant cette thèse portent sur la
caractérisation de la cocoteraie de l'archipel des Tuamotu en
Polynésie Française à partir d'images satellites Ikonos
multispectrales à très haute résolution spatiale. La première partie
de ce travail concerne la segmentation individuelle des cocotiers. Un
procédé de classification bayésienne permet d'éliminer les zones non
végétales. Puis, un algorithme de segmentation par ligne de partage
des eaux est initié à partir de marqueurs judicieusement
choisis. Enfin, en complètement d'une validation photo, une validation
sur le terrain a été réalisée pour estimer les erreurs de
détections. Cette validation a permis un passage à l'échelle avec
l'application de la méthode sur une grande quantité de données. Le
second volet concerne la caractérisation des plantations. Tout
d'abord, les performances de quelques classifieurs de l'état de l'art
sont comparées pour un problème d'occupation des sols. L'ajout des
informations de texture permet de caractériser les types de
plantations avec des méthodes de classification et nous montrons que
les SVM obtiennent une meilleure performance en terme de qualité de la
classification. Nous proposons une approche duale qui classifie les
types de cocoteraies à partir de la répartition spatiale des
coordonnées de chaque cocotier. Cette méthode repose sur une
modélisation de type processus ponctuel de Poisson caractérisant bien
les plantations naturelles.

Cordialement

Raimana Teina

--
Dominique Béréziat
Maître de Conférences / Associate Professor
Université Pierre et Marie Curie
Laboratoire d'Informatique Paris 6
tel : +33 1 44 27 47 71
fax : +33 1 44 27 75 41