Soutenance de thèse le lundi 15 Mars à 15h

======= diffusé pour Amine Lajmi =============

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée "Usine
logicielle de composants de simulation de procédés CAPE-OPEN", ainsi qu'au
pot qui la succèdera.

La soutenance aura lieu le lundi 15 Mars 2010 à 15h, en salle 550 du
Laboratoire d'Informatique de Paris 6 (LIP6) situé au 104, avenue du
Président Kennedy, 75016 Paris

Résumé :
L'IFP est depuis une dizaine d'années acteur principal du développement du
standard CAPE-OPEN pour l'interopérabilité de composants de simulation de
procédés. Ce standard définit les interfaces que doivent implémenter les
composants de simulation offerts par des fournisseurs logiciels différents
pour pouvoir communiquer entre eux. La plupart des environnements
commerciaux de simulation sont compatibles CAPE-OPEN, le plus souvent dans
sa déclinaison Microsoft COM, parfois dans sa déclinaison CORBA, et
prochainement sous une déclinaison .NET.
Toutefois, même si le standard a contribué à la résolution des problèmes
d'interopérabilité, l'architecture à base de composants qu'il impose a
introduit une complexité supplémentaire, difficile à maîtriser, notamment
par les experts métier. En effet, le développement de nouveaux composants,
et la maintenance de composants existants, nécessitent des connaissances non
fonctionnelles liées au standard lui-même, et à sa déclinaison
intergicielle. D'une part, ces composants contenant des connaissances
d'origines diverses, leur développement est complexe. Ceci se traduit en
pratique par la nécessité de faire collaborer plusieurs experts lors du
développement et la maintenance des composants. D'autre part, les
connaissances étant fortement couplées dans le code, ce dernier est
difficile à comprendre, et donc difficile à maintenir. Ainsi, l'objectif de
la thèse est donc de disposer d'un système d'ingénierie logicielle capable
de faciliter l'adaptation d'un composant vers n'importe quelle
implémentation, en particulier COM ou .NET. Plus précisément, il s'agit
d'arriver à minimiser cette complexité, en réalisant l'objectif de
l'Ingénierie Dirigée par les Modèles (IDM), à savoir l'indépendance par
rapport à la plateforme dans un contexte particulier, de façon à permettre
la génération de composants vers plusieurs intergiciels. Afin d'atteindre
cet objectif, nous proposons de nous appuyer sur les techniques de méta
modélisation et de transformation de modèles.
L'approche proposée consiste à séparer les trois aspects nécessaires au
développement de ces composants : l'aspect métier, l'aspect CAPE-OPEN, et
l'aspect intergiciel. Ces aspects sont modélisés séparément avec des
langages dédiés, et sont combinés automatiquement grâce à des mécanismes de
transformation. Dans un premier temps, un état de l'art des principes et des
pratiques de l'IDM est effectué. A travers cette étude, nous mettrons
l'accent sur trois questions fondamentales, à savoir comment représenter les
connaissances, comment transformer les connaissances, et enfin comment
réunir les pratiques dans un canevas commun supportant un processus de
développement agile. A la suite de cette étude, nous proposons une approche
dirigée par les modèles basée sur la modélisation dédiée des aspects, et la
transformation de modèles à base de graphes. Cette approche a été
implémentée pour générer la structure interne du composant, ainsi qu'une
partie de sa sémantique (le code de calcul). Enfin, nous validons l'approche
par rapport à un ensemble de critères, certains qualitatifs et d'autres
formels, ainsi que par rapport à de exemples de changement, anticipés sur
les aspects considérés.

Le Jury sera composé de :
M. Mikal Ziane Directeur de thèse
M. Amar Ramdane- Chérif Rapporteur
Mme. Mireille Blay-Fornarino Rapporteur
Mme. Sylvie Cauvin Examinateur
M. Tewfik Ziadi Examinateur
M. Jean-François Perrot Examinateur
M. Jean-Michel Bruel Examinateur

Bien cordialement,
Amine Lajmi
amine.lajmi@free.fr
Tel : +33 6 23 75 61 98

[Invitation] Soutenance de thèse le lundi 15 Mars 2010

Bonjour,

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

"Utilisation d'agents assistants pour l'analyse et la prise de décision
pour la gestion participative",

qui se déroulera le lundi 15 mars au LIP6 (Site Passy-Kennedy) à 10h,
salle 549 - 5ème étage. Vous êtes également invités au pot qui la
succédera.

