- We are sorry, but NCBI web applications do not support your browser and may not function properly. More information

- Journal List
- NIHPA Author Manuscripts
- PMC2570191

# A Methodology For Performing Global Uncertainty And Sensitivity Analysis In Systems Biology

^{*}Corresponding author: Department of Microbiology and Immunology, 6730 Medical Science Building II, The University of Michigan Medical School, Ann Arbor, MI – 48109-0620. Phone: 734-647-7722 Fax: 734-647-7723. Email: ude.hcimu@enhcsrik

## Abstract

Accuracy of results from mathematical and computer models of biological systems is often complicated by the presence of uncertainties in experimental data that are used to estimate parameter values. Current mathematical modeling approaches typically use either single-parameter or local sensitivity analyses. However, these methods do not accurately assess uncertainty and sensitivity in the system as, by default they hold all other parameters fixed at baseline values. Using techniques described within we demonstrate how a multi-dimensional parameter space can be studied globally so all uncertainties can be identified. Further, uncertainty and sensitivity analysis techniques can help to identify and ultimately control uncertainties. In this work we develop methods for applying existing analytical tools to perform analyses on a variety of mathematical and computer models. We compare two specific types of global sensitivity analysis indexes that have proven to be among the most robust and efficient. Through familiar and new examples of mathematical and computer models, we provide a complete methodology for performing these analyses, both in deterministic and stochastic settings, and propose novel techniques to handle problems encountered during this type of analyses.

**Keywords:**Latin Hypercube Sampling (LHS), Partial Rank Correlation Coefficient (PRCC), Extended Fourier Amplitude Sensitivity Test (eFAST), Agent-Based Model (ABM), Sensitivity Index, Monte Carlo Methods, Aleatory Uncertainty, Epistemic Uncertainty

## 1. Introduction

Systems biology is the study of the interactions between the components of a biological system, and how these interactions give rise to the function and behavior of the system as a whole. The systems biology approach often involves the development of mathematical or computer models, based on reconstruction of a dynamic biological system from the quantitative properties of its elementary building blocks. The need to build mathematical and computational models is necessary to help decipher the massive amount of data experimentalists are uncovering today. The goal of the systems biologist or modeler is to represent, abstract, and ultimately understand the biological world using these mathematical and computational tools. Experimental data that are available for each system should guide, support, and shape the model building process. This can be a daunting task, especially when the components of a system form a very complex and intricate network.

Paraphrasing Albert Einstein, models should be as simple as possible, but not simpler. A parsimonious approach must be followed. Otherwise, if every mechanism and interaction is included, the resulting mathematical model will be comprised of a large number of variables, parameters, and constraints, most of them uncertain because they are difficult to measure experimentally, or are even completely unknown in many cases. Even when a parsimonious approach is followed during model building, available knowledge of phenomena is often incomplete, and experimental measures are lacking, ambiguous, or contradictory. So the question of how to address uncertainties naturally arises as part of the process. Uncertainty and sensitivity (US) analysis techniques help to assess and control these uncertainties.

Uncertainty analysis (UA) is performed to investigate the uncertainty in the model output that is generated from uncertainty in parameter inputs. Sensitivity analysis (SA) naturally follows UA as it assesses how variations in model outputs can be apportioned, qualitatively or quantitatively, to different input sources (Saltelli *et al.*, 2000). In this work we review uncertainty and sensitivity analysis techniques in the context of deterministic dynamical models in biology, and propose a novel procedure to deal with a particular stochastic, discrete type of dynamical model (i.e. an Agent-Based Model -ABM^{1}).

