Soutenance de thèse de sajjad rahmany

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse, intitulée:
" Utilisation des bases de Gröbner SAGBI pour la résolution des systèmes
polynômiaux invariants par symétries",
ainsi qu'au pot qui suivra.

Elle se tiendra le vendredi 17 juillet à 14h,
au LIP6 en salle 549 (5ème étage):
104 av du Président Kennedy
75016 Paris
Plan d'accès: http://www.lip6.fr/fr/informations/comment.php

Le jury sera composé de:
K. Yokoyama (Rapporteur), professeur (université de Rikkyo,japan)
N.M.Thiéry(Rapporteur), Maître de conférences (Université Paris Sud)
J.M Chesneaux(Examinateur), professeur (université paris 6)
G. Renault(Examinateur), Maître de conférences à (université paris 6)
S. ORANGE (Examinateur), Détaché à l'Université du Havre
J.C Faugère (Directeur), directeur de recherche à l'INRIA

Résumé:
Dans cette thèse, nous proposons une méthode efficace pour résoudre des
systèmes polynômiaux dont les équations sont invariantes par l'action
d'un groupe fini $G$. L'idée est calculer simultanément une base de
Gröbner SAGBI (une généralisation des bases de Gröbner à des idéaux de
sous algèbres de l'anneau des polynômes) et une base de Gröbner dans
l'anneau des invariants symétriques $K[e_1,...,e_n]$ où $e_i$ est le
i-ème polynôme symétrique élémentaire.

Plus précisément, nous proposons dans cette thèse deux algorithmes: nous
explicitions d'abord un algorithme à la F5 pour calculer efficacement
une base de Gröbner SAGBI tronquée. Le deuxième algorithme est une
version légèrement modifiée de l'algorithme FGLM qui permet de convertir
une base de Gröbner SAGBI tronquée d'un idéal de dimension zéro en une
base de Gröbner tronquée dans l'anneau des invariants symétriques .
Enfin, nous montrons comment ces algorithmes peuvent être combinés pour
trouver les racines complexes d'un tel système algébrique.

sajjad rahmany

Soutenance de thèse de Cassio Ditzel KROPIWIEC

Bonsoir,

De la partie de Cassio Ditzel KROPIWIEC, je vous envoie le message
ci-dessous.

Cordialement,

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

Bonjour,
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée:
"Multi-Constrained Security Policies for Delegated Firewall Administration "
qui sera présentée le vendredi 10 Juillet à 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.

Résumé:
The management of security policies is an important issue for networks of
any size. The policy must be designed to protect the internal resources
from external users and also from internal users. In networks with one or
only a few firewalls, defining the configuration of each device is easier.
However, in larger networks, the administrator must consider the
configuration of each firewall isolated and the effects of this
configuration in the whole network. This thesis proposes a framework for
representing and managing global network security policies for distributed
firewall administration. The proposed framework defines a high-level
policy language, which allows the specification of policies in mandatory,
discretionary and security property models. This framework is able to
handle simultaneously the three dimensions and coherently describes the
resulting permissions in an abstract representation that is independent of
how they will be enforced, without violating the global security goal. The
framework also includes a mechanism responsible for translating the
abstract representation of permissions into low-level configuration
scripts/rules for firewalls of different models and vendors, allowing its
use for configuration of heterogeneous networks. Each dimension can be
defined by people of different roles, allowing the cooperation in
definition of global policy. The framework is formalized in Z notation to
demonstrate its completeness and correctness, and a scalability study is
presented to demonstrate the behavior of the framework in larger networks.

Cordialement
Cássio Ditzel Kropiwiec

--
Michele Nogueira Lima <<Michele.Nogueira@lip6.fr>>
Phd Student
LIP 6 - PHARE Team
Université Pierre et Marie Curie - Paris 6
104 Avenue du President Kennedy
75016 PARIS - France

Soutenance de thèse de Ricardo Nabhen

Bonsoir,

De la partie de Ricardo Nabhen, je vous envoie le message ci-dessous.

Cordialement,
Michele Nogueira

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

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée
"Fuzzy Logic Based Method for Modeling Queue Behavior of Network Nodes"
qui sera présentée le vendredi 10 juillet à 15h00, 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.

Abstract:

"Capacity planning of IP-based networks is a difficult task. Ideally, in
order to estimate the maximum amount of traffic that can be carried by the
network, without violating QoS requirements such as end-to-end delay and
packet loss, it is necessary to determine the queue length distribution of
the network nodes under different traffic conditions. This relationship is
strongly dependent on the incoming traffic profile and the queuing
discipline adopted by the network node. Analytical models for queue length
distribution are available only for relatively simple traffic patterns.
The characterization of a model for the queue length distribution is a
vastly studied subject, but the associated mathematical apparatus becomes
more and more complicated when we have to deal with multiple priority
queues, non-exponential service times and long term correlated traffic.
Also, when per-flow guarantees are required, it is necessary to determine
the impact of the queue behavior on the performance of individual flows.
This thesis addresses the design of performance models of network nodes.
We propose a generic method for modeling queue behavior aiming to provide
a methodology for building the corresponding performance models. We take
into account scenarios in which it is very hard to develop an analytical
model. The proposed method combines non-linear programming and simulation
to build a fuzzy model capable of determining the performance of a network
node. Using such strategy, which is based on a general off-line method to
produce the equations capable of representing outputs for the whole space
of the specified input traffic parameters, it is possible to find out the
optimal values that can be used for the configuration of network nodes,
with important applications on traffic engineering and capacity planning.
This approach does not require the derivation of an analytical model and
can be applied to any type of traffic. Also, this methodology includes a
training method that permits the application of any type of performance
metric. "

Cordialement,

Ricardo Nabhen

--
Michele Nogueira Lima <<Michele.Nogueira@lip6.fr>>
Phd Student
LIP 6 - PHARE Team
Université Pierre et Marie Curie - Paris 6
104 Avenue du President Kennedy
75016 PARIS - France

Invitation à une soutenance de thèse

Bonjour,

J'ai l'énorme plaisir de vous inviter à ma soutenance de thèse intitulée «
Architecture cross-layer pour la gestion de la Qualité de Service dans les
réseaux sans fil » dirigée par les professeurs Guy Pujolle et Habib
Youssef, qui aura lieu le 08 juillet 2009 à 10h au LIP6 localisé à 104,
Passy Kennedy (RER C, station maison de radio France, avenue du président
Kennedy ou métro 6, station Passy)
(http://www.lip6.fr/informations/comment.php?kennedy), ainsi qu'au pot qui
suivra. La soutenance aura lieu à la salle 549 au 5éme étage.

Les membres de mon jury sont :

Rapporteurs :
Pr. Kamel Barkaoui
Pr. Farouk Kamoun

Examinateurs :
Pr. Rahma Ben Ayed
Pr. Otto Duarté

Directeurs de thèse :
Pr. Guy Pujolle
Pr. Habib Youssef

============================================================================================

çi joint est le résumé de ma thèse :

Les propriétés dont disposent les réseaux sans fil par rapport aux réseaux
filaires présentent des nouveaux défis lors de la conception des
protocoles de communication et de routage. Ces derniers doivent être
dynamiquement adaptatifs aux spécificités du canal radio et doivent
chercher à satisfaire les exigences en Qualité de Service (QoS) des
applications supportées. Pour implémenter efficacement des propriétés de
QoS, la tendance actuelle consiste à développer des approches cross-layer
permettant aux différentes couches réseau de coopérer. Cette notion
cross-layer implique 'une cassure' de la notion de 'couches isolées' et un
échange d'informations entre toutes les couches. Dans cette thèse, nous
proposons une architecture cross-layer, modulaire, adaptable et extensible
nommée XLEngine (Cross Layer Engine). Un des composants de cette
architecture, appelé NetworkCLE, permet de maintenir une connaissance de
l'état du réseau (network view).

Cette network view permet d'ajuster les stratégies d'adaptations locales
aux stations pour qu'elles tiennent en considération les spécificités des
réseaux sans fil, ainsi que la présence des autres stations dans le
réseau. Le maintien d'une connaissance du réseau au niveau de chaque
station est réalisé d'une manière distribuée à l'aide d'un nouveau
protocole, le Local View Management Protocol (LVMP) basé sur une approche
de diffusion sélective des connaissances locales des stations (local
view).

Pour évaluer XLEngine, nous étions menés à développer des services
capables de tirer profit de cette architecture. Nous avons, alors, ciblé
les réseaux mobiles ad hoc et nous avons développé un nouveau protocole de
routage avec QoS appelé QoS Position Aided Routing protocol (QoS-PAR).
QoS-PAR se distingue des autres protocoles de routage par : (1) son
exploitation de la base de connaissances cross-layer locale collectées à
partir des couches et de la base de connaissance de l'état du réseau
collectée à partir des autres stations du réseau (la network view), (2)
son intégration d'un mécanisme de contrôle d'admission, (3) son
intégration d'un mécanisme de réservation des ressources et (4) sa
composante de routage géographique.

L'architecture XLEngine ainsi que les protocoles LVMP et QoS-PAR sont
implémentés sous le simulateur réseau J-Sim. Nous avons étudié les
performances de XLEngine et des deux protocoles selon différents
scénarios. Nous avons comparé les performances de QoS-PAR par rapport au
protocole de routage AODV. Nous avons comparé les performances de XLEngine
par rapport à l'architecture en couches. Les résultats obtenus montrent le
gain en performances significatif de QoS-PAR basé sur XLEngine en termes
de délai de bout en bout (avec un délai inférieur jusqu'à 45 fois), de
débit obtenu (la contrainte de bande passante minimale est respectée à
91%) et du taux de livraison des paquets de données respectant la
contrainte de délai (meilleur jusqu'à 60%) par rapport à AODV basé sur
l'architecture en couches. En ce qui concerne l'overhead, celui généré par
AODV peut atteindre jusqu'à sept fois plus celui généré avec QoS-PAR.
Celui généré par LVMP est acceptable et contribue largement à
l'amélioration de la QoS.

Bien cordialement,

Wafa.

Soutenance de thèse - Aydano Machado

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
Le transfert adaptatif en apprentissage par renforcement
Application à la simulation de schéma de jeux tactiques

La soutenance aura lieu le mercredi 24 juin 2009 à 14h dans Site
Passy-Kennedy - salle 847 (http://www.lip6.fr/informations/
comment.php?kennedy) devant le jury composé de :

CHEVALEYRE Yann, Maître de Conférences à l'Université Paris-Dauphine
(Encadrant)
EL FALLAH SEGHROUCHNI Amal, Professeur à l'Université Pierre et Marie
Curie (Examinateur)
GARCIA Frédérick, Directeur de Recherches à l'Institut National de la
Recherche Agronomique (Rapporteur)
PREUX Philippe, Professeur à l'Université de Lille 3 (Rapporteur)
RAMALHO Geber, Professeur à l'Universidade Federal de Pernambuco
(Examinateur)
RIOULT François, Maître de Conférences à l'Université de Caen Basse-
Normandie (Invité)
RIPOLL Hubert, Professeur à l'Université de la Méditerranée (Invité)
ZUCKER, Jean-Daniel Directeur de Recherches à l'Institut de Recherche
pour le Développement (Directeur)

Résumé :
L'un des principaux objectifs de l'apprentissage par renforcement est
de développer des algorithmes capables de générer des politiques de
bonne qualité en un temps le plus réduit possible. Les progrès dans
ce domaine sont tels que les performances de certains algorithmes
récents approchent des limites théoriques. Malheureusement, la
plupart des taches d'apprentissage issues du monde réel sont de
grande dimension, et l'apprentissage prend dès lors un temps
considérable.

Pour accélérer l'apprentissage, l'une des voies possibles consiste à
guider le processus d'exploration à l'aide de connaissances du
domaine. Lorsque ces connaissances prennent la forme d'une politique
apprise précédemment sur une tâche reliée à la tache courante, on
parle de transfert de politique. La plupart des algorithmes de
transfert de politique existants sont basés sur une hypothèse
implicite : ils supposent que la politique disponible est d'une bonne
qualité sur la tache courante. Clairement, lorsque cette hypothèse
n'est pas respectée, les performances de ces algorithmes se dégradent
bien en dessous des performances des méthodes d'apprentissage par
renforcement standards.

Le but de cette thèse est de lever cette hypothèse, en proposant des
algorithmes de transfert de politique capables de s'adapter à la
qualité de la politique disponible. Plus précisément, nous
introduisons un paramètre nommé le taux de transfert, qui contrôle à
quel point l'algorithme se fiera à la politique disponible. De plus,
nous proposons d'optimiser ce taux afin de faire le meilleur usage de
cette politique. Ainsi, les algorithmes que nous proposons dans cette
thèse offrent une certaine robustesse face à la politique disponible,
ce qui n'était pas le cas des approches précédentes.

Ces algorithmes sont évalués sur deux domaines différents : un
problème jouet (le gridworld), et une application d'aide à
l'entraineur de football. Cette dernière application propose à un
entraineur de saisir des schémas tactiques à l'aide d'une interface
graphique, et lui permet ensuite de visualiser des agents-joueurs en
train de réaliser ces mêmes schémas. Pour satisfaire dans des délais
raisonnables la requête de l'entraineur, l'apprentissage par
renforcement seul ne suffit pas, et nos algorithmes de transfert ont
été appliqués sur ce domaine avec succès.

Bien cordialement,

Aydano Machado

Soutenance de thèse - Damien Dupuis

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée : Knik
- Routeur global pour la plate-forme Coriolis, ainsi qu'au pot qui suivra.

La soutenance se déroulera le mercredi 17 juin 2009 à 10h dans
l'amphithéâtre Chouard, Tour 53 sur le campus de Jussieu (voir plan en
pièce jointe) devant le jury composé de :

M Michel Robert, Professeur au LIRMM, Rapporteur
M Marc Sevaux, Professeur au Lab-STICC, Rapporteur
M Pierre Fouilhoux, Maître de conférences au LIP6, Examinateur
M Christian Masson, Ingénieur, Examinateur
M Alain Greiner, Professeur au LIP6, Examinateur
Mme Alix Munier-Kordon, Professeur au LIP6, Directrice de thèse

Résumé :
Les outils d'aide à la synthèse physique de circuits VLSI (Very Large
Scale Integration)
sont fortement dépendants de la technologie utilisée. L'évolution récente
des technologies nanométriques et la taille des problèmes à traiter ont
entraîné un
regain d'intérêt pour l'étude et le développement d'outils de placement /
routage
dans le milieu académique. Le but de cette thèse est l'étude et la mise
en oeuvre d'un
outil de routage global se situant, dans une chaîne de CAO (Conception
Assistée par
Ordinateur), entre la phase de placement et celle de routage détaillé.

La phase de routage global construit un tracé approximatif à partir d'une
modélisation
simplifiée des ressources de routage. Son principal objectif est
d'effectuer la
répartition globale des interconnexions en respectant les ressources
disponibles. La
solution produite est définie par un ensemble d'arbres de Steiner dont
chacun relie les
connecteurs du net auquel il est associé.

Dans cette thèse, nous présentons KNIK un outil de routage global intégré
à la
plate-forme de conception VLSI CORIOLIS.

Les ressources de routage sont modélisées à l'aide d'une structure
mémoire compacte
et légère qui permet de représenter toute solution partielle ou complète
du tracé
des nets au cours du traitement. Sur la base de cette structure, nous
avons mis en
oeuvre une approche séquentielle basée sur l'algorithme de Dijkstra pour
construire
une solution initiale ainsi qu'une méthode originale de ripup & reroute
permettant de
résoudre les problèmes de sur-congestion.

Nous avons développé un ensemble d'outils modulaires d'instrumentation,
d'analyse
et de visualisation qui nous a permis de valider et d'évaluer notre outil
sur les jeux
de circuits de tests de référence (ispd98 et ispd07). Les performances
obtenues sont
comparables à celles des meilleurs routeurs globaux académiques actuels.

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

Damien DUPUIS
damien.dupuis@lip6.fr
http://www-asim.lip6.fr/recherche/coriolis/

Soutenance de thèse Loïc Lecerf

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"L'Apprentissage Machine pour Assister l'Annotation de Documents.
Clustering Visuel Interactif, Apprentissage Actif et Extraction
Automatique des Descripteurs" ainsi qu'au pot qui suivra.

La soutenance se déroulera le vendredi 19 juin 2009 à 14h00 au Laboratoire
d'Informatique de Paris 6 (LIP6) dans la salle 549 (5ème étage).

Adresse :
104, Avenue du Président Kennedy, 75016, Paris

Devant le jury composé de :
Thierry ARTIÈRES Professeur à l'Université Pierre et Marie Curie (Paris
6), examinateur
Boris CHIDLOVSKII Principal Scientist au Centre Européen de Recherche de
Xerox, directeur de thèse
Michel CRUCIANU Professeur au Conservatoire National des Arts et Métiers,
rapporteur
Patrick GALLINARI Professeur à l'Université Pierre et Marie Curie (Paris
6), directeur de thèse
Eric GAUSSIER Professeur à l'Université Joseph Fourier (Grenoble 1),
rapporteur de Thèse

