vendredi 30 novembre 2012

Invitation à la soutenance de thèse de Diana Zeaiter Joumblatt

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée: 
"Prediction of User Dissatisfaction with Network Application Performance at End-Hosts"

Devant le jury composé de:
M. Mark Crovella Rapporteur Université de Boston
M. James Kurose Rapporteur Université de Massachusetts Amherst
M. Serge Fdida Examinateur CNRS et UPMC Sorbonne Universités
M. Krishna Gummadi Examinateur Max Planck Institute for Software Systems
M. Thomas Karagiannis Examinateur Microsoft Research
Mme Renata Teixeira Directrice de thèse CNRS et UPMC Sorbonne Universités


La soutenance aura lieu le Mardi 18 Décembre à 16h en salle 105 couloir 25-26 (1er étage) au Laboratoire d'Informatique de Paris 6 (LIP6), 4 Place Jussieu, 75005 Paris.

Vous êtes également conviés au pot qui suivra en salle 101 couloir 26-00 (1er étage).

Cordialement,

Diana Zeaiter Joumblatt

PhD student at NPA (LIP6)
__________________________________________________________________________________

Abstract

Network disruptions can adversely impact a user's web browsing, cause video and audio interruptions, or render web sites and services unreachable. Such problems are frustrating to Internet users, who are oblivious to the underlying problems, but completely exposed to the service degradations.  Ideally, if a user's end system could predict when the user will be dissatisfied with the performance of networked applications, then the system could launch automated tools to improve the user's experience without user intervention. Example tools include root cause diagnosis to assist the user in fixing the problem, or resource managers (e.g., bandwidth or video playout buffers) to tune the allocation of network resources to better serve the user. Clearly, the first step for such (end-host) diagnostic or resource management tools is a methodology to automatically predict performance degradations in the network that can affect a user's perception of application performance. Unfortunately, predicting user dissatisfaction with application performance is not as simple as identifying outliers in typical network metrics such as high round-trip times or loss rates. Understanding user perception requires direct feedback from end users.

This thesis develops a methodology to automatically predict user dissatisfaction with network application performance. We follow an empirical approach. We design HostView to collect network performance data annotated with user feedback at the end-hosts.  When designing HostView, several questions arise concerning user privacy concerns, (un)willingness to provide feedback and the performance impact on user machines. Our first contribution is to present the results of a survey we did with 400 computer scientists to collect their perspectives on privacy issues and willingness to provide feedback. Overall, we find that users are willing to run an end-host measurement tool if we address their privacy concerns with features such as data anonymization and a pause button to temporarily stop data logging. We also find that a large portion of users will provide feedback about network performance but not more than three times per day. Our second contribution is the design and implementation of HostView. Guided by the survey results, we implement a first prototype of HostView to evaluate the CPU overhead of candidate techniques to collect network performance data. Then, we implement a second prototype of HostView to tune our algorithm for collecting user feedback to minimize the user annoyance. We recruit users in a large-scale release of HostView. Our user population connects from different networking environments (e.g., work, home, or coffee shop). Each of these environments can possibly have different network performance. Thus, we investigate if the network performance depends on the networking environment. We compare the distributions of RTTs and data rates across pairs of environments. Our third contribution is to show that for most users RTTs and download data rates are significantly different across networking environments. The mix of application determines data rates but it is the environment that determines RTTs. These results illustrate that statistical differences in network performance for a single user do not always indicate the presence of network performance degradations that could cause user dissatisfaction, but simply the presence of different application mixes or networking environments. 

Finally, our fourth contribution is to develop predictors of user dissatisfaction with network application performance. The main challenges of modeling user dissatisfaction with network application performance comes from the scarcity of user feedback and the fact that poor performance episodes are rare. We develop a methodology to build training sets in face of these challenges. Then, we show that predictors based on non-linear support vector machine achieve higher true positive rates than predictors based on linear models. Our predictors consistently achieve true positive rates above 0.9. We also quantify the benefits of building per-application predictors over building general predictors that try to anticipate user dissatisfaction across multiple applications.


mardi 27 novembre 2012

Annonce de soutenance de thèse de VO Duc An

Bonjour,

Veuillez trouver ci-dessous l'annonce de soutenance de thèse de VO Duc An
(UMMISCO, IRD/UPMC).

Cordialement,
Vincent Corruble



Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse de doctorat:
"Une architecture opérationnelle pour la gestion de niveaux de
représentation multiples dans les modèles à bases d'agents"
qui se tiendra le 30 Novembre 2012 (voir lieu et horaires ci-dessous)


Le jury sera composé de:
M. Guillaume HUTZLER, Maître de Conférence HDR, Université Evry Val
d'Essonne (rapporteur)
M. Christophe LE PAGE, Chargé de Recherches, CIRAD (rapporteur)
M. Philippe CAILLOU, Maître de Conférences, Université Paris 11
(examinateur)
M. Vincent CORRUBLE, Maître de Conférences, Université Paris 6
(examinateur)
M. Samuel THIRIOT, Ingénieur de Recherche, EDF R&D (examinateur)
M. Jean-François PERROT, Professeur Emérite, Université Paris 6 (invité)
M. Jean-Daniel ZUCKER, Directeur de Recherches, UMI 209 UMMISCO, IRD
(invité)
M. Alexis DROGOUL, Directeur de Recherches, UMI 209 UMMISCO, IRD
(Directeur de thèse)
M. Tuong-Vinh HO, Professeur de l'AUF, MSI, IFI (Co-directeur de thèse)

La soutenance se passera en même temps à Hanoi et à Paris par
visio-conférence:

1. Hanoi
Amphithéâtre Marcel Dassault
Institut de la Francophonie pour l'Informatique (IFI)
ruelle 42 Ta Quang Buu, Hai Ba Trung, Hanoi.

de 14h30 à 17h (heure vietnamienne)

2. Paris
Université Paris 6
Métro Jussieu
Grande salle de visioconférence
RDC du bâtiment Atrium
Couloir jaune Porte « Entrée 2 ».

de 9h30 à 12h00 (heure française).

Cordialement,
VO Duc An.


_______________________________________________________
Résumé de la thèse

Une architecture opérationnelle pour la gestion de niveaux de représentation
multiples dans les modèles à bases d'agents.

