|
|
 |
|
Lundi 21 Mars
| Heure: |
14:00 - 15:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Apprentissage partiel de dépendances syntaxiques et application au transfert cross-lingue |
| Description: |
Ophélie Lacroix L'apprentissage supervisé est largement utilisé dans le domaine du TAL mais requiert l'exploitation de données correctement annotées. Nous nous intéressons en particulier au cas de l'analyse syntaxique en dépendances et montrons qu'il est possible d'apprendre un analyseur par transition à partir de données partiellement annotées.
Ce procédé est notamment profitable dans le cas du transfert d'annotations cross-lingue pour lequel les informations syntaxiques (les dépendances) sont projetées d'une langue source (bien dotée) à une langue cible (peu dotée) via des liens d'alignements. Les données partiellement annotées générées à partir de cette méthode permettent d'appre ndre des analyseurs en dépendances pour les langues ciblées. Cette méthode simple de transfert obtient des performances qui rivalisent avec celles de méthodes état-de-l'art récentes, tout en ayant un coût algorithmique moindre. |
Mardi 22 Mars
| Heure: |
12:30 - 13:30 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Combinatorial Optimization subject to PDE constraints |
| Description: |
Christoph Buchheim We investigate a class of optimal control problems where the control parameters are binary variables, which are supposed to be static and probably subject to combinatorial constraints. Additionally, the problem contains state constraints involving semi-linear elliptic partial differential equations (PDEs). As an example, the binary variables may correspond to the activation of given heat sources attached to a metal sheet, the optimization problem then consists in switching on the smallest number of heat sources such that the point-wise temperature of the metal sheet is in a specified range. Our main result is that each state is a concave function in the binary control vector. This allows us to define an outer approximation scheme in which we alternate between the solution of a non-linear PDE and an integer linear program. Using this approach, we can solve instances on up to 2000 binary variables to global optimality. |
| Heure: |
14:00 - 17:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Calculer dans un automate cellulaire unidirectionnel réversible : vers l'indécidabilité de la périodicité? |
| Description: |
Martin Delacourt On s'intéresse au parallèle entre 2 problèmes sur des modèlesdistincts d'automates. D'une part, les automates de Mealy(transducteurs lettre à lettre complets) qui produisent dessemi-groupes engendrés par les transformations sur les mots infinisassociées aux états. En 2013, Gillibert a montré que le problème de lafinitude de ces semi-groupes était indécidable. En revanche laquestion est ouverte dans le cas où l'automate de Mealy produit un groupe. D'autre part, les automates cellulaires unidirectionnels pourlesquels la question de la décidabilité de la périodicité est ouverte.On peut montrer l'équivalence de ces problèmes. On fera un pas dans cette étude en montrant qu'il est possible desimuler du calcul Turing dans un automate cellulaire unidirectionnelréversible, rendant ainsi des problèmes de prédiction indécidablesainsi que la question de la périodicité partant d'une configuration finie. |
| Heure: |
15:00 - 18:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Lattice paths in 3D |
| Description: |
Axel Bacher |
Vendredi 25 Mars
| Heure: |
11:00 - 12:30 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
String diagrams for Proof nets |
| Description: |
Matteo Acclavio Sequentialization of MELL proof nets needs additional tools extern to interaction nets syntax: connectivity, switchings, boxes and jumps. In this talk we introduce string diagrams syntax for monoidal categories in order to present a model for proof nets (with the relative cut elimination) with a unique local sequentialization criterion for MLL with constants and an idea for a generalization of this result for MELL proof nets. |
|
|
