Recherche
Ultrametrics are representations of data that emphasize hierarchical properties and are widely used in data visualization and clustering. In the
Cluster reduction is a technique that can be used to speed up the construction of phylogenetic networks from sets of trees, or so we thought. Baroni
IA pour la Robotique Julien Moras Visio: https://u-bordeaux-fr.zoom.us/j/83483228567 https://r4-robotique.fr
Modélisation et prédiction des trajectoires humaines : vers une interaction pro-active avec le robot TALOS Isabelle Maroger Visio: https://u-bordeaux
I am interested in verification of distributed systems with an unbounded number of agents running the same finite-state program. These include systems