-
Annotations for Rule-Based Models
Authors:
Matteo Cavaliere,
Vincent Danos,
Ricardo Honorato-Zimmer,
William Waites
Abstract:
The chapter reviews the syntax to store machine-readable annotations and describes the mapping between rule-based modelling entities (e.g., agents and rules) and these annotations. In particular, we review an annotation framework and the associated guidelines for annotating rule-based models of molecular interactions, encoded in the commonly used Kappa and BioNetGen languages, and present prototyp…
▽ More
The chapter reviews the syntax to store machine-readable annotations and describes the mapping between rule-based modelling entities (e.g., agents and rules) and these annotations. In particular, we review an annotation framework and the associated guidelines for annotating rule-based models of molecular interactions, encoded in the commonly used Kappa and BioNetGen languages, and present prototypes that can be used to extract and query the annotations. An ontology is used to annotate models and facilitate their description.
△ Less
Submitted 15 September, 2018;
originally announced September 2018.
-
Thermodynamic graph-rewriting
Authors:
Vincent Danos,
Russell Harmer,
Ricardo Honorato-Zimmer
Abstract:
We develop a new thermodynamic approach to stochastic graph-rewriting. The ingredients are a finite set of reversible graph-rewriting rules called generating rules, a finite set of connected graphs P called energy patterns and an energy cost function. The idea is that the generators define the qualitative dynamics, by showing which transformations are possible, while the energy patterns and cost…
▽ More
We develop a new thermodynamic approach to stochastic graph-rewriting. The ingredients are a finite set of reversible graph-rewriting rules called generating rules, a finite set of connected graphs P called energy patterns and an energy cost function. The idea is that the generators define the qualitative dynamics, by showing which transformations are possible, while the energy patterns and cost function specify the long-term probability $π$ of any reachable graph. Given the generators and energy patterns, we construct a finite set of rules which (i) has the same qualitative transition system as the generators; and (ii) when equipped with suitable rates, defines a continuous-time Markov chain of which $π$ is the unique fixed point. The construction relies on the use of site graphs and a technique of `growth policy' for quantitative rule refinement which is of independent interest. This division of labour between the qualitative and long-term quantitative aspects of the dynamics leads to intuitive and concise descriptions for realistic models (see the examples in S4 and S5). It also guarantees thermodynamical consistency (AKA detailed balance), otherwise known to be undecidable, which is important for some applications. Finally, it leads to parsimonious parameterizations of models, again an important point in some applications.
△ Less
Submitted 23 June, 2015; v1 submitted 20 March, 2015;
originally announced March 2015.
-
Conan: a platform for complex network analysis
Authors:
Ricardo Honorato-Zimmer,
Bryan Reynaert,
Ignacio Vergara,
Tomas Perez-Acle
Abstract:
Conan is a C++ library created for the accurate and efficient modelling, inference and analysis of complex networks. It implements the generation and modification of graphs according to several published models, as well as the unexpensive computation of global and local network properties. Other features include network inference and community detection. Furthermore, Conan provides a Python interf…
▽ More
Conan is a C++ library created for the accurate and efficient modelling, inference and analysis of complex networks. It implements the generation and modification of graphs according to several published models, as well as the unexpensive computation of global and local network properties. Other features include network inference and community detection. Furthermore, Conan provides a Python interface to facilitate the use of the library and its integration in currently existing applications.
Conan is available at http://github.com/rhz/conan/.
△ Less
Submitted 30 November, 2010;
originally announced December 2010.
