+ All Categories
Home > Documents > Benchmark Models

Benchmark Models

Date post: 06-Apr-2023
Category:
Upload: khangminh22
View: 0 times
Download: 0 times
Share this document with a friend
31
Appendix A Benchmark Models A.1 Birth Process Model The birth process is a simple continuous-time Markov process. It models the conti- nuous production of a species S at a birth rate c. The model is made up of a synthesis reaction: R 1 :/ 0 c S. The state of the system is the current size of population of species S. When a birth occurs, the population of species S is increased by 1. A.2 Fast Isomerization Model The fast isomerization model describes a simple reaction model with stiffness. The core of the model is a pair of reversible isomerization reactions that transform a molecule into another molecule. The isomerization process is assumed to occur at a rate much faster than that of other reactions in the model. The isomerization process is thus quickly reaching a partial equilibrium and species involved in these reactions approach quasi-steady state. Table A.1 lists the reactions in the fast isomerization model. It contains three species involved in three reactions. The first two reactions represent the conversion back and forth of the species S 1 and S 2 at rates k 1 and k 2 , respectively. The reaction R 3 denotes a slow reaction that transforms species S 2 to S 3 at rate k 3 such that k 1 , k 2 k 3 . In this model, the mass-action kinetics is applied for each reaction. © Springer International Publishing AG 2017 L. Marchetti et al., Simulation Algorithms for Computational Systems Biology, Texts in Theoretical Computer Science. An EATCS Series, https://doi.org/10.1007/978-3-319-63113-4 207
Transcript

Appendix ABenchmark Models

A.1 Birth Process Model

The birth process is a simple continuous-time Markov process. It models the conti-nuous production of a species S at a birth rate c. The model is made up of a synthesisreaction:

R1 : /0c→ S.

The state of the system is the current size of population of species S. When a birthoccurs, the population of species S is increased by 1.

A.2 Fast Isomerization Model

The fast isomerization model describes a simple reaction model with stiffness. Thecore of the model is a pair of reversible isomerization reactions that transform amolecule into another molecule. The isomerization process is assumed to occur at arate much faster than that of other reactions in the model. The isomerization processis thus quickly reaching a partial equilibrium and species involved in these reactionsapproach quasi-steady state.

Table A.1 lists the reactions in the fast isomerization model. It contains threespecies involved in three reactions. The first two reactions represent the conversionback and forth of the species S1 and S2 at rates k1 and k2, respectively. The reactionR3 denotes a slow reaction that transforms species S2 to S3 at rate k3 such thatk1,k2 � k3. In this model, the mass-action kinetics is applied for each reaction.

© Springer International Publishing AG 2017L. Marchetti et al., Simulation Algorithms for ComputationalSystems Biology, Texts in Theoretical Computer Science. AnEATCS Series, https://doi.org/10.1007/978-3-319-63113-4

207

208 A Benchmark Models

Table A.1 Fast isomerization model

Reactions

R1: S1 → S2 R2: S2 → S1 R3: S2 → S3

A.3 Oscillator Model

The Oscillator [58] is a noise-induced system. The basic component of the modelis a positive feedback loop that enhances the production rates of reactions. The re-action products are therefore sharply increasing. The result of the Oscillator is asymmetrical bell shape behavior in the dynamics of each molecular species.

The model consists of three species involved in three reactions listed in Table A.2.Each reaction transforms a two reactant species into two copies of one of the tworeactants implementing the positive feedback process. For instance, reaction R1 willtransform a species A into species B that in turn catalyzes and positively amplifiesthe reaction rate. The emergence of the positive feedback loop has two mutual regu-latory effects on the behavior of reaction R1: it increases the transformation rate of Ainto B and the increasing amount of species B in the system boosts up the reaction.The species B is thus produced more and more approaching the saturation.

Table A.2 Oscillator model

Reactions

R1: A + B → 2B R2: B + C → 2C R3: C + A → 2A

The initial populations of species in the model are: #A= 900, #B= 500 and #C =200. The mass-action kinetics is applied for each reaction with their rate constants:c1 = c2 = c3 = 1.

A.4 Schlogl Model

The Schlogl model [229] is a reaction network which can exhibit bistability andswitching behaviour [108, 176, 270]. The system has two stable steady states sepa-rated by an unstable state. In the deterministic framework, the system after a shorttime will converge to one of the steady states and reside in this steady state de-pending on where its basin of attraction closing to the initial condition. The systemdynamics in the stochastic framework may jump between the two stable states spon-taneously, due to its inherent randomness. Such a behavior is referred to as stochas-tic switching [267] because it cannot be observed in the deterministic framework.

A.5 Oregonator Model 209

The reactions of the Schlogl model are listed in Table A.3. The model consists ofthree species and four reactions implementing a trimolecular, autocatalytic reactionscheme. The population of species A and B are highly abundant and assumed to beconstant values (buffer molecules). The state of the system is thus represented bythe number of species X.

Table A.3 Schlogl model

Reaction

R1: A + 2X → 3X R2: 3X → A + 2X

R3: B → X R4: X → B

The initial condition of species is #X = 250, #A = 1.0e5 and #B = 2.0e5. Therate constants of reactions are c1 = 3.0e–7, c2 = 1.0e–4, c3 = 1.0e–3 and c4 = 3.5.

A.5 Oregonator Model

The Oregonator model [86] is the simplest realistic model of the nonlinear oscil-latory Belousov-Zhabotinsky (BZ) reaction [285, 31, 79]. The model is importantbecause it exhibits oscillating phenomena even if the system is far from the ther-modynamic equilibrium [87]. Extensions of the basic Oregonator model have beenproposed to investigate complex patterns such as traveling waves in the reaction-diffusion [22, 193, 194]. The Oregonator is of interest for both theoretical researchand practical simulation.

Here we will consider a simplified version of the oscillator involving three spe-cies and five reactions listed in Table A.4. The underlying mechanism of the Orego-nator is regulated by an autocatalytic reaction (reaction R3) and a negative feedbackloop (via reactions R3, R5 and R1). The products of reaction R3 are the activator Xand the inhibitor Z. The activator X catalyzes back the production of its reaction(hence, the name autocalytic reaction). The inhibitor Z inhibits the autocatalyticproduction of X through the reaction sequence R3 → R5 → R1. The presence ofboth the activator and inhibitor processes causes a nonlinear behavior leading to thespontaneous generation of oscillations.

The initial condition of species is assigned to #X = 500, #Y = 1,000, #Z = 2,100.The mass-action stochastic kinetics rates are: c1 = 0.1, c2 = 2, c3 = 104, c4 = 0.016,c5 = 26.

210 A Benchmark Models

Table A.4 Oregonator model

Reaction

R1: X + Y → /0 R2: Y → X

R3: X → 2X + Z R4: 2X → /0

R5: Z → Y

A.6 Gene Expression Model

Gene expression is an important regulatory process which transcribes and transla-tes the genetic information encoded in DNA, referred to as gene, into functionalgene products, often proteins. Proteins play a vital role in many cellular functions.Therefore, gene expression is the fundamental process that translates the genotypeinto the phenotype [265, 215, 134]. The transcription occurs when RNA-polymerase(RNAP) binds to the promoter region of the gene. During the transcription process,the gene is copied to intermediate form called messenger RNA (mRNA). mRNAthen binds to ribosomes to translate into the corresponding protein. The role of geneexpression in biological systems have been studied intensively not only becauseit affects the behavior of cellular processes, but also for its inherent stochasticity,which is known as biological noise [179, 180, 200, 272, 21, 77, 78, 214, 140]. Thereare two sources of noise. The first source of noise comes from the low copy num-bers of regulatory molecules involved in this process which results in the proteinsbeing produced as a bursting wave rather than a continuous wave [85]. This type ofnoise is called intrinsic noise. The second type of noise is called extrinsic noise. Theextrinsic noise is caused by environmental factors. For example, Bratsun et al. [38]showed that delay in the degradation of proteins in the gene expression can leadto oscillation. Another example is the exposing of switch-like behavior in the geneexpression if the protein activation process is modelled by a Hill kinetics instead ofmass-action kinetics [142].

A prototypical gene expression model with five species and eight reactions isdepicted in Table A.5. Protein P is encoded by its gene G. The intermediate productof transcription is denoted by M. The transcription was modeled by reaction R1

where gene G transcribes to M. The M translates to protein P in reaction R2 ordegrades by reaction R3. Two proteins P interact to form a reversible dimer P2 (R5,R6) or degrade (R4). The dimer could bind to gene G to enhance the activation ofthe gene (R7,R8).

The initial condition of the gene expression model is: #G = 1,000, and #M =#P = #P2 = #P2G = 0. The stochastic rates for reactions are: c1 = 0.09, c2 = 0.05,c3 = 0.001, c4 = 0.0009, c5 = 0.00001, c6 = 0.0005, c7 = 0.005 and c8 = 0.9.

A.7 Folate Cycle Model 211

Table A.5 Gene expression model

Reaction

R1: G → G+M R2: M → M+P

R3: M → /0 R4: P → /0

R5: 2P → P2 R6: P2 → 2P

R7: P2 +G → P2G R8: P2G → P2 +G

A.7 Folate Cycle Model

The folate cycle is a metabolic pathway which has a vital role in cell metabo-lism [25, 195]. It transfers one-carbon units for methylation to produce methionineand synthesis of pyrimidines and purines.

The model consists of seven species and 13 reactions listed in Table A.6. Thefolate cycle begins when folic acid is reduced to tetrahydrofolate (THF). THF iscatalysed by serine hydroxymethyl transferase (SHMT) to produce 5,10-methylene-THF. Then, 5,10-methylene-THF is either converted to 5-methyl-THF catalysed byenzyme methylenetetrahydrofolate reductase (MTHFR) or converted to 10-formyl-THF. The folate cycle completes when 5-methyl-THF is demethylated to producemethionine and THF.

Table A.6 Folate cycle model

Reaction

R1: THF → 5,10-methylene-THF

R2: 5,10-methylene-THF → THF

R3: 5,10-methylene-THF → DHF

R4: DHF → THF

R5: THF → 10-formyl-THF

R6: 10-formyl-THF → THF

R7: 10-formyl-THF → THF

R8: 10-formyl-THF → 5,10-methenyl-THF

R9: 5,10-methenyl-THF → 10-formyl-THF

R10: 5,10-methenyl-THF → 5,10-methylene-THF

R11: 5,10-methylene-THF → 5,10-methenyl-THF

R12: 5,10-methylene-THF → 5-methyl-THF

R13: 5-methyl-THF → THF + Methionine

The initial abundance of species is: #THF = 8,157, #10-formyl-THF = 31,338,#5,10-methylene-THF = 3,688, #5,10-methenyl-THF = 10,244, #DHF = 87, #5-methyl-THF = 19,842 and #Methionine = 0. All reactions in the folate cycle are

212 A Benchmark Models

enzymatic reactions with Michaelis-Menten kinetics [218]. The propensity of a re-action R j in the folate cycle has form:

a j =Vm

Km +XX

where X is the population of reactant. The values of the maximal rate Vm and theMichaelis constant Km are dependent on the specific reaction [218, 232] and arelisted in Table A.7.

Table A.7 Kinetics parameters for the folate cycle model

Reaction Km Vm

R1 379.39490 1.70727e8

R2 98,642.67437 5.32670e9

R3 94,848.72536 5.32670e9

R4 23,901.87879 1.90816e9

R5 7,587.89802 2.02824e9

R6 3,414.55411 2.25586e7

R7 1,138.18470 2.31852e7

R8 758.78980 2.69327e8

R9 758.78980 2.34442e8

R10 16,313.98076 1.35038e7

R11 76,258.37518 2.82920e8

R12 379.39490 8.14996e4

R13 1,896.97450 2.64940e4

A.8 MAPK Cascade Model

The mitogen-activated protein (MAP) kinase (MAPK) cascade pathway describes achain of proteins that cascade a signal from the cell receptor to its nucleus and resultin a cellular response, i.e., cell proliferation, division and apoptosis [234, 199, 64].MAPK cascade is a ubiquitously and highly conserved regulatory module pro-cessing information during the signal transduction in cells. The MAPK pathwayis stimulated when ligands, e.g., growth factors, bind to the receptor on the cellsurface. The process is controlled through three main protein kinases: MAPKKK,MAPKK and MAPK. The propagation of the stimulated signal is cascaded by se-quential phosphorylation and activations of these kinases. First, the ligand activatesMAPKKK. The activated MAPKKK in turn phosphorylates MAPKK and subse-quently activates MAPK through further phosphorylation.

A.9 FcεRI Pathway Model 213

We consider two MAPK models, a simplified MAPK model with 12 speciesand 10 reactions [197] listed in Table A.8 (with the proteins kinases represented byKKK, KK and K) and a complex one with 106 species and 296 reactions [149] (seethe reference for the reactions and kinetics parameters). A signal E1 triggers thecascade of phosphorylations that leads to the activation of a protein. An end signalE2 triggers a cascade of phosphatases that reverts back the activation of the protein.

Table A.8 MAPK model

Reaction

R1: KKK + E1 → KKKp + E1 R2: KKKp + E2 → KKK + E2

R3: KK + KKKp → KKp + KKKp R4: KKp + KKpase → KK + KKpase

R5: KKp + KKKp → KKpp + KKKp R6: KKpp + KKpase → KKp + KKpase

R7: K + KKpp → Kp + KKpp R8: Kp + Kpase → K + Kpase

R9: Kp + KKpp → Kpp + KKpp R10: Kpp + Kpase → Kp + Kpase

The initial population of species is: #E1 = #E2 = 20,000, #Kpase = #KKpase =20,000, #K = #KK = 2,000,000, #KKK = 200,000 and all other species are zero.The kinetics rates of reactions are c1 = c2 = c3 = c4 = c5 = c6 = c7 = c8 = c9 =c10 = 1.0e−4.

A.9 FcεRI Pathway Model

The high-affinity IgE receptor, which is referred to as FcεRI, forms a high-affinitycell surface receptor for the antigen-specific immunoglobulin E (IgE). The FcεRIreceptor is a tetramer consisting of three subunits that are: an α chain (FcεRIα),a β chain (FcεIβ ), and two disulfide bridge connected γ chains (FcεRIγ). The αchain is the antibody binding site for IgE, while the others have the role of initia-ting and amplifying the downstream signaling. The crosslinking of the IgE-antigencomplex and the aggregation of the FcεRI lead to degranulation and release of al-lergic mediators from the immune system [84]. The FcεRI signaling pathway hasbeen studied extensively in the literature due to its major role in controlling allergicresponses [61].

The model [165] is created to analyze the mechanisms of Syk phosphorylation.After FcεRI aggregation, Lyn, a membrane-associated Src family protein tyrosinekinase (SFK), is activated and phosphorylates the immunoreceptor tyrosine-basedactivation motifs (ITAMs) in the β and γ subunits of FcεRI. Phosphorylated ITAMsof the β and γ subunits provide sites for the binding and activation of Syk, a cy-tosolic protein tyrosine kinase. Activated Syk then phosphorylates many substratesleading to the activation of several signaling pathways. The crafted model contains

214 A Benchmark Models

380 species and 3,862 reactions (see [165] for the list of reactions and kinetics pa-rameters).

A.10 B Cell Antigen Receptor Signaling Model

The B cell receptor (BCR) is an antigen (Ag) receptor presented on the B cell’souter surface. It has a membrane-bound immunoglobulin (Ig) and a transmembraneprotein CD79, which is composed of two disulfide-linked chains called CD79A (Ig-α) and CD79B (Ig-β ). The binding of Ags to the membrane Ig subunit stimulatesthe receptor aggregation and transmits the signals to the cell interior through theIg-α/β subunits. BCR aggregation activates Lyn and Fyn, which are the Src familyprotein tyrosine kinases (SFKs), as well as other tyrosine kinases and initiates theBCR signaling pathway. The BCR signaling in turn activates multiple signalingcascades which results in many possible effects on the fates of B cells includingproliferation, differentiation and apoptosis [203, 105, 111, 153].

The model [29] studies the effects of Lyn and Fyn redundancy on the pathway.The basis of the model includes two feedback loops. The first loop is a positivefeedback loop that emanates upon the SFK-mediated phosphorylation of BCR andreceptor-bound Lyn and Fyn. The positive feedback loop increases the kinase acti-vities of Lyn and Fyn. The second one is a negative feedback loop arising fromSFK-mediated phosphorylation of the transmembrane adapter protein PAG1 (phos-phoprotein associated with glycosphingolipid-enriched microdomains) which de-creases the kinase activities of Lyn and Fyn. This model was implemented witha rule-based modeling approach by including the site-specific details of protein-protein interactions. The reaction network generated from the model contains 1,122species and 24,388 reactions (see [29] for reactions and parameters).

A.11 Linear Chain Model

The linear chain model is an artificial model that is used to measure the scalability ofsimulation algorithms. It models the transformation of a species to another species.The number of affected reactions which need to update their propensities in theLinear chain model is fixed by 2.

