Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface - BioInformatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface

Loïc Paulevé

Résumé

The software Pint is devoted to the scalable analysis of the traces of automata networks, which encompass Boolean and discrete networks. Pint implements formal approximations of transient reachability-related properties, including mutation prediction and model reduction. Pint is distributed with command line tools, as well as a Python module pypint. The latter provides a seamless integration with the Jupyter IPython notebook web interface, which allows to easily save, reuse, reproduce , and share workflows of model analysis. Pint can address networks with hundreds to thousands interacting components , which are typically intractable with standard approaches.
Fichier principal
Vignette du fichier
pint.pdf (474.77 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01589248 , version 1 (18-09-2017)

Identifiants

Citer

Loïc Paulevé. Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface. CMSB 2017 - 15th conference on Computational Methods for Systems Biology, Sep 2017, Darmstadt, Germany. pp.370 - 316, ⟨10.1007/978-3-319-67471-1_20⟩. ⟨hal-01589248⟩
447 Consultations
507 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More