Soutenance de thèse d'Adnan M. Hashmi - Mardi 24 Janvier

Bonjour,

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

"An Agent Oriented Programming Language integrating Temporal Planning and
the Plan Coordination Mechanisms".

ainsi qu'au pot qui suivra.

La soutenance aura lieu le mardi 24 janvier 2012 à 10h00 sur le Campus de
Jussieu en salle 105 couloir 25-26 (1er étage).

Composition du Jury
=========================

Rapporteurs :

Mme. Adina Magda FLOREA, Professeur à l'Université Politehnica de
Bucarest
M. René MANDIAU, Professeur à l'Université de Valenciennes et du
Hainaut-Cambrésis

Examinateurs :

M. Rachid ALAMI, Directeur de recherche CNRS au LAAS - Toulouse
M. Humbert FIORINO, Maître de conférence à l'Université Joseph Fourier
- Grenoble
M. Nicolas MAUDET, Professeur à l'Université Pierre et Marie Curie

Directrice de thèse :

Mme. Amal EL FALLAH SEGHROUCHNI, Professeur à l'Université Pierre et
Marie Curie

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

Over the years a lot of research has been carried out on designing new
languages and platforms to program intelligent and autonomous agents. As a
result, now we have the necessary tools available to develop autonomous,
intelligent, adaptive, communicating and mobile agents. Most of these
languages do not give agents the ability to plan ahead. But, sometimes the
execution of actions without planning results in the inability to achieve
the goals. Moreover, the duration of agent actions and the uncertainty of
the environment has not been taken into account in the planning based
agent oriented programming (AOP) languages.

This thesis tries to fill this gap by proposing an AOP language P-CLAIM
that endows the agents with planning capability. We are interested in the
temporal planning of on the fly goals having different priorities. A
coherrent framework is proposed in which agents are able to generate,
execute and monitor their temporal plans. A plan is repaired if some
unanticipated changes in the environment cause the plan to become
unfeasible. Moreover, the proposed framework creates a balance between
reactivity and deliberation.

Handling and the coordination of plans for the achievement of different
priority goals have not been discussed in either of the multi-agent
planning and AOP languages communities. So this thesis also proposes
coordination mechanisms for the plans of different priorities in two
different scenarios. In the first scenario, that we call
Proactive-Reactive Coordination Problem (PRCP), an agent has to modify its
temporal plan in order to remove any conflicts with the plan of another
agent having higher priority. This thesis proposes a plan merging
algorithm supported by a sound plan repairing technique to solve this
problem.

In the second scenario, that we call Coordinated Planning Problem (CPP),
an agent has to compute a plan for the achievement of its own goals, but
without violating the constraints of another agent's higher priority plan,
and utilizing where possible the cooperative opportunities offered by the
latter. This thesis presents two multi-agent planners to solve this
planning problem. First planner Coordinated-Sapa is an extension of the
well known temporal planner Sapa, and it solves CPP for the temporal
domains. The second planner µ-SATPLAN is an extension of the well known
classical planner SATPLAN, and it solves CPP for non-temporal classical
domains. The techniques are presented for both the planners to handle the
negative (conflicting situations) as well as positive interactions
(cooperative situations).

------------------
Bien Cordialement,
Adnan Hashmi

soutenance de thèse de Geoffrey Plouviez

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée :
"Etude, spécification, vérification formelle de mécanismes de
virtualisation sécurisés pour architecture many-cores".

qui aura lieu le jeudi 19 janvier à 11H au campus de jussieu salle 211
- Tour 55 - couloir 55/65 - 2ème étage.

Le jury sera composé de :

Directeur de thèse:
Mr Alain Greiner

Encadrant de thèse:
Mr Franck Wajsbürt

Rapporteurs:
Mr David Naccache
Mr Guy Gogniat

Examinateurs:
Mme Emmanuelle Encrenaz
Mr Renaud Pacalet
Mr Loïc Duflot
Mr Frédéric Pétrot

Résumé :
Cette thèse présente une solution de co-hébergement sécurisée de
plusieurs piles logicielles autonomes sur une même puce pouvant comprendre
jusqu'à plusieurs centaines de cœurs.

