Agenda

Département
Langue
Date
Thématique
2025

mars

  • 14:00
    17:00

    Cette thèse explore le potentiel des interfaces tangibles (IT) et des objets tangibles actionnés pour améliorer la collaboration et la prise de décision dans les centres de contrôle ferroviaires. Malgré une intégration croissante d'outils numériques dans ces centres, le rôle des opérateurs reste crucial, notamment en période de crise, où une collaboration efficace est indispensable pour prendre des décisions critiques. Cette recherche débute par une analyse des centres de
    contrôle ferroviaires et montre le potentiel des IT pour interagir avec des informations numériques. À partir de cette analyse, j’ai développé un prototype d'IT démontrant comment les interactions tangibles peuvent améliorer la compréhension du réseau et des décisions lors d'un incident. J’ai ensuite élargi ce concept en concevant un deuxième prototype qui intègre des interactions tangibles actionnées pour répondre à des défis plus complexes, notamment en renforçant la collaboration et l’efficacité en situations de crise. Ensemble, ces prototypes explorent le potentiel des IT à transformer les opérations des centres de contrôle ferroviaire. Cette thèse examine également l’utilisation d'objets tangibles actionnés comme feedback pour de la collaboration à distance. Deux études ont été réalisées : la première explore la détectabilité des objets tangibles actionnés par rapport à un retour visuel seul lors d'une tâche exigeante.
    Les résultats suggèrent une meilleure perceptibilité des objets. La deuxième étude évalue si le feedback tangible permet aux utilisateurs de mieux percevoir les actions et la position de leur partenaire, sans attention soutenue, par rapport à un retour visuel seul. Les résultats suggèrent que les objets tangibles actionnés offrent une approche plus incarnée et efficace pour maintenir la conscience des activités en collaboration à distance. Ce travail de thèse met en avant les valeurs des interfaces tangibles et des interfaces tangibles actionnées pour partager des informations, aider les opérateurs à visualiser, comparer et résoudre les incidents de manière collaborative tout en comprenant les conséquences des décisions.
     

    Salle Ada Lovelace (Inria)
  • 13:30
    14:30

    Title: Rewriting consistent answers on annotated data
    Abstract: In this talk, I'll be discussing results on consistent query answering over databases annotated with values from naturally ordered positive semirings. We define consistent answers as the minimum of the semiring values achieved by evaluating the query over all database repairs. Focusing on self-join free conjunctive queries and key constraints, we introduce a variant of first-order logic with limited negation and suitable semiring semantics. The main result establishes that consistent answers are rewritable in this logic if and only if the query's attack graph is acyclic. This generalizes a classical result for standard databases and provides a unified framework for various semirings, including the bag, tropical, and fuzzy semirings. Furthermore, we show that self-join free conjunctive queries with cyclic attack graphs do not have a polynomial-time constant-approximation algorithm under bag semantics, unless P=NP.

    LaBRI 076
  • 11:00
    12:00

    Sébastien Bouchard (LaBRI)

    Title: Optimal constrained graph exploration

    Abstract:

    The presentation will be that of the article Optimal constrained graph exploration by Duncan, Kobourov and Kumar. It studies the exploration of undirected finite simple graphs (V, E) under two contraints. The first constraint is a rope of fixed length tying the explorer to its initial vertex. The second one is a tank of limited capacity whose fuel is gradually consumed to traverse edges and which is refueled only at the initial vertex. An exploration algorithm under the first constraint and requiring O(E) edge traversals is presented and by reduction, an algorithm under the second constraint requiring O(E) edge traversals is obtained.
    The talk will be given in French unless English is needed by a part of the audience.

    https://algodist.labri.fr/index.php/Main/GT

    LaBRI salle 178 - lien visio https://webconf.u-bordeaux.fr/b/arn-4tr-7gp
  • 14:00
    15:00

    Solving populations of MDPs in exponential time

    178