La modélisation à base d'agent (MBA) est une approche de modélisation qui
peut être considérée comme un croisement réussi entre la modélisation
individucentrée, qui tire son origine de modèles en écologie, et la
programmation orientée objet (POO), provenant, elle, de l'informatique.
Comme la première, elle vise à construire des modèles génératifs où le
comportement général du modèle est le résultat des interactions entre ses
composants; comme la seconde, elle permet de construire des modèles de
façon modulaire et progressive, facilitant leur conception et leur
réutilisation par les modélisateurs. En revanche, elle hérite aussi des
limites de ses deux ancêtres, en particulier l'absence d'abstractions
dédiées à la représentation et à la gestion de plusieurs niveaux
d'abstraction dans un même modèle.
Je décris dans ma thèse une proposition conceptuelle et opérationnelle qui
introduit la possibilité de représentation multi-niveaux dans une approche
de modélisation purement à base d'agents. Cette proposition consiste en
une évolution du métamodèle généralement associée à la MBA et une
implémentation de ce métamodèle dans le noyau de la plate-forme GAMA
(accompagné d'un enrichissement du langage GAML). Contrairement aux
contributions similaires proposées dans la littérature, qui sont, soit
purement conceptuelles, soit spécifiques à un domaine
d'application, celle que je propose est générique, entièrement implémentée
et immédiatement réutilisable par des modélisateurs. Actuellement, elle
est déjà utilisée dans la conception de plusieurs modèles à grande
échelle.
Ma contribution a donc été formalisée après une analyse exhaustive des
besoins des modélisateurs travaillant sur les modèles à base d'agent
multi-niveaux et dans le souci de leur fournir des abstractions
réutilisables et génériques. Etant donné que les méta-modèles MBA actuels
suivent les principes de la POO (i.e., un modèle étant un ensemble de
"classes" d'agents qui fournissent à ces derniers des attributs et des
opérations, et qui peuvent être spécialisées par héritage entre ces
"classes"), j'ai proposé une extension de ce méta-modèle qui intègre et
généralise
les notions suivantes: la description d'une relation d'"hôte" entre
"classes" en plus de celle de l'héritage, la description explicite de
"populations" d'agents (instances de la même "classe" appartiennent au
même hôte), la possibilité d'associer une échelle temporelle et spatiale à
chaque "classe", et l'ajout d'un opérateur de "migration" entre les
populations pour compléter l'"instanciation".
Ce méta-modèle a été implémenté dans une plate-forme open-source, GAMA,
initialement développée en 2006 comme une extension de la plate-forme Repast
avec le support explicite des systèmes d'information géographique (SIG).
J'ai complètement refactorisé le méta-modèle de GAMA et enrichi son
langage de modélisation, GAML, afin de le rendre capable de supporter le
développement de modèle à base d'agent multi-niveaux. Cette évolution (1)
permet aux modélisateurs de représenter plusieurs niveaux d'organisations
et leurs dynamiques dans les modèles, (2) leur permet de procéder
méthodologiquement de façon "bottom-up" à l'introduction de capacités
"multi-niveaux" dans des modèle "mono-niveau", sans casser ou même changer
le modèle initial, (3) ne remet pas en cause les concepts fondamentaux de
la MBA, car le méta-modèle classique de la MBA devient un sous-ensemble
particulier de ma proposition.
Cette nouvelle architecture a été validée avec succès au cours de
l'élaboration, par des modélisateurs indépendants, de deux modèles
multi-niveaux sur la plate-forme GAMA: le premier concerne l'organisation
des évacuations en réponse à une alerte au tsunami dans une ville côtière
du centre du Vietnam, le second traite de l'évaluation des politiques de
lutte contre les invasions de ravageurs du riz dans la région du delta du
Mékong. Le développement de plusieurs nouveaux modèles, ainsi qu'un
portage du méta-modèle à d'autres plate-formes, sont actuellement à
l'étude.

Invitation à la soutenance de thèse de Stéphanie YOUSSEF