Dans le monde des puces généralistes, le nombre de cœurs ne cesse
d'augmenter rendant les machines de plus en plus puissantes.
Pourtant, du point de vue de la sécurité, les machines n'ont
jamais été aussi vulnérables aux attaques alors qu'elles traitent des
informations d'une sensibilité croissante.

Les techniques actuelles d'isolation, qu'elles soient au niveau
processus ou au niveau noyau, ne suffisent pas pour assurer la
confidentialité,
l'intégrité et la disponibilité des entités logicielles en exécution.

C'est pourquoi nous proposons une virtualisation adaptée aux puces
many-cores, permettant à des piles logicielles distinctes et potentiellement
dangereuses de s'exécuter dans un environnement
de confiance dont la couche logicielle a été formellement vérifiée
conforme à une spécification.

Re: Soutenance de thèse de Lionel Torti

Je me suis trompé dans la date, il s'agit du 27 janvier et non du 26 !

Cordialement,
Lionel.

Le 16 janv. 2012 à 12:37, Lionel Torti a écrit :

> Bonjour,
>
> j'ai le plaisir de vous inviter à ma soutenance de thèse ainsi qu'au pot qui suivra.
>
> La thèse est intitulée: "Inférence probabiliste structurée dans les modèles graphiques probabilistes orientés-objet".
>
> La soutenance aurai lieu le vendredi 26 janvier 2012 à 14h00 dans la salle 101, couloir 25-26 au LIP6 - 4, place Jussieu - 75005 Paris.
>
> Le jury sera composé de :
> - Thomas D. Nielsen - Aalborg University ;
> - Marc Bouissou - EDF R&D - École Centrale Paris ;
> - Eva Crück - DGA - CREA ;
> - Stijn Meganck - Vrije Universiteit Brussel ;
> - Patrice Perny - LIP6 ;
> - Christophe Gonzales - LIP6 ;
> - Pierre-Henri Wuillemin - LIP6.
>
> Résumé :
>
> Les modèles graphiques probabilistes (MGP) sont particulièrement utilisés dans
> les domaines du diagnostique automatique, de la sûreté de fonctionnement et de
> la maitrise des risques. Pour ces applications, les réseaux bayésiens (RB) sont
> parmi les MGP les plus populaires, car ils offrent un cadre efficace pour la
> représentation des connaissances et le raisonnement probabiliste. Toutefois,
> la modélisation des systèmes complexes avec des RB soulèvent des difficultés,
> les principaux étant l'impossibilité de réutiliser l'existant et la difficulté
> pour modéliser des systèmes de grandes tailles. Vers la fin des années 1990,
> plusieurs extensions des RB allaient lancer le développement des modèles
> probabilistes du premier ordre (MPPO). Alors que la communauté des chercheurs
> en IA se concentra sur la fusion de la logique du premier ordre avec les MGP,
> les difficultés pour modéliser des systèmes complexes à l'aide de RB furent
> laissées de côtés. Néanmoins, il y a encore de nombreux manques dans les
> extensions orientés-objet des RB: pouvons nous mieux définir l'héritage ?
> Comment représenter des concepts tels que le polymorphisme, le prototypage ou encore
> l'abstraction ? Quelles sont les différences entre les MPPO et les MGP
> orientés-objet ?
>
> Lorsque les connaissances d'experts sont utilisées pour modéliser un système,
> l'inférence probabiliste est une des principales applications des RB. Il
> existe une grande variété d'approches, chacune exploitant un aspect
> particulier des RB (conditionnement, arbre de jonction, CNF, etc.). Mais,
> lorsque nous considérons les extensions des RB, il y a peu d'algorithmes
> dédiés. En effet, la plupart des extensions utilisent l'inférence "groundée",
> ie. que le modèle est transformé en RB pour y appliquer des algorithmes
> d'inférence classiques. Parmi les algorithmes dédiés, Structured Variable
> Elimination (SVE, Pfeffer 1999) exploite les modèles orientés-objet. Il réduit
> le nombre de calcul en utilisant la répétition structurelle caractéristique
> des modèles orientés-objet. Toutefois, SVE a des défauts qui empêchent son
> utilisation sur des systèmes conçus par des experts dans lesquels il n'y a pas
> d'incertitude structurelle, ie. dans des mondes fermés.
>
> L'objectif de cette thèse est de développer une modélisation orienté-objet pour
> les MGP et de généraliser l'inférence structurée. Après une analyse de l'état
> de l'art, nous proposons une comparaison des différents paradigmes de
> représentation (orienté-objet, entité relation, premier ordre). Puis nous
> présentons notre première contribution: une formalisation complète du paradigme
> orienté-objet pour les MGP. Nous utilisons les modèles probabilistes
> relationnels (MPR) comme base que nous étendons pour inclure des concepts tel
> que l'héritage multiple, l'abstraction, le polymorphisme et l'héritage de type.
>
> La deuxième contribution de cette thèse est l'étude et la généralisation de
> l'algorithme SVE. SVE exploite l'information structurelle représentée par les
> classes et réduit les calculs redondants. Nous proposons une reformulation de
> SVE et analysons ses principaux défauts. Puis nous généralisons SVE en
> étendant la notion d'inférence structurée à notre formalisme. Ceci donne une
> nouvelle forme d'inférence appelée Inférence Probabiliste Structurée (IPS).
> Finalement, nous montrons comment l'analyse en d-séparation et l'inférence
> structurée peuvent être utilisées conjointement pour améliorer les
> performances de IPS.
>
> La troisième contribution de cette thèse repousse un peu plus loin le concept
> de l'inférence structurée. Nous exploitons un algorithme de recherche de sous
> graphes pour détecter une répétition de motifs dans un système. Ces motifs
> définissent une répétition de structure de haut niveau, appelée classe
> dynamique, qui peut être exploitée pour améliorer IPS. Nous proposons une
> analyse de la complexité du problème et un algorithme approché pour trouver de
> "bonnes" classes dynamiques. Nous fournissons des résultats expérimentaux étayant
> notre approche.
>
> Mots clés : modèles graphiques probabilistes, systèmes complexes, passage à
> l'échelle, représentation des connaissances, réseaux bayésiens orienté-objet,
> modèle relationnels probabilistes, inférence probabiliste structurée.
>
> Bien cordialement,
> Lionel Torti.
> __________________________________________________________
> PhD student - Doctorant
> http://www-ia.lip6.fr/~torti
> Office: T. 26-00 B. 401 | 4, place Jussieu | 75252 | Paris Cedex 05 | France
> Phone: +33 1 44 27 70 07 | fax: +33 1 44 27 88 89
> __________________________________________________________
>