Résumé :

Cette thèse porte sur l'apprentissage machine pour l'annotation.
L'objectif de l'annotation est d'insérer une information additionnelle à
un objet (e.g. images, documents, vidéos, données biologiques, etc.). Ces
informations permettent une meilleure compréhension ou organisation de ces
objets par une machine. Alors que l'annotation manuelle est le plus
souvent coûteuse, les travaux récents de la littérature proposent
d'utiliser les méthodes d'apprentissage machine pour automatiser la tâche
d'annotation. L'apprentissage machine a connu une progression très
importante et son application à l'annotation a montré expérimentalement
son efficacité pour de nombreux domaines.

Au cours de notre travail de thèse, nous avons cherché à faire évoluer
l'apprentissage machine afin de rendre son utilisation plus facile
(définition des descripteurs et élaboration du corpus d'apprentissage) ou
plus flexible afin de permettre à un utilisateur de s'impliquer et guider
le processus d'apprentissage machine.

Dans la première partie de ce mémoire, nous introduisons l'apprentissage
machine interactif. Nous proposons plusieurs approches dans lesquelles
nous combinons des outils de visualisation scientifique à l'apprentissage
machine. Ces approches se présentent comme une alternative à
l'apprentissage automatique, particulièrement pertinente lorsque le coût
d'annotation ou le coût d'erreur de prédiction est élevé et lorsque
l'utilisateur possède des connaissances du domaine utiles pour guider
l'apprentissage machine.

Dans une deuxième partie de nos travaux, nous avons cherché à réduire le
travail de définition des descripteurs. Nous avons d'une part étudié et
amélioré les méthodes pour la sélection automatique de grands ensembles de
descripteurs génériques, puis nous avons proposé une nouvelle approche
pour la génération automatique de ces descripteurs pour des données de
type séquentielle.
Notre travail de thèse a été motivé par la tâche spécifique d'annotation
sémantique de documents semi-structurés. Nos travaux ont été évalués
expérimentalement sur des collections de documents mais aussi sur d'autres
ensembles de données issues de domaines divers. De même, afin de vérifier
la pertinence de nos méthodes, nous avons déployé un prototype pour
l'annotation sémantique de documents par apprentissage actif, ainsi qu'une
application Web, pour l'annotation interactive.

Bien cordialement,
Loïc Lecerf