begin:vcard
fn:Stephanie Youssef
n:Youssef;Stephanie
email;internet:stephanie.youssef@lip6.fr
tel;work:University Pierre et Marie Curie (Paris 6), LIP6 (Laboratoire d'Informatique de Paris 6), System on Chip Department (SOC, ex ASIM), Analog andDigital Integrated Circuits Design & Tools Team (CIAN)
tel;fax:+33 1 44 27 72 80
tel;cell:+33 1 44 27 71 08
version:2.1
end:vcard

Bonjour,

J'ai le grand plaisir de vous inviter à ma soutenance de thèse, intitulée
"Designer-assisted Reusable and Optimized Analog Layout Generation
for Nanaometric CMOS Era".


Le lundi 3 décembre 2012
à 11 heures
salle 105, Couloir 25-26
Université Pierre et Marie Curie (UPMC)
4 Place Jussieu
75005 Paris
http://www.upmc.fr/en/university/campus2/in_paris_and_the_paris_region/jussieu_campus.html 


Devant le jury composé de :
Pr Francisco FERNANDEZ, Université de Séville, Espagne, Rapporteur
Pr Etienne SICARD, Université de Toulouse, France, Rapporteur
Mme Noëlle LEWIS, Université de Bordeaux, France, Examinateur
M Andreas KAISER, IEMN-ISEN, Lille, France, Examinateur
Pr Alain GREINER, UPMC, Examinateur
Pr Habib MEHREZ, UPMC, Examinateur
M Ramy ISKANDER, UPMC, Examinateur
Mme Marie-Minerve LOUERAT, UPMC, Examinatrice
M François DURBIN, CEA-DAM, Paris, France, Invité

qui sera suivie d'un pot, auquel vous êtes également conviés
salle 002, Maison de la Pédagogie.



Résumé
 :

Électronique et semi-conducteurs évoluent rapidement. Des nouvelles technologies sont introduites pour adapter la structure CMOS à la gravure nanométrique. La réduction des délais de mise sur le marché nécessite un flot de conception analogique fiable. La génération automatique du dessin des masques est un élément clé de ce flot dont les défis augmentent à mesure que la finesse de gravure augmente.

La thèse propose un flot réutilisable et optimisé pour faire face aux défis de conception de masques de circuits alogiques. Il fait partie du projet CHAMS développé en LIP6. Tout d'abord, nous avons conçu une bibliothèque de primitives analogiques qui sont paramétrés, réutilisables, avec différents styles de Layout. Un langage de description a été introduit pour faciliter la migration technologique et le calcul des paramètres induits par le Layout. Ensuite, nous avons développé des algorithmes pour placer les circuits complexes en utilisant la bibliothèque de primitives, les fichiers de technologie et les contraintes géométriques du concepteur. Une représentation topologique du plan de masse et des contraintes telle que l´ appariement, la symétrie et la proximité ont été introduites. Enfin, nous avons créé un environnement logiciel pour optimiser le Layout suivant différents facteur de forme afin de minimiser la surface et le routage. La génération des masques documente directement la netlist par les paramètres parasites dépendants du Layout.

Ce travail offre une solution fiable pour permettre une génération rapide, optimisée en quantifiant les parasites du layout de circuits analogiques complexes.


Cordialement,
-- 
Stephanie YOUSSEF
Ph.D. Student

Université Pierre et Marie Curie (Paris 6)
LIP6 (Laboratoire d'Informatique de Paris 6)
System on Chip Department (SOC, ex ASIM)
Analog and Digital Integrated Circuits Design & Tools Team (CIAN)

4 Place Jussieu, 75005 Paris, France 
Tel: +33 1 44 27 71 08
Fax: +33 1 44 27 72 80 


lundi 26 novembre 2012

Soutenance de thèse de Yasmina Seddik

Bonjour,

j'ai le plaisir de vous inviter à ma soutenance de thèse, intitulée
"Ordonnancement avec dates de livraison et gains cumulatifs".

La soutenance se tiendra le :

========
Vendredi 7 décembre à 10h30 en salle 55-65-211 (2ème étage), à l'UPMC (4
place Jussieu 75005 Paris)
========

et sera suivie d'un pot, auquel vous êtes également conviés.


========
Résumé
========
Le problème étudié dans cette thèse est issu d'une problématique réelle,
concernant l'optimisation du processus de numérisation des ouvrages de la
Bibliothèque Nationale de France (BNF). La modélisation de ce problème met
en évidence un critère d'optimisation nouveau en ordonnancement, tenant
compte de gains cumulatifs liés à des dates de livraison communes à toutes
les tâches. Dans le but d'identifier les structures des solutions
optimales liées à ce nouveau critère et à des dates de disponibilité des
tâches, nous nous sommes surtout concentrés sur un problème
d'ordonnancement à une machine.
Nous avons identifié les classes de complexité de ce problème, et proposé
une méthode de résolution exacte de type Branch and Bound pour le problème
général, s'appuyant sur des bornes et des règles de dominance dédiées.
Nous avons également considéré le problème à deux dates de livraison
(NP-difficile au sens faible), pour lequel nous avons proposé un
algorithme pseudopolynomial de programmation dynamique et un algorithme
d'approximation polynomial avec une performance de garantie absolue égale
à 1.
Enfin, dans le but de nous rapprocher de la problématique industrielle,
nous nous sommes intéressés à un problème de flowshop de permutation, avec
le même critère d'optimisation. Pour ce problème, nous avons proposé
plusieurs heuristiques : des algorithmes constructifs, des algorithmes de
recherche locale, et une métaheuristique de type GRASP.
Tous les algorithmes ont été implémentés, en particulier le Branch and
Bound pour le problème à une machine et la recherche locale pour le
flowshop permettent d'obtenir de bonnes solutions en temps raisonnable.

========
Abstract
========
Starting from a real world digitization workflow issue, we identified a
scheduling problem with a new criterion involving common delivery dates
for the jobs. In order to focus on this new criterion and on the jobs'
release dates, we mainly worked on a single machine problem.
We delimited the complexity classes of the problem, and provided a Branch
and Bound algorithm for the general problem, based on dedicated bounds and
dominance rules.
We also considered the weakly NP-hard problem with two delivery dates, for
which we designed a pseudopolynomial dynamic programming algorithm and an
approximation algorithm with an absolute performance guarantee of 1.
Finally, in order to consider a problem more closely related to the
industrial issue, we studied a permutation flowshop problem with the same
criterion. For this problem, we proposed several heuristic methods:
constructive algorithms, local search, and a GRASP algorithm.
All the algorithms were implemented. In particular the Branch and Bound
method for the single machine problem and the local search algorithms for
the flowshop provide good solutions in a reasonable time.


========
Jury
========
M. Jacques CARLIER, Professeur à l'Université de Technologie de Compiègne
[Rapporteur]
M. Philippe CHRETIENNE, Professeur à l'Université Pierre et Marie Curie
[Examinateur]
M. Stéphane DAUZERE-PERES, Professeur à l'Ecole des Mines de Saint-Etienne
[Rapporteur]
M. Federico DELLA CROCE, Professeur au Politecnico di Torino, Italie
[Examinateur]
M. Christophe GONZALES, Professeur à l'Université Pierre et Marie Curie
[Directeur de thèse]
Mme. Safia KEDAD-SIDOHUM, Maître de Conférence HDR à l'Université Pierre
et Marie Curie [Directrice de thèse]
M. Pascal WIRTH, Président Directeur Général de Banctec France [Invité]



Bien cordialement,

Yasmina Seddik

mardi 20 novembre 2012

Invitation à la soutenance de thèse de Jordi Creus

begin:vcard
fn;quoted-printable:Jordi Creus Tom=C3=A0s
n;quoted-printable:Creus Tom=C3=A0s;Jordi
org:ENSEA;DITN
adr;quoted-printable;quoted-printable:4 place Jussieu;;Couloir 25-26, =C3=89tage 5, Bureau 503;Paris;=C3=8Ele-de-France;75005;FRANCE
email;internet:Jordi.Creus@lip6.fr
title:ATER & doctorant
tel;work:01 44 27 47 23
url:http://www-ia.lip6.fr/~creusj
version:2.1
end:vcard

Bonjour,


Vous êtes cordialement invité à ma soutenance de thèse intitulée :

« ROSES : Un moteur de requêtes continues pour l'aggrégation de
flux RSS à large échelle »

La soutenance aura lieu le Vendredi 7 Décembre 2012 à 10h00, en salle
25-26/105 (1er étage), au Laboratoire d'Informatique de Paris 6 (LIP6),
4 Place Jussieu, 75005 Paris.


Un pot suivra dans la salle 26-00/101 (Noguez), auquel vous êtes aussi conviés.


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

Abstract:

RSS and Atom are generally less known than the HTML web format, but they are omnipresent in many
modern web applications for publishing highly dynamic web contents. Nowadays, news sites publish thousands
of RSS/Atom feeds, often organized into general topics like politics, economy, sports, culture, etc. Weblog and
microblogging systems like Twitter use the RSS publication format, and even more general social media like
Facebook produce an RSS feed for every user and trending topic. This vast number of continuous data-sources
can be accessed by using general-purpose feed aggregator applications like Google Reader, desktop clients like
Firefox or Thunderbird and by RSS mash-up applications like Yahoo! pipes, Netvibes or Google News. Today,
RSS and Atom feeds represent a huge stream of structured text data which potential is still not fully exploited.
In this thesis, we first present ROSES –Really Open Simple and Efficient Syndication–, a data model and
continuous query language for RSS/Atom feeds. ROSES allows users to create new personalized feeds from
existing real-world feeds through a simple, yet complete, declarative query language and algebra. The ROSES
algebra has been implemented in a complete scalable prototype system capable of handling and processing
ROSES feed aggregation queries. The query engine has been designed in order to scale in terms of the number
of queries. In particular, it implements a new cost-based multi-query optimization approach based on query
normalization and shared filter factorization. We propose two different factorization algorithms: (i) STA, an
adaption of an existing approximate algorithm for finding minimal directed Steiner trees [CCC+98], and (ii)
VCA, a greedy approximation algorithm based on efficient heuristics outperforming the previous one with respect
to optimization cost. Our optimization approach has been validated by extensive experimental evaluation on
real world data collections.


Résumé de la thèse :

Les formats RSS et Atom sont moins connus du grand public que le format HTML pour la publication
d’informations sur le Web. Néanmoins les flux RSS sont présents sur tous les sites qui veulent publier des flux
d’informations évolutives et dynamiques. Ainsi, les sites d’actualités publient des milliers de fils RSS/Atom,
souvent organisés dans différentes thématiques (politique, économie, sports, société...). Chaque blog possède son
propre flux RSS, et des sites de micro-blogage comme Twitter ou de réseaux sociaux comme Facebook publient
les messages d’utilisateurs sous forme de flux RSS. Ces immenses quantités de sources de données continues sont
accessibles à travers des agrégateurs de flux comme Google Reader, des lecteurs de messages comme Firefox,
Thunderbird, mais également à travers des applications mash-up comme Yahoo! pipes, Netvibes ou Google
News.
Dans cette thèse, nous présentons ROSES –Really Open Simple and Efficient Syndication–, un modèle de
données et un langage de requêtes continues pour des flux RSS/Atom. ROSES permet aux utilisateurs de créer
des nouveaux flux personnalisés à partir des flux existants sur le web à travers un simple langage de requêtes
déclaratif. ROSES est aussi un système capable de gérer et traiter des milliers de requêtes d’agrégation ROSES
en parallèle et un défi principal traité dans cette thèse est le passage à l’échelle par rapport au nombre de requêtes.
En particulier, on propose une nouvelle approche d’optimisation multi-requête fondée sur la factorisation des
filtres similaires. Nous proposons deux algorithmes de factorisation: (i) STA, une adaptation d’un algorithme
d’approximation pour calculer des arbres de Steiner minimaux [CCC+98], et (ii) VCA, un algorithme glouton
qui améliore le coût CPU d’optimisation du précédant. Nous avons validé notre approche d’optimisation avec
un important nombre de tests sur des données réelles.


[CCC+98] M. Charikar, C. Chekuri, T. Cheung, Z. Dai, A. Goel, S. Guha, and M. Li.
Approximation algorithms for directed Steiner problems. In Proceedings of the
ninth annual ACM-SIAM symposium on Discrete algorithms, SODA ’98.


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

Membres du jury :

Mme Ioana MANOLESCU, Directeur de Recherche au Inria       [Rapporteur]
M. Jean-Marc PETIT, Professeur des Universités à l’INSA Lyon       [Rapporteur]
Mme Anne DOUCET, Professeur des Universités à l’UPMC       [Examinateur]
Mme Béatrice FINANCE, Maître de Conférences à l’UVSQ (HDR)       [Examinateur]
M. Bernd AMANN, Professeur des Universités à l’UPMC       [Directeur de thèse]
M. Dan VODISLAV, Professeur des Universités à l’UCP       [Directeur de thèse]


Bien cordialement,

--
Jordi CREUS TOMÀSATER & Ph.D. Candidate
Laboratoire d'Informatique de Paris 6
Couloir 25-26, étage 5, bureau 503
4 place Jussieu
75252 PARIS CEDEX 05
Office: +33 1 44 27 47 23
Webpage: http://www-ia.lip6.fr/~creusj