Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel Causalex


Causalex - Causality Graph Explorer
Date de dépôt : 01 janvier 1970

Responsable : PAULEVE Loïc


Les Graphes de Causalité Locale (GCL) sont une représentation compacte des changements d'états possibles au sein de réseaux d'automates. Ils sont notamment utilisés pour étudier l'activation de composants au sein de très grands réseaux biologiques.

Causalex est une interface graphique pour la visualisation, la navigation et la manipulation des GCL. Une interface javascript permet de saisir des scripts pour modifier le GCL et visualiser l'exécution des algorithmes (coloration des nœuds au cours du calcul ou exécution pas à pas).
Une bibliothèque de fonctions javascript implémentant des algorithmes récemment développés sur les GCL est également proposée (semi-décision de propriétés d'accessibilité, calcul d'ensembles de coupes, etc.).



Logiciel



Activités de recherche
  Biologie des systèmes

Membres
  SOUPLET Jean-Christophe
  PAULEVE Loïc
  HIRWA Fabienne

Equipe
  Bioinformatique
  Développement logiciel
Logiciels et brevets
BSP++
The C++ Bulk Synchronous Parallelism Library

TAXOMAP ALIGNMENT
Un outil d'alignement de taxonomies

FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé