|
|
 |
|
Mardi 14 Janvier
| Heure: |
12:00 - 13:30 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
An Exact Placement Approach for Optimizing Cost and Recovery Time under Faulty Multi-Cloud Environments |
| Description: |
Felipe Diaz Sanchez Currently, Cloud brokers bring interoperability and portability of
applications across multiple Clouds. In the future, Cloud brokers will
offer services based on their knowledge of Cloud providers
infrastructure to automatically and cost-effectively overcome
performance degradation. In this paper, we present a Mixed-Integer
Linear Program (MILP) that provides a cost-effective placement across
multiple Clouds. Our MILP formulation considers parameters of Cloud
providers such as price, configuration of VMs, network latency, and
provisioning time. We evaluate the cost-effectiveness of deploying a
Cloud infrastructure into a single or across multiple Cloud providers
by using real prices and VM configurations. The results show that in
some cases may be cost-effective to distribute the infrastructure
across multiple Cloud providers. We also propose three placement
policies for faulty multi-Cloud scenarios. The best of these policies
minimizes the cost of the Cloud infrastructure under fixed
provisioning time values. |
| Heure: |
14:00 - 17:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Convolution de Dirichlet et énumération de pyramides |
| Description: |
Olivier Mallet Dans cet exposé, on introduit deux familles de polycubes : lespyramides et les espaliers. On calcule les séries génératricesordinaire et de Dirichlet de ces objets à l'aide d'une versionmulti-indexée de la convolution de Dirichlet. On s'intéresse ensuite àune généralisation des pyramides et des espaliers en dimension dquelconque et on montre que le nombre de pyramides de volume fixé endimension d+1 est un polynôme en d. On explique enfin commentappliquer les techniques mises en Åuvre ici à d'autres familles depolycubes. |
Jeudi 16 Janvier
| Heure: |
12:00 - 13:30 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Réseaux sociaux et "big data" : des sources historiques aux plateformes web |
| Description: |
Christophe Prieur S'il est désormais notoire que la profusion de données concernant lesindividus et leurs activités constitue la matière première d'un contrôlesans précédent, la recherche en sciences sociales se doit de s'en saisirà son tour pour mettre au point des outils d'analyse à la mesure deschangements considérables qu'elle observe. La recherche en informatiqueet en mathématiques, quant à elle, peut difficilement se soustraire à laresponsabilité qui lui incombe de donner à ses résultats un tour un tantsoit peu critique, en s'alliant avec les sciences sociales au moinsautant qu'avec les industriels.En ce qui concerne l'analyse des réseaux, l'engouement des années 2000pour les "petits mondes" étudiés pour leurs propriétés globales laisseaujourd'hui de plus en plus de place à des approches rendant àl'individu sa place singulière dans l'espace social. Les grands réseauxsont ainsi une toile de fond qui fournit des outils quantitatifs pourmesurer la grande diversité qualitative des configurations individuelles.Pour illustrer ces démarches, je m'appuierai sur des exemples variésallant de la constitution de l'aristocratie à Buenos Aires sous l'Empireespagnol, jusqu'à la diffusion des url sur Twitter. |
Vendredi 17 Janvier
| Heure: |
00:59 - 13:30 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Quelques remarques d'ordre logique sur la théorie des types homotopiques (2e partie) |
| Description: |
Christophe Fouqueré A partir du livre "Homotopy Type Theory", seront abordés les points
suivants: théorie des types (à la Martin-Löf), notions (très)
élémentaires d'homotopie et axiome d'univalence, hiérarchisation des
types et conséquences sur la partie interprétant la logique (en
particulier le tiers-exclus). Nous n'aborderons pas nombre de points
(théorie des catégories, types homotopiques d'ordre supérieur,
reconstruction des réels, ...) hautement intéressants de ce livre. |
|
|