========
Résumé
========
L'usage de l'approche couplé des Systèmes Multiagent et des Jeux des Rôles
(connue comme SMA/JR) et des ses évolutions, comme la Simulation
Participative et les Jeux et Simulations Multiagents (Games and
Multi-Agent-Based Simulations) a été appliqué dans différents scénarios
pour l'tude et l'investigation des diverses hypothèses qui concernent,
dans la plus part des cas, l'usage et la simulation des ressources
naturelles et des interactions sociales.

Cette thèse a été conduite comme une partie du projet SimParc, qui se
concentre sur la gestion des parcs naturels. Le but principal de ce projet
c'est la conception d'un outil informatique et épistemique pour
l'entrainement, l'éducation et la recherche pour les gestionnaires des
parcs, membres de conseils des parcs et pour les personnes intéressées par
ces questions. Cette thèse discute le travail et la contribution de
l'auteur à des problèmes scientifiques et techniques illustrés par ce
projet.

Plus précisément, cette monographie présente quelques prototypes
développés dans ce projet et les agents informatiques employés dans des
expérimentations. L'auteur souligne aussi l'importance des agents
assistants informatiques dans ces expérimentations et l'usage d'une
assistance non-intrusive pendant l'étape du jeu de négociation.

=========
Abstract
=========
The use of the coupled approach Multi-Agent Systems and Role-Playing Games
(MAS/RPG) and its evolutions, such as the Participatory Simulation and
Games and Multi-Agent-Based Simulations, has been aplied in many scenarios
to study and investigate diverses hypotheses concerning, in most cases,
the uses and simulations of natural resources and social interactions.

This thesis was carried out as part of the SimParc project, which focuses
on the management of natural parks. The main goal of this project is to
conceive an epistemic computer-based tool in order to promote training,
education, and research for park's managers, park councils' members, and
other interested. This thesis concerns the author's work and contribution
to some scientific and technical problems illustrated by this project.

More precisely, this monography presents some prototypes developed in this
project and the computational agents used in experiments. The author also
highlights the importance of computational assistant agents in such
experiments and the use of a non-intrusive assistance during the game's
negotiation step.

==================
Composition du jury
==================
Dr. Jean-Pierre BRIOT LIP6, CNRS-UPMC, Directeur de thèse ;
Dr. François BOUSQUET, CIRAD-Montpellier, Rapporteur ;
Dr. Jean-Paul SANSONNET, LIMSI-CNRS, Rapporteur ;
Dr. Amal EL FALLAH SEGHROUCHNI LIP6, CNRS-UPMC, Examinatrice ;
Dr. Jean-François PERROT, LIP6, CNRS-UPMC, Examinateur ;
Dr. Paul Guyot, Semiocast, Examinateur .

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

Cordialement,

--
Vinicius Sebba Patto
Laboratoire d'Informatique de Paris 6 (LIP6)
104, Av. du Président Kennedy, 75016 Paris, France
Phone: + 33 1 44 27 54 80
Fax: + 33 1 44 27 88 89
http://www45.brinkster.com/vpatto/

Invitation à la soutenance de thèse d'Olivier Couchariere (5 mars 2010)

Bonjour,

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

"Logique de description ALC possibiliste pour les systèmes d'information
opérationnels : Théorie, Algorithme et Applications ",

qui se déroulera le vendredi 5 mars au LIP6 (Site Passy-Kennedy) à 10h,
salle 549 - 5ème étage :

LIP6 -Site Passy-Kennedy
104 avenue du Président Kennedy
75016 Paris
http://www.lip6.fr/informations/comment.php

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

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

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

Afin de permettre aux Systèmes d'Information Opérationnels (SIO) de gérer
un volume croissant d'informations hétérogènes et incertaines, nous nous
intéressons à la logique de description ALC binaire et nous proposons une
extension de l'algorithme tableau classique au cas possibiliste, nommée
algorithme tableau possibiliste, et dédiée au calcul du degré
d'incohérence d'une base de connaissances possibiliste, avec des
contributions aux niveaux théorique, algorithmique et applicatif.

Au niveau théorique, nous proposons les règles de complétion possibilistes
permettant de réécrire les formules de la base en gérant des degrés de
certitude auxquels elles sont associées, puis nous démontrons leur
correction locale. Nous présentons également les nouvelles conditions
d'ajout des formules générées et les propriétés de l'algorithme proposé en
examinant la transposition au cas possibiliste des propriétés d'adéquation
et de complétude.

Au niveau algorithmique, nous considérons la problématique de la mise en
oeuvre efficace de l'algorithme tableau possibiliste et nous proposons une
procédure d'élagage de l'arbre de complétion déployé lors de son
application, basée sur l'identification d'un sous-ensemble pertinent de
formules à explorer. Après avoir exposé que cette optimisation ne change
pas ses propriétés, nous présentons l'algorithme complet auquel nous
aboutissons ainsi que l'implémentation réalisée.

