SBML Level 3: an extensible format for the exchange and reuse of biological models

SM Keating, D Waltemath, M König, F Zhang… - Molecular systems …, 2020 - embopress.org
Abstract Systems biology has experienced dramatic growth in the number, size, and
complexity of computational models. To reproduce simulation results and reuse models …

Weighted ensemble simulation: review of methodology, applications, and software

DM Zuckerman, LT Chong - Annual review of biophysics, 2017 - annualreviews.org
The weighted ensemble (WE) methodology orchestrates quasi-independent parallel
simulations run with intermittent communication that can enhance sampling of rare events …

Dual role of mitochondria in producing melatonin and driving GPCR signaling to block cytochrome c release

Y Suofu, W Li, FG Jean-Alphonse… - Proceedings of the …, 2017 - National Acad Sciences
G protein-coupled receptors (GPCRs) are classically characterized as cell-surface receptors
transmitting extracellular signals into cells. Here we show that central components of a …

Automatic differentiation of programs with discrete randomness

G Arya, M Schauer, F Schäfer… - Advances in Neural …, 2022 - proceedings.neurips.cc
Automatic differentiation (AD), a technique for constructing new programs which compute
the derivative of an original program, has become ubiquitous throughout scientific …

Statistical model checking: An overview

A Legay, B Delahaye, S Bensalem - International conference on runtime …, 2010 - Springer
Quantitative properties of stochastic systems are usually specified in logics that allow one to
compare the measure of executions satisfying certain temporal properties with thresholds …

[HTML][HTML] Computational modeling, formal analysis, and tools for systems biology

E Bartocci, P Lió - PLoS computational biology, 2016 - journals.plos.org
As the amount of biological data in the public domain grows, so does the range of modeling
and analysis techniques employed in systems biology. In recent years, a number of …

BioNetGen 2.2: advances in rule-based modeling

LA Harris, JS Hogg, JJ Tapia, JAP Sekar… - …, 2016 - academic.oup.com
BioNetGen is an open-source software package for rule-based modeling of complex
biochemical systems. Version 2.2 of the software introduces numerous new features for both …

The Synthetic Biology Open Language (SBOL) provides a community standard for communicating designs in synthetic biology

M Galdzicki, KP Clancy, E Oberortner, M Pocock… - Nature …, 2014 - nature.com
The re-use of previously validated designs is critical to the evolution of synthetic biology from
a research discipline to an engineering practice. Here we describe the Synthetic Biology …

[HTML][HTML] Mathematical models for immunology: current state of the art and future research directions

R Eftimie, JJ Gillard, DA Cantrell - Bulletin of mathematical biology, 2016 - Springer
The advances in genetics and biochemistry that have taken place over the last 10 years led
to significant advances in experimental and clinical immunology. In turn, this has led to the …

Programming biological models in Python using PySB

CF Lopez, JL Muhlich, JA Bachman… - Molecular systems …, 2013 - embopress.org
Mathematical equations are fundamental to modeling biological networks, but as networks
get large and revisions frequent, it becomes difficult to manage equations directly or to …