24 Mars - 30 Mars


Retour à la vue des calendrier
Mardi 25 Mars
Heure: 12:00 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: The robust vehicle routing problem with time windows and travel time uncertainty
Description: Rosa Figueiredo This work addresses the robust vehicle routing problem with time windows. We are motivated by a problem
that arises in maritime transportation where delays are frequent and
should be taken into account. Our model only allows routes that are
feasible for all values of the travel times in a predetermined uncertainty polytope, which yields a robust optimization problem. We propose two new formulations for the robust problem, each based on a different decomposition approach. The first formulation extends the well-known resource inequalities formulation by employing robust programming with recourse. The formulation is solved by a row-and-column generation algorithm. The second formulation generalizes a path inequalities formulation to the
uncertain context and is solved through a row generation algorithm. In
particular, we discuss efficient separation procedures. We compare the two formulations on maritime transportation instances.
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Autour des automates cellulaires probabilistes
Description: Irène Marcovici Un automate cellulaire probabiliste (ACP) est une chaîne de Markov sur un espace symbolique. Le temps est discret, les cellules évoluent de manière synchrone, et le nouvel état de chaque cellule est choisi de manière aléatoire, indépendamment des autres cellules, selon une distribution déterminée par les états d'un nombre fini de cellules situées dans le voisinage.Je présenterai les résultats obtenus au cours de ma thèse sur deux "problèmes inverses" : le premier consiste à étudier les ACP ayant des mesures invariantes de forme produit de Bernoulli ; le second est le problème de la classification de la densité, qui consiste à trouver un AC(P) dont l'évolution permette de distinguer une configuration initiale sur l'alphabet binaire tirée selon une mesure de Bernoulli de paramètre inférieur ou supérieur à 1/2, et que nous avons résolu sur les grillesde dimension supérieure ou égale à 2 et sur les arbres.
Vendredi 28 Mars
Heure: 10:00 - 12:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Interaction Graphs and Complexity
Description: Thomas Seiller We obtained, with C. Aubert, new characterizations of complexity classes
coNL and L using methods inspired from Girard's hyperfinite Geometry of
Interaction (GoI). These characterizations had some drawbacks, among which:
- it used complicated tools from operator theory;
- it was not related to the interpretation of logic in the Geometry of
Interaction construction;

This work revisits these previous results by using Interaction Graphs, a
combinatorial GoI construction developed during my thesis that
simplifies, unifies and generalizes Girard's GoI constructions. This
change of perspective allows for a number of improvements, namely:
- the obtention of simplified characterizations of the classes coNL and L;
- the obtention of new characterizations, e.g. Regular languages, NL;
- it relates the method to the reconstruction of logic in Interaction
Graphs (hence in GoI);
- it offers new ways to obtain characterizations of other classe.