Janvier 2014


Retour à la vue des calendrier
Mardi 7 Janvier
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Pavages auto-assemblants avec et sans coopération
Description: Pierre-Étienne Meunier Les pavages auto-assemblants sont un modèle de formation de structures moléculaires, dans lequel on peutsimuler des machines de Turing. Il s'agit essentiellement d'une modification des tuiles de Wang, où l'on rajoute un mécanisme de formation des pavages.Je présenterai dans cet exposé deux résultats de séparation entre deux variantes de ce modèle : le modèle coopératif, où certaines tuiles ne peuvent s'assembler avec le reste du pavage que si plusieurs de leurs côtés correspondent, et le modèle non-coopératif, où toutes les tuiles peuvent s'assembler si au moins un de leurs côtés correspond.
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 Di­az 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.
Mardi 21 Janvier
Heure: 12:00 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Programmation linéaire mixte robuste avec variables de recours continues
Description: Pierre-Louis Poirion Nous
nous intéresserons aux problèmes linéaires mixtes
bi-niveaux, c'est à dire aux problèmes dans lesquels le
processus de décision est divisé en deux parties : dans un
premier temps, les valeurs optimales des variables dites "de
décisions" seront calculées ; puis, une fois que
l'incertitude sur les données est levée, nous calculerons
les valeurs des variables dites "de recours".


Nous
commencerons par résoudre un problème linéaire simplifié
dans lequel l'incertitude porte seulement sur le membre
droit des contraintes, et est modélisée par un polytope bien
particulier. Nous supposerons en outre que le problème
vérifie une propriété dite "de recours complet". Nous
verrons alors une méthode permettant, à partir d'un
programme robuste quelconque, de se ramener à un programme
robuste équivalent dont le problème déterministe associé
vérifie la propriété de recours complet. Avant de traiter le
cas général, nous nous limiterons d'abord au cas où les
variables de décisions sont entières. Nous testerons alors
notre approche sur un problème de production. 

Enfin,
nous nous placerons dans un cadre probabiliste et chercherons
à estimer la pertinence de l'ensemble d'incertitude choisi.
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Gaussian expectations in random tensor theory from meanders and stabilized-interval-free permutations
Description: Valentin Bonzom Je m'intéresse à l'espérance de polynômes en des variables aléatoirestensorielles distribuées selon une gaussienne. Je présenteraibrièvement une famille de polynômes dont les espérances comptent desnombres de systèmes de méandres, puis je discuterai en détail cettefamille de méandres. Un méandre étant vu comme un collage de deuxsystèmes d'arches, il s'agit ici de méandres étiquetés par unepermutation qui détermine un système d'arches à partir de l'autre. Jemontrerai que le nombre de méandres étiquetés par une permutationdonnée se décomposent naturellement en méandres irréductibles,étiquetés par des permutations qui ne stabilisent aucun sous-interval(Stabilized-Interval-Free permutations).
Vendredi 24 Janvier
Heure: 00:59 - 12:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Proving complexity bounds in linear logic with context semantics
Description: Matthieu Perrinel First, I will present a simplified version of Ugo Dal Lago's context
semantics on proof-nets. Next, I will present abstract properties based on
context semantics which entail complexity bounds. I will use this
properties to make short proofs of strong complexity bounds for ELL and
LLL. Finally, I will sketch how we are currently using context semantics to
give new type systems characterizing Ptime and the first LL-based type
system characterizing primitive recursive functions.
Mardi 28 Janvier
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Combinatoire et algorithmique dans les classes de permutations
Description: Adeline Pierrot Cet exposé donnera un aperçu du domaine de recherche accessible etdynamique des permutations à motifs exclus, tout en illustrant dans cecadre les interactions fructueuses existantes entre combinatoire etalgorithmique. Un outil clé présenté sera la décomposition parsubstitution des permutations, qui est un exemple de décompositionrécursive d'objets discrets utile tant sur le plan combinatoirequ'algorithmique, et qui fait partie du même cadre général que ladécomposition modulaire des graphes. Une telle décomposition permet demettre en évidence la structure des objets étudiés, et de l'exploiterafin d'obtenir des résultats de nature énumérative, des algorithmes degénération aléatoire, ou des algorithmes de décision.