The linear chain model consists of N species Si for i = 1, . . .N. The number ofreactions M in this model is equal to the number of species N, i.e., M = N, in whichthe Ri reaction transforms species Si into the species Si+1 as{

Sici→ Si+1 , for i = 1, . . .N −1

SNcN→ S1 , for i = N

where ci is the rate constant of the transformation.

A.11 Linear Chain Model 215

The kinetics rates of all reactions are set to ci = 1 for i = 1 . . .N. The initialpopulation of each species Si for i = 1 . . .N is randomly taken from 0 and 10,000.

Appendix BRandom Number Generation

The appendix recalls methods for implementing random number generators (RNG)to generate random numbers used for stochastic simulation throughout the book. Acomprehensive review of methods can be found in [148, 204, 65, 119]. An RNGis a physical or computational method to generate a sequence of (pseudo-)randomnumbers. The random numbers generated by an RNG must appear to be independentand identically distributed (i.i.d.), i.e., each random number has the same specifiedprobability distribution as the others and all are mutually independent.

B.1 Uniform Random Number Generator

The goal of a uniform random number generator is to generate sequences of uni-formly distributed random numbers in (0,1). Almost all the mainstream program-ming languages and scientific libraries provide routines for generating such sequen-ces of random numbers. Here we present only linear congruential generators (LCG)because they constitutes a milestone in the field. A LCG, however, should be usedwith care in applications where high-quality randomness is required because of theserial correlation in the output. In such cases, improved random number generatorssuch as Xorshift [174] or Mersenne Twister [177] should be preferred. In fact, Xors-hift and Mersenne Twister strategies actually rely on a LCG to generate the randomseed.

The basis of a LCG is a recurrence

Xi = (aXi−1 + c) mod m

to compute a sequence of integer values Xi and requires four integer parameters:an initial seed X0, a modulus m, a multiplier a and an increment c. In special casec = 0, the LCG is called multiplicative. The choice of parameters is important toobtain a long period (the number of outcomes before the generator start repeating thesequence) and a fast generation time. For multiplicative generators, good parameters

© Springer International Publishing AG 2017L. Marchetti et al., Simulation Algorithms for ComputationalSystems Biology, Texts in Theoretical Computer Science. AnEATCS Series, https://doi.org/10.1007/978-3-319-63113-4

217

218 B Random Number Generation

are m = 231 −1, a = 75 and X0 ∈ [1,m−1]. The period of the generator with theseparameters is m−1.

The sequence of random numbers ri ∼ U(0,1) is obtained by dividing the valuesXi by m,

ri = Xi/m.

Algorithm 50 implements the LCG for generating uniformly distributed randomnumbers.

Algorithm 50 Linear congruential generator (LCG)Input: integers X0, a, c, m.Output: a sequence of pseudo-random numbers independent and identically distributed in U(0,1).1: set i = 12: while (true) do3: compute Xi = (aXi−1 + c) mod m4: set random number ri = Xi/M5: set i = i+16: end while7: return random numbers ris

B.2 Non-uniform Random Number Generator

The purpose of a non-uniform random number generator is to transform a sequenceof i.i.d. random numbers of U(0,1) into a sequence of the desired distribution. Thetransformation does not need to be one-to-one. The techniques for generating non-uniform random numbers include the inversion method, the (acceptance-)rejectionmethod and the composition method.

B.2.1 General Techniques

B.2.1.1 Inversion Method

Let X be a random variable with a probability density function (pdf) f (x). Let F(x)be the cumulative distribution function (cdf) of X . The principle of the inversionmethod is based on the fact that if r is a uniform random number U(0,1), thenX = F−1(r) has the cdf F . The Algorithm 51 outlines the step for implementationof the inversion method.

B.2 Non-uniform Random Number Generator 219

Algorithm 51 Inversion methodInput: Inverse of the cdf F−1(x).Output: random number X with cdf F .1: generate a uniform random number r ∼ U(0,1)2: set X = F−1(r)3: return X

B.2.1.2 Rejection Method

The rejection method is an indirect method for generating random number X withpdf f . It uses an alternative proposal (or hat) distribution h(x) such that f (x) ≤ch(x) ∀x where c is constant and it is easier to generate a random number from hatfunction h than the original distribution f itself. The steps for the rejection methodare presented in Algorithm 52. The generation is composed of two steps. First, arandom number Y from the hat function h and a uniform random number r ∼ U(0,1)are generated. It then checks whether r ≤ f (Y )/ch(Y ) holds. If the test returns true,then the random number is accepted. Otherwise, the generation steps is repeated.

Algorithm 52 Rejection methodInput: a hat function h(x) such that f (x)≤ ch(x) where c is a constant.Output: a random number X with pdf f .1: repeat2: generate random number Y with hat pdf h3: generate a uniform random number r ∼ U(0,1)4: until (r ≤ f (Y )/ch(Y ))5: set X = Y and return X

B.2.1.3 Composition Method

The composition method assumes that pdf f can be decomposed as a finite mixture

f (x) =n

∑i=1

wi fi(x)

where fi’s are given density functions and wi’s are probability weights such thatwi > 0 for all i and ∑n

i=1 wi = 1. A random number X with pdf f can be obtainedby first generating a discrete random variate I with probabilities wi to decide whichpart fi should be chosen and then a random number with density fI is returned.Algorithm 53 outlines steps for an implementation of the composition method.

220 B Random Number Generation

Algorithm 53 Composition methodInput: decomposition of density f (x) = ∑n

i=1 wi fi(x) .Output: random number X with pdf f .1: generate random number I with probability vector wi

2: generate random number X with pdf fI

3: return X

B.2.2 Exponential Distribution

The exponential distribution Exp(λ ) is a continuous distribution with pdf definedas

f (x) =

{λe−λx , for x ≥ 0

0 , for x < 0

where λ > 0 is a parameter. The cdf F(x) of the distribution is thus given by

F(x) =

{1− e−λx , for x ≥ 0

0 , for x < 0.

A simple way to generate exponential random numbers is to apply the inversionmethod. It gives

F−1(r) =− 1λ

ln(1− r) =− 1λ

ln(r) (B.1)

where r ∼ U(0,1). The second equality is obtained by noting that if r is uniformlydistributed in (0,1), then so is (1−r). Algorithm 54 implements steps for generatingexponential random numbers.

Algorithm 54 Exponential random numberInput: rate parameter λOutput: random number X with exponential distribution Exp(λ ).1: generate a uniform random number r ∼ U(0,1)2: set X =− 1

λ ln(r)3: return X

B.2.3 Erlang Distribution

The Erlang distribution Erlang(k,λ ) is the distribution of the sum of k indepen-dent exponential variables with the same rate λ . The integer parameter k is calledshape parameter. The Erlang distribution has pdf

B.2 Non-uniform Random Number Generator 221

f (x) =λ kxk−1e−λx

(k−1)!, for x ≥ 0.

For the special case k = 1, the Erlang distribution Erlang(k,λ ) reduces to an ex-ponential distribution.

Algorithm 55 outlines the steps for generating an Erlang random number. It usesthe fact that the sum of k i.i.d exponential random numbers Xi ∼ Exp(λ ), i = 1 . . .k,with the same rate λ gives the Erlang random number.

Algorithm 55 Erlang random numberInput: integer shape parameter k, rate parameter λOutput: random number X with Erlang distribution Erlang(k,λ ).1: generate k exponential random numbers Xi ∼ Exp(λ )2: set X = ∑k

i=1 Xi

3: return X

B.2.4 Normal Distribution

Let N(0,1) be unit normal distribution with mean μ = 0 and variance σ2 = 1. It hasthe pdf

f (x) =1√2π

e−x2

2 .

A simple method for generating normal random numbers is the Box-Muller met-hod. It is based on the idea of generating the two-dimensional unit normal distribu-tion by generating a random angle and a random radius. Let (X ,Y ) be a pair of twoindependent unit normals. The joint pdf is a product

f (x,y) =1√2π

e−x2

21√2π

e−y2

2 =1

2πe−x2−y2

2 .

Consider the polar coordinate random variables (R,Θ) defined such that 0 ≤Θ ≤ 2π and X = Rcos(Θ) and Y = Rsin(Θ). It can be proved that Θ is uniformlydistributed in [0,2π] and R is a random variable with pdf

f (r) = re−r2

2 .

The angle Θ and the radius R, respectively, thus can be generated by directly ap-plying the conversion method. The generated values (Θ ,R) are then used to computethe pair (X ,Y ). The Box-Muller method is outlined in Algorithm 56.

222 B Random Number Generation

Algorithm 56 Unit normal random numberInput: unit normal distribution with mean 0 and variance 1Output: two random numbers X , Y with unit normal distribution N(0,1).1: generate two uniform random numbers r1,r2 ∼ U(0,1)2: compute θ = 2πr13: compute R =

√−2ln(r2)4: set X = Rcos(θ) and Y = Rcos(θ)5: return X and Y

B.2.5 Discrete Distribution with Given Probability Vector

Consider a discrete distribution where each outcome i is associated with a probabi-lity mass function (pmf) pi. If the support of the distribution is bounded from below,it is also called probability vector. The generation of discrete random number X gi-ven a probability vector (p1, p2, . . . , pm) is implemented in Algorithm 57. It is adirect application of the inversion method. Specifically, let F be the cdf of X andr ∼ U(0,1). The discrete random number is generated as

X = F−1(r) = min{i : F(i)≥ r}.

Algorithm 57 Discrete random numberInput: probability vector (p0, p1, . . . , pm).Output: a discrete random number X .1: generate uniform random number r ∼ U(0,1)2: set X = 0 and F = p03: while (r > F) do4: set X = X +1 and F = F + pX

5: end while6: return X

B.2.6 Poisson Distribution

The Poisson distribution Poi(λ ) is a discrete probability distribution that expressesthe probability of observing a number of events given its average rate λ . Let pk bethe probability that has k events occurring. It gives

pk =λ ke−λ

k!.

The generation of Poisson random numbers is implemented in Algorithm 58. Itis an application of the inversion method by using the fact that

B.2 Non-uniform Random Number Generator 223

pk+1 =λ

k+1pk.

Algorithm 58 Poisson random numberInput: rate parameter λ .Output: a Poisson random number X .1: generate uniform random number r ∼ U(0,1)2: set X = 0, p = e−λ and F = p3: while (r > F) do4: set X = X +15: compute p = λ p/X6: F = F + p7: end while8: return X

B.2.7 Binomial Distribution

The Binomial distribution Bin(n, p) is the discrete probability distribution of thenumber of successes in a sequence of n independent trials of which each has asuccess probability p. The probability pk of having exactly k successes in n trials is

pk =

(nk

)pk(1− p)n−k.

Algorithm 59 presents a simple generator for Binomial random numbers. Itcounts the number of successes in a series of n trials.

Algorithm 59 Binomial random numberInput: trials n and probability p.Output: a binomial random number X .1: set X = 02: for (i = 1 to n) do3: generate uniform random number r ∼ U(0,1)4: if (r ≤ p) then5: set X = X +16: end if7: end for8: return X

224 B Random Number Generation

B.2.8 Multinomial Distribution

The multinomial distribution Multi(n, p1, . . . , pM) is a multi-variate discrete dis-tribution. It generalizes the Binomial distribution where each trial can result in Moutcomes in which each outcome has a probability pk, for k = 1, . . .M.

The generation of a multinomial random vector is implemented in Algorithm 60.It is based on the fact that the number of successes of outcome k is a binomialrandom number.

Algorithm 60 Multinomial random numberInput: trials n and probability vector p1, p2, . . . pM .Output: multinomial random number.1: compute S = ∑M

i=1 pi

2: for (i = 1 to M) do3: generate a binomial random number Xi ∼ Bin(n, pi/S)4: set n = n−Xi

5: set S = S− pi

6: end for7: return Xis

References

1. Jeremy S. Edwards Abhijit Chatterjee, Kapil Mayawala and Dionisios G. Vlachos. Timeaccelerated Monte Carlo simulations of biological networks using the binomial τ-leap met-hod. Bioinformatics, 21(9):2136–2137, 2005.

2. Animesh Agarwal, Rhys Adams, Gastone C. Castellani, and Harel Z. Shouval. On the pre-cision of quasi steady state assumptions in stochastic dynamics. The Journal of ChemicalPhysics, 137(4):044105, 2012.

3. Tae-Hyuk Ahn, Xiaoying Han, and Adrian Sandu. Implicit simulation methods for stochasticchemical kinetics. Journal of Applied Analysis and Computation, 5(3):420–452, 2015.

4. Tae-Hyuk Ahn and Adrian Sandu. Fully implicit tau-leaping methods for the stochasticsimulation of chemical kinetics. In Proc. of High Performance Computing Symposia, pages118–125, 2011.

5. Tae-Hyuk Ahn and Adrian Sandu. Implicit second order weak Taylor tau-leaping methodsfor the stochastic simulations of chemical kinetics. In Proc. of Procedia Computer Science,pages 2297–2306, 2011.

6. Tae-Hyuk Ahn, Adrian Sandu, Layne T. Watson, Clifford A. Shaffer, Yang Cao, and Wil-liam T. Baumann. A framework to analyze the performance of load balancing schemesfor ensembles of stochastic simulations. International Journal of Parallel Programming,43(4):597–630, 2015.

7. Michael P. Allen. Introduction to molecular dynamics simulation. In Lecture Notes onComputational Soft Matter: From Synthetic Polymers to Proteins, volume 23, pages 1–28,2004.

8. Uri Alon. An Introduction to Systems Biology: Design Principles of Biological Circuits.Chapman and Hall/CRC Mathematical and Computational Biology, 2006.

9. David F. Anderson. A modified next reaction method for simulating chemical systems withtime-dependent propensities and delays. The Journal of Chemical Physics, 127(21):214107,2007.

10. David F. Anderson. Incorporating postleap checks in tau-leaping. The Journal of ChemicalPhysics, 128(5):054103, 2008.

11. David F. Anderson, Arnab Ganguly, and Thomas G. Kurtz. Error analysis of tau-leap simu-lation methods. Annals of Applied Probability, 121(6):2226–2262, 2011.

12. David F. Anderson and Desmond J. Higham. Multilevel Monte Carlo for continuous timeMarkov chains with applications in biochemical kinetics. Multiscale Modeling & Simulation,10(1):146–179, 2012.

13. David F. Anderson, Desmond J. Higham, and Yu Sun. Complexity of multilevel Monte Carlotau-leaping. SIAM Journal on Numerical Analysis, 52(6):31063127, 2014.

14. David F. Anderson, Desmond J. Higham, and Yu Sun. Computational complexity analysis forMonte Carlo approximations of classically scaled population processes. arXiv:1512.01588,2015.

© Springer International Publishing AG 2017L. Marchetti et al., Simulation Algorithms for ComputationalSystems Biology, Texts in Theoretical Computer Science. AnEATCS Series, https://doi.org/10.1007/978-3-319-63113-4

225

226 References

15. David F. Anderson, Desmond J. Higham, and Yu Sun. Multilevel Monte Carlo for stochasticdifferential equations with small noise. SIAM Journal on Numerical Analysis, 54(2):505–529, 2016.

16. David F. Anderson and Thomas G. Kurtz. Stochastic Analysis of Biochemical Systems. Sprin-ger, 2015.

17. Steven S. Andrews. Accurate particle-based simulation of adsorption, desorption and partialtransmission. Physical Biology, 6(4):046015, 2009.

18. Steven S. Andrews, Nathan J. Addy, Roger Brent, and Adam P. Arkin. Detailed simulationsof cell biology with Smoldyn 2.1. PLoS Computation Biology, 6(3):e1000705, 2010.

19. Steven S. Andrews and Dennis Bray. Stochastic simulation of chemical reactions with spatialresolution and single molecule detail. Physical Biology, 1(3):137–51, 2004.

20. Aleksandr Andreychenko, Pepijn Crouzen, and Verena Wolf. On-the-fly uniformization oftime-inhomogeneous infinite Markov population models. In Proc. of International Workshopon Quantitative Aspects of Programming Languages, pages 1579–1586, 2011.

21. Adam P. Arkin, John Ross, and Harley H. McAdams. Stochastic kinetic analysis of develop-mental pathway bifurcation in phage λ -infected Escherichia coli cells. Genetics, 149:1633–1648, 1998.

22. Gavin R. Armstrong, Annette F. Taylor, Stephen K. Scott, and Vilmos Gaspar. Modellingwave propagation across a series of gaps. Physical Chemistry Chemical Physics, 6:4677–4681, 2004.

23. Søren Asmussen and Peter W. Glynn. Stochastic Simulation: Algorithms and Analysis. Sprin-ger, 2007.

24. Anne Auger, Philippe Chatelain, and Petros Koumoutsakos. R-leaping: Accelerating thestochastic simulation algorithm by reaction leaps. The Journal of Chemical Physics,125(8):084103, 2006.

25. Lynn B. Bailey. Folate in Health and Disease, 2nd Edition. CRC Press, 2009.26. Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, and Paolo Milazzo. Delay

stochastic simulation of biological systems: A purely delayed approach. Transactions onComputational Systems Biology XIII, 6575:61–84, 2011.

27. Manuel Barrio, Kevin Burrage, and Pamela Burrage. Stochastic linear multistep methods forthe simulation of chemical kinetics. The Journal of Chemical Physics, 142(6):064101, 2015.

28. Manuel Barrio, Kevin Burrage, Andre Leier, and Tianhai Tian. Oscillatory regulation ofHes1: Discrete stochastic delay modelling and simulation. PLOS Computational Biology,2(9):1017–1030, 2006.

29. Dipak Barua, William S. Hlavacek, and Tomasz Lipniacki. A computational model for earlyevents in B cell antigen receptor signaling: Analysis of the roles of Lyn and Fyn. The Journalof Immunology, 189:646–658, 2012.

30. Basil Bayati, Houman Owhadi, and Petros Koumoutsakos. A cutoff phenomenon in accele-rated stochastic simulations of chemical kinetics via flow averaging (FLAVOR-SSA). TheJournal of Chemical Physics, 133(24):244117, 2010.

31. Paul K. Becker and Richard J. Field. Stationary concentration patterns in the Oregonatormodel of the Belousov-Zhabotinsky reaction. The Journal of Chemical Physics, 89(1):118–28, 1985.

32. David Bernstein. Simulating mesoscopic reaction-diffusion systems using the Gillespie al-gorithm. Physical Review E, 71(4):041103, 2005.

33. James Blue, Isabel Beichl, and Francis Sullivan. Faster Monte Carlo simulations. PhysicalReview E, 51(2):867–868, 1995.

34. Marian Boguna, Luis F. Lafuerza, Raul Toral, and M. Angeles Serrano. Simulating non-Markovian stochastic processes. Physical Review E, 9(4):042108, 2014.

35. Luca Bortolussi, Dimitrios Milios, and Guido Sanguinetti. Efficient stochastic simulationof systems with multiple time scales via statistical abstraction. In Proc. of ComputationalMethods in Systems Biology, pages 40–51, 2015.

36. Alfred B. Bortz, M. H. Kalos, and Joel L. Lebowitz. A new algorithm for Monte Carlosimulation of Ising spin systems. Journal of Computational Physics, 17(1):10–18, 1975.

References 227

37. James M. Bower and Hamid Bolouri (eds.). Computational Modeling of Genetic and Bio-chemical Networks. MIT Press, 2000.

38. Dmitri Bratsun, Dmitri Volfson, Lev S. Tsimring, and Jeff Hasty. Delay-induced stochasticoscillations in gene regulation. PNAS, 102(41):14593–14598, 2005.

39. Richard L. Burden, Douglas J. Faires, and Annette M. Burden. Numerical Analysis, 10thEdition. Cengage Learning, 2016.

40. Kevin Burrage, Markus Hegland, Shev MacNamara, and Roger B. Sidje. A Krylov-based fi-nite state projection algorithm for solving the chemical master equation arising in the discretemodelling of biological systems. In Proc. of Markov Anniversary Meeting: An internatio-nal conference to celebrate the 150th anniversary of the birth of A.A. Markov, pages 21–38,2006.

41. Kevin Burrage and Tianhai Tian. Poisson Runge-Kutta methods for chemical reaction sys-tems. In Proc. of Scientific Computing and Applications, Advances in Scientific Computingand Applications, pages 82–96, 2004.

42. John C. Butcher. Numerical Methods for Ordinary Differential Equations, 2nd Edition. Wi-ley, 2008.

43. Xiaodong Cai. Exact stochastic simulation of coupled chemical reactions with delays. TheJournal of Chemical Physics, 126(12):124108, 2007.

44. Xiaodong Cai and Ji Wen. Efficient exact and K-skip methods for stochastic simulation ofcoupled chemical reactions. The Journal of Chemical Physics, 131(6):064108, 2009.

45. Xiaodong Cai and Zhouyi Xu. K-leap method for accelerating stochastic simulation of cou-pled chemical reactions. The Journal of Chemical Physics, 126(7):074102, 2007.

46. Davide Cangelosi. SSALeaping: Efficient leap condition based direct method variant for thestochastic simulation of chemical reacting system. In Proc. of ICST Conference on Simula-tion Tools and Techniques, 2010.

47. Yang Cao, Daniel T. Gillespie, and Linda R. Petzold. Accelerated stochastic simulation of thestiff enzyme-substrate reaction. Journal of Computational Physics, 123(14):144917, 2005.

48. Yang Cao, Daniel T. Gillespie, and Linda R. Petzold. Avoiding negative populations inexplicit Poisson tau-leaping. The Journal of Chemical Physics, 123(5):054104, 2005.

49. Yang Cao, Daniel T. Gillespie, and Linda R. Petzold. Multiscale stochastic simulation algo-rithm with stochastic partial equilibrium assumption for chemically reacting systems. Jour-nal of Computational Physics, 206(2):395–411, 2005.

50. Yang Cao, Daniel T. Gillespie, and Linda R. Petzold. The slow-scale stochastic simulationalgorithm. The Journal of Chemical Physics, 122(1):14116, 2005.

51. Yang Cao, Daniel T. Gillespie, and Linda R. Petzold. Efficient step size selection for thetau-leaping method. The Journal of Chemical Physics, 124(5):044109, 2006.

52. Yang Cao, Daniel T. Gillespie, and Linda R. Petzold. Adaptive explicit-implicit tau-leapingmethod with automatic tau selection. The Journal of Chemical Physics, 126(22):224101,2007.

53. Yang Cao, Hong Li, and Linda Petzold. Efficient formulation of the stochastic simulationalgorithm for chemically reacting systems. The Journal of Chemical Physics, 121(9):4059,2004.

54. Yang Cao and Linda R. Petzold. Trapezoidal tau-leaping formula for the stochastic simula-tion of biochemical systems. In Proc. of Foundations of Systems Biology Engineering, pages149–152, 2005.

55. Yang Cao and Linda R. Petzold. Accuracy limitations and the measurement of errors in thestochastic simulation of chemically reacting systems. Journal of Computational Physics,212(1):6–26, 2006.

56. Yang Cao and Linda R. Petzold. Slow-scale tau-leaping method. Computer Methods inApplied Mechanics and Engineering, 197(43):3472–3479, 2008.

57. Yang Cao, Linda R. Petzold, Muruhan Rathinam, and Daniel T. Gillespie. The numericalstability of leaping methods for stochastic simulation of chemically reacting systems. TheJournal of Chemical Physics, 121(24):12169–12178, 2004.

58. Luca Cardelli. Artificial biochemistry. In Anne Condon, David Harel, Joost N. Kok, ArtoSalomaa, and Erik Winfree, editors, Algorithmic Bioprocesses. Springer, 2009.

228 References

59. Abhijit Chatterjee, Dionisios G. Vlachos, and Markos A. Katsoulakis. Binomial distri-bution based τ-leap accelerated stochastic simulation. The Journal of Chemical Physics,122(2):024112, 2004.

60. Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte, and Luca Torella. Mo-delling non-Markovian dynamics in biochemical reactions. In Proc. of the Italian Society ofBioinformatics (BITS), page 58, 2015.

61. Lily A. Chylek, David A. Holowka, Barbara A. Baird, and William S. Hlavacek. An in-teraction library for the FcεRI signaling network. Frontiers in Immunology, 5(172):1664–3224, 2014.

62. Giovanni Ciccotti, Daan Frenkel, and Ian R. McDonald (eds.). Simulation of Liquids andSolids: Molecular Dynamics and Monte Carlo Methods in Statistical Mechanics. North-Holland: Amsterdam, 1987.

63. Simon L. Cotter, Konstantinos C. Zygalakis, Ioannis G. Kevrekidis, and Radek Erban. Aconstrained approach to multiscale stochastic simulation of chemically reacting systems. TheJournal of Chemical Physics, 135(9):094102, 2011.

64. Phillipe Coulombe and Sylvain Meloche. Atypical mitogen-activated protein kinases: Struc-ture, regulation and functions. Biochimica et Biophysica Acta (BBA) - Molecular Cell Rese-arch, 1773(8):1376–1387, 2007.

65. Luc Devroye. Non-Uniform Random Variate Generation. Springer-Verlag, 1986.66. Frederic Didier, Thomas A. Henzinger, Maria Mateescu, and Verena Wolf. Fast adaptive uni-

formization of the chemical master equation. In Proc. of High Performance ComputationalSystems Biology Workshop, pages 1579–1586, 2009.

67. Sergey Dolgov and Boris Khoromskij. Simultaneous state-time approximation of the che-mical master equation using tensor product. Numerical Linear Algebra with Applications,22(2):197–219, 2015.

68. Brian Drawert, Stefan Engblom, and Andreas Hellander. URDME: A modular framework forstochastic simulation of reaction-transport processes in complex geometries. BMC SystemsBiology, 6(76), 2012.

69. Brian Drawert, Andreas Hellander, Ben Bales, Debjani Banerjee, Giovanni Bellesia, BernieJ. Daigle Jr., Geoffrey Douglas, Mengyuan Gu, Anand Gupta, Stefan Hellander, Chris Horuk,Dibyendu Nath, Aviral Takkar, Sheng Wu, Per Lotstedt, Chandra Krintz, and Linda R. Pet-zold. Stochastic simulation service: Bridging the gap between the computational expert andthe biologist. PLOS Computational Biology, 12(12):e1005220, 2016.

70. Weinan E, Di Liu, and Eric Vanden-Eijnden. Nested stochastic simulation algorithmfor chemical kinetic systems with disparate rates. The Journal of Chemical Physics,123(19):194107, 2005.

71. Weinan E, Di Liu, and Eric Vanden-Eijnden. Nested stochastic simulation algorithms forchemical kinetic systems with multiple time scales. Journal of Computational Physics,221(1):158–180, 2007.

72. Hiroaki Kitano (ed.). Foundations of Systems Biology. MIT Press, 2001.73. Kurt Ehlert and Laurence Loewe. Lazy updating of hubs can enable more realistic models

by speeding up stochastic simulations. The Journal of Chemical Physics, 141(20):204109,2014.

74. Johan Elf, Andreas Doncic, and Mans Ehrenberg. Mesoscopic reaction-diffusion in intracel-lular signaling. In Proc. of SPIE, volume 5110, pages 114–124, 2003.

75. Johan Elf and Mans Ehrenberg. Fast evaluation of fluctuations in biochemical networks witha linear noise approximation. Genome Research, 13(11):2475–2484, 2003.

76. Johan Elf and Mans Ehrenberg. Spontaneous separation of bi-stable chemical systems intospatial domains of opposite phases. IET System Biology, 1(2):230–235, 2004.

77. Michael B. Elowitz and Stanislas Leibler. A synthetic oscillatory network of transcriptionalregulators. Nature, 403:335–338, 2000.

78. Michael B. Elowitz, Arnold J. Levine, Eric D. Siggia, and Peter S. Swain. Stochastic geneexpression in a single cell. Science, 297(5584):1183–1186, 2002.

79. Irving R. Epstein and John A. Pojman. An introduction to nonlinear chemical dynamics(Topics in Physical Chemistry). Oxford University Press, New York, 1998.

References 229

80. Radek Erban. From molecular dynamics to Brownian dynamics. Proceedings of the RoyalSociety A, 470(2167):1364–5021, 2014.

81. Radek Erban, Thomas A. Frewen, Xiao Wang, Timothy C. Elston, Ronald Coifman, BoazNadler, and Ioannis G. Kevrekidis. Variable-free exploration of stochastic models: A generegulatory network example. The Journal of Chemical Physics, 126(15):155103, 2007.

82. Radek Erban, Ioannis G. Kevrekidis, David Adalsteinsson, and Timothy C. Elston. Generegulatory networks: A coarse-grained, equation-free approach to multiscale computation.The Journal of Chemical Physics, 124(17):084106, 2006.

83. Eva Doka and Gabor Lente. Stochastic mapping of the Michaelis-Menten mechanism. TheJournal of Chemical Physics, 136:054111, 2012.

84. James R. Faeder and et al. Investigation of early events in FcεRI-mediated signaling using adetailed mathematical model. The Journal of Immunology, 170:3769–3781, 2003.

85. Nina Fedoroff and Walter Fontana. Small numbers of big molecules. Science,297(5584):1129–1131, 2002.

86. Richard J. Field, E. Koros, and Richard M. Noyes. Oscillations in chemical systems II.Thorough analysis of temporal oscillations in the Ce-BrO−

3 -malonic acid system. Journal ofthe American Chemical Society, 94:8649–64, 1972.

87. Richard J. Field and Richard M. Noyes. Oscillations in chemical systems IV. Limit cyclebehavior in a model of a real chemical reaction. The Journal of Chemical Physics, 60:1877–84, 1974.

88. Mark B. Flegg, S. Jonathan Chapman, and Radek Erban. The two-regime method for op-timizing stochastic reaction-diffusion simulations. Journal of The Royal Society Interface,9(70):859–868, 2012.

89. Crispin W. Gardiner. Handbook of Stochastic Methods for Physics, Chemistry and the Natu-ral Sciences. Springer-Verlag, Berlin, 2004.

90. Michael Gibson and Jehoshua Bruck. Efficient exact stochastic simulation of chemicalsystems with many species and many channels. The Journal of Physical Chemistry A,104(9):1876–1889, 2000.

91. Colin S. Gillespie. Moment-closure approximations for mass-action models. IET SystemsBiology, 3(1):52–58, 2009.

92. Daniel T. Gillespie. A general method for numerically simulating the stochastic time evo-lution of coupled chemical reactions. Journal of Computational Physics, 22(4):403–434,1976.

93. Daniel T. Gillespie. Exact stochastic simulation of coupled chemical reactions. The Journalof Physical Chemistry, 81(25):2340–2361, 1977.

94. Daniel T. Gillespie. A theorem for physicists in the theory of random variables. AmericanJournal of Physics, 51:520, 1983.

95. Daniel T. Gillespie. Markov Processes: An Introduction for Physical Scientists. AcademicPress, 1992.

96. Daniel T. Gillespie. A rigorous derivation of the chemical master equation. Physica A,188(1-3):404–425, 1992.

97. Daniel T. Gillespie. The chemical Langevin equation. The Journal of Chemical Physics,113(1):297–306, 2000.

98. Daniel T. Gillespie. Approximate accelerated stochastic simulation of chemically reactingsystems. The Journal of Chemical Physics, 115(4):1716, 2001.

99. Daniel T. Gillespie. The chemical Langevin and Fokker-Planck equations for the reversibleisomerization reaction. The Journal of Physical Chemistry A, 106:5063–5071, 2002.

100. Daniel T. Gillespie. Stochastic simulation of chemical kinetics. Annual Review of PhysicalChemistry, 58:35–55, 2007.

101. Daniel T. Gillespie, Andreas Hellander, and Linda R. Petzold. Perspective: Stochastic algo-rithms for chemical kinetics. The Journal of Chemical Physics, 138(4):170901, 2013.

102. Daniel T. Gillespie and Linda R. Petzold. Improved leap-size selection for accelerated sto-chastic simulation. The Journal of Chemical Physics, 119(16):8229–8234, 2003.

230 References

103. Daniel T. Gillespie, Linda R. Petzold, and Yang Cao. Comment on nested stochastic simu-lation algorithm for chemical kinetic systems with disparate rates. The Journal of ChemicalPhysics, 126(13):137101, 2007.

104. Daniel T. Gillespie, Linda R. Petzold, and Effrosyni Seitaridou. Validity conditions for sto-chastic chemical kinetics in diffusion-limited systems. The Journal of Chemical Physics,140(5):14863990, 2014.

105. Christopher C. Goodnow, Carola G. Vinuesa, Katrina L. Randall, Fabienne Mackay, andRobert Brink. Control systems and decision making for antibody production. Nature Immu-nology, 11(8):681–688, 2010.

106. John Goutsias. Quasiequilibrium approximation of fast reaction kinetics in stochastic bio-chemical systems. The Journal of Chemical Physics, 122:184102, 2005.

107. John Goutsias and Garrett Jenkinson. Markovian dynamics on complex reaction networks.Physics Reports, 529:199–264, 2013.

108. Peter Grassberger. On phase transitions in Schlogl’s second model. Zeitschrift fur Physik BCondensed Matter, 47(4):365–374, 1982.

109. Mark Griffith, Tod Courtney, Jean Peccoud, and William H. Sanders. Dynamic partitio-ning for hybrid simulation of the bistable HIV-1 transactivation network. Bioinformatics,22:2782–2789, 2006.

110. Leonard A. Harris and Paulette Clancy. A partitioned leaping approach for multiscale mo-deling of chemical reaction dynamics. The Journal of Chemical Physics, 125(14):144107,2006.

111. Naomi E. Harwood and Facundo D. Batista. Early events in B cell activation. Annual Reviewof Immunology, 28:185–210, 2009.

112. Eric L. Haseltine and James B. Rawlings. Approximate simulation of coupled fast and slowreactions for stochastic chemical kinetics. The Journal of Chemical Physics, 117(15):6959–6969, 2002.

113. Eric L. Haseltine and James B. Rawlings. On the origins of approximations for stochasticchemical kinetics. The Journal of Chemical Physics, 123(16):164115, 2005.

114. Jan Hasenauer, Verena Wolf, Atefeh Kazeroonian, and Fabian J. Theis. Method of conditi-onal moments (MCM) for the chemical master equation. Journal of Mathematical Biology,69(3):687–735, 2013.

115. Johan Hattne, David Fange, and Johan Elf. Stochastic reaction-diffusion simulation withmesord. Bioinfomatics, 21(12):2923–4, 2005.

116. Iain Hepburn, Weiliang Chen, Stefan Wils, and Erik De Schutter. STEPS: Efficient simula-tion of stochastic reaction-diffusion models in realistic morphologies. BMC Systems Biology,6(36), 2012.

117. Desmond J. Higham. An algorithmic introduction to numerical simulation of stochasticdifferential equations. SIAM Review, 43(3):525–546, 2001.

118. Viktor Holubec, Petr Chvosta, Mario Einax, and Philipp Maass. Attempt time Monte Carlo:An alternative for simulation of stochastic jump processes with time-dependent transition.EPL (Europhysics Letters), 93(4):40003, 2011.

119. Wolfgang Hormann, Josef Leydold, and Gerhard Derflinger. Automatic Nonuniform RandomVariate Generation. Springer, 2004.

120. Yucheng Hu and Tiejun Li. Highly accurate tau-leaping methods for simulating chemicallyreacting systems. The Journal of Chemical Physics, 130(12):124109, 2009.

121. Yucheng Hu, Tiejun Li, and Bin Min. A weak second order tau-leaping method for chemicalkinetic systems. The Journal of Chemical Physics, 135(2):024113, 2011.

122. David Huffman. A method for the construction of minimum-redundancy codes. In Proc. ofthe IRE, volume 40, pages 1098–1101, 1952.

123. Silvana Ilie. Variable time-stepping in the pathwise numerical solution of the chemical Lan-gevin equation. The Journal of Chemical Physics, 137(23):234110, 2012.

124. Silvana Ilie and Monjur Morshed. Automatic simulation of the chemical Langevin equation.Applied Mathematics, 4(1A):235–241, 2013.

125. Silvana Ilie and Alexandra Teslya. An adaptive stepsize method for the chemical Langevinequation. The Journal of Chemical Physics, 136(18):184101, 2012.

References 231

126. Sagar Indurkhya and Jacob Beal. Reaction factoring and bipartite update graphs acceleratethe Gillespie algorithm for large-scale biochemical systems. PLoS ONE, 5(1):8125, 2010.

127. Brian P. Ingalls. Mathematical Modeling in Systems Biology: An Introduction. MIT Press,2013.

128. Roberto Irizarry. Stochastic simulation of population balance models with disparate timescales: Hybrid strategies. Chemical Engineering Science, 66(18):4059–4069, 2011.

129. Tobias Jahnke and Derya Altintan. Efficient simulation of discrete stochastic reaction sys-tems with a splitting method. BIT Numerical Mathematics, 50(4):797–822, 2010.

130. Tobias Jahnke and Wilhelm Huisinga. Solving the chemical master equation for monomole-cular reaction systems analytically. Journal of Mathematical Biology, 54(1):1–26, 2007.

131. Kenneth A. Johnson and Roger S. Goody. The original Michaelis constant: Translation ofthe 1913 Michaelis-Menten paper. Biochemistry Z, 50(39):8264–8269, 2011.

132. Tamas Szekely Jr. and Kevin Burrage. Stochastic simulation in systems biology. Computa-tional and Structural Biotechnology Journal, 12:14–25, 2014.

133. Shantanu Kadam and Kumar Vanka. A new approximate method for the stochastic simula-tion of chemical systems: The representative reaction approach. Journal of ComputationalChemistry, 33(3):276–285, 2012.

134. Mads Kærn, Timothy C. Elston, William J. Blake, and James J. Collins. Stochasticity in geneexpression: From theories to phenotypes. Nature Reviews Genetics, 6:451–464, 2005.

135. Nico G. Van Kampen. Stochastic Processes in Physics and Chemistry. North-Holland Per-sonal Library, 1992.

136. Martin Karplus and Gregory A. Petsko. Molecular dynamics simulations in biology. Nature,347:631–639, 1990.

137. Vladimir Kazeev, Mustafa Khammash, Michael Nip, and Christoph Schwab. Direct solutionof the chemical master equation using quantized tensor trains. PLoS Computational Biology,10(3):e1003359, 2014.

138. Yiannis Kaznessis. Multi-scale models for gene networks. Chemical Engineering Science,61(3):940–953, 2006.

139. Yiannis Kaznessis. Computational methods in synthetic biology. Biotechnology journal,4:1392–1405, 2009.

140. Thomas B. Kepler and Timothy C. Elston. Stochasticity in transcriptional regulation: Orig-ins, consequences, and mathematical representations. Biophysical Journal, 81:3116–3136,2001.

141. Rex A. Kerr, Thomas M. Bartol, Boris Kaminsky, Markus Dittrich, Jen-Chien J. Chang,Scott B. Baden, Terrence J. Sejnowski, and Joel R. Stiles. Fast Monte Carlo simulationmethods for biological reaction-diffusion systems in solution and on surfaces. SIAM Journalon Scientific Computing, 30(6):3126–3149, 2008.

142. Haseong Kim and Erol Gelenbe. Stochastic gene expression modeling with Hill functionfor switch-like gene responses. IEEE/ACM Transactions on Computational Biology andBioinformatics, 9(4):973–9, 2012.

143. Jae Kyoung Kim, Kresimir Josic, and Matthew R. Bennett. The validity of quasi-steady-stateapproximations in discrete stochastic simulations. Biophysical Journal, 107(3):783–793,2014.

144. Hiroaki Kitano. Computational systems biology. Nature, 420:206–210, 2002.145. Hiroaki Kitano. Systems biology: A brief overview. Science, 295(5560):1662–1664, 2002.146. Guido Klingbeil, Radek Erban, Mike Giles, and Philip K. Maini. Fat versus thin threading

approach on GPUs: Application to stochastic simulation of chemical reactions. IEEE Tran-sactions on Parallel and Distributed Systems, 23(82):280–287, 2011.

147. Guido Klingbeil, Radek Erban, Mike Giles, and Philip K. Maini. STOCHSIMGPU: Paral-lel stochastic simulation for the systems biology toolbox 2 for MATLAB. Bioinformatics,27(8):1170–1171, 2011.

148. Donald Knuth. The Art of Computer Programming, 3rd ed., volume 2. Addison-Wesley,1998.

149. Walter Kolch. Meaningful relationships: The regulation of the RAS/RAF/MEK/ERKpathway by protein interactions. Biochemical Journal, 351(2):289–305, 2000.

232 References

150. Ivan Komarov and Roshan M. D’Souza. Accelerating the Gillespie exact stochastic simu-lation algorithm using hybrid parallel execution on graphics processing units. PLoS ONE,7(11), 2012.

151. Yoshio Komori and Kevin Burrage. A stochastic exponential Euler scheme for simulation ofstiff biochemical reaction systems. BIT Numerical Mathematics, 54(4):1067–1085, 2014.

152. Isthrinayagy Krishnarajah, Alex R. Cook, Glenn Marion, and Gavin Gibson. Novel mo-ment closure approximations in stochastic epidemics. Bulletin of Mathematical Biology,67(4):855–873, 2005.

153. Tomohiro Kurosaki, Hisaaki Shinohara, and Yoshihiro Baba. B cell signaling and fate deci-sion. Annual Review of Immunology, 28:21–55, 2009.

154. Thomas G. Kurtz. The relationship between stochastic and deterministic models for chemicalreactions. The Journal of Chemical Physics, 57(7):2976–8, 1972.

155. Hiroyuki Kuwahara and Ivan Mura. An efficient and exact stochastic simulation met-hod to analyze rare events in biochemical systems. The Journal of Chemical Physics,129(16):165101, 2008.

156. Paola Lecca. A time-dependent extension of Gillespie algorithm for biochemical stochasticπ-calculus. In Proc. of ACM-SAC, pages 137–144, 2006.

157. Andre Leier, Tatiana T. Marquez-Lago, and Kevin Burrage. Generalized binomial τ-leapmethod for biochemical kinetics incorporating both delay and intrinsic noise. The Journal ofChemical Physics, 128(20):205107, 2008.

158. Christopher Lester, Christian A. Yates, Michael B. Giles, and Ruth E. Baker. An adaptivemulti-level simulation algorithm for stochastic biological systems. The Journal of ChemicalPhysics, 124(2):024113, 2015.

159. Peter A. Lewis and Gerald S. Shedler. Simulation of nonhomogeneous Poisson processes bythinning. Naval Research Logistics Quarterly, 26(3):403–413, 1979.

160. Hong Li and Linda R. Petzold. Logarithmic direct method for discrete stochastic simulationof chemically reacting systems. Technical Report, 2006.

161. Hong Li and Linda R. Petzold. Efficient parallelization of the stochastic simulation algorithmfor chemically reacting systems on the graphics processing unit. International Journal ofHigh Performance Computing Applications, 24(2):107–116, 2009.

162. Tiejun Li. Analysis of explicit tau-leaping schemes for simulating chemically reacting sys-tems. Multiscale Modeling & Simulation, 6(2):417–436, 2007.

163. Tiejun Li, Assyr Abdulle, and Weinan E. Effectiveness of implicit methods for stiff stochasticdifferential equations. Communication in Computational Physics, 3(2):295–307, 2008.

164. Yao Li and Lili Hu. A fast exact simulation method for a class of Markov jump processes.The Journal of Chemical Physics, 143(18):184105, 2015.

165. Yanli Liu and et al. Single-cell measurements of IgE-mediated FcεRI signaling using anintegrated microfluidic platform. PLoS ONE, 8(3):60159, 2013.

166. Zhen Liu and Yang Cao. Detailed comparison between StochSim and SSA. IET SystemsBiology, 2(5):334–341, 2008.

167. Larry Lok. The need for speed in stochastic simulation. Nature Biotechnology, 22(8):964–965, 2004.

168. Larry Lok and Roger Brent. Automatic generation of cellular reaction networks with mole-culizer 1.0. Nature Biotechnology, 23(21):131–36, 2005.

169. Ting Lu, Dmitri Volfson, Lev Tsimring, and Jeff Hasty. Cellular growth and division in theGillespie algorithm. IET Systems Biology, 1(1):121–128, 2004.

170. Shev MacNamara, Alberto M. Bersani, Kevin Burrage, and Roger B. Sidje. Stochasticchemical kinetics and the total quasi-steady-state assumption: Application to the stochas-tic simulation algorithm and chemical master equation. The Journal of Chemical Physics,129(9):095105, 2008.

171. P. A. Maksym. Fast Monte Carlo simulation of MBE growth. Semiconductor Science andTechnology, 3(6):594, 1988.

172. Vincenzo Manca. Infobiotics. Information in Biotic Systems. Emergence, Complexity andComputation. Springer, 2013.

References 233

173. Luca Marchetti, Corrado Priami, and Vo H. Thanh. HRSSA – Efficient hybrid stochasticsimulation for spatially homogeneous biochemical reaction networks. Journal of Computa-tional Physics, 317:301–317, 2016.

174. George Marsaglia. Xorshift rngs. Journal of Statistical Software, 8(14), 2003.175. Ethan A. Mastny, Eric L. Haseltine, and James B. Rawlings. Two classes of quasi-

steady-state model reductions for stochastic kinetics. The Journal of Chemical Physics,127(9):094106, 2007.

176. I. Matheson, D.F. Walls, and C.W. Gardiner. Stochastic models of first order nonequilibriumphase transitions in chemical reactions. Journal of Statistical Physics, 12(1):21–34, 1975.

177. Makoto Matsumoto and Takuji Nishimura. Mersenne twister: A 623-dimensionally equi-distributed uniform pseudo-random number generator. ACM Transactions on Modeling andComputer Simulation, 8(1):3–30, 1998.

178. Sean Mauch and Mark Stalzer. Efficient formulations for exact stochastic simulation ofchemical systems. IEEE/ACM Transactions on Computational Biology and Bioinformatics,8(1):27–35, 2011.

179. Harley H. McAdams and Adam Arkin. Stochastic mechanisms in gene expression. PNAS,94(3):814–819, 1997.

180. Harley H. McAdams and Adam Arkin. It’s a noisy business! Genetic regulation at the nano-molar scale. Trends in Genetics, 15(2), 1999.

181. James M. McCollum, Gregory D. Peterson, Chris D. Cox, Michael L. Simpson, and Nagiza F.Samatova. The sorting direct method for stochastic simulation of biochemical systems withvarying reaction execution behavior. Computational Biology and Chemistry, 30(1):39–49,2006.

182. Donald A. McQuarrie. Stochastic approach to chemical kinetics. Journal of Applied Proba-bility, 4(3):413–478, 1967.

183. Bence Melykuti, Kevin Burrage, and Konstantinos C. Zygalakis. Fast stochastic simulationof biochemical reaction systems by alternative formulations of the chemical Langevin equa-tion. The Journal of Chemical Physics, 132(16):164109, 2010.

184. Leonor Menten and Maud Michaelis. Die kinetik der Invertinwirkung. Biochemistry Z,49:333–369, 1913.

185. Dimitrios Milios and Stephen Gilmore. Markov chain simulation with fewer random sam-ples. Electronic Notes in Theoretical Computer Science, 296:183–197, 2013.

186. Alvaro Moraes, Raul Tempone, and Pedro Vilanova. Hybrid chernoff tau-leap. MultiscaleModeling & Simulation, 12(2):581–615, 2014.

187. Alvaro Moraes, Raul Tempone, and Pedro Vilanova. Multilevel hybrid chernoff tau-leap.BIT Numerical Mathematics, 56(1):189–239, 2015.

188. Carl J. Morton-Firth and Dennis Bray. Predicting temporal fluctuations in an intracellularsignalling pathway. Journal of Theoretical Biology, 192:117–128, 1998.

189. Carl J. Morton-Firth, Thomas S. Shimizu, and Dennis Bray. A free-energy-based stochasticsimulation of the Tar receptor complex. Journal of Molecular Biology, 286:1059–1074,1999.

190. Brian Munsky and Mustafa Khammash. The finite state projection algorithm for the solutionof the chemical master equation. The Journal of Chemical Physics, 124(4):044104, 2006.

191. Brian Munsky and Mustafa Khammash. A multiple time interval finite state projection algo-rithm for the solution to the chemical master equation. Journal of Computational Physics,226(1):818–835, 2007.

192. Ivan Mura, Davide Prandi, Corrado Priami, and Alessandro Romanel. Exploiting non-Markovian bio-processes. Electronic Notes in Theoretical Computer Science, 253(3):83–98,2009.

193. James D. Murray. Mathematical Biology: I. An Introduction. Springer, 2002.194. James D. Murray. Mathematical Biology: II. Spatial Models and Biomedical Applications.

Springer, 2002.195. H. Frederik Nijhout, Michael C. Reed, Paula Budu, and Cornelia M. Ulrich. A mathematical

model of the folate cycle. The Journal of Biological Chemistry, 279(53):55008–55016, 2004.

234 References

196. Tomas Opplestrup, Vasily V. Bulatov, George H. Gilmer, Malvin H. Kalos, and Babak Sa-digh. First-passage Monte Carlo algorithm: Diffusion without all the hops. Physical ReviewLetters, 97(23):230602, 2006.

197. Richard J. Orton, Oliver E. Sturm, Vladislav Vyshemirsky, Muffy Calder, David R. Gil-bert, and Walter Kolch. Computational modelling of the receptor-tyrosine-kinase-activatedMAPK pathway. Biochemical Journal, 392(2):249, 2005.

198. Jugen Pahle. Biochemical simulations: Stochastic, approximate stochastic and hybrid appro-aches. Briefings in Bioinformatics, 10(1):53–64, 2009.

199. Gray Pearson, Fred Robinson, Tara B. Gibson, Bing-e Xu, Mahesh Karandikar, Kevin Ber-man, and Melanie H. Cobb. Mitogen-activated protein (MAP) kinase pathways: regulationand physiological functions. Endocrine Reviews, 22(2):153–183, 2001.

200. Juan M. Pedraza and Alexander van Oudenaarden. Noise propagation in gene networks.Science, 307(5717):1965–1969, 2005.

201. Xinjun Peng, Wen Zhou, and Yifei Wang. Efficient binomial leap method for simulatingchemical kinetics. The Journal of Chemical Physics, 126(26):224109, 2007.

202. Michel F. Pettigrew and Haluk Resat. Multinomial tau-leaping method for stochastic kineticsimulations. The Journal of Chemical Physics, 126(8):084101, 2007.

203. Joseph M. D. Porto, Stephen B. Gauld, Kevin T. Merrell, David Mills, Aimee E. Pugh-Bernard, and John Cambier. B cell antigen receptor signaling 101. Molecular Immunology,41(6-7):599–613, 2004.

204. William H. Press, Saul A. Teukolsky, William T. Vetterling, and Brian P. Flannery. NumericalRecipes 3rd Edition: The Art of Scientific Computing. Cambridge University Press, 2007.

205. Corrado Priami. Algorithmic systems biology. Communications of the ACM, 52(5):80–88,2009.

206. Corrado Priami and Melissa J. Morine. Analysis of Biological Systems. Imperial CollegePress, 2015.

207. Yang Pu, Layne T. Watson, and Yang Cao. Stiffness detection and reduction in discrete sto-chastic simulation of biochemical systems. The Journal of Chemical Physics, 134(5):054105,2011.

208. Raluca R. P. Purtan and Andreea Udrea. A modified stochastic simulation algorithm fortime-dependent intensity rates. In Proc. of Control Systems and Computer Science (CSCS),pages 365–369, 2013.

209. Alfio Quarteroni, Riccardo Sacco, and Fausto Salieri. Numerical Mathematics. Springer,2007.

210. Rajesh Ramaswamy, Nelido Gonzalez-Segredo, and Ivo F. Sbalzarini. A new class of highlyefficient exact stochastic simulation algorithms for chemical reaction networks. The Journalof Chemical Physics, 130(24):244104, 2009.

211. Rajesh Ramaswamy and Ivo F. Sbalzarini. A partial-propensity variant of the composition-rejection stochastic simulation algorithm for chemical reaction networks. The Journal ofChemical Physics, 132(4):044102, 2010.

212. Doraiswami Ramkrishna, Che-Chi Shu, and Vu Tran. New tau-leap strategy for acceleratedstochastic simulation. Industrial & Engineering Chemistry Research, 53(49):18975–18981,2014.

213. Christopher V. Rao and Adam P. Arkin. Stochastic chemical kinetics and the quasi-steady-state assumption: Application to the Gillespie algorithm. The Journal of Chemical Physics,118(11):4999–5010, 2003.

214. Christopher V. Rao, Denise M. Wolf, and Adam P. Arkin. Control, exploitation and toleranceof intracellular noise. Nature, 420:231–237, 2002.

215. Jonathan M. Raser and Erin K. O’Shea. Noise in gene expression: Origins, consequences,and control. Science, 309:2010–2013, 2005.

216. Muruhan Rathinam, Linda R. Petzold, Yang Cao, and Daniel T. Gillespie. Stiffness in sto-chastic chemically reacting systems: The implicit tau-leaping method. The Journal of Che-mical Physics, 119(24):12784–12794, 2003.

References 235

217. Muruhan Rathinam, Linda R. Petzold, Yang Cao, and Daniel T. Gillespie. Consistency andstability of tau-leaping schemes for chemical reaction systems. Multiscale Modeling & Si-mulation, 4(3):867–895, 2005.

218. Michael C. Reed, Rachel L. Thomas, Jovana Pavisic, S Jill. James, Cornelia M. Ulrich, andH. Frederik Nijhout. A mathematical model of glutathione metabolism. Theoretical Biologyand Medical Modelling, 5(8), 2008.

219. Haluk Resat, Steven H. Wiley, and David A. Dixon. Probability-weighted dynamic MonteCarlo method for reaction kinetics simulations. The Journal of Physical Chemistry B,105(44):11026–11034, 2001.

220. Marc R. Roussel and Rui Zhu. Validation of an algorithm for delay stochastic simulationof transcription and translation in prokaryotic gene expression. Physical Biology, 3:274–84,2006.

221. Howard Salis and Yiannis Kaznessis. Accurate hybrid stochastic simulation of a system ofcoupled chemical or biochemical reactions. The Journal of Chemical Physics, 122:054103,2005.

222. Howard Salis and Yiannis Kaznessis. An equation-free probabilistic steady-state approxima-tion: dynamic application to the stochastic simulation of biochemical reaction networks. TheJournal of Chemical Physics, 123(21):214106, 2005.

223. Lukasz Salwinski and David Eisenberg. In silico simulation of biological network dynamics.Nature Biotechnology, 22(8):1017–1019, 2004.

224. Asawari Samant, Babatunde A. Ogunnaike, and Dionisios G. Vlachos. A hybrid multis-cale Monte Carlo algorithm (HyMSMC) to cope with disparity in time scales and speciespopulations in intracellular networks. BMC Bioinformatics, 8(1):175, 2007.

225. Asawari Samant and Dionisios G. Vlachos. Overcoming stiffness in stochastic simulationstemming from partial equilibrium: A multiscale Monte Carlo algorithm. The Journal ofChemical Physics, 123(4):144114, 2005.

226. Werner Sandmann. Streamlined formulation of adaptive explicit-implicit tau-leaping withautomatic tau selection. In Proc. of Winter Simulation Conference, pages 1104–1112, 2009.

227. Kevin R. Sanft, Daniel T. Gillespie, and Linda R. Petzold. Legitimacy of the stochasticMichaelis-Menten approximation. IET Systems Biology, 5(1):58– 69, 2011.

228. Kevin R. Sanft and Hans G. Othmer. Constant-complexity stochastic simulation algorithmwith optimal binning. The Journal of Chemical Physics, 143(7):074108, 2015.

229. Friedrich Schlogl. Chemical reaction models for non-equilibrium phase transitions.Zeitschrift fur Physik, 253(2):147–161, 1972.

230. Tim Schulze. Kinetic Monte Carlo simulations with minimal searching. Physical Review E,65:036704, 2002.

231. Tim Schulze. Efficient kinetic Monte Carlo simulation. Journal of Computational Physics,227(4):2455–2462, 2008.

232. Marco Scotti, Lorenzo Stella, Emily J. Shearer, and Patrick J. Stover. Modeling cellular com-partmentation in one-carbon metabolism. WIREs Systems Biology and Medicine, 5(3):343–365, 2013.

233. Lee A. Segel. On the validity of steady state assumption of enzyme kinetics. Bulletin ofMathematical Biology, 50(6):579–593, 1988.

234. Rony Seger and Edwin G. Krebs. The MAPK signaling cascade. The FASEB Journal,9(9):726–35, 1995.

235. Mary Sehl, Alexander V. Alekseyenko, and Kenneth L. Lange. Accurate stochastic simula-tion via the step anticipation tau-leaping (SAL) algorithm. Journal of Computational Bio-logy, 16(9):1195–208, 2009.

236. Roger B. Sidje and Huy D. Vo. Solving the chemical master equation by a fast adaptive finitestate projection based on the stochastic simulation algorithm. Mathematical Biosciences,269:10–16, 2015.

237. Alexander Slepoy, Aidan P. Thompson, and Steven J. Plimpton. A constant-time kineticMonte Carlo algorithm for simulation of large biochemical reaction networks. The Journalof Chemical Physics, 128(20):205101, 2008.

236 References

238. Patrick Smadbeck and Yiannis Kaznessis. Stochastic model reduction using a modified Hill-type kinetic rate law. The Journal of Chemical Physics, 137:234109, 2012.

239. Michael W. Sneddon, James R. Faeder, and Thierry Emonet. Efficient modeling, simulationand coarse-graining of biological complexity with NFsim. Nature Methods, 8(2):177–83,2011.

240. Fabian Spill, Philip K. Maini, and Helen M. Byrne. Optimisation of simulations of sto-chastic processes by removal of opposing reactions. The Journal of Chemical Physics,144(8):084105, 2016.

241. Michael Stumpf, David J. Balding, and Mark Girolami. Handbook of Statistical SystemsBiology. Wiley, 2011.

242. Audrius B. Stundzia and Charles J. Lumsden. Stochastic simulation of coupled reaction-diffusion processes. Journal of Computational Physics, 127(168):196–207, 1996.

243. Kei Sumiyoshi, Kazuki Hirata, Noriko Hiroi, and Akira Funahashi. Acceleration of discretestochastic biochemical simulation using GPGPU. Frontiers in Physiology, 6(42), 2015.

244. Vikram Sunkara and Markus Hegland. An optimal finite state projection method. In Proc. ofInternational Conference on Computational Science, pages 1579–1586, 2010.

245. Zoltan Szallasi, Jorg Stelling, and Vipul Periwal. System Modeling in Cell Biology: FromConcepts to Nuts and Bolts. MIT Press, 2006.

246. Tamas Szekely, Kevin Burrage, Konstantinos C. Zygalakis, and Manuel Barrio. Efficientsimulation of stochastic chemical kinetics with the stochastic Bulirsch-Stoer extrapolationmethod. BMC Systems Biology, 8(1):71, 2014.

247. Kouichi Takahashi, Satya N. Vel Arjunan, and Masaru Tomita. Space in systems bio-logy of signaling pathways-towards intracellular molecular crowding in silico. FEBS Lett.,579(8):1783–8, 2005.

248. Kouichi Takahashi, Sorin Tanase-Nicola, and Pieter R. Ten Wolde. Spatio-temporal correla-tions can drastically change the response of a MAPK pathway. Proceedings of the NationalAcademy of Sciences, 107:2473–2478, 2010.

249. Kouichi Takahashi, Katsuyuki Yugi, Kenta Hashimoto, Yohei Yamada, Christopher J. Pickett,and Masaru Tomita. Computational challenges in cell simulation: a software engineeringapproach. IEEE Trans. on Intelligent Systems, 17(5):64–71, 2002.

250. Vo H. Thanh. On Efficient Algorithms for Stochastic Simulation of Biochemical Reaction Sy-stems. PhD thesis, University of Trento, Italy. http://eprints-phd.biblio.unitn.it/1070/, 2013.

251. Vo H. Thanh and Corrado Priami. Simulation of biochemical reactions with time-dependentrates by the rejection-based algorithm. The Journal of Chemical Physics, 143(5):054104,2015.

252. Vo H. Thanh, Corrado Priami, and Roberto Zunino. Efficient rejection-based simulation ofbiochemical reactions with stochastic noise and delays. The Journal of Chemical Physics,141(13), 2014.

253. Vo H. Thanh, Corrado Priami, and Roberto Zunino. Accelerating rejection-based simulationof biochemical reactions with bounded acceptance probability. The Journal of ChemicalPhysics, 144(22):224108, 2016.

254. Vo H. Thanh and Roberto Zunino. Parallel stochastic simulation of biochemical reactionsystems on multi-core processors. In Proc. of CSSim, pages 162–170, 2011.

255. Vo H. Thanh and Roberto Zunino. Tree-based search for stochastic simulation algorithm. InProc. of ACM-SAC, pages 1415–1416, 2012.

256. Vo H. Thanh and Roberto Zunino. Adaptive tree-based search for stochastic simulationalgorithm. International Journal of Computational Biology and Drug Design, 7(4):341–57,2014.

257. Vo H. Thanh, Roberto Zunino, and Corrado Priami. On the rejection-based algorithm forsimulation and analysis of large-scale reaction networks. The Journal of Chemical Physics,142(24):244106, 2015.

258. Vo H. Thanh, Roberto Zunino, and Corrado Priami. Efficient constant-time complexity al-gorithm for stochastic simulation of large reaction networks. IEEE/ACM Transactions onComputational Biology and Bioinformatics, 14(3):657–667, 2017.

References 237

259. Vo H. Thanh, Roberto Zunino, and Corrado Priami. Efficient stochastic simulation of bio-chemical reactions with noise and delays. The Journal of Chemical Physics, 146(8):084107,2017.

260. Philipp Thomas, Arthur V. Straube, and Ramon Grima. Communication: Limitations ofthe stochastic quasi-steady-state approximation in open biochemical reaction networks. TheJournal of Chemical Physics, 135(18):181103, 2011.

261. Philipp Thomas, Arthur V. Straube, and Ramon Grima. The slow-scale linear noise approxi-mation: an accurate, reduced stochastic description of biochemical networks under timescaleseparation conditions. BMC Systems Biology, 6(39), 2012.

262. Tianhai Tian and Kevin Burrage. Binomial leap methods for simulating stochastic chemicalkinetics. The Journal of Chemical Physics, 121(21):10356–10364, 2004.

263. Tianhai Tian and Kevin Burrage. Parallel implementation of stochastic simulation forlarge-scale cellular processes. In Proc. of the Eighth International Conference on High-Performance Computing in Asia-Pacific Region (HPCASIA), 2005.

264. G. M. Torrie and J. P. Valleau. Nonphysical sampling distributions in Monte Carlo free-energy estimation: Umbrella sampling. Journal of Computational Physics, 23(2):187–199,1977.

265. Nancy Trun and Janine Trempy. Fundamental Bacterial Genetics. Wiley-Blackwell, 2003.266. Mukhtar Ullah and Olaf Wolkenhauer. Stochastic Approaches for Systems Biology. Springer,

2011.267. Tomohiro Ushikubo, Wataru Inoue, Mitsumasa Yoda, and Masaki Sasai. Testing the tran-

sition state theory in stochastic dynamics of a genetic switch. Chemical Physics Letters,430(1-3):139–143, 2006.

268. Jeroen S. van Zon and Pieter R. ten Wolde. Green’s function reaction dynamics: a particle-based approach for simulating biochemical networks in time and space. The Journal ofChemical Physics, 123(23):234910, 2005.

269. Jeroen S. van Zon and Pieter R. ten Wolde. Simulating biochemical networks at the particlelevel and in time and space: Green’s function reaction dynamics. Physical Review Letter,94(12):128103, 2005.

270. Melissa Vellela and Hong Qian. Stochastic dynamics and non-equilibrium thermodynamicsof a bistable chemical system: the Schlogl model revisited. Journal of The Royal SocietyInterface, 6(39):925–940, 2009.

271. Christian L. Vestergaard and Mathieu Genois. Temporal Gillespie algorithm: Fast simu-lation of contagion processes on time-varying networks. PLoS Computational Biology,11(10):1004579, 2015.

272. Jose M. G. Vilar, Hao Y. Kueh, Naama Barkai, and Stanislas Leibler. Mechanisms of noise-resistance in genetic oscillators. PNAS, 99(9):5988–5992, 2002.

273. Dionisios G. Vlachos. Temporal coarse-graining of microscopic-lattice kinetic Monte Carlosimulations via tau-leaping. Physical Review E, 78:046713, 2008.

274. Holger Wagner, Mark Moller, and Klaus Prank. COAST: Controllable approximative sto-chastic reaction algorithm. The Journal of Chemical Physics, 125(17):174104, 2006.

275. William E. Wallace, Anthony J. Kearsley, and Charles M. Guttman. An operator-independentapproach to mass spectral peak identification and integration. Analytical Chemistry,76(9):2446–2452, 2004.

276. Darren J. Wilkinson. Stochastic Modelling for Systems Biology. CRC Press, 2nd edition,2011.

277. Verena Wolf, Rushil Goel, Maria Mateescu, and Thomas A. Henzinger. Solving the chemicalmaster equation using sliding windows. BMC Systems Biology, 4(42):687–735, 2010.

278. Olaf Wolkenhauer, Hiroaki Kitano, and Kwang-Hyun Cho. An introduction to systems bio-logy. IEEE Control Systems, 23(4):38–48, 2003.

279. Olaf Wolkenhauer and Mihajlo Mesarovic. Feedback dynamics and cell function: Why sys-tems biology is called systems biology. Molecular BioSystems, 1:14–16, 2005.

280. Peng Xin-jun and Wang Yi-fei. L-leap: accelerating the stochastic simulation of chemicallyreacting systems. Applied Mathematics and Mechanics, 28(10):1361–1371, 2007.

238 References

281. Yuting Xu and Yueheng Lan. The N-leap method for stochastic simulation of coupled che-mical reactions. The Journal of Chemical Physics, 137(20):204103, 2012.

282. Zhouyi Xu and Xiaodong Cai. Unbiased τ-leap methods for stochastic simulation of chemi-cally reacting systems. The Journal of Chemical Physics, 128(15):154112, 2008.

283. Yushu Yang, Muruhan Rathinam, and Jinglai Shen. Integral tau methods for stiff stochasticchemical systems. The Journal of Chemical Physics, 134(4):044129, 2011.

284. Christian A. Yates and Guido Klingbeil. Recycling random numbers in the stochastic simu-lation algorithm. The Journal of Chemical Physics, 138(9):094103, 1991.

285. Anatol M. Zhabotinsky. A history of chemical oscillations and waves. Chaos, 1(4):379–86,1991.


Recommended