Au niveau applicatif, nous présentons une approche critique des apports de
l'algorithme tableau possibiliste aux SIO avec trois services
opérationnels et nous illustrons sa pertinence avec deux scénarios, l'un
servant à fusionner des informations élémentaires, l'autre à apporter une
aide à l'interprétation de la situation.

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

Mme Marie-Christine Rousset, Professeur, Université de Grenoble
(Rapporteur)
M. Salem Benferhat, Professeur, Université d'Artois (Rapporteur)
Mme Bernadette Bouchon-Meunier, Université Paris VI, Directrice de thèse
M. Jean-Gabriel Ganascia, Professeur à l'Université Paris VI
(Examinateur)
Mlle Marie-Jeanne Lesot, Maître de Conférence à l'Université Paris VI
(Examinateur)
M. Jean-Luc Rogier, Thales Communications (Examinateur)
M. Olivier Poirel, Onera DTIM (Examinateur)

Cordialement,
Olivier Couchariere

[Invitation] Soutenance de thèse le Jeudi 11 Mars 2010

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse "Multi-Objective Wireless Sensor Network Deployment" et au pot qui la succédera.

La soutenance se déroulera le Jeudi 11 Mars à 11h, en salle 549 du Laboratoire d'Informatique de Paris 6 (LIP6) situé au:
Site Passy-Kennedy
104, avenue du Président Kennedy, 75016 Paris

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

Abstract:
In this thesis, we will address the problem of static wireless sensor network deployment. Our research aims to generate the best network topology in relation to the following objectives: i) the cost of deployment (number of sensors), ii) the quality of monitoring, iii) network connectivity, and iv) the network lifespan.
The problem in hand requires multi-objective optimization and is NP-complete.
To overcome the great complexity involved, we will propose several heuristic deployment strategies and we will tackle the problem in three stages. In the first stage, we will consider the cost of deployment and the quality of monitoring only. We will propose a new deployment strategy named the Differentiated Deployment Algorithm (DDA), based on image processing and 3D modelling.
In the second stage, we will build on the work carried out in the first stage by introducing the network connectivity objective. This will lead us to propose two deployment strategies based on the Tabu Search metaheuristic. The first strategy is known as the Bernoulli Deployment Algorithm (BDA), and is a probabilistic strategy in which the decision to deploy or remove a sensor follows a Bernoulli distribution.
The second strategy is known as the Potential Field Deployment Algorithm (PFDA). This is a deterministic method that draws heavily on robotic (virtual forces). Finally, in the third stage, all of the objectives will be studied together (i.e. the network lifetime objective will be also considered).
The proposed final strategy is called the Multi-Objective Deployment Algorithm (MODA). It is based on Multi-Objective Tabu Search (MOTS) metaheuristic and virtual forces. Moreover, the obtained results outperform the related deployment strategies.

Jury:

-Mr Paul Mühlethaler, Reviewer - Research director, Institut National de Recherche en Informatique et Automatique (INRIA) – France
-Mr Mischa Dohler, Reviewer Senior Research Associate, Centre Tecnologic de Telecomunicacions de Catalunya (CTTC) – Spain
-Mr Andrzej Duda, Examiner Professor, INP-Ensimag – Grenoble - France
-Mr Fabrice Valois Examiner Professor, INSA Lyon – France
-Mr Sebastien Tixeuil Examiner Professor, Pierre & Marie Curie University – Paris - France
-Mr Khaled Boussetta Examiner Associate Professor, University of Paris Nord – France
-Mr Nadjib Achir Advisor Associate Professor, University of Paris Nord – France
-Mr Guy Pujolle Supervisor Professor, Pierre & Marie Curie University – Paris - France

Très cordialement,
Nadjib AIT SAADI

--
-----------------------------------------------------------------
Nadjib AIT SAADI
PhD Student
LIP6 - Pierre & Marie Curie University - Paris Universitas
BC 169
104, Avenue du President Kennedy
75016, Paris - France
TEL : +33 1 44 27 87 86
FAX : +33 1 44 27 87 83
http://www-rp.lip6.fr/~aitsaadi/
------------------------------------------------------------------

Soutenance de thèse de Thomas Claveirole

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse :

Activité Wi-Fi en environnement ouvert : outils, mesures et analyses

Évidemment, je vous invite également tous au pot qui succédera à la
soutenance.

La soutenance se déroulera le vendredi 26 février à 14h, en salle 549 du
Laboratoire d'Informatique de Paris 6.

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