Soutenance de thèse de Lionel Torti

Bonjour,

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

La thèse est intitulée: "Inférence probabiliste structurée dans les modèles graphiques probabilistes orientés-objet".

La soutenance aurai lieu le vendredi 26 janvier 2012 à 14h00 dans la salle 101, couloir 25-26 au LIP6 - 4, place Jussieu - 75005 Paris.

Le jury sera composé de :
- Thomas D. Nielsen - Aalborg University ;
- Marc Bouissou - EDF R&D - École Centrale Paris ;
- Eva Crück - DGA - CREA ;
- Stijn Meganck - Vrije Universiteit Brussel ;
- Patrice Perny - LIP6 ;
- Christophe Gonzales - LIP6 ;
- Pierre-Henri Wuillemin - LIP6.

Résumé :

Les modèles graphiques probabilistes (MGP) sont particulièrement utilisés dans
les domaines du diagnostique automatique, de la sûreté de fonctionnement et de
la maitrise des risques. Pour ces applications, les réseaux bayésiens (RB) sont
parmi les MGP les plus populaires, car ils offrent un cadre efficace pour la
représentation des connaissances et le raisonnement probabiliste. Toutefois,
la modélisation des systèmes complexes avec des RB soulèvent des difficultés,
les principaux étant l'impossibilité de réutiliser l'existant et la difficulté
pour modéliser des systèmes de grandes tailles. Vers la fin des années 1990,
plusieurs extensions des RB allaient lancer le développement des modèles
probabilistes du premier ordre (MPPO). Alors que la communauté des chercheurs
en IA se concentra sur la fusion de la logique du premier ordre avec les MGP,
les difficultés pour modéliser des systèmes complexes à l'aide de RB furent
laissées de côtés. Néanmoins, il y a encore de nombreux manques dans les
extensions orientés-objet des RB: pouvons nous mieux définir l'héritage ?
Comment représenter des concepts tels que le polymorphisme, le prototypage ou encore
l'abstraction ? Quelles sont les différences entre les MPPO et les MGP
orientés-objet ?

