Bonjour à tous,
j'ai le plaisir de vous convier à ma soutenance de thèse, intitulée
Résolution de systèmes multi-homogènes et déterminantiels.
qui aura lieu
le mardi 9 octobre 2012 à 14h30
au LIP6 (Campus de Jussieu), salle 25-26-105,
après avis des rapporteurs
Bernd STURMFELS (Professeur, University of California, Berkeley)
Gilles VILLARD (Directeur de Recherche CNRS, École Normale
Supérieure de Lyon)
et devant le jury composé de
Jean-Claude BAJARD (Examinateur -- Professeur, Université Pierre
et Marie Curie)
Jean-Charles FAUGÈRE (Directeur -- Directeur de Recherche INRIA,
Centre Paris-Rocquencourt)
Antoine JOUX (Examinateur -- Professeur associé, Université de
Versailles Saint-Quentin-en-Yvelines)
Mohab SAFEY EL DIN (Directeur -- Professeur, Université Pierre
et Marie Curie)
Bruno SALVY (Examinateur -- Directeur de Recherche INRIA, École
Normale Supérieure de Lyon)
Gilles VILLARD (Rapporteur -- Directeur de Recherche CNRS, École
Normale Supérieure de Lyon)
Des plans d'accès au campus sont disponibles sur le site de l'UPMC
(http://www.upmc.fr/fr/universite/campus_et_sites/a_paris_et_en_idf/jussieu.html).
L'accès à la salle de soutenance se fera par le premier étage de la tour
26.
La soutenance sera suivie d'un pot auquel vous êtes cordialement invités.
Résumé [English version below]
-------------------------------------------
De nombreux systèmes polynomiaux multivariés apparaissant en Sciences
de l'Ingénieur possèdent une structure algébrique spécifique. En
particulier, les structures multi-homogènes, déterminantielles et les
systèmes booléens apparaissent dans une variété d'applications.
Une méthode classique pour résoudre des systèmes polynomiaux
passe par le calcul d'une base de Gröbner de l'idéal associé au
système.
Cette thèse présente de nouveaux outils pour la résolution de tels
systèmes structurés.
D'une part, ces outils permettent d'obtenir sous des hypothèses de
généricité des bornes de complexité du calcul de base de Gröbner
de plusieurs familles de systèmes polynomiaux structurés (systèmes
bilinéaires, systèmes déterminantiels, systèmes définissant des points
critiques, systèmes booléens). Ceci permet d'identifier des familles
de systèmes pour lequels la complexité arithmétique de résolution
est polynomiale en le nombre de solutions.
D'autre part, cette thèse propose de nouveaux algorithmes
qui exploitent ces structures algébriques pour améliorer
l'efficacité du calcul de base de Gröbner et de la résolution
(systèmes multi-homogènes, systèmes booléens). Ces résultats sont
illustrés par des applications concrètes en cryptologie (cryptanalyse
des systèmes MinRank et ASC), en optimisation et en géométrie réelle
effective (calcul de points critiques).
Abstract
------------
Multivariate polynomial systems arising in Engineering Science often carry
algebraic structures related to the problems they stem from. In
particular, multi-homogeneous, determinantal structures and boolean
systems can be met in a wide range of applications.
A classical method to solve polynomial systems is to compute a Gröbner
basis of
the ideal associated to the system. This thesis provides new tools for
solving such structured systems in the context of Gröbner basis algorithms.
On the one hand, these tools bring forth new bounds on the complexity of
the
computation of Gröbner bases of several families of structured systems
(bilinear systems, determinantal systems, critical point systems,
boolean systems). In particular, it allows the identification of
families of
systems for which the complexity of the computation is polynomial in
the number of solutions.
On the other hand, this thesis provides new algorithms which take
profit of these algebraic structures for improving the efficiency of
the Gröbner basis computation and of the whole solving process
(multi-homogeneous systems, boolean systems). These results are
illustrated by applications in cryptology (cryptanalysis of MinRank),
in optimization and in effective real geometry (critical point
systems).
Bien cordialement,
Pierre-Jean Spaenlehauer
jeudi 27 septembre 2012
lundi 24 septembre 2012
Invitation à la soutenance de thèse de David Buffoni
Bonjour,
j'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Learning-to-Rank consistent surrogates for Information Retrieval tasks"
La soutenance aura lieu le jeudi 4 octobre 2012 à 11h00,
en salle 25-26/101 (1er étage),
au Laboratoire d'Informatique de Paris 6 (LIP6),
4 Place Jussieu, 75005 Paris.
Le traditionnel pot, auquel vous êtes conviés, suivra dans la même salle.
---------------------------------------------------------------------
Résumé de la thèse :
Dans l'ère technologique actuelle, gérer, contrôler et rechercher
l'information est devenue une composante importante de notre vie
quotidienne tout en étant un challenge crucial pour les chercheurs. Dans
cette thèse, nous abordons le problème de la recherche d'objets parmi une
plus grande collection, domaine appelé Recherche d'Information.
Nous l'étudierons dans le contexte d'Apprentissage Statistique de
Fonctions d'Ordonnancement où le but est d'apprendre une fonction de score
tout en cherchant à minimiser un risque reflétant la qualité de la liste
d'ordonnancement. Ce risque non-optimisable en pratique est alors
substitué par un risque auxiliaire suivant la propriété de la consistance.
Basés sur cette théorie, nous montrons une façon de dériver deux fonctions
de coût auxiliaires consistantes et qui seront validées expérimentalement.
Ces considérations théoriques ne peuvent cependant pas être directement
appliquées puisque les algorithmes d'apprentissage sont très sensibles à
la qualité des données. Pour y remédier, nous nous focalisons sur les
pretraitements nécessaires pour rendre les algorithmes d'apprentissage
d'ordonnancement efficaces sur deux cas d'études : les problèmes de
Recherche d'Information XML et de Recherche d'Information Texte-Image.
Dans les deux cas, les algorithmes d'apprentissage sont dépendants de la
qualité de la supervision, de l'échantillonnage des exemples
d'entrainement et des caractéristiques de description extraites. Pour
clore ces études, nous décrivons les expériences où nous améliorons les
performances par rapport aux autres méthodes de l'état-de-l'art.
abstract :
In this era of technology, managing, controlling and retrieving
informations sources has become a key part of our daily lives, and at
the same time it presents a crucial challenge to researchers.
In this thesis we tackle the problem of searching for items from a whole
collection of objects, this is usually called Information Retrieval.
We address in a Learning-to-Rank fashion where the goal is to learn a
scoring function while minimizing a risk which reflects the quality of the
ranked list. In practice, this risk cannot be directly optimized and the
main goal is to design related surrogate losses thanks to the consistency
property.
Starting from this property, we show a way to derive two consistent
surrogate loss functions with respect to some traditional Information
Retrieval metrics. The resultant experiments prove our methodology.
All these theoretical considerations cannot be directly applied due to
the fact that learning algorithms are sensitives to the data quality.
We focus our attention on the preprocessing that needs to be done
on the data to make Learning-to-Rank algorithms efficient in a
two case study: XML retrieval and Text-Image Retrieval problems.
For both, Learning-to-Rank algorithms are dependent on the
quality of the supervision, the sampling of the training examples
and the extracted features describing them. Finally, we conduct a series
of experiments on these two problems to outperform traditional
state-of-the-art Information Retrieval methods.
Composition du jury :
Mohand Boughanem -- Université Paul Sabatier -- Rapporteur
Patrick Gallinari -- Université Pierre et Marie Curie -- Directeur
Patrice Perny -- Université Pierre et Marie Curie -- Examinateur
Liva Ralaivola -- Université Aix-Marseille -- Rapporteur
Nicolas Usunier -- Université Pierre et Marie Curie -- Co-directeur
Nicolas Vayatis -- Ecole Normale Supérieure de Cachan -- Examinateur
Bien cordialement,
David
j'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Learning-to-Rank consistent surrogates for Information Retrieval tasks"
La soutenance aura lieu le jeudi 4 octobre 2012 à 11h00,
en salle 25-26/101 (1er étage),
au Laboratoire d'Informatique de Paris 6 (LIP6),
4 Place Jussieu, 75005 Paris.
Le traditionnel pot, auquel vous êtes conviés, suivra dans la même salle.
---------------------------------------------------------------------
Résumé de la thèse :
Dans l'ère technologique actuelle, gérer, contrôler et rechercher
l'information est devenue une composante importante de notre vie
quotidienne tout en étant un challenge crucial pour les chercheurs. Dans
cette thèse, nous abordons le problème de la recherche d'objets parmi une
plus grande collection, domaine appelé Recherche d'Information.
Nous l'étudierons dans le contexte d'Apprentissage Statistique de
Fonctions d'Ordonnancement où le but est d'apprendre une fonction de score
tout en cherchant à minimiser un risque reflétant la qualité de la liste
d'ordonnancement. Ce risque non-optimisable en pratique est alors
substitué par un risque auxiliaire suivant la propriété de la consistance.
Basés sur cette théorie, nous montrons une façon de dériver deux fonctions
de coût auxiliaires consistantes et qui seront validées expérimentalement.
Ces considérations théoriques ne peuvent cependant pas être directement
appliquées puisque les algorithmes d'apprentissage sont très sensibles à
la qualité des données. Pour y remédier, nous nous focalisons sur les
pretraitements nécessaires pour rendre les algorithmes d'apprentissage
d'ordonnancement efficaces sur deux cas d'études : les problèmes de
Recherche d'Information XML et de Recherche d'Information Texte-Image.
Dans les deux cas, les algorithmes d'apprentissage sont dépendants de la
qualité de la supervision, de l'échantillonnage des exemples
d'entrainement et des caractéristiques de description extraites. Pour
clore ces études, nous décrivons les expériences où nous améliorons les
performances par rapport aux autres méthodes de l'état-de-l'art.
abstract :
In this era of technology, managing, controlling and retrieving
informations sources has become a key part of our daily lives, and at
the same time it presents a crucial challenge to researchers.
In this thesis we tackle the problem of searching for items from a whole
collection of objects, this is usually called Information Retrieval.
We address in a Learning-to-Rank fashion where the goal is to learn a
scoring function while minimizing a risk which reflects the quality of the
ranked list. In practice, this risk cannot be directly optimized and the
main goal is to design related surrogate losses thanks to the consistency
property.
Starting from this property, we show a way to derive two consistent
surrogate loss functions with respect to some traditional Information
Retrieval metrics. The resultant experiments prove our methodology.
All these theoretical considerations cannot be directly applied due to
the fact that learning algorithms are sensitives to the data quality.
We focus our attention on the preprocessing that needs to be done
on the data to make Learning-to-Rank algorithms efficient in a
two case study: XML retrieval and Text-Image Retrieval problems.
For both, Learning-to-Rank algorithms are dependent on the
quality of the supervision, the sampling of the training examples
and the extracted features describing them. Finally, we conduct a series
of experiments on these two problems to outperform traditional
state-of-the-art Information Retrieval methods.
Composition du jury :
Mohand Boughanem -- Université Paul Sabatier -- Rapporteur
Patrick Gallinari -- Université Pierre et Marie Curie -- Directeur
Patrice Perny -- Université Pierre et Marie Curie -- Examinateur
Liva Ralaivola -- Université Aix-Marseille -- Rapporteur
Nicolas Usunier -- Université Pierre et Marie Curie -- Co-directeur
Nicolas Vayatis -- Ecole Normale Supérieure de Cachan -- Examinateur
Bien cordialement,
David
Re: [Rappel] Soutenance de thèse d'Olivier Roussel le mardi 25 septembre
Bonjour à tous,
Je vous rappelle que ma soutenance de thèse a lieu aujourd'hui mardi 25
septembre, à 14h, à Jussieu. Vous êtes également conviés au pot qui suivra.
Olivier Roussel a écrit :
> J'ai le plaisir de vous inviter à ma soutenance publique de thèse de
> doctorat, intitulée :
>
> *Génération aléatoire de structures ordonnées par le modèle de Boltzmann*.
>
> Cette soutenance aura lieu le
> Mardi 25 septembre 2012 à 14h00 au
> LIP6 - Université Pierre et Marie Curie - UPMC
> Tour 25-26 - Premier étage - Salle 105
> Campus de Jussieu
> 4, place Jussieu - 75005 Paris
>
> Accès : http://www.lip6.fr/informations/comment.php
>
>
> devant le jury constitué de :
>
> M. Philipe Duchon, LaBRI - Université de Bordeaux 1 Rapporteur
> M. Conrado Martínez, LSI - Universitat Politècnica de Catalunya
> Rapporteur
> M. Olivier Bodini, LIPN - Université Paris-Nord Examinateur
> M. Christoph Dürr, LIP6 - Université Pierre et Marie Curie
> Examinateur
> M. Cyril Nicaud, LIGM - Université Paris-Est Examinateur
> M. Konstantinos Panagiotou - Ludwig-Maximilians-Universität München
> Examinateur
> M. Bruno Salvy, LIP - École Normale Supérieure de Lyon
> Examinateur
> Mme Michèle Soria, LIP6, Université Pierre et Marie Curie
> Directrice
>
>
> Vous êtes également chaleureusement conviés au pot qui suivra, dans la
> même salle.
>
>
> _Résumé_ :
> Dans le domaine de la combinatoire, la génération aléatoire d'objets est
> un problème central relié à de nombreux aspects de la science
> combinatoire, que ce soit à l'énumération exacte ou asymptotique, ou à
> la vérification de conjectures. De nombreuses méthodes ont été proposées
> afin de résoudre efficacement ce problème, dont le modèle de Boltzmann.
> Ce modèle, au prix d'un contrôle moindre sur la taille des objets
> générés, assure les propriétés de complexité linéaire dans beaucoup de
> cas réels, et de facilité d'automatisation pour de larges classes d'objets.
> Cette thèse vise à étendre encore les classes d'objets combinatoires sur
> lesquelles ce modèle de Boltzmann peut s'appliquer, tout en conservant
> les propriétés d'efficacité et d'automatisation. La première partie est
> une étude des algorithmes de générations de Boltzmann existants, ainsi
> que de leur propriétés et leurs fondations mathématiques sous-jacentes.
> Dans une seconde partie, nous présentons notre idée de biaiser ces
> algorithmes pour étendre leur domaine de validité. Nous proposons une
> extension très générale, avant de l'appliquer à plusieurs opérateurs
> combinatoires tels que la dérivation, le produit de shuffle et
> l'opération de dépointage. Enfin, nous présentons un algorithme de
> génération uniforme pour le produit de Hadamard.
> Nous appuyons nos algorithmes et résultats par des exemples et données
> expérimentales illustrant le bien fondé de nos méthodes.
--
Olivier Roussel
Je vous rappelle que ma soutenance de thèse a lieu aujourd'hui mardi 25
septembre, à 14h, à Jussieu. Vous êtes également conviés au pot qui suivra.
Olivier Roussel a écrit :
> J'ai le plaisir de vous inviter à ma soutenance publique de thèse de
> doctorat, intitulée :
>
> *Génération aléatoire de structures ordonnées par le modèle de Boltzmann*.
>
> Cette soutenance aura lieu le
> Mardi 25 septembre 2012 à 14h00 au
> LIP6 - Université Pierre et Marie Curie - UPMC
> Tour 25-26 - Premier étage - Salle 105
> Campus de Jussieu
> 4, place Jussieu - 75005 Paris
>
> Accès : http://www.lip6.fr/informations/comment.php
>
>
> devant le jury constitué de :
>
> M. Philipe Duchon, LaBRI - Université de Bordeaux 1 Rapporteur
> M. Conrado Martínez, LSI - Universitat Politècnica de Catalunya
> Rapporteur
> M. Olivier Bodini, LIPN - Université Paris-Nord Examinateur
> M. Christoph Dürr, LIP6 - Université Pierre et Marie Curie
> Examinateur
> M. Cyril Nicaud, LIGM - Université Paris-Est Examinateur
> M. Konstantinos Panagiotou - Ludwig-Maximilians-Universität München
> Examinateur
> M. Bruno Salvy, LIP - École Normale Supérieure de Lyon
> Examinateur
> Mme Michèle Soria, LIP6, Université Pierre et Marie Curie
> Directrice
>
>
> Vous êtes également chaleureusement conviés au pot qui suivra, dans la
> même salle.
>
>
> _Résumé_ :
> Dans le domaine de la combinatoire, la génération aléatoire d'objets est
> un problème central relié à de nombreux aspects de la science
> combinatoire, que ce soit à l'énumération exacte ou asymptotique, ou à
> la vérification de conjectures. De nombreuses méthodes ont été proposées
> afin de résoudre efficacement ce problème, dont le modèle de Boltzmann.
> Ce modèle, au prix d'un contrôle moindre sur la taille des objets
> générés, assure les propriétés de complexité linéaire dans beaucoup de
> cas réels, et de facilité d'automatisation pour de larges classes d'objets.
> Cette thèse vise à étendre encore les classes d'objets combinatoires sur
> lesquelles ce modèle de Boltzmann peut s'appliquer, tout en conservant
> les propriétés d'efficacité et d'automatisation. La première partie est
> une étude des algorithmes de générations de Boltzmann existants, ainsi
> que de leur propriétés et leurs fondations mathématiques sous-jacentes.
> Dans une seconde partie, nous présentons notre idée de biaiser ces
> algorithmes pour étendre leur domaine de validité. Nous proposons une
> extension très générale, avant de l'appliquer à plusieurs opérateurs
> combinatoires tels que la dérivation, le produit de shuffle et
> l'opération de dépointage. Enfin, nous présentons un algorithme de
> génération uniforme pour le produit de Hadamard.
> Nous appuyons nos algorithmes et résultats par des exemples et données
> expérimentales illustrant le bien fondé de nos méthodes.
--
Olivier Roussel
Invitation à la soutenance de thèse de Phu Hung LE
Bonjour,
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée
"Protocole de Routage Multi-chemin pour des Réseaux Ad Hoc".
Elle aura lieu au Laboratoire d'Informatique de Paris 6 (LIP6) à Jussieu
(http://www.lip6.fr/informations/comment.php), le vendredi 28 Septembre 2012,
à 14h30, dans la salle 101, couloir 25-26, 1er étage et vous êtes
également chaleureusement conviés au pot qui suivra dans la salle 101,
couloir 26-00 du même étage.
==========
Jury
==========
Le jury sera composé de:
Rapporteurs :
M.André-Luc BEYLOT, Professeur, IRIT/ENSEEIHT, Toulouse, France.
M.Steven MARTIN, HDR à l'Université Paris-Sud, France.
Examinateurs :
Mme.Dominique GAIT, Professeur, Université de Technologie,
Troyes, France.
Mme.Thi Mai Trang NGUYEN, HDR à UPMC, Paris, France.
Directeur :
M.Guy PUJOLLE, Professeur, UPMC Sorbonne Universités.
==========
Abstract
==========
Mobile ad hoc networks (MANETs) consist of a collection of wireless
mobile nodes that move freely and self-configure without a preexisting
communication infrastructure.
In MANETs, under the arbitrary movement of nodes and highly dynamic
topology conditions, the routing protocols for fixed networks do not
perform well. To adapt to the rapid change of topology, many routing
protocols have been proposed. However, most of them chose the minimum
hop-count routes. This choice can lead to significant reduction of the
network performance because communication quality via the chosen links
is not good. Thus, the evaluation of link quality is indispensable and
interference is a key factor to be considered. In the literature,
most of the existing interference-aware protocols are single path and
the consideration for interference range is limited. Several proposed
interference-aware multi-path protocols for MANETs are either not
highly efficient or have the computational complexity of NP-hard.
To tackle the above problems, we first determine an interference
region of each link including all nodes that can interfere with this
link. Then, we propose a formula to evaluate the interference level of
each link. Based on the formula of the link interference, we develop a
series of interference-aware multi-path routing protocols for mobile
ad hoc networks. These interference-aware multi-path routing protocols
minimize the impact of interference on the paths from the source to
the destination to increase the network performance. The computational
complexity of the protocols is polynomial and each of them is most
suitable for a type of network size.
To demonstrate the efficiency of the interference-aware multi-path
routing protocols, we compare them to prominent protocols in different
network sizes and a high mobility environment when the RTS/CTS
(Request-To-Send/Clear-To-Send) mechanism is alternatively turned on
and turned off. The simulation results show that our protocols
significantly improve packet delivery fraction, and reduce end-to-end
delay, routing overhead, and normalized routing load.
The RTS/CTS mechanism is to restrict the collision caused by the
hidden terminals. However, we show that the RTS/CTS mechanism is not
suitable for mobile ad hoc network based on the simulation results.
Cordialement,
Phu Hung LE
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée
"Protocole de Routage Multi-chemin pour des Réseaux Ad Hoc".
Elle aura lieu au Laboratoire d'Informatique de Paris 6 (LIP6) à Jussieu
(http://www.lip6.fr/informations/comment.php), le vendredi 28 Septembre 2012,
à 14h30, dans la salle 101, couloir 25-26, 1er étage et vous êtes
également chaleureusement conviés au pot qui suivra dans la salle 101,
couloir 26-00 du même étage.
==========
Jury
==========
Le jury sera composé de:
Rapporteurs :
M.André-Luc BEYLOT, Professeur, IRIT/ENSEEIHT, Toulouse, France.
M.Steven MARTIN, HDR à l'Université Paris-Sud, France.
Examinateurs :
Mme.Dominique GAIT, Professeur, Université de Technologie,
Troyes, France.
Mme.Thi Mai Trang NGUYEN, HDR à UPMC, Paris, France.
Directeur :
M.Guy PUJOLLE, Professeur, UPMC Sorbonne Universités.
==========
Abstract
==========
Mobile ad hoc networks (MANETs) consist of a collection of wireless
mobile nodes that move freely and self-configure without a preexisting
communication infrastructure.
In MANETs, under the arbitrary movement of nodes and highly dynamic
topology conditions, the routing protocols for fixed networks do not
perform well. To adapt to the rapid change of topology, many routing
protocols have been proposed. However, most of them chose the minimum
hop-count routes. This choice can lead to significant reduction of the
network performance because communication quality via the chosen links
is not good. Thus, the evaluation of link quality is indispensable and
interference is a key factor to be considered. In the literature,
most of the existing interference-aware protocols are single path and
the consideration for interference range is limited. Several proposed
interference-aware multi-path protocols for MANETs are either not
highly efficient or have the computational complexity of NP-hard.
To tackle the above problems, we first determine an interference
region of each link including all nodes that can interfere with this
link. Then, we propose a formula to evaluate the interference level of
each link. Based on the formula of the link interference, we develop a
series of interference-aware multi-path routing protocols for mobile
ad hoc networks. These interference-aware multi-path routing protocols
minimize the impact of interference on the paths from the source to
the destination to increase the network performance. The computational
complexity of the protocols is polynomial and each of them is most
suitable for a type of network size.
To demonstrate the efficiency of the interference-aware multi-path
routing protocols, we compare them to prominent protocols in different
network sizes and a high mobility environment when the RTS/CTS
(Request-To-Send/Clear-To-Send) mechanism is alternatively turned on
and turned off. The simulation results show that our protocols
significantly improve packet delivery fraction, and reduce end-to-end
delay, routing overhead, and normalized routing load.
The RTS/CTS mechanism is to restrict the collision caused by the
hidden terminals. However, we show that the RTS/CTS mechanism is not
suitable for mobile ad hoc network based on the simulation results.
Cordialement,
Phu Hung LE
jeudi 20 septembre 2012
Invitation à la soutenance de thèse de Philippe Wang
Bonjour,
j'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
« Langages Applicatifs et Machines Abstraites pour la Couverture de Code Structurelle »
La soutenance aura lieu le jeudi 4 octobre 2012 à 14h00,
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 25-26/101 (juste à côté), auquel vous êtes aussi conviés.
---------------------------------------------------------------------
Résumé de la thèse :
Cette thèse présente une étude qui répond à un besoin industriel d'avoir des outils pour aider à la qualité et au respect des processus de développement de logiciels critiques comme ceux du domaine de l'avionique civile. Il s'agit de l'étude de la couverture de code structurelle pour un langage de la famille ML. Dans ce contexte, ML apparaît comme un langage particulièrement riche en constructions de haut-niveau d'abstraction et expressif. Son utilisation est un élément de progrès mais soulève des problèmes d'adaptation des pratiques du génie logiciel classique pour les systèmes critiques. Notamment, la notion de couverture des conditions et des décisions ainsi que les critères de couverture dérivés se complexifient rapidement. Nous donnons alors en première contribution plusieurs sémantiques pour l'interprétation des définitions des conditions et des décisions pour un langage d'expressions de haut-niveau que nous avons complètement formellement défini. Ensuite, nous donnons la sémantique formelle pour une implantation pour la mesure de couverture par réécriture du code source, ce que nous appelons l'instrumentation intrusive. Puis, nous étudions une technique qui ne réécrit pas le code, ce qui permet d'avoir la possibilité d'utiliser le même binaire pour les tests et pour la production. Cette technique, que nous appelons non intrusive, consiste à générer les informations de correspondance entre le code source et le code machine, et éventuellement d'autres informations, pour que l'environnement d'exécution incluant une machine virtuelle puisse enregistrer les traces nécessaires à l'élaboration des rapports de couverture. Enfin, nous comparons ces deux approches, en terme de sémantique, d'utilisation et d'implantation.
Mots clefs : couverture structurelle de code, MC/DC, instrumentation de code, langage de haut- niveau d'abstraction, outils pour logiciels critiques
Abstract :
This thesis presents a study on structural code coverage for a language of the ML family, in response to an industrial need in safety-critical software domain to develop tools. In this context, ML appears as a particularly rich and high-level language with a high degree of expressiveness. Its use is a progress but also raises issues when trying to apply classical safety-critical software engineering processes. In particular, the two notions of condition and decision, as well as coverage criteria associated with them, rapidly become very complex. The first contribution of this thesis answers the question of what conditions and decisions mean for a language of the ML family, by giving several formal definitions. Then, we present a formalised technique for structural code coverage which rewrites the source code to produce traces at run-time. We name it the intrusive instrumentation. We also formalise another technique which does not rewrite the source code, which allows to use the same binary for both testing activities and production. This second technique is called non intrusive and consists in generating at compile-time the information needed to match the machine code back to the source code. Other information are also generated for the execution environment to record specific traces that we need to generate a coverage report involving Boolean measures. Finally, we compare these two techniques both formally and practically, but also in terms of implementation.
Keywords : structural code coverage, MC/DC, code instrumentation, high-level language, safety- critical software tools.
Composition du jury :
Emmanuel Chailloux -- Université Pierre et Marie Curie -- Directeur
Roberto Di Cosmo -- Université Paris Diderot -- Rapporteur
Bertil Folliot -- Université Pierre et Marie Curie -- Examinateur
Pascale Le Gall -- Université d'Evry-Val d'Essonne -- Examinateur
Philippe Narbel -- Université Bordeaux 1 -- Examinateur
Bruno Pagano -- Esterel Technologies -- Examinateur
Edmond Schonberg -- New York University -- Examinateur
Virginie Wiels -- Onera Toulouse -- Rapporteure
Bien cordialement,
--
Philippe Wang
Philippe.Wang@lip6.fr
http://www-apr.lip6.fr/~pwang/
j'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
« Langages Applicatifs et Machines Abstraites pour la Couverture de Code Structurelle »
La soutenance aura lieu le jeudi 4 octobre 2012 à 14h00,
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 25-26/101 (juste à côté), auquel vous êtes aussi conviés.
---------------------------------------------------------------------
Résumé de la thèse :
Cette thèse présente une étude qui répond à un besoin industriel d'avoir des outils pour aider à la qualité et au respect des processus de développement de logiciels critiques comme ceux du domaine de l'avionique civile. Il s'agit de l'étude de la couverture de code structurelle pour un langage de la famille ML. Dans ce contexte, ML apparaît comme un langage particulièrement riche en constructions de haut-niveau d'abstraction et expressif. Son utilisation est un élément de progrès mais soulève des problèmes d'adaptation des pratiques du génie logiciel classique pour les systèmes critiques. Notamment, la notion de couverture des conditions et des décisions ainsi que les critères de couverture dérivés se complexifient rapidement. Nous donnons alors en première contribution plusieurs sémantiques pour l'interprétation des définitions des conditions et des décisions pour un langage d'expressions de haut-niveau que nous avons complètement formellement défini. Ensuite, nous donnons la sémantique formelle pour une implantation pour la mesure de couverture par réécriture du code source, ce que nous appelons l'instrumentation intrusive. Puis, nous étudions une technique qui ne réécrit pas le code, ce qui permet d'avoir la possibilité d'utiliser le même binaire pour les tests et pour la production. Cette technique, que nous appelons non intrusive, consiste à générer les informations de correspondance entre le code source et le code machine, et éventuellement d'autres informations, pour que l'environnement d'exécution incluant une machine virtuelle puisse enregistrer les traces nécessaires à l'élaboration des rapports de couverture. Enfin, nous comparons ces deux approches, en terme de sémantique, d'utilisation et d'implantation.
Mots clefs : couverture structurelle de code, MC/DC, instrumentation de code, langage de haut- niveau d'abstraction, outils pour logiciels critiques
Abstract :
This thesis presents a study on structural code coverage for a language of the ML family, in response to an industrial need in safety-critical software domain to develop tools. In this context, ML appears as a particularly rich and high-level language with a high degree of expressiveness. Its use is a progress but also raises issues when trying to apply classical safety-critical software engineering processes. In particular, the two notions of condition and decision, as well as coverage criteria associated with them, rapidly become very complex. The first contribution of this thesis answers the question of what conditions and decisions mean for a language of the ML family, by giving several formal definitions. Then, we present a formalised technique for structural code coverage which rewrites the source code to produce traces at run-time. We name it the intrusive instrumentation. We also formalise another technique which does not rewrite the source code, which allows to use the same binary for both testing activities and production. This second technique is called non intrusive and consists in generating at compile-time the information needed to match the machine code back to the source code. Other information are also generated for the execution environment to record specific traces that we need to generate a coverage report involving Boolean measures. Finally, we compare these two techniques both formally and practically, but also in terms of implementation.
Keywords : structural code coverage, MC/DC, code instrumentation, high-level language, safety- critical software tools.
Composition du jury :
Emmanuel Chailloux -- Université Pierre et Marie Curie -- Directeur
Roberto Di Cosmo -- Université Paris Diderot -- Rapporteur
Bertil Folliot -- Université Pierre et Marie Curie -- Examinateur
Pascale Le Gall -- Université d'Evry-Val d'Essonne -- Examinateur
Philippe Narbel -- Université Bordeaux 1 -- Examinateur
Bruno Pagano -- Esterel Technologies -- Examinateur
Edmond Schonberg -- New York University -- Examinateur
Virginie Wiels -- Onera Toulouse -- Rapporteure
Bien cordialement,
--
Philippe Wang
Philippe.Wang@lip6.fr
http://www-apr.lip6.fr/~pwang/
lundi 17 septembre 2012
Invitation à la soutenance de thèse de Roxana Horincar
Bonjour,
Vous êtes cordialement invité à ma soutenance de thèse intitulée :
« Stratégies de Rafraîchissement et Estimation en Ligne de Changements
pour le Contenu Web Dynamique »
La soutenance aura lieu le Jeudi 20 Septembre 2012 à 15h30, en salle
25-26/101 (1er étage), au Laboratoire d'Informatique de Paris 6 (LIP6), 4
Place Jussieu, 75005 Paris.
Un pot suivra dans la même salle, auquel vous êtes aussi conviés.
----------------------------------------------------------------------
Résumé de la thèse :
Avec l'expansion importante d'appareils connectés à l'Internet et l'essor
du Web 2.0, le contenu web se diversifie et devient de plus en plus
dynamique. Afin de faciliter la diffusion de flux d'informations
évolutives et souvent temporaires (news, messages, annonces), des
nombreuses applications web publient les items d'informations les plus
récentes dans des documents RSS ou Atom qui sont ensuite collectés et
transformés par des agrégateurs RSS comme Google Reader ou Yahoo! News.
Nos recherches se placent dans le contexte d'agrégation de documents RSS
dynamiques et se focalisent sur l'optimisation du rafraîchissement et de
l'estimation en ligne du changement de contenu RSS hautement dynamique.
Nous introduisons et formalisons deux mesures qualitatives spécifiques à
l'agrégation de flux RSS qui reflètent la complétude et la fraîcheur
moyenne du flux d'information agrégé. Nous proposons une stratégie de
rafraîchissement du "meilleur effort" qui maximise la qualité de
l'agrégation par rapport aux autres approches existantes avec un nombre
moyen de rafraîchissements identique. Nous présentons une analyse des
caractéristiques générales de l'activité de publication des flux RSS réels
en se focalisant surtout sur la dimension temporelle. Nous étudions
différentes modèles et méthodes d'estimation de changements d'activité et
leur intégration dans les stratégies de rafraîchissement. Les méthodes
présentés ont été implémentés et testés sur des données synthétiques et
des flux RSS réels.
Abstract:
With the rapidly increasing number of sources and devices connected to the
Internet and the growing success of the Web 2.0 services, the online
available web content is getting more and more diverse and dynamic. In
order to facilitate the efficient dissemination of the evolutive and often
temporary information streams (news, messages, announcements), many web
applications publish their most recent information items as RSS and Atom
documents which are then collected and transformed by RSS aggregators like
Google Reader or Yahoo! News.
Our research is placed in the context of content-based feed aggregation
systems and is focused on the design of optimal refresh strategies for
highly dynamic RSS feed sources. First, we introduce two quality measures
specific to aggregation feeds which reflect the information completeness
and average freshness of the result feeds. We propose a best-effort feed
refresh strategy that achieves maximum aggregation quality compared with
all other existing policies with the same average number of refreshes. We
analyse the characteristics of a representative collection of real-world
RSS feeds focusing on their temporal dimension. We study different online
change estimation models and techniques and their integration with our
refresh strategy. The presented methods have been implemented and tested
against synthetic and real-world RSS feed data sets.
----------------------------------------------------------------------
Membres du jury :
Philippe Lamarre, INSA Lyon [Rapporteur]
David Gross-Amblard, Université de Rennes 1 [Rapporteur]
Laure Berti-Equille, IRD, Aix-Marseille Université [Examinateur]
Matthieu Cord, UPMC Paris 6 [Examinateur]
Bernd Amann, UPMC Paris 6 [Directeur de thèse]
Thierry Artières, UPMC Paris 6 [Codirecteur de thèse]
Cordialement,
Roxana Gabriela HORINCAR
Vous êtes cordialement invité à ma soutenance de thèse intitulée :
« Stratégies de Rafraîchissement et Estimation en Ligne de Changements
pour le Contenu Web Dynamique »
La soutenance aura lieu le Jeudi 20 Septembre 2012 à 15h30, en salle
25-26/101 (1er étage), au Laboratoire d'Informatique de Paris 6 (LIP6), 4
Place Jussieu, 75005 Paris.
Un pot suivra dans la même salle, auquel vous êtes aussi conviés.
----------------------------------------------------------------------
Résumé de la thèse :
Avec l'expansion importante d'appareils connectés à l'Internet et l'essor
du Web 2.0, le contenu web se diversifie et devient de plus en plus
dynamique. Afin de faciliter la diffusion de flux d'informations
évolutives et souvent temporaires (news, messages, annonces), des
nombreuses applications web publient les items d'informations les plus
récentes dans des documents RSS ou Atom qui sont ensuite collectés et
transformés par des agrégateurs RSS comme Google Reader ou Yahoo! News.
Nos recherches se placent dans le contexte d'agrégation de documents RSS
dynamiques et se focalisent sur l'optimisation du rafraîchissement et de
l'estimation en ligne du changement de contenu RSS hautement dynamique.
Nous introduisons et formalisons deux mesures qualitatives spécifiques à
l'agrégation de flux RSS qui reflètent la complétude et la fraîcheur
moyenne du flux d'information agrégé. Nous proposons une stratégie de
rafraîchissement du "meilleur effort" qui maximise la qualité de
l'agrégation par rapport aux autres approches existantes avec un nombre
moyen de rafraîchissements identique. Nous présentons une analyse des
caractéristiques générales de l'activité de publication des flux RSS réels
en se focalisant surtout sur la dimension temporelle. Nous étudions
différentes modèles et méthodes d'estimation de changements d'activité et
leur intégration dans les stratégies de rafraîchissement. Les méthodes
présentés ont été implémentés et testés sur des données synthétiques et
des flux RSS réels.
Abstract:
With the rapidly increasing number of sources and devices connected to the
Internet and the growing success of the Web 2.0 services, the online
available web content is getting more and more diverse and dynamic. In
order to facilitate the efficient dissemination of the evolutive and often
temporary information streams (news, messages, announcements), many web
applications publish their most recent information items as RSS and Atom
documents which are then collected and transformed by RSS aggregators like
Google Reader or Yahoo! News.
Our research is placed in the context of content-based feed aggregation
systems and is focused on the design of optimal refresh strategies for
highly dynamic RSS feed sources. First, we introduce two quality measures
specific to aggregation feeds which reflect the information completeness
and average freshness of the result feeds. We propose a best-effort feed
refresh strategy that achieves maximum aggregation quality compared with
all other existing policies with the same average number of refreshes. We
analyse the characteristics of a representative collection of real-world
RSS feeds focusing on their temporal dimension. We study different online
change estimation models and techniques and their integration with our
refresh strategy. The presented methods have been implemented and tested
against synthetic and real-world RSS feed data sets.
----------------------------------------------------------------------
Membres du jury :
Philippe Lamarre, INSA Lyon [Rapporteur]
David Gross-Amblard, Université de Rennes 1 [Rapporteur]
Laure Berti-Equille, IRD, Aix-Marseille Université [Examinateur]
Matthieu Cord, UPMC Paris 6 [Examinateur]
Bernd Amann, UPMC Paris 6 [Directeur de thèse]
Thierry Artières, UPMC Paris 6 [Codirecteur de thèse]
Cordialement,
Roxana Gabriela HORINCAR
mardi 11 septembre 2012
Soutenance de thèse d'Olivier Roussel le mardi 25 septembre
Bonjour,
J'ai le plaisir de vous inviter à ma soutenance publique de thèse de doctorat,
intitulée :
*Génération aléatoire de structures ordonnées par le modèle de Boltzmann*.
Cette soutenance aura lieu le
Mardi 25 septembre 2012 à 14h00 au
LIP6 - Université Pierre et Marie Curie - UPMC
Tour 25-26 - Premier étage - Salle 105
Campus de Jussieu
4, place Jussieu - 75005 Paris
Accès : http://www.lip6.fr/informations/comment.php
devant le jury constitué de :
M. Philipe Duchon, LaBRI - Université de Bordeaux 1 Rapporteur
M. Conrado Martínez, LSI - Universitat Politècnica de Catalunya Rapporteur
M. Olivier Bodini, LIPN - Université Paris-Nord Examinateur
M. Christoph Dürr, LIP6 - Université Pierre et Marie Curie Examinateur
M. Cyril Nicaud, LIGM - Université Paris-Est Examinateur
M. Konstantinos Panagiotou - Ludwig-Maximilians-Universität München Examinateur
M. Bruno Salvy, LIP - École Normale Supérieure de Lyon Examinateur
Mme Michèle Soria, LIP6, Université Pierre et Marie Curie Directrice
Vous êtes également chaleureusement conviés au pot qui suivra, dans la même salle.
_Résumé_ :
Dans le domaine de la combinatoire, la génération aléatoire d'objets est un
problème central relié à de nombreux aspects de la science combinatoire, que ce
soit à l'énumération exacte ou asymptotique, ou à la vérification de
conjectures. De nombreuses méthodes ont été proposées afin de résoudre
efficacement ce problème, dont le modèle de Boltzmann. Ce modèle, au prix d'un
contrôle moindre sur la taille des objets générés, assure les propriétés de
complexité linéaire dans beaucoup de cas réels, et de facilité d'automatisation
pour de larges classes d'objets.
Cette thèse vise à étendre encore les classes d'objets combinatoires sur
lesquelles ce modèle de Boltzmann peut s'appliquer, tout en conservant les
propriétés d'efficacité et d'automatisation. La première partie est une étude
des algorithmes de générations de Boltzmann existants, ainsi que de leur
propriétés et leurs fondations mathématiques sous-jacentes. Dans une seconde
partie, nous présentons notre idée de biaiser ces algorithmes pour étendre leur
domaine de validité. Nous proposons une extension très générale, avant de
l'appliquer à plusieurs opérateurs combinatoires tels que la dérivation, le
produit de shuffle et l'opération de dépointage. Enfin, nous présentons un
algorithme de génération uniforme pour le produit de Hadamard.
Nous appuyons nos algorithmes et résultats par des exemples et données
expérimentales illustrant le bien fondé de nos méthodes.
En espérant vous voir nombreux à ma soutenance.
--
Olivier Roussel
J'ai le plaisir de vous inviter à ma soutenance publique de thèse de doctorat,
intitulée :
*Génération aléatoire de structures ordonnées par le modèle de Boltzmann*.
Cette soutenance aura lieu le
Mardi 25 septembre 2012 à 14h00 au
LIP6 - Université Pierre et Marie Curie - UPMC
Tour 25-26 - Premier étage - Salle 105
Campus de Jussieu
4, place Jussieu - 75005 Paris
Accès : http://www.lip6.fr/informations/comment.php
devant le jury constitué de :
M. Philipe Duchon, LaBRI - Université de Bordeaux 1 Rapporteur
M. Conrado Martínez, LSI - Universitat Politècnica de Catalunya Rapporteur
M. Olivier Bodini, LIPN - Université Paris-Nord Examinateur
M. Christoph Dürr, LIP6 - Université Pierre et Marie Curie Examinateur
M. Cyril Nicaud, LIGM - Université Paris-Est Examinateur
M. Konstantinos Panagiotou - Ludwig-Maximilians-Universität München Examinateur
M. Bruno Salvy, LIP - École Normale Supérieure de Lyon Examinateur
Mme Michèle Soria, LIP6, Université Pierre et Marie Curie Directrice
Vous êtes également chaleureusement conviés au pot qui suivra, dans la même salle.
_Résumé_ :
Dans le domaine de la combinatoire, la génération aléatoire d'objets est un
problème central relié à de nombreux aspects de la science combinatoire, que ce
soit à l'énumération exacte ou asymptotique, ou à la vérification de
conjectures. De nombreuses méthodes ont été proposées afin de résoudre
efficacement ce problème, dont le modèle de Boltzmann. Ce modèle, au prix d'un
contrôle moindre sur la taille des objets générés, assure les propriétés de
complexité linéaire dans beaucoup de cas réels, et de facilité d'automatisation
pour de larges classes d'objets.
Cette thèse vise à étendre encore les classes d'objets combinatoires sur
lesquelles ce modèle de Boltzmann peut s'appliquer, tout en conservant les
propriétés d'efficacité et d'automatisation. La première partie est une étude
des algorithmes de générations de Boltzmann existants, ainsi que de leur
propriétés et leurs fondations mathématiques sous-jacentes. Dans une seconde
partie, nous présentons notre idée de biaiser ces algorithmes pour étendre leur
domaine de validité. Nous proposons une extension très générale, avant de
l'appliquer à plusieurs opérateurs combinatoires tels que la dérivation, le
produit de shuffle et l'opération de dépointage. Enfin, nous présentons un
algorithme de génération uniforme pour le produit de Hadamard.
Nous appuyons nos algorithmes et résultats par des exemples et données
expérimentales illustrant le bien fondé de nos méthodes.
En espérant vous voir nombreux à ma soutenance.
--
Olivier Roussel
[Invitation] Soutenance de thèse de Ilhem FAJJARI le Mercredi 12/09/2012
Bonjour,
J'ai le plaisir de vous inviter à ma soutenance de thèse "Resource
Allocation Algorithms for Virtual Networks within Cloud Backbone
Network" et au pot qui la succédera.
La soutenance se déroulera le Mercredi 12 Septembre à 14h, Tour 25-26,
1 étage, salle 105 du Laboratoire d'Informatique de Paris 6 (LIP6)
situé au:
Université UPMC
4, Place Jussieu
75005 Paris
Plan d'accès: http://www.lip6.fr/informations/comment.php
Abstract:
Cloud computing is new paradigm that attracts an increasing number of
clients due to the advantages that it supplies, such as economic,
management, deployment, security, etc. In this context, Cloud
providers must possess efficient techniques to supply clients with
computational resources over scalable networks. An optimal and fast
provisioning algorithm is fundamental to achieve the above objective.
Cloud providers need to minimise their provision cost whilst
guaranteeing the
requested users' Service Level Agreements (SLA).
In this thesis, we will address the problematic of virtual network
resource provisioning within Cloud backbone network infrastructure.
Our research aims to optimise the allocation of virtual networks over
a physical network while meeting the end users' requirements and
maximising the revenue of the Cloud provider. The problem of virtual
network resource provisioning is NP-hard. To overcome the great
complexity involved, we will propose several heuristic provisioning
strategies and we will tackle the problem in three stages. In the
first stage, we will consider a static virtual network embedding where
peak demand is considered. We will propound a new scalable virtual
network embedding strategy named VNE-AC based on the Ant Colony
metaheuristic. In the second stage, we will build on the work carried
out in the first stage by integrating a reconfiguration mechanism in
order to improve the resource usage and enhance Cloud provider
profitability. This will lead us to propose a new greedy Virtual
Network Reconfiguration algorithm named VNR. Finally, in the third
stage, we will consider an adaptive embedding strategy taking into
consideration circulating traffic in order to avoid resource
over-provisioning led by peak-demand allocation. We will introduce an
adaptive virtual network resource allocation strategy named
Adaptive-VNE to deal with the complexity and the inefficiency of
resource allocation. The results obtained prove the efficiency of our
proposed strategies.
Jury:
-Mr Bernard COUSIN Reviewer Professor, University of Rennes 1 – France
-Mr Raouf BOUTABA Reviewer Professor, University of Waterloo – Canada
-Mr Djamal ZEGHLACHE Examiner Professor, Telecom Sud Paris – France
-Mr Jean-pierre CLAUDE Examiner Professor, University of Versailles
Saint-Quentin-en-Yvelines – France
-Mr Dominique VERCHERE Examiner Senior Researcher, Alcatel-Lucent Bell
Labs – France
-Mr Marcelo DIAS DE AMORIM Examiner Research director, University
Pierre et Marie Curie – France
-Mr Nadjib AIT SAADI Examiner Associate Professor, University of
Paris-Est Creteil Val de Marne – France
-Mr Guy Pujolle Supervisor Professor, Pierre & Marie Curie University
– Paris - France
Très cordialement,
Ilhem FAJJARI
--
Ilhem FAJJARI
PhD Student
LIP6 - Pierre & Marie Curie University - Paris Universitas
BC 169
4, Place Jussieu
75005, Paris - France
http://sites.google.com/site/ilhemfajjari/
TEL : +33 1 44 27 71 33
FAX : +33 1 44 27 87 83
J'ai le plaisir de vous inviter à ma soutenance de thèse "Resource
Allocation Algorithms for Virtual Networks within Cloud Backbone
Network" et au pot qui la succédera.
La soutenance se déroulera le Mercredi 12 Septembre à 14h, Tour 25-26,
1 étage, salle 105 du Laboratoire d'Informatique de Paris 6 (LIP6)
situé au:
Université UPMC
4, Place Jussieu
75005 Paris
Plan d'accès: http://www.lip6.fr/informations/comment.php
Abstract:
Cloud computing is new paradigm that attracts an increasing number of
clients due to the advantages that it supplies, such as economic,
management, deployment, security, etc. In this context, Cloud
providers must possess efficient techniques to supply clients with
computational resources over scalable networks. An optimal and fast
provisioning algorithm is fundamental to achieve the above objective.
Cloud providers need to minimise their provision cost whilst
guaranteeing the
requested users' Service Level Agreements (SLA).
In this thesis, we will address the problematic of virtual network
resource provisioning within Cloud backbone network infrastructure.
Our research aims to optimise the allocation of virtual networks over
a physical network while meeting the end users' requirements and
maximising the revenue of the Cloud provider. The problem of virtual
network resource provisioning is NP-hard. To overcome the great
complexity involved, we will propose several heuristic provisioning
strategies and we will tackle the problem in three stages. In the
first stage, we will consider a static virtual network embedding where
peak demand is considered. We will propound a new scalable virtual
network embedding strategy named VNE-AC based on the Ant Colony
metaheuristic. In the second stage, we will build on the work carried
out in the first stage by integrating a reconfiguration mechanism in
order to improve the resource usage and enhance Cloud provider
profitability. This will lead us to propose a new greedy Virtual
Network Reconfiguration algorithm named VNR. Finally, in the third
stage, we will consider an adaptive embedding strategy taking into
consideration circulating traffic in order to avoid resource
over-provisioning led by peak-demand allocation. We will introduce an
adaptive virtual network resource allocation strategy named
Adaptive-VNE to deal with the complexity and the inefficiency of
resource allocation. The results obtained prove the efficiency of our
proposed strategies.
Jury:
-Mr Bernard COUSIN Reviewer Professor, University of Rennes 1 – France
-Mr Raouf BOUTABA Reviewer Professor, University of Waterloo – Canada
-Mr Djamal ZEGHLACHE Examiner Professor, Telecom Sud Paris – France
-Mr Jean-pierre CLAUDE Examiner Professor, University of Versailles
Saint-Quentin-en-Yvelines – France
-Mr Dominique VERCHERE Examiner Senior Researcher, Alcatel-Lucent Bell
Labs – France
-Mr Marcelo DIAS DE AMORIM Examiner Research director, University
Pierre et Marie Curie – France
-Mr Nadjib AIT SAADI Examiner Associate Professor, University of
Paris-Est Creteil Val de Marne – France
-Mr Guy Pujolle Supervisor Professor, Pierre & Marie Curie University
– Paris - France
Très cordialement,
Ilhem FAJJARI
--
Ilhem FAJJARI
PhD Student
LIP6 - Pierre & Marie Curie University - Paris Universitas
BC 169
4, Place Jussieu
75005, Paris - France
http://sites.google.com/site/ilhemfajjari/
TEL : +33 1 44 27 71 33
FAX : +33 1 44 27 87 83
Inscription à :
Articles (Atom)