Opérateurs de Confluence

Fonctions d’ondes sphéröıdales et décroissance des valeurs propres des opérateurs de localisation temps-fréquence

Holomorphie des opérateurs d’entrelacement normalisés à l’aide des paramètres d’Arthur

Condition de non-capture pour des opérateurs de Schrödinger semi-classiques à potentiels matriciels

We consider semiclassical Schrödinger operators with matrix-valued, long-range, smooth potential, for which different eigenvalues may cross on a codimension one submanifold. We denote by h the semiclassical parameter and we consider energies above the bottom of the essential spectrum. Under some invariance condition on the matricial structure of the potential near the eigenvalues crossing and s...

Réécriture de Graphes Admissibles : Confluence et Stratégie

Nous considérons la réécriture de graphes en tant que sémantique opérationnelle des langages “équationnels”. Nous nous plaçons dans le cadre des signatures avec constructeurs. Nous commençons par caractériser un sous-ensemble de graphes dits graphes admissibles. Un graphe est admissible si aucun de ses cycles ne contient de fonction définie. Ensuite, nous considérons la relation de réécriture s...

Efficient On-the-Fly Computation of Weak Tau-Confluence

The notion of τ-confluence provides a form of partial order reduction of Labelled Transition Systems (Ltss), by allowing to identify the τ-transitions whose execution does not alter the observable behaviour of the system. Several forms of τ-confluence adequate with branching bisimulation were studied in the literature, ranging from strong to weak ones according to the length of τ-transition seq...