-
BioSimulators: a central registry of simulation engines and services for recommending specific tools
Authors:
Bilal Shaikh,
Lucian P. Smith,
Dan Vasilescu,
Gnaneswara Marupilla,
Michael Wilson,
Eran Agmon,
Henry Agnew,
Steven S. Andrews,
Azraf Anwar,
Moritz E. Beber,
Frank T. Bergmann,
David Brooks,
Lutz Brusch,
Laurence Calzone,
Kiri Choi,
Joshua Cooper,
John Detloff,
Brian Drawert,
Michel Dumontier,
G. Bard Ermentrout,
James R. Faeder,
Andrew P. Freiburger,
Fabian Fröhlich,
Akira Funahashi,
Alan Garny
, et al. (46 additional authors not shown)
Abstract:
Computational models have great potential to accelerate bioscience, bioengineering, and medicine. However, it remains challenging to reproduce and reuse simulations, in part, because the numerous formats and methods for simulating various subsystems and scales remain siloed by different software tools. For example, each tool must be executed through a distinct interface. To help investigators find…
▽ More
Computational models have great potential to accelerate bioscience, bioengineering, and medicine. However, it remains challenging to reproduce and reuse simulations, in part, because the numerous formats and methods for simulating various subsystems and scales remain siloed by different software tools. For example, each tool must be executed through a distinct interface. To help investigators find and use simulation tools, we developed BioSimulators (https://biosimulators.org), a central registry of the capabilities of simulation tools and consistent Python, command-line, and containerized interfaces to each version of each tool. The foundation of BioSimulators is standards, such as CellML, SBML, SED-ML, and the COMBINE archive format, and validation tools for simulation projects and simulation tools that ensure these standards are used consistently. To help modelers find tools for particular projects, we have also used the registry to develop recommendation services. We anticipate that BioSimulators will help modelers exchange, reproduce, and combine simulations.
△ Less
Submitted 13 March, 2022;
originally announced March 2022.
-
Linear cuts in Boolean networks
Authors:
Aurélien Naldi,
Adrien Richard,
Elisa Tonello
Abstract:
Boolean networks are popular tools for the exploration of qualitative dynamical properties of biological systems. Several dynamical interpretations have been proposed based on the same logical structure that captures the interactions between Boolean components. They reproduce, in different degrees, the behaviours emerging in more quantitative models. In particular, regulatory conflicts can prevent…
▽ More
Boolean networks are popular tools for the exploration of qualitative dynamical properties of biological systems. Several dynamical interpretations have been proposed based on the same logical structure that captures the interactions between Boolean components. They reproduce, in different degrees, the behaviours emerging in more quantitative models. In particular, regulatory conflicts can prevent the standard asynchronous dynamics from reproducing some trajectories that might be expected upon inspection of more detailed models. We introduce and study the class of networks with linear cuts, where linear components -- intermediates with a single regulator and a single target -- eliminate the aforementioned regulatory conflicts. The interaction graph of a Boolean network admits a linear cut when a linear component occurs in each cycle and in each path from components with multiple targets to components with multiple regulators. Under this structural condition the attractors are in one-to-one correspondence with the minimal trap spaces, and the reachability of attractors can also be easily characterized. Linear cuts provide the base for a new interpretation of the Boolean semantics that captures all behaviours of multi-valued refinements with regulatory thresholds that are uniquely defined for each interaction, and contribute a new approach for the investigation of behaviour of logical models.
△ Less
Submitted 3 March, 2022;
originally announced March 2022.
-
Morphisms between Grassmannians
Authors:
Angelo Naldi,
Gianluca Occhetta
Abstract:
Denote by $\mathbb G(k,n)$ the Grassmannian of linear subspaces of dimension $k$ in $\mathbb P^n$. We show that if $n>m$ then every morphism $\varphi: \mathbb G(k,n) \to \mathbb G(l,m)$ is constant.
Denote by $\mathbb G(k,n)$ the Grassmannian of linear subspaces of dimension $k$ in $\mathbb P^n$. We show that if $n>m$ then every morphism $\varphi: \mathbb G(k,n) \to \mathbb G(l,m)$ is constant.
△ Less
Submitted 24 February, 2022; v1 submitted 23 February, 2022;
originally announced February 2022.
-
Geometric analysis of pathways dynamics: application to versatility of TGF-β receptors
Authors:
Satya Swarup Samal,
Aurélien Naldi,
Dima Grigoriev,
Andreas Weber,
Nathalie Théret,
Ovidiu Radulescu
Abstract:
We propose a new geometric approach to describe the qualitative dynamics of chemical reactions networks. By this method we identify metastable regimes, defined as low dimensional regions of the phase space close to which the dynamics is much slower compared to the rest of the phase space. Given the network topology and the orders of magnitude of kinetic parameters, the number of such metastable re…
▽ More
We propose a new geometric approach to describe the qualitative dynamics of chemical reactions networks. By this method we identify metastable regimes, defined as low dimensional regions of the phase space close to which the dynamics is much slower compared to the rest of the phase space. Given the network topology and the orders of magnitude of kinetic parameters, the number of such metastable regimes is finite. The dynamics of the network can be described as a sequence of jumps from one metastable regime to another. We show that a geometrically computed connectivity graph restricts the set of possible jumps. We also provide finite state machine (Markov chain) models for such dynamic changes. Applied to signal transduction models, our approach unravels dynamical and functional capacities of signaling pathways, as well as parameters responsible for specificity of the pathway response. In particular, for a model of TGF$β$ signalling, we find that the ratio of TGFBR1 to TGFBR2 concentrations can be used to discriminate between metastable regimes. Using expression data from the NCI60 panel of human tumor cell lines, we show that aggressive and non-aggressive tumour cell lines function in different metastable regimes and can be distinguished by measuring the relative concentrations of receptors of the two types.
△ Less
Submitted 17 November, 2015;
originally announced November 2015.
-
Symbolic dynamics of biochemical pathways as finite states machines
Authors:
Ovidiu Radulescu,
Satya Swarup Samal,
Aurélien Naldi,
Dima Grigoriev,
Andreas Weber
Abstract:
We discuss the symbolic dynamics of biochemical networks with separate timescales. We show that symbolic dynamics of monomolecular reaction networks with separated rate constants can be described by deterministic, acyclic automata with a number of states that is inferior to the number of biochemical species. For nonlinear pathways, we propose a general approach to approximate their dynamics by fin…
▽ More
We discuss the symbolic dynamics of biochemical networks with separate timescales. We show that symbolic dynamics of monomolecular reaction networks with separated rate constants can be described by deterministic, acyclic automata with a number of states that is inferior to the number of biochemical species. For nonlinear pathways, we propose a general approach to approximate their dynamics by finite state machines working on the metastable states of the network (long life states where the system has slow dynamics). For networks with polynomial rate functions we propose to compute metastable states as solutions of the tropical equilibration problem. Tropical equilibrations are defined by the equality of at least two dominant monomials of opposite signs in the differential equations of each dynamic variable. In algebraic geometry, tropical equilibrations are tantamount to tropical prevarieties, that are finite intersections of tropical hypersurfaces.
△ Less
Submitted 5 July, 2015; v1 submitted 29 April, 2015;
originally announced April 2015.
-
New radio observations of anomalous microwave emission in the HII region RCW175
Authors:
E. S. Battistelli,
E. Carretti,
A. Cruciani,
P. de Bernardis,
R. Genova-Santos,
S. Masi,
A. Naldi,
R. Paladini,
F. Piacentini,
C. T. Tibbs,
L. Verstraete,
N. Ysard
Abstract:
We have observed the HII region RCW175 with the 64m Parkes telescope at 8.4GHz and 13.5GHz in total intensity, and at 21.5GHz in both total intensity and polarization. High angular resolution, high sensitivity, and polarization capability enable us to perform a detailed study of the different constituents of the HII region. For the first time, we resolve three distinct regions at microwave frequen…
▽ More
We have observed the HII region RCW175 with the 64m Parkes telescope at 8.4GHz and 13.5GHz in total intensity, and at 21.5GHz in both total intensity and polarization. High angular resolution, high sensitivity, and polarization capability enable us to perform a detailed study of the different constituents of the HII region. For the first time, we resolve three distinct regions at microwave frequencies, two of which are part of the same annular diffuse structure. Our observations enable us to confirm the presence of anomalous microwave emission (AME) from RCW175. Fitting the integrated flux density across the entire region with the currently available spinning dust models, using physically motivated assumptions, indicates the presence of at least two spinning dust components: a warm component with a relatively large hydrogen number density n_H=26.3/cm^3 and a cold component with a hydrogen number density of n_H=150/cm^3. The present study is an example highlighting the potential of using high angular-resolution microwave data to break model parameter degeneracies. Thanks to our spectral coverage and angular resolution, we have been able to derive one of the first AME maps, at 13.5GHz, showing clear evidence that the bulk of the AME arises in particular from one of the source components, with some additional contribution from the diffuse structure. A cross-correlation analysis with thermal dust emission has shown a high degree of correlation with one of the regions within RCW175. In the center of RCW175, we find an average polarized emission at 21.5GHz of 2.2\pm0.2(rand.)\pm0.3(sys.)% of the total emission, where we have included both systematic and statistical uncertainties at 68% CL. This polarized emission could be due to sub-dominant synchrotron emission from the region and is thus consistent with very faint or non-polarized emission associated with AME.
△ Less
Submitted 9 January, 2015;
originally announced January 2015.
-
SBML Qualitative Models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools
Authors:
Claudine Chaouiya,
Duncan Berenguier,
Sarah M Keating,
Aurelien Naldi,
Martijn P. van Iersel,
Nicolas Rodriguez,
Andreas Dräger,
Finja Büchel,
Thomas Cokelaer,
Bryan Kowal,
Benjamin Wicks,
Emanuel Gonçalves,
Julien Dorier,
Michel Page,
Pedro T. Monteiro,
Axel von Kamp,
Ioannis Xenarios,
Hidde de Jong,
Michael Hucka,
Steffen Klamt,
Denis Thieffry,
Nicolas Le Novère,
Julio Saez-Rodriguez,
Tomáš Helikar
Abstract:
Background: Qualitative frameworks, especially those based on the logical discrete formalism, are increasingly used to model regulatory and signalling networks. A major advantage of these frameworks is that they do not require precise quantitative data, and that they are well-suited for studies of large networks. While numerous groups have developed specific computational tools that provide origin…
▽ More
Background: Qualitative frameworks, especially those based on the logical discrete formalism, are increasingly used to model regulatory and signalling networks. A major advantage of these frameworks is that they do not require precise quantitative data, and that they are well-suited for studies of large networks. While numerous groups have developed specific computational tools that provide original methods to analyse qualitative models, a standard format to exchange qualitative models has been missing.
Results: We present the System Biology Markup Language (SBML) Qualitative Models Package ("qual"), an extension of the SBML Level 3 standard designed for computer representation of qualitative models of biological networks. We demonstrate the interoperability of models via SBML qual through the analysis of a specific signalling network by three independent software tools. Furthermore, the cooperative development of the SBML qual format paved the way for the development of LogicalModel, an open-source model library, which will facilitate the adoption of the format as well as the collaborative development of algorithms to analyze qualitative models.
Conclusion: SBML qual allows the exchange of qualitative models among a number of complementary software tools. SBML qual has the potential to promote collaborative work on the development of novel computational approaches, as well as on the specification and the analysis of comprehensive qualitative models of regulatory and signalling networks.
△ Less
Submitted 7 September, 2013;
originally announced September 2013.