By deterministic model, we mean that the output of the model is completely determined by the input parameters and structure of the model. The same input will produce the same output if the model were simulated multiple times. Therefore, the only uncertainty affecting the output is generated by input variation. This type of uncertainty is termed *epistemic* (or subjective, reducible, type B uncertainty, see (Helton *et al.*, 2006)). Epistemic uncertainty derives from a lack of knowledge about the adequate value for a parameter/input/quantity that is assumed to be constant throughout model analysis. In contrast, a stochastic model will not produce the same output when repeated with the same inputs because of inherent randomness in the behavior of the system. This type of uncertainty is termed *aleatory* (or stochastic, irreducible, type A, see (Helton *et al.*, 2006)). This distinction has been and still is an area of interest and study in the engineering and risk assessment community (see (Apostolakis, 1990; Helton, 1997; Helton *et al.*, 2007; Parry & Winter, 1981; Pate'-Cornell, 1996)).

Many techniques have been developed to address uncertainty and sensitivity analysis: differential analysis, response surface methodology (RSM), Monte Carlo Analysis, and variance decomposition methods. See (Iman & Helton, 1988; Saltelli *et al.*, 2000) for details on each of these approaches and (Cacuci & Ionescu-Bujor, 2004; Draper, 1995; Helton, 1993; Saltelli *et al.*, 2005) for more general reviews on uncertainty and sensitivity analysys. Here we briefly illustrate the most popular, reliable, and efficient uncertainty analysis techniques and sensitivity analysis indexes. In section 2, we describe two uncertainty analysis techniques: a Monte Carlo approach and Latin hypercube sampling (LHS). In section 3, we describe two sensitivity analysis indexes: partial rank correlation coefficient (PRCC) and extended Fourier Aamplitude Sensitivity Test (eFAST): PRCC is a sampling-based method, while eFAST is a variance-based method. In section 4, we perform US analysis on both new and familiar deterministic dynamical models (quantifying epistemic uncertainty) from epidemiology and immunology, and discuss results. Section 5 presents an ABM, where we suggest a method to deal with the aleatory uncertainty that results from the stochasticity embedded in the model structure, to facilitate the use of PRCC and eFAST techniques. We use Matlab (Copyright 1984-2006 The MathWorks, Inc. Version 7.3.0.298 R2006b) to solve all the differential equation systems of section 4 and to implement most of the US analysis functions described throughout the manuscript (available on our website, http://malthus.micro.med.umich.edu/lab/usanalysis.html).

## 2. Uncertainty Analysis

Input factors for most mathematical models consist of parameters and initial conditions for independent and dependent model variables. As mentioned, these are not always known with a sufficient degree of certainty because of natural variation, error in measurements, or simply a lack of current techniques to measure them. The purpose of uncertainty analysis is to quantify the degree of confidence in the existing experimental data and parameter estimates. In this section we describe the most popular sampling-based approaches used to perform uncertainty analysis, Monte Carlo methods, and their most efficient implementation, namely the LHS technique.

### 2.1. Monte Carlo simulation

Monte Carlo (MC) methods are popular algorithms for solving various kinds of computational problems. They include any technique of statistical sampling employed to approximate solutions to quantitative problems. A MC simulation is based on performing multiple model evaluations using random or pseudo-random numbers to sample from probability distributions of model inputs. The results of these evaluations can be used to both determine the uncertainty in model output and to perform SA. A large body of literature exists on the use of expert review processes to characterize epistemic uncertainty associated with poorly known model parameters (see for example (Cooke, 1991; Evans *et al.*, 1994; Hora & Iman, 1989; McKay & Meyer, 2000)). For each parameter, sampling is guided by the specification of a probability density function (pdf) (i.e. normal, uniform, lognormal, etc.), depending on existing data and *a priori* information. If there are no *a priori* data, a natural choice is a uniform distribution (assigning some hypothetical, but large range with minimum and maximum values for the parameters). If biological knowledge exists suggesting a more frequent or expected value for a parameter, a normal pdf would be the best choice (setting the variance of the distribution as large as needed).

Several sampling strategies can be implemented to perform uncertainty analysis, such as random sampling, importance sampling or LHS (Helton & Davis, 2003; Mckay *et al.*, 1979). To recreate input factor distributions through sampling, a large number of samples are likely required. If too few iterations are performed, not all values may be represented in the samples or values in the outer ranges may be under-sampled. The LHS algorithm was specifically developed to address this problem and it is by far the most popular sampling scheme for UA (Morris, 2000).

### 2.2. Latin Hypercube Sampling – LHS

Latin hypercube sampling (LHS) belongs to the MC class of sampling methods, and was introduced by McKay et al. (Mckay *et al.*, 1979). LHS allows an un-biased estimate of the average model output, with the advantage that it requires fewer samples than simple random sampling to achieve the same accuracy (Mckay *et al.*, 1979). LHS is a so-called *stratified sampling without replacement* technique, where the random parameter distributions are divided into *N* equal probability intervals, which are then sampled. *N* represents the sample size. The choice for *N* should be at least *k*+1, where *k* is the number of parameters varied, but usually much larger to ensure accuracy. If the interval of variation for some parameter is very large (several orders of magnitude), the sampling can be performed on a log scale to prevent under-sampling in the outer ranges of the interval where the parameter assumes very small values (see Supplement C and Figure C.1 and C.2 online).

The LHS method assumes that the sampling is performed independently for each parameter, although a procedure to impose correlations on sampled values has also been developed (Iman & Conover, 1982; Iman & Davenport, 1982). The sampling is done by randomly selecting values from each pdf (Figure 1A). Each interval for each parameter is sampled exactly once (without replacement), so that the entire range for each parameter is explored (Figure 1A). A matrix is generated (which we call the LHS matrix) that consists of *N* rows for the number of simulations (sample size) and of *k* columns corresponding to the number of varied parameters (Figure 1B). *N* model solutions are then simulated, using each combination of parameter values (each row of the LHS matrix, Figure 1B). The model output of interest is collected for each model simulation. Different model outputs can be studied if more than one model output is of interest.

## 3. Sensitivity Analysis

Sensitivity analysis (SA) is a method for quantifying uncertainty in any type of complex model. The objective of SA is to identify critical inputs (parameters and initial conditions) of a model and quantifying how input uncertainty impacts model outcome(s). When input factors such as parameters or initial conditions are known with little uncertainty, we can examine the partial derivative of the output function with respect to the input factors. This sensitivity measure can easily be computed numerically by performing multiple simulations varying input factors around a nominal value. This technique is called a local SA because it investigates the impact on model output, based on changes in factors only very close to the nominal values. In biology, input factors are often very uncertain and therefore local SA techniques are not appropriate for a quantitative analysis; instead global SA techniques are needed. These global techniques are usually implemented using Monte Carlo simulations and are, therefore, called sampling-based methods.

Different SA techniques will perform better for specific types of mathematical and computational models. A natural starting point in the analysis with sampling-based methods would be to examine scatter plots. Scatter plots enable graphic detection of nonlinearities, non-monotonicities, and correlations between model inputs and outputs. See (Helton & Davis, 2002; Helton *et al.*, 2006; Hora & Helton, 2003; Kleijnen & Helton, 1999; Storlie & Helton, 2008a; Storlie & Helton, 2008b) for a review on the indexes listed in the next paragraph.

For linear trends, linear relationship measures that work well are Pearson correlation coefficient (CC), Partial Correlation Coefficients (PCC) and Standardized Regression Coefficients (SRC). For nonlinear but monotonic relationships between outputs and inputs, measures that work well are based on rank transforms^{2} such as Spearman Rank Correlation Coefficient (SRCC), Partial Rank Correlation Coefficient (PRCC) and Standardized Rank Regression Coefficients (SRRC). For nonlinear non-monotonic trends, methods based on decomposition of model output variance are the best choice. Examples of these methods are the Sobol method and its extended version based on (quasi) random numbers and an *ad hoc* design (see (Saltelli, 2002) for details), the Fourier Amplitude Sensitivity Test (FAST) and its extended version (eFAST). Aside from those listed, there are alternative methods available that are less affected by nonmonotonic relationships between the inputs and the output, e.g. common means (CMNs), common distributions or locations (CLs), common medians (CMDs) and statistical independence (SI). These methods are based on gridding (placing grids on a scatter plot) to evaluate any non-randomness in the distribution of points across the grid cells and they are generally less computationally expensive than variance-based methods (such as eFAST).

In general, the computational execution time of the model is the major concern when performing US analysis. Screening methods, such as Morris (see (Morris, 1991)), are global and computationally compatible: they represent adequate available tools to efficiently address the problem, if the model is very large and the execution time is prohibitive (several hours or days), as it is usually the case for Agent- Based Models (see below).

We will focus and implement only PRCC and eFAST as two examples of SA methods. PRCC and SRRC appear to be, in general, the most efficient and reliable (giving similar results) among the sampling-based indexes (see (Saltelli & Marivoet, 1990)) while eFAST has proven to be one of the most reliable methods among the variance-based techniques (Saltelli, 2004), although computationally expensive (see (Ratto *et al.*, 2007; Tarantola *et al.*, 2006)).

It is important to note that PRCCs and variance decompositions obtained with eFAST measure two very different model properties. Specifically, PRCCs provide a measure of monotonicity after the removal of the linear effects of all but one variable. In contrast, the results obtained with eFAST returns measures of fractional variance accounted for by individual variables and groups of variables. Ideally both indexes should be calculated in order to have a complete and informative US analysis.

We review details for both PRCC and eFAST in the next section. We tested the correctness of our matlab implementation of LHS\PRCC and eFAST by running similar experiments with the softwares SaSat (see (Hoare *et al.*, 2008)) and SimLab (see (SimLab, 2006)), or comparing with known results for eFAST (see Ishigami function, pages 41-42 in (Saltelli *et al.*, 2000)) (data not shown).

### 3.1. Partial Rank Correlation Coefficient (PRCC)

Correlation provides a measure of the strength of a linear association between an input and an output. A correlation coefficient (CC) between *x _{j}* and

*y*is calculated as follows:

and varies between −1 and +1. *Cov*(*x _{j}*,

*y*) represents the covariance between

*x*and

_{j}*y*, while

*Var*(

*x*) and

_{j}*Var*(

*y*) are respectively the variance of

*x*and the variance of

_{j}*y*( and are the respective sample means). If

*x*and

_{j}*y*are the raw data, then the coefficient

*r*is called sample or Pearson correlation coefficient (Figure 1C). If the data are rank-transformed, the result is a Spearman or rank correlation coefficient (Figure 1C). It is important to note that the process of rank-transforming data assumes that sampled model inputs are real-valued or can adopt many possible values. If a parameter takes only integer values and the range of possible values it can assume is less than

*N*, there is insufficient information to break ties during ranking, resulting in poor correlations. We are currently pursuing methods to handle this problem

^{3}.

Partial correlation characterizes the linear relationship between input *x _{j}* and output

*y*after the linear effects on

*y*of the remaining inputs are discounted. The PCC between

*x*and

_{j}*y*is the CC between the two residuals (

*x*−

_{j}*$\widehat{x}$*) and (

_{j}*y*−

*ŷ*), where

*$\widehat{x}$*and

_{j}*ŷ*are the following linear regression models:

Similarly to PCC, Partial Rank Correlation performs a partial correlation on rank-transformed data: *x _{j}* and

*y*are first rank transformed, then the linear regression models described in Eq. (2) are built. PRCC is a robust sensitivity measure for nonlinear but monotonic relationships between

*x*and

_{j}*y*, as long as little to no correlation exists between the inputs (see

*Uncertainty and sensitivity functions and implementation*on our website http://malthus.micro.med.umich.edu/lab/usanalysis.html for the use of scatter plot functions to enable graphic detection of non-monotonicities).

By combining the uncertainty analyses with PRCC, we are able to reasonably assess the sensitivity of our outcome variable to parameter variation (see for example (Blower & Dowlatabadi, 1994; Saltelli, 2004)). Figure 2 shows an example of a standard LHS-PRCC scheme, scatter plots with correlation indexes (Pearson, Spearman and PRCC, see Figure 2C) and p-values (see the titles of the scatter plots in Figure 2C) based on a classic ODE in population dynamics: a predator-prey (or Lotka-Volterra) model. The Lotka-Volterra model is the simplest model of predator-prey interactions and was developed independently by Lotka (1925) and Volterra (1926):

It has two state variables (Q, P) and several parameters. Q represents the density of prey, P represents the density of predators, *α* is the intrinsic rate of prey population increase, *β* is the predation rate coefficient, *σ* is the predator mortality rate, and *δ* is the reproduction rate of predators per prey consumed. As an example, we assume that these four parameters follow normal probability density functions (Figure 2A) with means given by

and initial conditions as shown in Eqs. (3)-(4). Standard deviations for parameters *α* and *δ* are set very small (i.e. std=0.01) while parameters *β* and *σ* are varied in a larger range (i.e., std=0.2). LHS is performed following the scheme below

The sample size N is set to 1000. Figure 2A shows the cumulative distribution functions (CDFs) for each parameter, while Figure 2B shows the outputs ((Q(t)-prey and P(t)-predator) over time corresponding to the LHS scheme illustrated in Figure 2A.

### 3.2. Inference on PRCCs

Significance tests can be performed to assess if a PRCC is significantly different from zero (thus, even small correlations may be significant) and if two PRCC values are significantly different from each other. Each PRCC (γ) generates a value *T* according to the following statistic (see (Anderson, 2003), pp. 143)

where *T* follows a *t* of Student distribution with (*N*−2−*p*) degrees of freedom. *N* is the sample size and *p* is the number of inputs/parameters whose effects are discounted when the PRCC is calculated. For example, if we vary 6 inputs/parameters (*x _{i}*,

*i*= 1, 2,…., 6) in LHS,

*p*would be equal to 5 (

*PRCC*(

*x*,

_{i}*y*) =

*γ*

_{xiy}_{/}

*,*

_{xj}*j*= 1,…,6

*j*≠

*i*). Equation (7) is exact for linear partial correlation when the inputs and output are normally distributed, but is a large-sample approximation otherwise. Fisher showed that the following transformation of a sample Pearson correlation coefficient

*r*

is normally distributed with mean equal to the unknown Pearson correlation of the population (*μ*) and standard deviation equal to
$\frac{1}{\sqrt{N-3}}$. In order to test if two Pearson correlation coefficients are different, the log transformation in Eq. (8) is applied to the respective sample Pearson correlation coefficients *r _{1}* and

*r*and the following statistic z is calculated (z-test):

_{2}where *N*_{1} and *N*_{2} are the respective sample sizes. Since the distribution of sample partial correlation coefficients is of the same form as that of Pearson correlation coefficients, the z statistic given in Eq. (9) can be used to compare them (after applying the log transformation (8) to the partial correlation coefficients (*pcc*')):

where *N*_{1} and *N*_{2} are the respective sample sizes and *p*_{1} and *p*_{2} are the respective inputs/parameters whose effects are discounted when *pcc _{1}* and

*pcc*are calculated. The extension of Eq. (10) to partial rank correlation coefficients can be inferred from Anderson (see (Anderson, 2003), pp. 144).

_{2}### 3.3. Extended Fourier Amplitude Sensitivity test – eFAST

Extended FAST (eFAST), developed by Saltelli et al. (Saltelli, 2004; Saltelli & Bolado, 1998; Saltelli *et al.*, 2000; Saltelli *et al.*, 1999), is based on the original Fourier Amplitude Sensitivity Test (FAST) developed by Cukier et al. (Collins & Avissar, 1994; Cukier *et al.*, 1973; Schaibly & Shuler, 1973). eFAST is a variance decomposition method (analogous to ANOVA): input parameters are varied, causing variation in model output. This variation is quantified using the statistical notion of variance:
${s}^{2}=\frac{\text{\u2211}_{i=1}^{N}{({y}_{i}-\stackrel{-}{{\displaystyle y}})}^{2}}{N-1}$ where *N*=sample size (or equivalently, total number of model runs), y* _{i}*=

*i*

^{th}model output, =sample mean. The algorithm then partitions the output variance, determining what fraction of the variance can be explained by variation in each input parameter (i.e. partial variance). Partitioning of variance in eFAST works by varying different parameters at different frequencies, encoding the identity of parameters in the frequency of their variation (see Supplement A.1 for details). Fourier analysis then measures the strength of each parameter's frequency in the model output. Thus, how strongly a parameter's frequency propagates from input, through the model, to the output serves as a measure of the model's sensitivity to the parameter.

The sampling procedure implemented in eFAST defines a sinusoidal function of a particular frequency for each input parameter (i.e. a *search curve*), *x* = *f* (*j*), *j* = 1,2,…, *N _{S}*, that assigns a value to

*x*based on the sample number 1 through the total number of samples per search curve,

*N*. The choice of sinusoidal function depends on the distribution of parameter values desired (e.g. uniform, normal, etc.). The frequencies assigned to parameters must meet several criteria so that they can be distinguished during Fourier analysis. See Supplement A.1 for a detailed discussion of how search curves are specified and frequencies are chosen. The minimum recommended value for

_{s}*N*is 65 (see (Saltelli

_{S}*et al.,*2000), p. 187). Due to the symmetry properties of trigonometric functions, the sinusoidal function will eventually repeat the same samples. A

*resampling*scheme is implemented to avoid this inefficiency (Saltelli

*et al.*, 1999): eFAST algorithm is repeated

*N*(the resampling size) times with different search curves specified by introducing a random phase shift into each sinusoidal function. So, the total number of model simulations,

_{R}*N*, is given by

*N*=

*N*, where

_{S}x k x N_{R}*k*is the number of parameters analyzed.

As an example, in Figure 3, we illustrate the steps within the eFAST algorithm to the Lotka-Volterra model described in section 3.1. We use 257 samples per search curve with no resampling (i.e. *N _{S}* =257,

*N*1). Parameter σ is taken as the parameter of interest. The algorithm assigns parameter σ a frequency of 31, and parameter β a frequency of 2. For simplicity, parameters α (frequency = 1) and δ (frequency = 3) are not illustrated. Figure 3A illustrates this sampling step. Each sampled parameter combination is then used to solve the model (Figure 3B).

_{R}=*Panel A*: Input Parameter Sampling: Parameters are varied according to a sinusoidal function based on run number. Note that the shapes of these

**...**

The primary advantage of the eFAST method over the original FAST is the ability to calculate both the first-order sensitivity and total-order sensitivity of each input parameter (see Supplement A.2 online for details). A first-order sensitivity index, *S _{i}*, of a given parameter

*i*, is calculated as the variance at a particular parameter's unique frequency (and harmonics of that frequency) divided by total variance (Figure 3D, white pie-slice). First, variance ( ${s}_{i}^{2}$) is calculated from the Fourier coefficients at the frequency of interest, j,

then, the first-order *S _{i}* is calculated as a fraction of total variance:

This index represents the fraction of model output variance explained by the input variation of a given parameter. To estimate the total-order sensitivity index, *S _{Ti}*, of a given parameter

*i*, eFAST first calculates the summed sensitivity index of the entire complementary set of parameters (i.e. all parameters except

*i*) using their identification frequencies (Figure 3D, black pie-slice).

*S _{Ti}* is then calculated as the remaining variance after the contribution of the complementary set,

*S*, is removed (Figure 3D, gray pie-slice):

_{ci}This includes higher-order, nonlinear interactions between the parameter of interest and the complementary set of parameters. eFAST indexes can also be used to determine the degree of additivity of a model (see Supplement A.3 online for details).

#### 3.3.1. Inference on eFAST and the dummy parameter

Equation (7) allows statistical inference on PRCCs. Since an equivalent test for variance-based sensitivity indexes is not available, we propose a novel method based on dummy parameters for determining the significance of eFAST first- and total-order indexes. The use of dummy parameters is a standard practice in screening methods (see Chapter 4 in (Saltelli *et al.*, 2000)), although, to our knowledge, it has never been applied in the context of eFAST with the purpose of testing the significance of first and total-order sensitivity coefficients.

eFAST implements random resampling (N_{R}) of search curves for more efficient parameter sampling. Because different search curves will produce different combinations of parameter values, different search curves will lead to slightly different sensitivity measures. We take advantage of these repeated measures to perform statistical tests comparing eFAST sensitivity indexes. The algorithm already performs these repeated measures, thus the statistical tests entail no additional computationally intensive model simulations.

The eFAST method artifactually produces small but non-zero sensitivity indexes for parameters to which the model is completely independent. This is also true for the PRCC method. To illustrate this point, we run an example sensitivity analysis where we include a negative-control “dummy” parameter. This dummy parameter does not appear in the model equations and thus does not affect the model in any other way, so should ideally be assigned a sensitivity index of zero. Figure 4 shows eFAST and PRCC SA results with the use of a dummy parameter on the Lotka-Volterra model discussed in Sections 3.1.

The eFAST algorithm assigns this dummy parameter a small but non-zero first-order sensitivity index (*S _{dummy}*= 0.003), and total-order sensitivity index (

*S*) of approximately 0.11 (Figure 4A). The non-zero first-order index,

_{Tdummy}*S*, likely derives from aliasing and interference effects (see Supplement A.1 online). The assignment of a larger artifactual value to the total-order index,

_{dummy}*S*, is more complicated, as this artifact is derived from imprecise simplifying assumptions used to calculate the total-order index (see Supplement A.4 online). Since we cannot test if those values are significantly different from zero, by taking a dummy parameter as the parameter of interest, we propose a way to quantify these artifacts and test for significance. Parameters with a total-order sensitivity index less than or equal to that of the dummy parameter should be considered not significantly different from zero.

_{Tdummy}We propose using a *two-sample t-test*^{4} on data generated by resampling the eFAST search curve to determine whether the sensitivity indexes of a parameter of interest are significantly different from the indexes calculated for the dummy parameter. The t-test compares two distributions, the
${S}_{i}^{j}$ or
${S}_{{T}_{i}}^{j}$ (*j* = 1, 2,…, *N _{R}*) with the
${S}_{\text{dummy}}^{j}$ or
${S}_{{T}_{\text{dummy}}}^{j}$ (

*j*= 1, 2,…,

*N*) (see Supplement A.5 online for more details).

_{R}Since N_{R} is usually small (for ease of computation), the adequacy of this t-test procedure is limited, considering that the normality assumption^{4} is unlikely to hold for the first and total order sensitivity indexes. However, it can indicate on whether a small total-order sensitivity index should be considered an artifact of eFAST total-order estimation. The two-sample t-test might also be used to determine whether the indexes of multiple parameters of interest are significantly different from each other, allowing qualitative comparisons of effect size. Figure 4A illustrates the use of resampling and statistical significance testing. The LHS/PRCC algorithm (Figure 4B) assigns a PRCC value to the dummy parameter that is not significantly different from zero (0.04054, p-value>0.05 according to the statistic (7)).

Although not relevant for our examples, multiple test corrections should be considered if a large number of tests are performed in the US analysis (see Supplement B for details).

### 3.4. Is there an optimal choice for N?

There is no *a priori* exact rule for determining the adequate sample size for either LHS-PRCC or eFAST. A minimum value is known for both: *N*=*k* +1 for LHS and *N _{S}*=65 for eFAST, where

*k*is the number of uncertain parameters that are varied. A way to overcome the problem is to systematically increase the sample size and check if the sensitivity index used (in our case either PRCC or eFAST

*Si*and

*S*) can consistently capture and rank a similar set of most important effects. If that holds between two consecutive experiments, there is no evident advantage in increasing the sample size, because the conclusions (in terms of US analysis) will be the same. A measure of this type of correlation is given by the top-down coefficient of concordance (TDCC).

_{Ti}TDCC is described in (Iman & Conover, 1980; Iman & Conover, 1987) where a concordance measure is designed to be more sensitive to agreement on the top rankings from a set of *h* different rankings. It is based on Savage scores (Savage, 1956), defined as follows:

where *i* is the rank assigned to the *i*th order statistic in a sample of size k^{5} (in our case *k* is the number of parameters varied).

If h=2, the top-down correlation *r _{T}* is the simple correlation coefficient computed on Savage scores. If h>2,

*r*is the Kendall's coefficient of concordance (still computed on Savage scores). TDCC asymptotically follows a normal distribution, specifically ${r}_{T}\phantom{\rule{0.1em}{0ex}}\sqrt{n-1}:\phantom{\rule{0.3em}{0ex}}N(0,1)$. We implemented TDCC following (Iman & Conover, 1980; Iman & Conover, 1987), and it can be used for two purposes:

_{T}- Selecting for an optimal sample size for LHS-PRCC and eFAST (see examples in section 4)
- Comparing PRCC and eFAST to see if they are in agreement (not implemented).

An alternative method to assess the adequacy of sample size in LHS is based on the use of t-distribution with replicated sampling (see Sections 6 and 7 in (Helton *et al.*, 2000)). The process of ranking in the Partial Rank Correlation method refers to ranking the raw data from the LHS matrix and model output in descending order to calculate the PRC coefficient. Here and elsewhere, when we state that a set of parameters is the “most important” in significance affecting model output, we mean that after listing the sensitivity indexes in descending order by value for either PRCC or eFAST, these parameters are always greatest in absolute value. PRC coefficients can be formally ranked by z-test (see Eq. (10)). We propose the use of a pairwise t-test and a dummy parameter to rank *S _{i}* and

*S*

_{Ti}^{6}.

### 3.5. Time varying sensitivity indexes

PRCC and eFAST indexes can be calculated for multiple time points and plotted versus time. This allows us to assess whether significances of one parameter occur over an entire time interval during model dynamics (this is the usual presentation of SA indexes for dynamical systems analysis). This analysis can be performed in two ways. If specific time points are known to be crucial, then only those will be checked for significance. For example, a model of acute virus dynamics will focus on the first days post-infection. If we model a slow-growing pathogen (like *Mycobacterium tuberculosis*), we might be interested in later time points. If no particular time effect is known, the analysis can be done in an exploratory way, looking for any significant time-dependent relationships throughout the entire time course. Figure 5 shows an example of PRCCs plotted over time: the US analysis is performed on the ODE model described in Section 4.3 (only five parameters are shown). The grey area in Figure 5 indicates PRCCs that are not significantly different from zero (based on the statistic (7)). A similar plot can be displayed for eFAST indexes *S _{i}* and

*S*(not shown).

_{Ti}**...**

In this example we see that the effect of parameter k_{2} (maximum rate of infection of resting macrophages due to extracellular bacteria) changes with respect to bacterial load over time: it is negatively correlated (very strong PRCC, almost perfect negative correlation) right after infection (early time points), and then it becomes positively (very strongly) correlated as the infection progresses to its steady state. The positive sign of its PRCC indicates that if we increase parameter *k _{2}*, bacterial load increases (and vice versa). The negative sign suggests that if we increase it, bacterial load decreases (and vice versa). So, the rate of infection of resting macrophages by

*M. tuberculosis*(

*k*) is initially responsible for lowering the extracellular bacterial load (likely due to bacterial uptake). Then it becomes the most important source of infection, likely due to bacteria proliferation: the more bacteria internalized by macrophages, the more bacteria are released into the extracellular domain due to overproliferation and subsequent macrophage bursting or killing. Other mechanisms, such as the maximum rate of immature dendritic cells (IDCs) activation/maturation/migration from the lung to the lymph node compartment (

_{2}*δ*

_{10}), only become significant later during infection (from 300 days on, see Figure 5).

### 3.6. Standard versus explorative US analysis

US analysis can be implemented by choosing a specific reference output for calculating sensitivity indexes (for example viral or bacterial load, if we track the progression of an infection). We define this type of approach a *standard* US analysis.

US analysis can be run on a list of several possible model outputs and the results can then be studied and classified depending on the goal of the analysis. We define this type of approach an *explorative* US analysis. For example, if the model comprises variables at different scales (e.g. intra-cellular vs extra-cellular, or molecular vs. cellular) or in different compartments (e.g. different organs), we can choose outputs to investigate effects of parameter changes on different scales or in different compartments (see section 4.3 for details). An intra-compartmental/intra-scale US analysis investigates how certain outputs generated in a specific compartment (scale) are affected by variations of parameters belonging to the same compartment (scale). An example of intra-compartmental US analysis can be to study how the rate of infection of resting macrophages in the lung affects the bacterial load in the lung (see Section 4.3).

Inter-compartmental US analysis explores how certain outputs generated in one compartment in a multi-compartment/scale model are affected by variations of parameters belonging to a different compartment/scale (for example how the percentage of particular immune cells migrating from the lymph node - compartment 1 - affects the bacterial load in the lung - compartment 2, see Section 4.3). The analysis can be performed either looking at specific inter- and intra-compartmental effects in which we are interested, or all the significant indexes can be listed and then classified as inter- or intra-compartmental effects. An example of multiscale sensitivity analysis can be found in (Chang *et al.*, to appear in *Infection and Immunity;* Kirschner *et al.*, 2007).

Whether a standard or an explorative US analysis is performed, the set of parameters that are varied is always under investigation and the parameters are continuously varied. The difference is in the goal of the analysis. Standard US analysis is applied for each of the examples shown in section 4, while explorative US analysis is only applied to the two compartmental ODE model of *Mycobacterium tuberculosis* infection (section 4.3).

## 4. Uncertainty and Sensitivity Analysis Examples

Since the relationship (including monotonicity) between parameters and outputs is not typically known *a priori*, then in principle using both PRCC and eFAST methods is ideal. The drawback is that issues related to accuracy of results and computational costs may arise. To illustrate the differences between these methods we implement both PRCC and eFAST and compare the results for different types of mathematical models in biology: three different ordinary differential equation (ODE) systems (Lotka-Volterra, cell population dynamics in HIV infection, and *Mycobacterium tuberculosis* infection), a delay differential equation (DDE) system in theoretical immunology, and an agent-based model (ABM) of granuloma formation. The results are model-specific. However, in the discussion at the end of the manuscript, we suggest a general approach to balance accuracy of analysis and computational costs.

### 4.1. Emphasizing PRCC is not accurate when non-monotonicities are present: Lotka-Volterra model

We now revisit the predator-prey (or Lotka-Volterra) model described in section 3.1. Our goal is to focus on two of the four parameters of model (3)-(4) and show how PRCC and eFAST give contradictory results, even with a simple prey-predator model. The cumulative distribution functions (CDFs) of the parameter samples resulting from the LHS scheme are illustrated in Figure 2A. We set the sample size N to 1000. Each parameter is independently sampled from normal pdfs (see Eq. (5)) and the model described by Eqs. (3)-(4) is simulated for each parameter combination. Figure 6A shows the Lotka-Volterra model outputs (Eq. (4), *P(t)*) corresponding to the LHS matrix and scheme defined in Eq. (5). The vertical dashed line represents the time point chosen to perform the sensitivity analysis (time=9 days). In order to test for non-linearities and non-monotonicities between input variations (parameter σ) and output results (*P(t)* (predator), we produce scatter plots of the raw or ranked output (y axis) versus raw or ranked input (x-axis, see Panel B, C and D of Figure 6).

*Panel A:*plot of the output (1000 runs) of the Lotka-Volterra model. The y axis represents variable P(t), x axis represents time (days).

*Panel B*: scatter plot (linear scale) of parameter σ (x axis) and the “slice” of the output

**...**

Figure 6B shows the linear scatter plot of the 1000 output values at day 9 plotted versus input variation. Figure 6C shows the linear scatter plot of the rank-transformed data, while the scatter plot of two different residuals^{7} used to calculate PRCC is shown in Figure 6D (see Figure legends for details). There is clearly a non-monotonic, nonlinear relationship between σ and the output *P(t)* at time t=9 (Figure 6B-C-D) and the corresponding PRCC is not significantly different from zero (Figure 6D, PRCC=-0.0575, p>0.06).

We designed the simulations varying parameters β and σ over large intervals, while parameters α and δ are allowed to vary around their respective mean value following a normal pdf with a very small standard deviation (e.g. 0.01). We tested for significant PRCCs for all four parameters of the Lotka-Volterra model. By construction, parameters α and δ should not significantly affect the output (as confirmed by PRCC columns in Table I, where all PRCCs for α and δ are between −0.05 and 0.05 and not significant, except for the PRCC of α for output Q (-0.0916, p<0.004).

Parameters β and σ should significantly affect the output: confirmed for the model output Q(t) (first PRRC column of Table I, 0.5586 and −0.7272, with p-values<0.001) but because of the non-monotonicity shown in Figure 6D, PRCC of σ versus the output P(t) is not significant (-0.0575, p-value>0.06).

On the other hand, the first- (S_{i}) and total-order (S_{Ti}) sensitivity indexes returned by eFAST are the highest for σ (see Table I, eFAST columns), suggesting that the contribution of σ to the variability of the output P(t) is in fact the most important. According to condition (A.9) in the Supplement A.5, the sampling size for each curve (N_{S}=65) ensures accurate Si and S_{Ti} estimates (average CV_{Si} <6% and CV_{STi} <2% for both outputs).

#### Summary

These contradictory results show how, even with a simple model, non-linear and non-monotonic relationship between input and output variation can lead to misleading conclusions during sensitivity analyses if PRCC is used.

### 4.2. Sampling (N_{S}) and resampling (N_{R}) in eFAST: an HIV-ODE model example

We next examine a model for the interaction of HIV with CD4+ T cells (see (Perelson *et al.*, 1993)). It describes four cell population concentrations in the blood: uninfected T cells (T), latently infected T cells (T*, i.e. cells that contain the provirus but are not producing new virus), actively infected T cells (T**, i.e. cells that are producing virus) and free virus (V). The model comprises a total of nine parameters (see Table II) and the dynamics of the various populations are given by

where *T*(0) = 1000 *mm*^{−3}, *T**(0) *= T*^{**}(0) *=* 0 and *V*(0) = 10^{−3} *mm*^{−3}. The model admits two equilibrium solutions: an uninfected steady state (E_{B}, with no virus present) and an endemically infected steady state (E_{P}). *N _{V}* is a transcritical bifurcation parameter for E

_{B}, or in other words the system converges to the uninfected steady state E

_{B}only if

The system (15)-(18) reaches the endemically infected steady state E_{P} if *N _{V}> N_{crit}*. The ranges over which parameters are varied (uniform pdfs) determine whether condition (19) is met or not. So, the parameters

*N*,

_{V}*μ*,

_{T}*μ*,

_{V}*k*

_{1},

*k*

_{2}(those included in (19)) should appear significant in our uncertainty and sensitivity analysis, depending on the intervals defined in Table II (

*Range*column). Analytically, further conditions defined on other parameters play a role in determining the stability of E

_{P}: whether they show up or not in the US analysis depends on the range over which they are varied (see Supplement E for an example with PRCC).

Parameter values given in Table II (*Baseline* column) produce a stable E_{P}, but stability can be lost through Hopf bifurcations occurring for several parameter combinations (see (Perelson *et al.*, 1993) for details).

We ran LHS/PRCC and eFAST analyses for different sample sizes. For LHS/PRCC we used the following sample sizes 100, 200, 300, 400, 500 and 1000, while for eFAST we set N_{S} respectively to 65, 129, 257, 513, 1025 and 2049 (with N_{R}=5). We test the adequacy of the sample size for both PRCC and eFAST with the top-down coefficient of concordance (TDCC). The number of parameters varied is 8, so the TDCC gives only a trend (since the statistic is only correct for large values of *k*, i.e. asymptotically). The results are summarized below, while all the details can be found in Supplement D online (Table D.1-D.7).

#### 4.2.1. PRCC and eFAST results for HIV model

PRCC results show how parameters *N _{V}*,

*k*,

_{2}*μ*(-) are consistently significant and the most important, with

_{v}*k*and

_{1}*μ*(-) always in fourth and fifth position (see Table D.1 online). TDCC suggests N=200 as the optimal sample size (see Table D.2 online).

_{T}As mentioned before, use of a uniform or log-uniform distribution (i.e. log-scale sampling) over a range spanning many orders of magnitude can produce very different results. In fact by using a log-scale sampling scheme, parameters *k _{1}*,

*N*and

_{V}*μ*are now consistently significant and the most important, with

_{T}*μ*always in fourth position (see Table D.3 online). Thus, by sampling on a log scale, PRCC results are very different. Only parameter

_{V}*N*is still selected, while parameters

_{V}*k*and

_{1}*μ*are lost. The TDCC suggests again N=200 as the optimal sample size (see Table D.4 online).

_{v}eFAST results (both S_{i} and S_{Ti}) confirm that parameters *μ _{V}*,

*N*and

_{V}*k*are consistently significant and the most important (see Table D.5 online). The TDCCs suggest N

_{2}_{S}=257 as the optimal sample size, although increasing N

_{S}does not improve the agreement in the results, except for N

_{S}=2049 (see Table D.7 online). The coefficients of variation (see Supplement A.5 online for implementation) are always very high for the first-order sensitivity indexes S

_{i}(likely because the values of S

_{i}are close to zero) and generally below 10-15% for the total-order sensitivity indexes S

_{Ti}(see Table C.6 online for details). Increasing N

_{S}only improves the coefficients of variation for S

_{Ti}. We did not implement a log-scale sampling for eFAST.

If we combine results from both PRCCs and eFAST S_{i} and S_{Ti}, parameters *μ _{T,}, k_{1}*,

*k*,

_{2}*N*and

_{V}*μ*indeed are significant, suggesting how a properly designed US analysis should return bifurcation parameters as significant. Note that in the original paper (Perelson

_{V}*et al.*, 1993) these were shown analytically to be bifurcation parameters.

##### Summary

PRCC and eFAST measure different things. This example shows how results can overlap for a subset of parameters (e.g. *μ _{V}*,

*N*and

_{V}*k*). However, the ranking of the most important effects is not preserved between the two methods. The TDCC shows how PRCC more efficiently (i.e. with a lower sample size) achieves a concordance in ranking the most important effects, while eFAST may need larger sample sizes.

_{2}### 4.3. Standard and Explorative US analysis: a two compartmental ODE model

We now examine a more complex ODE to address the use of uncertainty and sensitivity analysis in a multi-scale/multi-compartmental setting. As an example, we choose an ODE model of *Mycobacterium tuberculosis* (Mtb) infection in humans published by our group (Marino & Kirschner, 2004): it comprises a total of 17 equations, and a much larger set of 90 parameters, that describe dynamics between two physiological compartments (lymph node and lung). A detailed description of the model can be found in (Marino & Kirschner, 2004; Marino *et al.*, 2004). Basic details on the biology are given in the Supplement E and Figure E.1.

We perform uncertainty and sensitivity analysis on the 12 parameters that are specifically involved in establishing infection and linking the two anatomical compartments (see Table E.1 for details). This set of parameters represents mechanisms whose action is elicited either in the lung or in the lymph node compartment. A more comprehensive analysis would include all the parameters of the model, or at least the uncertain ones. Here we focus on a subset for the purpose of illustrating both a standard and explorative US analysis. As discussed in Section 3.6, whether a standard or an explorative US analysis is performed, the set of 12 parameters varied is always under investigation and the parameters are continuously varied. The difference between the two analyses is subtle. A standard US analysis lists all the parameters with a significant sensitivity index with respect to one or more outputs of reference (in our example the output of reference is the extracellular bacterial load - BE, see Table III, Panel A).

**...**

An explorative US analysis identifies which one of these effects (significant sensitivities) has an impact in the same compartment (intra) of the output of reference, or in a different compartment (inter). In our example, we examined two outputs in the lung compartment (extracellular bacterial load – BE, type I T helper cells – Th1) and one output in the lymph node compartment (mature dendritic cells –MDCs) (see Supplement E for details on the biology). Then we computed both PRCC and eFAST coefficients and classified all the parameters with significant sensitivity indexes either as intra- or inter-compartmental effects, as having effects, depending on the output of reference.

We performed LHS/PRCC and eFAST analyses for different sample sizes. For LHS/PRCC we used the following sample sizes 100, 200, 300, 400, 500 and 1000, while for eFAST we set N_{S} respectively to 65, 129, 257, 513, 1025 and 2049 (with N_{R}=5). We tested the adequacy of the sample size for both PRCC and eFAST with the top-down coefficient of concordance (TDCC). The number of parameters varied is small (i.e., 12), so TDCC gives only a trend (as in the previous example). Since analytical results are not available due to the size of the model and the complexity of the equations, conclusions are not as straightforward as in the previous examples. Standard US analysis results are shown in Table III Panel A, while an example of inter- and intra-compartmental analysis at specific time points is given in Table III Panels B-D. All the details can be found in Supplement E online. We analyze three different time points, namely 100, 500 and 1000 days post infection. Table III rows show both PRCC and eFAST S_{i} and S_{Ti}: they are ordered in descending order (the first listed have the largest absolute values and are highlighted) and the sign of the PRCCs is in parenthesis.

Overall, this example shows how the sets of significant Si and S_{Ti} returned by efAST is consistent throughout the analysis, returning the same list of important parameters with the same ranking. eFAST results suggest (generally smaller) sets of significant parameters that are not always listed as significant by PRCC and are generally smaller. Moreover, when the same set of parameters is returned, the ranking is frequently different between the two methods (see Panel A).

Table III shows how the fraction of precursor T Helper cells (Th0) migrating out of the lymph node compartment into the blood (*ξ*) and the maximum rate of immature dendritic cells (IDCs) activation/maturation/migration from the lung compartment to the lymph node compartment (*δ*_{10}) are alternatively classified as significant inter- (Panel B and D) or intra-compartmental (Panel C) parameters by PRCC and eFAST.

However, they are not consistently returned as significant by both indexes. For example, in Panel C, *δ*_{10} is significant only with PRCC and parameter *ξ* is listed as significant only by S_{i} and S_{Ti}: both are ranked as the most important by each respective method. Another example is given by parameter *ξ* in Panel D: only PRCC lists it as significant (while *δ*_{10} is returned as very important by PRCC and eFAST S_{i} and S_{Ti}).

#### Summary

This example shows how on a large complex model, the use of both indexes is recommended because often the set of the most important parameters is not consistent between the two methods.

### 4.4. A delay differential model example

We next apply uncertainty and sensitivity analysis to a delay differential equation model published by our group (see (Marino *et al.,* 2007) for details). The model investigates the role of delays in innate and adaptive immunity to intracellular bacteria infection. It tracks five variables: uninfected target cells (*X _{U}*), infected cells (

*X*), bacteria (

_{I}*B*), and phenomenological variables capturing innate (

*I*) and adaptive (

_{R}*A*) immunity. A detailed description of the model is in (Marino

_{R}*et al.*, 2007). Here we only show the equations.

Two delays are included in the model. The delay for innate immunity, *τ*_{1}, occurs on the order of minutes to hours and *τ*_{2} is the delay for adaptive immunity on the order of days to weeks. We assume that both responses are dependent solely on the bacterial load (*f*_{1} * f*_{2} *= B*(*s*)) in the previous *τ _{i}* time units (

*i*= 1,2), where the kernel functions

*w*(

_{i}*s*) (

*i*= 1,2) weight the past values of the bacterial load,

*B*(

*s*).

We use a uniform kernel for innate immunity (with *τ*_{1} 1) and an exponential growth kernel for adaptive immunity (with *τ*_{2} 20). System (20)-(24) is comprised of 20 parameters (15 independent parameters), 7 of which are directly involved in existence condition for equilibrium solutions. Initial conditions for the model are given in Table G.1 (online Supplementary Material). We solved the system numerically using the Matlab solver *dde23*^{8}. The model admits two equilibria: boundary equilibrium E_{B} (clearance of infection, no bacteria) and a positive equilibrium E_{P} (damped or sustained oscillatory bacterial levels, depending on the values of *τ*_{1} and *τ*_{2}). The positive equilibrium E_{P} exists only if the following condition holds:

We sampled eight parameters simultaneously (*τ*_{1}, *τ*_{2}, *α*_{1}, *α*_{2}, *α*_{3}, *α* _{4}, *α* _{20},σ), defining uniform probability density functions for their distributions. The remainder of the parameters is held constant at their default values (see Table G.1 online). Table G.1 is used to initialize the sampling procedure (see Value column) and to define intervals for uncertainty analysis (see Range column). We set the dimension of the sample in LHS to N=1000, while eFAST is performed for 3 different *N _{S}* (i.e. 65, 129 and 257) and resampling size to

*N*=5 (for inference on

_{R}*S*and

_{i}*S*), except for the sample

_{Ti}*N*=65 where we increased

_{S}*N*to 20 to improve accuracy (see Table G.3 online).

_{R}Some parameter combinations do not satisfy the existence condition for E_{P} (i.e., condition (25).); thus, we calculate PRCCs both on the entire LHS dataset and on the subset of samples fulfilling condition (25)). In contrast, the same procedure cannot be applied to eFAST. Because of its unique sampling technique, eFAST must process the whole sampled dataset at once, and we can only compare the sensitivity indexes calculated on the whole parameter space.

We summarize the main US analysis results below, while all the details can be found in Tables G.2 and G.3 online. The indexes are evaluated at 5 different time points (10, 30, 50, 100 200 days) and the model output chosen for sensitivity analysis is bacterial load (Eq. (22)). Condition (A.9) is never satisfied by the choice of N_{S} and N_{R} (see Table G.3 online). Panels A, B and C (in Table G.2 online) show PRCC results, while Panels D and E show eFAST results. Both PRCC and eFAST suggest that bacterial load levels over time are mainly affected by variations in the parameters *α*_{3} and *α*_{20}. PRCC scatter plots of these two parameters versus the bacterial load are shown in Figure 7 (using the whole LHS matrix), where the strong correlations are confirmed. Parameter *α*_{4} is found consistently significant only with the PRCC analysis (although the correlation is weak). Extended FAST (Table G.2 Panels D and E) and PRCC list delays *τ*_{1} and *τ*_{2} as important sources of variation for bacterial load (PRCC predicts they are significant with small negative correlations). Both delays are significant only with the subset of LHS matrix satisfying (25) (Table G.2 Panel C online), in line with analytical results where *τ*_{1} and *τ*_{2} play a role only when E_{P} exists (*τ*_{1} and *τ*_{2} define the nature of the equilibrium, with either sustained or damped oscillations). The effect of *τ*_{2} is lost if the whole LHS matrix is used (Table G.2 Panel A, online) and both are lost (Table IV Panel B) if only the subset of LHS matrix not satisfying (25) is used (in fact E_{B} is not affected by changes in *τ*_{1} and *τ*_{2}). PRCC scatter plots (see Figure 7) do not show any clear nonlinear non-monotonic relationship between variations in the parameters *τ*_{1}, *τ*_{2}, *α*_{1} and the output (bacterial load). PRCC and eFAST confirm indirectly our analytical results: they return as significant those parameters that are involved in the existence condition (25) for equilibrium solutions.

*τ*

_{1},

*τ*

_{2},

*α*

_{1}

*α*

_{3},

*α*

_{4}and

*α*

_{20}(calculated at day 200, all 8 parameters are varied simultaneously). Sample size N=1000. The abscissa represents the residuals of the linear regression

**...**

#### Summary

This example shows how PRCC and eFAST results can overlap. However, since the nature of the relationship between inputs and output is not known a priori, PRCC and eFAST should be used together (as in this example), if eFAST computational cost is not prohibitive.

## 5. Uncertainty and Sensitivity Analysis in Agent-Based Models

Agent-Based Models (ABMs, also called “individual-based models”, IBMs) are a formalism evolved from early research in cellular automata and artificial life. The defining feature of ABMs is that elements of the system are represented as discrete agents that move and interact according to defined rules, in an explicitly defined spatial environment. Stochasticity enters the model as some decision-making rules can be based on random chance, such as a random walk movement of cells. In an ABM, the individual, possibly stochastic, interactions between agents give rise to global, system-wide dynamics and patterns. Thus, ABMs are ideal for studying complex systems in which stochasticity, and spatial and temporal heterogeneity are important, such as biological systems.

Stochastic models, such as the ABM we consider here, pose unique challenges to uncertainty and sensitivity analysis. Most uncertainty and sensitivity analysis techniques have been developed for use with deterministic models, such as those presented in previous sections of this work. To our knowledge, very few researchers have attempted extensive and systematic uncertainty and sensitivity analysis on ABMs (Lempert *et al.*, 2002; Riggs *et al.*, 2008; Segovia-Juarez *et al.*, 2004).

To perform uncertainty and sensitivity analysis on an ABM, it is critical to keep in mind the distinction between aleatory and epistemic uncertainty during model building. In this analysis, epistemic uncertainty is handled by holding a parameter to a fixed value during a particular model simulation, but allowing probabilistic variation between model simulations to reflect uncertainty. In contrast, stochastic components vary randomly from moment to moment within a single ABM simulation. Some studies have applied a stochastic component to otherwise deterministic models by sampling a random sequence of values prior to running a model simulation (Helton, 1999; Helton & Breeding, 1993; Helton *et al.*, 1995). However, this approach cannot be easily applied to ABMs as presented here: stochastic decisions made by each agent at each time step are based on conditional probabilities that depend on both random chance and the state of other interacting agents. Therefore it is impossible to correctly specify a random sequence of agent decisions prior to running the simulation. When performing uncertainty analysis on an ABM, epistemic uncertainty and aleatory uncertainty become conflated in the model output. It is difficult to know whether variability in model outcome is due to experimentally introduced variation in input parameters (epistemic uncertainty) or to the inherent stochastic components of the model (aleatory uncertainty). Therefore, it is difficult to apportion variability to input parameters during sensitivity analysis. In this section, we perform uncertainty and sensitivity analysis on an ABM, identify the strengths and weaknesses of the PRCC and eFAST techniques in dealing with aleatory uncertainty, and propose an averaging method to reduce the influence of aleatory uncertainty.

### 5.1. An agent-based model example

As an example, we present a published ABM describing granuloma formation during *Mycobacterium tuberculosis* infection (Segovia-Juarez *et al.*, 2004). This was the first ABM to use a modification of a US analysis using PRCC. In this model, the spatial environment represents a 2mm square section of lung tissue. This area is subdivided into a 100×100 lattice of 20μm square micro-compartments. Agents (cells) populate this environment, representing resident or infiltrating macrophages and T-cells. Bacteria and chemokines also exist in the model, but are treated as a continuous quantity rather than discrete agents. Each micro-compartment can contain at most one macrophage and one T-cell agent (and a quantity of bacteria/chemokines, as these are assumed to have negligible size). Some micro-compartments are designated as vascular source compartments, through which new macrophage and T-cell agents arrive from the blood.

A simulation is initiated by distributing an initial population of resting macrophages randomly on the lattice and an initial load of extracellular bacteria in the center of the lattice. The simulation evolves by a series of discrete time steps, during which rules are evaluated governing the diffusion of chemokines, infection and replication of bacteria, and arrival, movement, interaction, and change in phenotype of immune cells. Parameters that we will analyze by US methods control initial conditions and rates or probabilities used to evaluate rules (Table IV). See (Segovia-Juarez *et al.*, 2004) for a more detailed description of the model.

### 5.2. Aleatory Uncertainty

It is impossible to entirely separate model output variability due to either aleatory or epistemic uncertainty. However, it is useful to crudely quantify aleatory uncertainty in the absence of variability due to epistemic uncertainty by repeatedly solving the model, holding all parameters constant. Figure 8 represents two typical scenarios: containment of infection and dissemination. The baseline set of parameter values differs between the two scenarios (see (Segovia-Juarez *et al.*, 2004) for definitions of these scenarios and baseline parameters). The variability around each scenario is determined by aleatory uncertainty, while epistemic uncertainty causes the emergence of this bimodal outcome. We find that the containment scenario produces a moderate level of aleatory uncertainty. To roughly quantify aleatory uncertainty, we calculate the coefficient of variation of 10 replicates, holding all parameters constant at their average values (middle value of the Range column in Table IV). For this model, coefficients of variation of the output for the containment scenario (extracellular bacterial load) are 3.5% at day 500 and 62.4% at day 30. The coefficient of variation at day 30 is much larger than at day 500, meaning that aleatory uncertainty at this early time point will more strongly mask any variability due to epistemic uncertainty introduced in subsequent analysis steps. We will focus our analysis on day 30, as this time point is analyzed in (Segovia-Juarez *et al.*, 2004), providing a reference point to compare our results to, and because aleatory effects should be most problematic at this time point due to the high coefficient of variation.

### 5.3. Replication and averaging scheme for ABM

To study aleatory uncertainty, we propose a replication and averaging scheme that can be applied with either PRCC or eFAST. First, parameter combinations are created using the LHS or eFAST internal sampling algorithm. Next, multiple model simulations are repeatedly run for each parameter combination (replication step). Note that when using a pseudorandom number generator in the algorithm, we reinitialize the random seed for each model simulation. Finally, the sensitivity coefficients are calculated using the average of model outputs across replicates. By comparing these results with the sensitivity coefficients obtained from each replicate individually, we can assess whether US analysis is robust at a specific sample size. One caveat to this approach is that using the average to characterize the distribution of output values over aleatory uncertainty is reliable only if the output values are clustered around a central value (i.e. unimodal). We apply the replication and averaging scheme to the Segovia-Juarez ABM.

### 5.4. LHS/PRCC results

When aleatory uncertainty is moderate, as is in this example, LHS/PRCC produces consistent results at large LHS sample size: in the original analysis of this model, Segovia-Juarez *et al* use an LHS sample size of 1000. As sample size is reduced to less than approximately 200-300, two effects occur: first, PRCC becomes less reliable due to the influence of aleatory uncertainty; second, statistical power for PRCC significance is reduced due to the smaller sample size; therefore weakly correlated parameters are not found to be significant.

Next, we explore whether averaging replicates can reduce effects of aleatory uncertainty, allowing fewer computationally intensive model simulations. We find that averaging replicates has two beneficial effects. First, PRCC becomes reliable at smaller sample sizes due to the removal of some of the variability induced by aleatory uncertainty. Specifically, by using replicates (4 replicates in this case), a similar set of parameters with significant PRCC is achieved with a smaller number of samples (at least 50) compared to the standard scheme without replicates (at least 300 samples). Second, parameter values and model output becomes more tightly correlated due to the removal of some confounding aleatory noise, resulting in PRCC of greater magnitude (see Figure 9). This increase in PRCC magnitude that occurs by averaging is apparent even when PRCC is already reliable due to large sample size, e.g. 1000 samples (not shown). These benefits come at a cost, however: if the total number of model simulations is held constant, performing replicates reduces the number of samples available for statistical tests (e.g. 300 parameter samples simulated once, versus 100 parameter samples replicated 3 times, then averaged, yielding 100 sample averages). In Figure 9, we show that there are some situations where the gain in PRCC magnitude due to averaging is favorable despite the loss in statistical power. In the original analysis of this model, using a sample size of 1000 with no replication, Segovia-Juarez et al (Segovia-Juarez *et al.*, 2004) find 9 significant parameters, including parameters α* _{BI}* and λ. Reducing sample size to 300 with no replication (Figure 9, black bars), for a total of 300 model simulations, parameters α

*and λ are not significantly different from zero. Using 100 samples and averaging 3 replicates (Figure 9, gray bars), for a total of 300 model simulations, however, successfully identifies α*

_{BI}*and λ as significant, yielding performance similar to that of 1000 samples used by Segovia-Juarez*

_{BI}*et al*. Therefore, for this ABM we suggest that performing replicate simulations of each parameter sample and averaging these replicates is a useful strategy that can provide better performance with fewer computationally intensive model simulations.

**...**

#### 5.4.1. eFAST results

To our knowledge, eFAST has been used to analyze an ABM once before (Lempert *et al.*, 2002), but details of the methodology used are lacking. To explore the suitability of the eFAST method in analysis of stochastic models, we analyze the Segovia-Juarez model, described above, taking advantage of the replication and averaging scheme (described in the previous section) and of the use of a dummy parameter (as developed in section 3.3.1). Extended FAST is performed using 257 samples per search curve (i.e., *N _{S}*=257, chosen to satisfy condition (A.9)), a resampling size of 4 (i.e.,

*N*=4), and 4 replicates for averaging. By allowing eFAST to partition variance to a dummy parameter, we find that the first-order index is relatively unaffected (Figure 10A). However, eFAST severely mishandles the variability induced by aleatory uncertainty by incorrectly partitioning it to the total-order sensitivity index, resulting in a large artifactual

_{R}*S*=24.3% (Figure 10B, dummy parameter, black bar). Thus, use of a dummy parameter to quantify this artifact reveals that parameters with a total-order

_{Ti}*S*in the range of ~20-30% are likely artifactual. Using replication and averaging to limit variability induced by aleatory uncertainty successfully reduces this artifact by more than half (Figure 10B, dummy parameter, gray bar): this allows 7 of the 8 significant parameters identified by LHS/PRCC to exceed the dummy parameter background value for

_{Ti}*S*(Figure 10A). Increasing

_{i}*N*and

_{S}*N*, as well as performing averaging with additional replicates will likely further improve the limit of detection. Performing significance testing in combination with replication and averaging, we find that 8 of the 9 parameters identified as significant by LHS/PRCC are also identified by eFAST first-order

_{R}*S*(Figure 10A), while the

_{i}*S*coefficients are significantly different from the dummy only for 4 of the 8 parameters listed by LHS/PRCC (Figure 10B). Note that eFAST result come at a much higher computational cost: 53456 total model simulations using eFAST, as opposed to 300 total model simulations with LHS/PRCC.

_{Ti}*et al.*, 2004)

*Panel A*: eFAST first-order sensitivity index

*S*. Replication and averaging (gray bars) has a small effect on

_{i}*S*, allowing additional parameters

_{i}**...**

##### Summary

This specific ABM example shows how LHS/PRCC and eFAST are typically in agreement, identifying a similar set of important parameters (with the eFAST sets of important parameter being smaller than PRCC, as shown in some of the deterministic model examples in section 4). However, these two methods have different relative strengths and weaknesses. eFAST requires many more model simulations, which is a particular problem as ABMs are often more computationally intensive than deterministic models. Also, when analyzing stochastic models, eFAST produces an artifact whereby aleatory variance is inappropriately partitioned to the total-order sensitivity index. Therefore, this example suggests how LHS/PRCC method (with the modifications presented here) can perform better than eFAST for a specific time point, reaching the same conclusions with much less computational cost.

The eFAST method has the strength of identifying non-monotonic sensitivities, however. Though we see no evidence of this strength in the ABM we analyze here, there is no *a priori* way of knowing if non-monotonic sensitivities are present in a model. Therefore, if computational cost is not prohibitive, use of eFAST on stochastic models can complement LHS/PRCC results. In this case, one should take steps to reduce the artifact of eFAST mishandling aleatory variance in the total-order sensitivity index, or one should rely solely on the first-order index, as it is unaffected by the artifact.

## 6. Discussion and Conclusion

Uncertainty and sensitivity analyses offer a way to assess the adequacy of models and establish what factors affect model outputs. We reviewed and compared two specific types of global sensitivity analysis indexes that have proven to be among the most reliable and efficient, namely a sampling-based method (Partial Rank Correlation Coefficient-PRCC) and a variance-based method (extended Fourier Amplitude Sensitivity Test-eFAST). All functions used throughout the paper are available on our website (http://malthus.micro.med.umich.edu/lab/usanalysis.html).

PRCC provides answers to questions such as how the output is affected if we increase (or decrease) a specific parameter (linearly discounting the effects of the uncertainty over the rest of the parameters). Thus PRCC can be informative on what parameters to target if we want to achieve specific goals (e.g., control or regulatory mechanisms). For example, the most significant set of parameters can be used to determine how to efficiently reduce viral load or increase immune response (by both timing and magnitude). eFAST, and all variance-based methods in general, indicate which parameter uncertainty has the greatest impact on output variability. In other words, our predictions will be strengthened if we can reduce uncertainty and get better estimates on specific parameters of the model (i.e., the ones with highest S_{i} and S_{Ti} sensitivity coefficients). This will also enhance any additional PRCC or sampling-based analysis, because any regulatory or control strategy will be more reliable.

A general finding was that a properly designed US analysis returns a set of bifurcation parameters as significant; thus US analysis can be an adequate alternative when an analytical solution to a mathematical system is not possible. This holds true for both sample and variance-based methods (at least if we consider the examples of section 4).

One critical point is the selection of adequate pdfs and the choice of parameter ranges used for sampling. The selection of probability distributions for the uncertain parameters depends in part on whether the intent of the analysis is an exploration of variable effects (i.e., a sensitivity analysis) or a propagation of uncertainty to assess the uncertainty in the outcomes of interest (i.e., an uncertainty analysis). For meaningful uncertainty analyses, the selected distributions are chosen based on the degree of our understanding of biology with respect to the appropriate values of model parameters. In contrast, the distributions might be selected simply to fully explore potential variable effects in a sensitivity analysis.

The choice of parameter range should also be guided by the available knowledge of the biological problem. If a parameter range is completely outside the biological realm, the practical relevance of the US analysis is lost. Unfortunately, exact or even hypothetical biological ranges are many times unknown. Unless the choice of very small ranges for certain parameters is guided by some *a priori* knowledge, the sampling should be performed within the whole range of plausible values, since US analysis results can be quite different (see Supplement F for examples of how PRCC and eFAST results can be affected by sampling different ranges). Moreover, if the range of variation for some parameter spans several orders of magnitude and we want to avoid under-sampling in the outer ranges of parameter space, the implementation of a logarithmic sampling scheme (for example, a log-uniform in place of a uniform pdf) would achieve the goal, but the final results will be affected (as shown in Supplement D online).

Our examples showed how PRCC and eFAST could give different results, where nonlinear and non-monotonic relationships between inputs and output lead to misleading conclusions, even with a simple prey-predator model (see section 4.1). eFAST is more general than PRCC (it deals with any type of relationship between inputs and outputs of a model) with one major drawback: its computational cost, especially for computing *S _{Ti}*. Our examples highlight how a large number of iterations are needed to achieve a recommended degree of accuracy in eFAST (as also shown in Figure 8.9 at page 190 of (Saltelli

*et al.*, 2000)).

We designed a new method (together with an heuristic for its accuracy) to check for significant eFAST *S _{i}* and

*S*. This new method is based on a two-sample t-test approach and uses a re-sampling scheme to compare each sensitivity index with that of a dummy parameter. The use of dummy parameters is a standard practice in screening methods (see Chapter 4 in (Saltelli

_{Ti}*et al.*, 2000)), although, to our knowledge, it has never been applied in the context of eFAST.

We built several functions to display scatter plots of sampled parameters versus the output under study (given on our website, see http://malthus.micro.med.umich.edu/lab/usanalysis.html): they can be extremely useful to detect non-monotonicities and non-linearities (as shown in section 4) and possibly explain why PRCC and eFAST results are different.

In the context of ABM, we also implemented a new averaging strategy to efficiently and reliably perform US analysis within the context of this particular class of stochastic models. By running the ABM multiple times with the same set of parameters and then averaging the output, we are able to attenuate the effect of aleatory uncertainty, obtaining more reliable results both for PRCC and eFAST.

We also implemented a concordance measure (top-down coefficient of concordance – TDCC) that informed on the adequacy of the sample size and can check if PRCC and eFAST return a similar set of important parameters.

Throughout our examples, we found that the set of significant first order S_{i} and total order S_{Ti} sensitivity indexes returned by eFAST is consistent and with the same ranking. eFAST generally returns smaller sets of parameter with significant S_{i} and S_{Ti}, compared to the set of parameters with significant PRCC. Also, eFAST often returns S_{i} and S_{Ti} for parameters that are not listed as significant by PRCC and, when a similar set of parameters is returned, the order of importance is frequently different between the two methods.

Based on the examples shown, we conclude that PRCC and eFAST S_{i} and S_{Ti} should both be computed, keeping in mind that they measure different things, and that eFAST is generally computationally more expensive. If the computational cost is not too high (i.e. cpu time per one model run), more efficient methods are available (e.g. methods that are less affected by non-monotonicities). A lower computational cost can be achieved by reducing *N _{S}* and

*N*, (i.e. the total number of runs) but the accuracy of the results might be affected. To increase the accuracy of eFAST results, in general, it is better to increase

_{R}*N*first (and check for the top-down coefficient of concordance (TDCC) to see if that sample size is sufficient to capture a similar set of most important parameters), and then eventually increase

_{S}*N*(to improve the accuracy of inference on the indexes). We found that values and significances of first-order

_{R}*S*are affected by increasing

_{i}*N*: the values of the not significant

_{S}*S*get smaller, as does the dummy parameter

_{i}*S*, making the t-test more reliable. Increasing

_{dummy}*N*does not affect

_{S}*S*values, although the t-test becomes more precise.

_{Ti}In general, the computational execution time of the model is the major concern when performing US analysis (although it was not a major issue for the examples given in section 4 and for the ABM). Models with several parameters and many complex nonlinear mechanisms likely result in high computational costs. Screening methods are available to address this problem. Within the class of screening methods, Morris (or elementary effects) is the most popular (see (Morris, 1991)): it is global, computationally efficient and should be implemented as a first preliminary US analysis when the execution time of the model is prohibitive (several hours or days).

In summary, characterizing uncertainty in parameter values and initial conditions in mathematical models in biology is attainable and is dependent on the type of system under study. For the math biology community to continue to gain a foothold and have an impact in important biology problems, it is clear that identifying uncertainty in our models is of key importance. By the very act of classifying this uncertainty, we can simultaneously identify the parameters (i.e. biological mechanisms) that are driving system outputs. These mechanisms can then be posed to the experimental community to test. This close interaction between theorists and experimentalists provides the greatest opportunity for the use of mathematical models.

## Acknowledgments

NIH grants HL68526, LM 009027 and DAIT-BAA-05-10. We are grateful to Jennifer Linderman, Rick Riolo and to the members of the Kirschner laboratory for helpful discussions. Also comments by 2 anonymous reviewers were invaluable in making this manuscript as comprehensive and clear as possible.

## Footnotes

^{1}IBM=Individual Base Modeling in fields like ecology

^{2}Definition of rank-transformation: the smallest value of a variable is assigned a rank of 1, the next largest value is assigned a rank of 2, tied values are assigned an average rank, and the largest value is assigned a rank equal to the sample size

^{3}The standard procedure when ties are encountered is to assign the tied values the average of what their values would have been if they have been consecutive but not equal. We are indirectly addressing the problem of integer-valued parameters with very few values by a single-parameter space exploration, holding them fixed during the UA and SA procedures.

^{4}We use the matlab function *ttest2* to perform the *two-sample t-test*. We assume the most conservative options, e.g. two tails and that the two samples come from normal distributions with unknown and unequal variances. This is known as the Behrens-Fisher problem. *ttest2* uses Satterthwaite's approximation for the effective degrees of freedom.

^{5}If *k*=3,
$S{S}_{1}=1+\frac{1}{2}+\frac{1}{3},S{S}_{2}=\frac{1}{2}+\frac{1}{3}$ and
$S{S}_{1}=\frac{1}{3}$

^{6}The resampling size N_{R} should be large enough to achieve accuracy in statistical significance.

^{7}We want to model y (response or dependent variable) as a function of x (regressor or independent variable), i.e. y=f(x). The error we make in the prediction is called residual (e=y-f(x)). In our case x is the parameter vector (α, β, δ, σ) and f is a linear combination of a subset of x. Thus the x-axis of Panel D represents [e_{x}=σ-f(α, β, δ)], the y-axis represent [e_{y}=y-f(σ)]., where the dependent and independent variables are rank-transformed.

^{8}(Version 6.5, R13, Copyright 1984-2002, The MathWorks, Inc)

**Publisher's Disclaimer: **This is a PDF file of an unedited manuscript that has been accepted for publication. As a service to our customers we are providing this early version of the manuscript. The manuscript will undergo copyediting, typesetting, and review of the resulting proof before it is published in its final citable form. Please note that during the production process errors may be discovered which could affect the content, and all legal disclaimers that apply to the journal pertain.

## References

- Anderson TW. Wiley series in probability and statistics. 3rd. Wiley-Interscience; Hoboken, N.J: 2003. An introduction to multivariate statistical analysis.
- Apostolakis G. The Concept of Probability in Safety Assessments of Technological Systems. Science. 1990;250(4986):1359–1364. [PubMed]
- Blower SM, Dowlatabadi H. Sensitivity and Uncertainty Analysis of Complex-Models of Disease Transmission - an Hiv Model, as an Example. International Statistical Review. 1994;62(2):229–243.
- Cacuci DG, Ionescu-Bujor M. A comparative review of sensitivity and uncertainty analysis of large-scale systems - II: Statistical methods. Nuclear Science and Engineering. 2004;147(3):204–217.
- Chang ST, Linderman JJ, Kirschner DE. Multiple polymorphisms on antigen presentation and susceptilbity to
*M. tuberculosis*infection Infection and Immunity. [PMC free article] [PubMed] - Collins DC, Avissar R. An Evaluation with the Fourier Amplitude Sensitivity Test (Fast) of Which Land-Surface Parameters Are of Greatest Importance in Atmospheric Modeling. Journal of Climate. 1994;7(5):681–703.
- Cooke R. Environmental ethics and science policy. Oxford University Press; New York: 1991. Experts in uncertainty : opinion and subjective probability in science.
- Cukier RI, Fortuin CM, Shuler KE, Petschek AG, Schaibly JH. Study of Sensitivity of Coupled Reaction Systems to Uncertainties in Rate Coefficients. 1. Theory. Journal of Chemical Physics. 1973;59(8):3873–3878.
- Draper D. Assessment and Propagation of Model Uncertainty. Journal of the Royal Statistical Society Series B-Methodological. 1995;57(1):45–97.
- Evans JS, Gray GM, Sielken RL, Smith AE, Valdezflores C, Graham JD. Use of Probabilistic Expert Judgment in Uncertainty Analysis of Carcinogenic Potency. Regulatory Toxicology and Pharmacology. 1994;20(1):15–36. [PubMed]
- Helton JC. Uncertainty and Sensitivity Analysis Techniques for Use in Performance Assessment for Radioactive-Waste Disposal. Reliability Engineering & System Safety. 1993;42(23):327–367.
- Helton JC. Uncertainty and sensitivity analysis in the presence of stochastic and subjective uncertainty. Journal of Statistical Computation and Simulation. 1997;57(14):3–76.
- Helton JC. Uncertainty and sensitivity analysis in performance assessment for the Waste Isolation Pilot Plant. Computer Physics Communications. 1999;117(12):156–180.
- Helton JC, Breeding RJ. Calculation of Reactor Accident Safety Goals. Reliability Engineering & System Safety. 1993;39(2):129–158.
- Helton JC, Davis FJ. Illustration of sampling-based methods for uncertainty and sensitivity analysis. Risk Anal. 2002;22(3):591–622. [PubMed]
- Helton JC, Davis FJ. Latin hypercube sampling and the propagation of uncertainty in analyses of complex systems. Reliability Engineering & System Safety. 2003;81(1):23–69.
- Helton JC, Johnson JD, Oberkampf WL, Storlie CB. A sampling-based computational of epistemic uncertainty in model strategy for the representation predictions with evidence theory. Computer Methods in Applied Mechanics and Engineering. 2007;196(3740):3980–3998.
- Helton JC, Johnson JD, Sallaberry CJ, Storlie CB. Survey of sampling-based methods for uncertainty and sensitivity analysis. Reliability Engineering & System Safety. 2006;91(1011):1175–1209.
- Helton JC, Johnson JD, Shiver AW, Sprung JL. Uncertainty and Sensitivity Analysis of Early Exposure Results with the Maccs Reactor Accident Consequence Model. Reliability Engineering & System Safety. 1995;48(2):91–127.
- Helton JC, Martell MA, Tierney MS. Characterization of subjective uncertainty in the 1996 performance assessment for the Waste Isolation Pilot Plant. Reliability Engineering & System Safety. 2000;69(13):191–204.
- Hoare A, Regan DG, Wilson DP. Sampling and Sensitivity Analyses Tools (SaSat) for Computational Modeling. Theoretical Biology and Medical Modelling. 2008. p. 4. open access at http://www.tbiomed.com/content/5/1/4. [PMC free article] [PubMed]
- Hora SC, Helton JC. A distribution-free test for the relationship between model input and output when using Latin hypercube sampling. Reliability Engineering & System Safety. 2003;79(3):333–339.
- Hora SC, Iman RL. Expert Opinion in Risk Analysis - the Nureg-1150 Methodology. Nuclear Science and Engineering. 1989;102(4):323–331.
- Iman RL, Conover WJ. Small Sample Sensitivity Analysis Techniques for Computer-Models, with an Application to Risk Assessment. Communications in Statistics Part a-Theory and Methods. 1980;9(17):1749–1842.
- Iman RL, Conover WJ. A Distribution-Free Approach to Inducing Rank Correlation among Input Variables. Communications in Statistics Part B-Simulation and Computation. 1982;11(3):311–334.
- Iman RL, Conover WJ. A Measure of Top-down Correlation. Technometrics. 1987;29(3):351–357.
- Iman RL, Davenport JM. Rank Correlation Plots for Use with Correlated Input Variables. Communications in Statistics Part B-Simulation and Computation. 1982;11(3):335–360.
- Iman RL, Helton JC. An investigation of uncertainty and sensitivity analysis techniques for computer models. Risk Anal. 1988;8(1):71–90.
- Kirschner DE, Chang ST, Riggs TW, Perry N, Linderman JJ. Toward a multiscale model of antigen presentation in immunity. Immunol Rev. 2007;216:93–118. [PubMed]
- Kleijnen JPC, Helton JC. Statistical analyses of scatterplots to identify important factors in large-scale simulations, 2: robustness of techniques. Reliability Engineering & System Safety. 1999;65(2):187–197.
- Lempert R, Popper S, Bankes S. Confronting surprise. Social Science Computer Review. 2002;20(4):420–440.
- Marino S, Beretta E, Kirschner DE. The role of delays in innate and adaptive immunity to intracellular bacteria infection. Mathematical Biosciences and Engineering. 2007;4(2):261–286. [PubMed]
- Marino S, Kirschner DE. The human immune response to Mycobacterium tuberculosis in lung and lymph node. J Theor Biol. 2004;227(4):463–86. [PubMed]
- Marino S, Pawar S, Fuller CL, Reinhart TA, Flynn JL, Kirschner DE. Dendritic cell trafficking and antigen presentation in the human immune response to Mycobacterium tuberculosis. J Immunol. 2004;173(1):494–506. [PubMed]
- McKay M, Meyer M. Critique of and limitations on the use of expert judgements in accident consequence uncertainty analysis. Radiation Protection Dosimetry. 2000;90(3):325–330.
- Mckay MD, Beckman RJ, Conover WJ. Comparison of 3 Methods for Selecting Values of Input Variables in the Analysis of Output from a Computer Code. Technometrics. 1979;21(2):239–245.
- Morris MD. Factorial Sampling Plans for Preliminary Computational Experiments. Technometrics. 1991;33(2):161–174.
- Morris MD. Three Technometrics experimental design classics. Technometrics. 2000;42(1):26–27.
- Parry GW, Winter PW. Characterization and Evaluation of Uncertainty in Probabilistic Risk Analysis. Nuclear Safety. 1981;22(1):28–42.
- Pate'-Cornell ME. Uncertainties in Risk Analysis: Six Levels of Treatment. Reliability Engineeering and System Safety. 1996;54(23):95–111.
- Perelson AS, Kirschner DE, De Boer R. Dynamics of HIV infection of CD4+ T cells. Math Biosci. 1993;114(1):81–125. [PubMed]
- Ratto M, Pagano A, Young P. State dependent parameter metamodelling and sensitivity analysis. Computer Physics Communications. 2007;177(11):863–876.
- Riggs T, Walts A, Perry N, Bickle L, Lynch JN, Myers A, Flynn J, Linderman JJ, Miller MJ, Kirschner DE. A comparison of random vs. chemotaxis-driven contacts of T cells with dendritic cells during repertoire scanning. J Theor Biol. 2008;250(4):732–51. [PMC free article] [PubMed]
- Saltelli A. Making best use of model evaluations to compute sensitivity indices. Computer Physics Communications. 2002;145(2):280–297.
- Saltelli A. Sensitivity analysis in practice : a guide to assessing scientific models. Wiley; Hoboken, NJ: 2004.
- Saltelli A, Bolado R. An alternative way to compute Fourier amplitude sensitivity test (FAST) Computational Statistics & Data Analysis. 1998;26(4):445–460.
- Saltelli A, Chan K, Scott EM. Wiley series in probability and statistics. Wiley, Chichester; New York: 2000. Sensitivity analysis.
- Saltelli A, Marivoet J. Nonparametric Statistics in Sensitivity Analysis for Model Output - a Comparison of Selected Techniques. Reliability Engineering & System Safety. 1990;28(2):229–253.
- Saltelli A, Ratto M, Tarantola S, Campolongo F. Sensitivity analysis for chemical models. Chemical Reviews. 2005;105(7):2811–2827. [PubMed]
- Saltelli A, Tarantola S, Chan KPS. A quantitative model-independent method for global sensitivity analysis of model output. Technometrics. 1999;41(1):39–56.
- Savage IR. Contributions to the Theory of Rank Order-Statistics - the 2-Sample Case. Annals of Mathematical Statistics. 1956;27(3):590–615.
- Schaibly JH, Shuler KE. Study of Sensitivity of Coupled Reaction Systems to Uncertainties in Rate Coefficients. 2. Applications. Journal of Chemical Physics. 1973;59(8):3879–3888.
- Segovia-Juarez JL, Ganguli S, Kirschner D. Identifying control mechanisms of granuloma formation during M. tuberculosis infection using an agent-based model. J Theor Biol. 2004;231(3):357–76. [PubMed]
- SimLab. 2006. http://simlab.jrc.ec.europa.eu/. distributed under the SimLab Software License, Version 1.0.
- Storlie CB, Helton JC. Multiple predictor smoothing methods for sensitivity analysis: Description of techniques. Reliability Engineering & System Safety. 2008a;93(1):28–54.
- Storlie CB, Helton JC. Multiple predictor smoothing methods for sensitivity analysis: Example results. Reliability Engineering & System Safety. 2008b;93(1):55–77.
- Tarantola S, Gatelli D, Mara TA. Random balance designs for the estimation of first order global sensitivity indices. Reliability Engineering & System Safety. 2006;91(6):717–727.

## Formats:

- Article |
- PubReader |
- ePub (beta) |
- PDF (2.1M)

- Novel metaheuristic for parameter estimation in nonlinear dynamic biological systems.[BMC Bioinformatics. 2006]
*Rodriguez-Fernandez M, Egea JA, Banga JR.**BMC Bioinformatics. 2006 Nov 2; 7:483. Epub 2006 Nov 2.* - Sampling and sensitivity analyses tools (SaSAT) for computational modelling.[Theor Biol Med Model. 2008]
*Hoare A, Regan DG, Wilson DP.**Theor Biol Med Model. 2008 Feb 27; 5:4. Epub 2008 Feb 27.* - Extraction of elementary rate constants from global network analysis of E. coli central metabolism.[BMC Syst Biol. 2008]
*Zhao J, Ridgway D, Broderick G, Kovalenko A, Ellison M.**BMC Syst Biol. 2008 May 7; 2:41. Epub 2008 May 7.* - Sensitivity analysis approaches applied to systems biology models.[IET Syst Biol. 2011]
*Zi Z.**IET Syst Biol. 2011 Nov; 5(6):336-6.* - Toward computational systems biology.[Cell Biochem Biophys. 2004]
*You L.**Cell Biochem Biophys. 2004; 40(2):167-84.*

- CXCR7 Controls Competition for Recruitment of ?-Arrestin 2 in Cells Expressing Both CXCR4 and CXCR7[PLoS ONE. ]
*Coggins NL, Trakimas D, Chang SL, Ehrlich A, Ray P, Luker KE, Linderman JJ, Luker GD.**PLoS ONE. 9(6)e98328* - Mathematical Modeling of Interleukin-27 Induction of Anti-Tumor T Cells Response[PLoS ONE. ]
*Liao KL, Bai XF, Friedman A.**PLoS ONE. 9(3)e91844* - The LDL-HDL Profile Determines the Risk of Atherosclerosis: A Mathematical Model[PLoS ONE. ]
*Hao W, Friedman A.**PLoS ONE. 9(3)e90497* - The Impact of HPV Female Immunization in Italy: Model Based Predictions[PLoS ONE. ]
*Guzzetta G, Faustini L, Panatto D, Gasparini R, Manfredi P.**PLoS ONE. 9(3)e91698* - Hypoxia Inducible Factors-Mediated Inhibition of Cancer by GM-CSF: A Mathematical Model[Bulletin of mathematical biology. 2012]
*Chen D, Roda JM, Marsh CB, Eubank TD, Friedman A.**Bulletin of mathematical biology. 2012 Nov; 74(11)2752-2777*

- PubMedPubMedPubMed citations for these articles
- TaxonomyTaxonomyRelated taxonomy entry
- Taxonomy TreeTaxonomy Tree

- A Methodology For Performing Global Uncertainty And Sensitivity Analysis In Syst...A Methodology For Performing Global Uncertainty And Sensitivity Analysis In Systems BiologyNIHPA Author Manuscripts. Sep 7, 2008; 254(1)178PMC

Your browsing activity is empty.

Activity recording is turned off.

See more...