Les lundis, à partir de 14h - UPEC CMC - Salle P2-131

11 octobre 2021

Expressions régulières pour transducteurs apériodiques

Luc Dartois (LACL)

La classes des fonctions régulières est une classe robuste définie de façon équivalente par les transducteurs bidirectionnels, les transductions MSO ou encore les Streaming String Transducers. Récemment, il a été proposé des combinateurs réguliers afin de définir des expressions régulières pouvant décrire cette classe.

Dans cet exposé, je présenterai la classe des transducteurs bidirectionnels ainsi que ces combinateurs réguliers, puis une extension de ce résultat à la sous-classe des fonctions apériodiques, étendant le célèbre résultat d’équivalence entre expressions sans-étoiles et automates apériodiques de Schützenberger.

Les résultats présentés ici proviennent de travaux récents en collaboration avec Paul Gastin (LSV, Université Paris-Saclay) et Shankara Narayanan Krishna (IIT Bombay) et sont disponible à cette adresse.

27 septembre 2021

Du process mining à la prédiction de parcours.

Emmanuelle Claeys (IRIT)

Après une introduction au process mining (définition, type de données, représentations communes) sera présenté le lien entre process maps et réseaux de Petri dans un contexte de fouille de processus.

Nous présenterons ensuite l’algorithme Actitrac et l’algorithme K-means pour de la clusterisation de process avant de présenter une approche hybride. Cette présentation conclura sur la capacité des ces méthodes à générer de bonnes prédictions à partir de données réelles, ainsi que sur leurs limites.