Lorsque les connaissances d'experts sont utilisées pour modéliser un système,
l'inférence probabiliste est une des principales applications des RB. Il
existe une grande variété d'approches, chacune exploitant un aspect
particulier des RB (conditionnement, arbre de jonction, CNF, etc.). Mais,
lorsque nous considérons les extensions des RB, il y a peu d'algorithmes
dédiés. En effet, la plupart des extensions utilisent l'inférence "groundée",
ie. que le modèle est transformé en RB pour y appliquer des algorithmes
d'inférence classiques. Parmi les algorithmes dédiés, Structured Variable
Elimination (SVE, Pfeffer 1999) exploite les modèles orientés-objet. Il réduit
le nombre de calcul en utilisant la répétition structurelle caractéristique
des modèles orientés-objet. Toutefois, SVE a des défauts qui empêchent son
utilisation sur des systèmes conçus par des experts dans lesquels il n'y a pas
d'incertitude structurelle, ie. dans des mondes fermés.

L'objectif de cette thèse est de développer une modélisation orienté-objet pour
les MGP et de généraliser l'inférence structurée. Après une analyse de l'état
de l'art, nous proposons une comparaison des différents paradigmes de
représentation (orienté-objet, entité relation, premier ordre). Puis nous
présentons notre première contribution: une formalisation complète du paradigme
orienté-objet pour les MGP. Nous utilisons les modèles probabilistes
relationnels (MPR) comme base que nous étendons pour inclure des concepts tel
que l'héritage multiple, l'abstraction, le polymorphisme et l'héritage de type.

La deuxième contribution de cette thèse est l'étude et la généralisation de
l'algorithme SVE. SVE exploite l'information structurelle représentée par les
classes et réduit les calculs redondants. Nous proposons une reformulation de
SVE et analysons ses principaux défauts. Puis nous généralisons SVE en
étendant la notion d'inférence structurée à notre formalisme. Ceci donne une
nouvelle forme d'inférence appelée Inférence Probabiliste Structurée (IPS).
Finalement, nous montrons comment l'analyse en d-séparation et l'inférence
structurée peuvent être utilisées conjointement pour améliorer les
performances de IPS.

La troisième contribution de cette thèse repousse un peu plus loin le concept
de l'inférence structurée. Nous exploitons un algorithme de recherche de sous
graphes pour détecter une répétition de motifs dans un système. Ces motifs
définissent une répétition de structure de haut niveau, appelée classe
dynamique, qui peut être exploitée pour améliorer IPS. Nous proposons une
analyse de la complexité du problème et un algorithme approché pour trouver de
"bonnes" classes dynamiques. Nous fournissons des résultats expérimentaux étayant
notre approche.

Mots clés : modèles graphiques probabilistes, systèmes complexes, passage à
l'échelle, représentation des connaissances, réseaux bayésiens orienté-objet,
modèle relationnels probabilistes, inférence probabiliste structurée.

Bien cordialement,
Lionel Torti.
__________________________________________________________
PhD student - Doctorant
http://www-ia.lip6.fr/~torti
Office: T. 26-00 B. 401 | 4, place Jussieu | 75252 | Paris Cedex 05 | France
Phone: +33 1 44 27 70 07 | fax: +33 1 44 27 88 89
__________________________________________________________

Soutenance de thèse d'Ahmed Ashry

Bonjour,

j'ai le plaisir de vous inviter à la soutenance de thèse d'Ahmed Ashry
ainsi qu'au pot qui suivra.
La thèse de doctorat de M. Ashry est intitulée:
"Récepteur RF pour la radio-logicielle basé sur un convertisseur
Analogique-Numérique Sigma-Delta Passe-Bande".