Une part importante de la recherche en réseaux étudie le protocole Wi-Fi.
Une des techniques pour mieux le comprendre est le sniffing (c'est à dire
l'écoute passive du trafic radio). Mais cette technique soulève des
questions. Elle génère des traces de paquets, et les logiciel pour les
manipuler, souvent, sont trop spécifiques. Il en résulte une mauvaise
interopérabilité, des efforts dupliqués et parfois des performances
décevantes. Ces problèmes sont critiques pour la fusion de traces. Des
questions de plus haut niveau se posent aussi. D'abord, la précision du
sniffing est incertaine. Ensuite, les études se concentrent souvent sur
des problèmes de protocole. Le Wi-Fi équipe de nouveaux types d'appareils
(par exemple des appareils mobiles) et il serait intéressant d'étudier ces
usages. Enfin, on a peu d'informations en dehors des environnements
académiques. Dans cette thèse nous proposons WiPal, un logiciel pour
traiter les traces de paquets Wi-Fi. Il inclue une bibliothèque et un
ensemble de programmes. Ceux-ci permettent, par exemple, la fusion de
traces ou le calcul de statistiques. WiPal comporte des algorithmes
originaux et des optimisations pour les grandes traces. Avec WiPal nous
effectuons plusieurs analyses. Avec deux jeux de données courts nous
étudions la précision du sniffing. Avec trois jeux de données de plusieurs
jours dans un bureau, une zone pavillonnaire et en centre-ville, nous
étudions les usages du Wi-Fi. Nous obtenons des résultats inattendus. Par
exemple, les techniques d'évaluation de la précision des traces manquent de
fiabilité. Ou encore, les traces contiennent une très faible proportion
d'utilisateurs réguliers.

======================
Composition du jury
======================

* Ana Cavalli, Prof. TÉLÉCOM & Management SudParis, Rapporteur
* Thierry Turletti, INRIA Sophia Antipolis, Rapporteur
* Khaldoun Al Agha, Prof. Université Paris-Sud 11, Examinateur
* Guillaume Chelius, INRIA / ENS Lyon, Examinateur
* Marcelo Dias de Amorim, CNRS / Université Pierre et Marie Curie,
Co-directeur
* Serge Fdida, Prof. Université Pierre et Marie Curie, Co-directeur

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

Laboratoire d'Informatique de Paris 6 (LIP6)
Site Passy-Kennedy
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é.

Cordialement,
--
Thomas Claveirole <thomas.claveirole@lip6.fr>
http://www-rp.lip6.fr/~claveiro/

Re: Soutenance de thèse Antoine Bordes

Désolé pour ce ce nouveau mail mais ma soutenance de thèse est à présent prévue à 15h (et non 14h comme initialement). Le lieu (LIP6) et le jour (mardi 9 février) restent inchangés.

Cordialement,

Antoine Bordes
  On Mon, 01 Feb 2010 15:59:47 +0100, bordes  wrote: > Bonjour,  >  > J'ai le plaisir de vous convier à la soutenance de ma thèse > intitulée:  >  > New Algorithms for Large-Scale Support Vector > Machines >  > _Nouveaux Algorithmes pour l'Apprentissage de Machines à Vecteurs > Supports sur de Grandes Masses de Données_ >  > La soutenance aura lieu LE > MARDI 9 FVRIER  14H00 DANS LA SALLE 549 DU LABORATOIRE D'INFORMATIQUE DE > PARIS 6. Vous êtes aussi cordialement invités au pot de thèse qui suivra > (même endroit, presque même heure).  >  > RSUM:   >  > Il existe un besoin certain > dans la communauté de l'apprentissage statistique pour des méthodes > capables d'être entraînées sur des ensembles d'apprentissage de grande > échelle, et pouvant ainsi gérer les quantités colossales d'informations > générées quotidiennement. Dans cette thèse, nous proposons des solutions > pour réduire le temps d'entraînement et les besoins en mémoire > d'algorithmes d'apprentissage sans pour autant dégrader leur précision. > Nous nous intéressons en particulier aux Machines à Vecteurs Supports > (SVMs), des méthodes populaires utilisées en général pour des tâches de > classification automatique mais qui peuvent être adaptées à d'autres > applications. Nous étudions tout d'abord le processus d'apprentissage par > descente de gradient stochastique pour les SVMs linéaires. Cela nous amène > à définir et étudier le nouvel algorithme, SGD-QN. Après cela, nous > introduisons une nouvelle procédure d'apprentissage: le principe du > "Process/Reprocess". Nous déclinons alors trois algorithmes qui > l'utilisent. Le Huller et LaSVM servent à apprendre des SVMs destinés à > traiter des problèmes de classification binaire (décision entre deux > classes). Pour la tâche plus complexe de prédiction de sorties > structurées, > nous modifions en profondeur l'algorithme LaSVM, ce qui conduit à > l'algorithme LaRank. Notre dernière contribution concerne le problème > récent de l'apprentissage avec une supervision ambiguë pour lequel nous > proposons un nouveau cadre théorique (et un algorithme associé). Nous > l'appliquons au problème de l'étiquetage sémantique du langage. Tous les > algorithmes introduits dans cette thèse atteignent les performances de > l'état-de l'art, en particulier en ce qui concerne les vitesses > d'entraînement.  >  > JURY:  >  > - Jacques Blanc-Talon (Examinateur): Responsable > scientifique à la DGA/MRIS. > - Léon Bottou (Examinateur): Distinguished > senior researcher à NEC Labs of America. >  - Stéphane Canu (Rapporteur): > Professeur et directeur du LITIS à l'INSA de Rouen. >  - Matthieu Cord > (Examinateur): Professeur au LIP6. >  - Patrick Gallinari (Directeur de > thèse): Professeur et directeur du LIP6. >  - Bernhard Schölkopf > (Examinateur): Professeur et directeur du MPI for Biological Cybernetics. >  > - John Shawe-Taylor (Rapporteur): Professeur et directeur du CSML à > l'University College London.  >  > ACCS:  > LIP6 : 104 avenue du président > Kennedy, 75016 Paris. > Plan d'accès : > http://www.lip6.fr/informations/comment.php [1] > Demander un badge visiteur > à l'accueil et prévoir une pièce d'identité. >  > Cordialement,  >  > Antoine > Bordes >  > Links: > ------ > [1] http://www.lip6.fr/informations/comment.php

Soutenance de thèse Antoine Bordes

Bonjour,

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

New Algorithms for Large-Scale Support Vector Machines

Nouveaux Algorithmes pour l'Apprentissage de Machines à Vecteurs Supports sur de Grandes Masses de Données

 

La soutenance aura lieu le mardi 9 février à 14h00 dans la salle 549 du Laboratoire d'Informatique de Paris 6. Vous êtes aussi cordialement invités au pot de thèse qui suivra (même endroit, presque même heure).

 

Résumé:

Il existe un besoin certain dans la communauté de l'apprentissage statistique pour des méthodes capables d'être entraînées sur des ensembles d'apprentissage de grande échelle, et pouvant ainsi gérer les quantités colossales d'informations générées quotidiennement. Dans cette thèse, nous proposons des solutions pour réduire le temps d'entraînement et les besoins en mémoire d'algorithmes d'apprentissage sans pour autant dégrader leur précision. Nous nous intéressons en particulier aux Machines à Vecteurs Supports (SVMs), des méthodes populaires utilisées en général pour des tâches de classification automatique mais qui peuvent être adaptées à d'autres applications. Nous étudions tout d'abord le processus d'apprentissage par descente de gradient stochastique pour les SVMs linéaires. Cela nous amène à définir et étudier le nouvel algorithme, SGD-QN. Après cela, nous introduisons une nouvelle procédure d'apprentissage: le principe du "Process/Reprocess". Nous déclinons alors trois algorithmes qui l'utilisent. Le Huller et LaSVM servent à apprendre des SVMs destinés à traiter des problèmes de classification binaire (décision entre deux classes). Pour la tâche plus complexe de prédiction de sorties structurées, nous modifions en profondeur l'algorithme LaSVM, ce qui conduit à l'algorithme LaRank. Notre dernière contribution concerne le problème récent de l'apprentissage avec une supervision ambiguë pour lequel nous proposons un nouveau cadre théorique (et un algorithme associé). Nous l'appliquons au problème de l'étiquetage sémantique du langage. Tous les algorithmes introduits dans cette thèse atteignent les performances de l'état-de l'art, en particulier en ce qui concerne les vitesses d'entraînement.

 

Jury:

- Jacques Blanc-Talon (Examinateur): Responsable scientifique à la DGA/MRIS.
- Léon Bottou (Examinateur): Distinguished senior researcher à NEC Labs of America.
- Stéphane Canu (Rapporteur): Professeur et directeur du LITIS à l'INSA de Rouen.
- Matthieu Cord (Examinateur): Professeur au LIP6.
- Patrick Gallinari (Directeur de thèse): Professeur et directeur du LIP6.
- Bernhard Schölkopf (Examinateur): Professeur et directeur du MPI for Biological Cybernetics.
- John Shawe-Taylor (Rapporteur): Professeur et directeur du CSML à l'University College London.

 

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

 

Cordialement,

 

Antoine Bordes