Accueil/ expose
Approximations for stochastic graph rewriting
mercredi 19 novembre 2014

Loading the player...
Descriptif

Conférence de Vincent Danos organisée par le département d'informatique.

We present a method to compute approximate descriptions of a class of stochastic systems. For the method to apply, the system must be presented as a Markov chain on a state space consisting in graphs or graph-like objects, and jumps must be described by transformations which follow a finite set of local rules. The method is a form of static analysis and uses a technique which is reminiscent of theories of critical pairs in term rewriting systems. Its output is a system of coupled ordinary differential equations (ODE) which tracks the mean evolution of the number of (typically small) subgraphs. In some cases, these ODEs form an exact and finite description of these mean numbers. But even when the ODE description is only an approximation, it can often reveal interesting properties of the original system.

Voir aussi


  • Aucun exposé du même auteur.
  • Recent Progress in Leakage-Resilient Cry...
    Yevgeniy Dodis
  • Composer le temps
    Gérard Berry
  • Approximation Bounds for Sparse Principa...
    Alexandre D’Aspremont
  • Diviser-pour-Régner & Inférence Statisti...
    Michael I. Jordan
  • Logarithmes discrets dans les corps fini...
    Antoine Joux
  • Une théorie de l'information mentale
    Claude Berrou
  • Exponential Mechanism for Social Welfar...
    Sampath Kannan
  • Untangling knots using combinatorial opt...
    Benjamin Burton
  • De la convexité tropicale aux jeux répé...
    Stéphane Gaubert
  • A Foundation for Flow-Based Program Matc...
    Julia Lawall
  • Comment faire confiance à un compilateu...
    Xavier Leroy
  • Construction à large couverture de la re...
    Benoît Crabbé
  • Définir et mesurer la complexité : la t...
    Jean-Paul Delahaye
  • Rendre la virgule flottante plus rigoure...
    Jean-Michel Muller
  • Social Networks : a research vision and ...
    Peter Marbach
  • Three discrete geometric structures and ...
    Nabil Mustafa
  • From spanners to distance oracles and co...
    Laurent Viennot
  • Cognitive Computing
    Jérôme Pesenti
  • Vers les nouvelles bases de données pers...
    Serge Abiteboul
  • Structured Parallel Programming Primitiv...
    Vivek Sarkar
  • Manipuler les réseaux euclidiens
    Damien Sthelé
  • Réduction de modèles de voies de signali...
    Jérôme Feret
  • Le patient numérique personnalisé
    Nicholas Ayache
  • Scade 6: conception d'un langage de prog...
    Bruno Pagano
  • Co-Adaptive Instruments. Can we reinven...
    Wendy Mackay
  • Analyse de pire temps d’exécution et pro...
    Pascal Raymond
  • Chiffrer mieux pour (dé)chiffrer plus
    Anne Canteaut
  • New Results at the Crossroads of Convexi...
    Sébastien Bubeck
Auteur(s)
Vincent Danos
CNRS, Université Paris-Diderot
Directeur de Recherches

Plus sur cet auteur
Voir la fiche de l'auteur

Cursus :

Vincent Danos est directeur de recherches CNRS dans l'équipe preuves, programmes, systèmes à l' Université Paris-Diderot.

Cliquer ICI pour fermer
Annexes
Téléchargements :
   - Télécharger la vidéo
   - Télécharger l'audio (mp3)

Dernière mise à jour : 16/12/2014