La soutenance aura lieu le vendredi 13 janvier 2012 à 10h30 dans la salle
des thèses, batiment atrium, 4, Place Jussieu, 75252 Paris.
http://www-soc.lip6.fr/~hassan/phd_aa.php

Le jury sera composé de :
- B. Nauta, Professeur, Twente University, Les Pays-Bas, Rapporteur.
- A. Kaiser, Directeur de recherche CNRS, ISEN-IEMN, Lille, Rapporteur.
- A. Cathelin, Dr. Ing. STMicroelectronics R&D, Crolles, Examinateur.
- D. Morche, Dr. Ing. CEA-LETI, Grenoble, Examinateur.
- A. Benlarbi-Delai, Professeur UPMC, Examinateur.
- G. Klisnick, Maître de conférences UPMC, Examinateur.
- H. Mehrez, Professeur UPMC, Co-Directeur de thèse.
- H. Aboushady, Maître de conférences UPMC, Directeur de thèse.

Cordialement,

Hassan Aboushady.

========
Summary
========
The continuous improvement of both speed and density of digital circuits
in CMOS technologies makes it attractive to push most of the chip
functionality from the RF and analog domain to the digital domain. In an
RF receiver, this means to push the Analog-to-Digital Converter (ADC) near
the antenna to achieve what is commonly known as Software Defined Radio
(SDR). In SDR receivers, most of the analog blocks such as the
down-conversion mixer and the channel selection filter are moved to the
digital domain. In this case, most of the signal processing is done in the
flexible and programmable digital domain. One of the main challenges in
implementing an SDR receiver is the stringent ADC requirements. The ADC
must have a large bandwidth and a high dynamic range to be able to deal
with the targeted RF band in the presence of strong out-of-band blockers.
A promising technique to achieve these ADC specifications is to use a
bandpass LC Sigma-Delta ADC with an RF center frequency.

--
Hassan Aboushady, Ph.D.
Associate Professor, University of Pierre & Marie Curie, Paris VI.
LIP6-SoC, 4, Place Jussieu, 75252 Paris, France.
Phone: 33-1-44 27 71 23, Fax: 33-1-44 27 72 80
http://www-soc.lip6.fr/~hassan

Soutenance de thèse d'Ahmed Ashry

Bonjour,

j'ai le plaisir de vous inviter a la soutenance de thèse d'Ahmed Ashry
intitulée "Récepteur RF pour la radio-logicielle basé sur un convertisseur
Analogique-Numerique Sigma-Delta Passe-Bande" ainsi qu'au fabuleux pot qui
suivra.

========
Vendredi 13 janvier 2012 à 10h30
========

La soutenance se déroulera dans la salle des thèses du batiment Atrium,
campus de Jussieu.

Le jury sera composé de :

- Bram Nauta, Twente University, Les Pays-Bas, Rapporteur.
- Andreas Kaiser, ISEN-IEMN, Lille, Rapporteur.
- Andreia Cathelin, STMicroelectronics, Crolles.
- Dominique Morche, CEA-LETI, Grenoble.
- Geoffroy Klisnick, UPMC.
- Aziz Benlarbi-Delai, UPMC.
- Habib Mehrez, UPMC.
- Hassan Aboushady, UPMC.

========
Summary
========
The continuous improvement of both speed and density of digital circuits
in CMOS technologies makes it attractive to push most of the chip
functionality from the RF and analog domain to the digital domain. In an
RF receiver, this means to push the Analog-to-Digital Converter (ADC) near
the antenna to achieve what is commonly known as Software Defined Radio
(SDR). In SDR receivers, most of the analog blocks such as the
down-conversion mixer and the channel selection filter are moved to the
digital domain. In this case, most of the signal processing is done in the
flexible and programmable digital domain. One of the main challenges in
implementing an SDR receiver is the stringent ADC requirements. The ADC
must have a large bandwidth and a high dynamic range to be able to deal
with the targeted RF band in the presence of strong out-of-band blockers.
A promising technique to achieve these ADC specifications is to use a
bandpass LC Sigma-Delta ADC with an RF center frequency.