|
|
 |
|
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. |
|
|
