Network topology and parameter estimation: from experimental design methods to gene regulatory network kinetics using a community based approach
 Pablo Meyer^{1}Email author,
 Thomas Cokelaer^{2},
 Deepak Chandran^{3},
 Kyung Hyuk Kim^{4},
 PoRu Loh^{5},
 George Tucker^{5},
 Mark Lipson^{5},
 Bonnie Berger^{5},
 Clemens Kreutz^{8},
 Andreas Raue^{7, 8},
 Bernhard Steiert^{8},
 Jens Timmer^{6, 8},
 Erhan Bilal^{1},
 Herbert M Sauro^{4},
 Gustavo Stolovitzky^{1} and
 Julio SaezRodriguez^{2}Email author
https://doi.org/10.1186/17520509813
© Meyer et al.; licensee BioMed Central Ltd. 2014
Received: 17 September 2013
Accepted: 23 December 2013
Published: 7 February 2014
Abstract
Background
Accurate estimation of parameters of biochemical models is required to characterize the dynamics of molecular processes. This problem is intimately linked to identifying the most informative experiments for accomplishing such tasks. While significant progress has been made, effective experimental strategies for parameter identification and for distinguishing among alternative network topologies remain unclear. We approached these questions in an unbiased manner using a unique communitybased approach in the context of the DREAM initiative (Dialogue for Reverse Engineering Assessment of Methods). We created an in silico test framework under which participants could probe a network with hidden parameters by requesting a range of experimental assays; results of these experiments were simulated according to a model of network dynamics only partially revealed to participants.
Results
We proposed two challenges; in the first, participants were given the topology and underlying biochemical structure of a 9gene regulatory network and were asked to determine its parameter values. In the second challenge, participants were given an incomplete topology with 11 genes and asked to find three missing links in the model. In both challenges, a budget was provided to buy experimental data generated in silico with the model and mimicking the features of different common experimental techniques, such as microarrays and fluorescence microscopy. Data could be bought at any stage, allowing participants to implement an iterative loop of experiments and computation.
Conclusions
A total of 19 teams participated in this competition. The results suggest that the combination of stateoftheart parameter estimation and a varied set of experimental methods using a few datasets, mostly fluorescence imaging data, can accurately determine parameters of biochemical models of gene regulation. However, the task is considerably more difficult if the gene network topology is not completely defined, as in challenge 2. Importantly, we found that aggregating independent parameter predictions and network topology across submissions creates a solution that can be better than the one from the bestperforming submission.
Background
Predictive and mechanistic models are powerful tools to understand biological processes at the core of systems biology. Building models requires a list of molecular components and their interactions. This list can be assembled from prior knowledge and/or inferred, or reverse engineered, from dedicated experimental data [1–3]. This can be done using a simple causal formalism or, if enough mechanistic detail is available, by writing down the corresponding biochemical reactions. In both cases, once a reasonably wellcharacterized set of components and interactions is determined, these can be converted into a mathematical model. A common and natural way to model biochemical reactions is to derive a dynamical system, typically in the form of ordinary differential equations. These equations include associated parameters that quantify the underlying physicochemical processes such as protein binding and enzyme activity. The value of these parameters is often not available or even measurable, and needs to be estimated from experimental data [4–6]. An accurate estimation of the parameters is fundamental to quantitatively understand a system and provide reliable predictions [7, 8].
In a reallife scenario of limited resources, the key question is how to design experiments that are most useful for parameter characterization [9], a decision process involving many variables. This problem falls in the category of budgeted learning formalized in the field of machine learning [10]. The first question raised is related to the experimental conditions that should be considered. When possible, data is collected upon application of perturbations to the network such as stimulation with extracellular ligands, chemical inhibition or gene overexpression. Moreover, data can be collected at different times after perturbation to provide information on the temporal evolution of the system. It is hence necessary to determine the identity and number of perturbations and whether to generate data from individual or combined perturbations. The next decision is related to the choice among a battery of technologies available to perform the measurements. These normally entail a tradeoff between coverage, cost, and precision. For example, one can track over time the levels of a few proteins in single cells using GFP (Green Fluorescence Protein) tags and movies [11–18], or measure thousands of proteins in a few timepoints with mass spectrometry [19]. How to choose among all these options is not obvious and, despite the critical importance of these questions, the problem of parameter estimation and iterative experimental design remains one of the hardest challenges in systems biology [4–6, 9, 20, 21].
To explore this fundamental problem in a rational and unbiased fashion, we first set up the parameter estimation challenge, where we tried to reproduce the common setting in which an experimental laboratory uses instruments, expertise and an allocated budget (e.g. from a grant) to apply various experimental techniques to investigate a biological model system. To mimic this scenario, we built the model of a regulatory network for 9 genes based on differential equations describing the underlying molecular biology, including transcription and translation. We chose a model configuration that can generate nontrivial dynamic behavior. We then generated data with this model that included experimental noise and asked participants to find the model’s parameters. Each participant was given a budget of ‘credits’ that could be used to buy different experiments that reflected tradeoffs between coverage, cost and resolution. We provided participants only the model structure and challenged them to estimate the hidden parameter values. Given that the true values of the hidden parameters were known, we could precisely assess the performance of the methods used by the 12 different teams that participated in the challenge. Remarkably, despite the complexity of the network and the limited data resources, some teams obtained highly accurate parameter values.
Besides the question of the algorithmic/experimental strategy used to infer the kinetic parameters of a model, we also addressed how well new connections in a network could be inferred. This is also a relevant question, as many canonical pathways are only approximations to the system under study. We therefore ran a second challenge, the network topology inference challenge, where participants were given an incomplete topology with 11 genes and asked to find 3 missing links in the model. This challenge was only partially solved, suggesting that inferring topology is a much harder challenge than parameter estimation. Finally, we observed that aggregating the participants’ parameter predictions and network topology submissions provided potentially better solutions than individual participants.
We complemented the analysis of the submissions by analyzing the participants’ algorithmic strategies and credit usage for data acquisition. We concluded that using fluorescent data from protein time courses is a key component of parameter estimation strategies, and that in both challenges aggregation created solutions that fared as well or better than the best performing approaches. We chose an in silico challenge framework in order to have a welldefined gold standard for evaluating submissions, but we believe the setup of this work emulates the experimental design choices faced by real laboratories, and thus the insights gained here provide insights for real experimental design when trying to determine the parameters of a gene regulatory network.
Results
In both the network topology and parameter inference challenges, participants were asked to develop and/or apply optimization methods, including the selection of the most informative in silico experiments, to accurately estimate parameters and predict outcomes of perturbations from a model of a gene regulatory network. This challenge was divided in two parts. The first is parameter inferenc e, which was similar to the parameter estimation challenge proposed in DREAM6, as explained here below. The second challenge is network topology and was unique to DREAM7.
A realistic model of a gene regulatory network
In model 1 for the parameter inference challenge, participants were provided with the complete structure of the model (including expressions for the kinetic rate laws) for a gene regulatory network composed of 9 genes and modeled with differential equations. For each gene, both protein and mRNA are explicitly modeled and therefore the model contains 18 continuous variables. The complete model is available in the Additional file 1 (see Model & Submissions).
Model parameters summary
Parameter  Model 1  Model 2 

Promoter strength  9  X 
rbs strength  9  X 
Protien synthesis  X  16 
Basals  X  2 
Degradation rate  1  11 
kd  13  16 
Hill coefficient  13  16 
Total  45  61 
Although the basic structure for both challenges is similar, the network topology challenge, referred to as model 2 hereafter, was simplified as compared to model 1 from the parameter inference challenge. In model 2, an incomplete structure of the regulatory interaction network topology was provided, with 3 missing regulatory links (see Additional file 2: Figure S2A). The gene regulatory network was composed of 11 genes where transcription was ignored and therefore only proteins were explicitly modeled (11 relevant variables). In contrast to model 1, the values of all protein degradation rate constants are not identical. In model 2, for each protein production process only the promoter strength has to be estimated and the protein production rate for a given gene is assumed to be proportional to the promoter strength of the corresponding promoter. Therefore, given that there are 16 regulatory interactions among the genes, the total number of parameters to estimate is 61: 3 for each regulatory interaction (16 synthesis rates, 16 K_{d}, and 16 Hill parameters), 11 degradation rates, and 2 basal transcriptional rates for genes 5 and 11 that are not regulated by any other gene (see Table 1). Finally, participants were asked to provide the three missing links in the gene network (r9, r10 and r12 in Additional file 2: Figure S2A), as well as their associated parameters (K_{d} and h).
A credit system mimicking a limited experimental budget
 i.
gene deletion, that produces the elimination of both mRNA and protein for the gene for 800 credits;
 ii.
siRNAmediated knockdown, that increases the mRNA degradation rate 10fold for 350 credits;
 iii.
a decrease of RBS (ribosomal binding site) activity that leads to a 10fold decrease in translation rate for 450 credits.
 i.
protein abundance for 2 proteins of their choice at the highest resolution (every time unit) using fluorescence protein fusion for 400 credits;
 ii.
mRNA (for all genes) measured with a microarray, at either low resolution (every 4 time units) or high resolution (every 2 time units), at 500 and 1000 credits, respectively. Microarrays were only available in challenge 1, since the model of challenge 2 does not include mRNA;
 iii.
protein abundance for all proteins measured via mass spectrometry, also at high and low resolution for 500 and 1000 credits, respectively. This was available only in challenge 2, as an alternative to the microarrays of challenge 1.
Specific parameter values, namely the binding affinity (K _{ d }) and Hill coefficient (h), obtained from a gelshift experiment, were also available for 1600 credits for a given transcription factor.
Finally, in both data modalities a noisy measurement is simulated by adding some noise to the deterministic value of each variable. More precisely, if v is the simulated value, we report as the measured value: v_{noisy} = v + 0.1 × g1 + 0.2 × g2 × v, where g1 and g2 are Gaussian random variables with standard deviations of 1. That is, for small v the standard deviation of v_{noisy} is close to 0.1, while when v is large, v_{noisy} amounts to measuring v with a standard error close to 20% of the true value. Note that if the value after noise addition is smaller than 0, the value of v_{noisy} is clipped at 0.
Challenge results
The network topology and parameter inference challenge is composed of two parts corresponding to the two subchallenges. The scoring of participants’ submissions reflects this twotiered structure and is composed of two different scores (see Methods for a detailed description). The first score determines the ranking of teams in the parameter inference challenge by combining (i) the distance between the simulated and predicted protein concentration values and (ii) the distance between estimated and known parameters (model 1). The second score ranks the network topology challenge submissions based on the predictions for 3 missing links in the regulatory gene network (model 2).
In order to solve the challenge, participants were allowed to spend credits to procure data generated in silico. One could have designed a multioptimization task where participants would have to balance their performance with budget expense. However, there is no standard or obvious way of deciding the optimal balance between these two terms. Thus, reflecting the common situation of an experimental laboratory that has been awarded a research grant with a budget for experiments to be spent in a certain amount of time, scoring in this challenge considered only their predictions. It did not take into account the amount of credits spent, and participants were encouraged to spend the whole budget.
Scores and features of parameter inference challenge
Model 1  Parameter distance D^{param}  Pvalue for parameter predictions  Protein distance D^{prot}  Pvalue for protein time course predictions  Score  Bayesian  Decompose network"  Selection of data  Sampling 

Orangeballs  0.0229  3.25E03  0.002438361  1.21E  25  27.4  no  yes  Game Tree  Sequential local search 
2  0.8404  1.00E + 00  0.016023721  3.39E18  17.5  no  no  Manual based on parameter uncertainty  Global method 
3  0.1592  6.00E01  0.035404398  4.45E15  14.6  yes  no  Manual  LH 
4  0.0899  1.88E01  0.047495432  6.28E14  13.9  no  yes  Manual  LM + Particle Swarm 
5  0.1683  6.45E01  0.09791128  4.01E11  10.6  yes  no  Train + Sim  UKF 
6  0.0453  1.37E02  0.198785197  1.93E08  9.6  no  no  A=Criterion  Local (LM) 
7  0.1702  6.45E01  0.362463945  2.90E06  5.7  no  yes  Sensitivity analysis  Hybrid (Local + Global) 
8  0.8128  1.00E + 00  0.356429217  2.53E06  5.6  yes  no  Estimation of improved uncertainty  Global (MH) 
9  0.3766  9.99E01  0.817972877  1.34E03  2.9  yes  yes  MI  ABCSMC 
10  0.0699  9.83E02  19.32326868  1.00E + 00  1.0  no  yes  Minimize variance based on FI  Multistart local search 
11  0.1883  7.29E01  3.222767988  6.90E01  0.3  no  no  Train + Sim  LH + DE 
12  5.0278  1.00E + 00  14.77443631  1.00E + 00  0.0  no  no  Manual  Local method 
Scores and features of network topology challenge
Model 2  Network score  pvalue  Score  Link addition 

crux  12  1.49E02  1.83  Manual 
2  9  5.60E02  1.25  Manual 
3  8  1.07E01  0.97  Manual first + algorithm 
4  8  1.07E01  0.97  Manual('logic reasoning') 
5  8  1.07E01  0.97  Manual 
6  7  2.10E01  0.68  Algorithm(Grenits) 
7  6  3.83E01  0.42  Manual 
8  5  6.01E01  0.22  Manual 
9  4  8.01E01  0.10  Did not participate 
10  4  8.01E01  0.10  Did not participate 
11  3  9.86E01  0.01  Manual 
12  2  1.00E + 00  0  Algorithm GPDREAM 
Parameter inference results
An intriguing result of the parameter inference challenge is that although the best performing team orangeballs achieved the least error in both submitted parameters and protein predictions, these two metrics did not always correlate (see Table 2). The 10^{th} overall ranked team was second in parameter estimation but last in protein prediction. Conversely, the second overall ranked team was next to last in parameter estimation but second in protein prediction (Figure 2C). Although, as indicated by an R^{2} = 0.23 for the correlation of parameter distance D _{1} ^{ param } to protein prediction distance D _{1} ^{ prot } (Figure 2C), it is expected that some parameters do not influence the outcome of certain proteins, the discrepancy for the 2^{nd} and 10^{th} overall ranked teams was puzzling. After contacting the 10^{th} team we learned that their optimization objective was centered on the parameters and not on protein prediction. This underscores how the choice of scoring metric is not a trivial question and can dramatically influence the results [5]. Conversely, the 2^{nd} ranked team focused on the prediction of the protein values, and grouped together parameters that they found to be nonidentifiable. Combinations of such nonidentifiable parameters, such as K _{ d } and h for a regulation reaction, were the quantities important to be able to correctly predict perturbed values for p3, p5 and p8; thus, parameters far from the gold standard would still lead to good predictions of protein perturbation, as long as the implied combined quantities were close to the model solution. It is possible that different parameter values could lead to similar dynamical behavior and, as the 2^{nd} ranked team did, reproducing the original dynamical system behaviors might be more relevant than parameter estimation.
To further investigate this possibility, we analyzed the dependence of the protein perturbation predictions on each individual parameter, and calculated for each one of the 45 parameters the correlation of the vector of participants’ submitted parameter values to their protein prediction distance, D _{1} ^{ prot }. D _{1} ^{ prot } was most dependent on the values of parameters directly involved in p3, p5 and p8 production such as, K_{d} for r13 (R^{2} = 0.88), rbs4 (R^{2} = 0 .66), rbs8 (R^{2} = 0.61), rbs5 (R^{2} = 0.59), rbs3 (R^{2} = 0 .45) (Figure 2D). Only protein degradation (R^{2} = 0 .35) is a global parameter. The strong dependency of p3, p5, p8 prediction levels on only a few parameters may explain the low correlation between D _{1} ^{ prot } and D _{1} ^{ param }.
Aggregation of participants’ results
This phenomenon also occurs when aggregating the participants’ submitted parameters by geometric mean using the same procedure as above. D _{1} ^{ param } for this aggregation by geometric mean shows that for up to eight aggregated teams, the aggregated team submission is closer to the solution when compared to D _{1} ^{ param } for the best individual team submission (Figure 3C blue line and green line). However, performance of teams aggregated from worst to best (that is, the worst performing team, followed by the worst and second worst performing teams and so on until all 12 teams are included) fares overall poorer than individual teams (Figure 3C red line). In a real situation, without the gold standard, one would not know which participants fare better; in such a case performance of randomly aggregated predictions would fall between these two extreme cases of aggregation. Importantly, aggregating parameters of all teams fares as well as the third best performing team, and therefore it is a better strategy to aggregate results from multiple teams than choose a single given method.
Results are mitigated when one considers D _{1} ^{ prot } as a measure of the effectiveness of the aggregation of solutions. Indeed, choosing as a solution the aggregation of all teams brings a D _{1} ^{ prot } that is worse than eight of the teams (Figure 3C blue line and last point in green line). This is due to the fact that participants obtained very good predictions for the protein measurements: the winner orangeballs obtained a relative pvalue of 1.21. 10^{25}, compared to 3.35. 10^{3} for parameter estimation results (see Additional file 3: Figure S1). In practical terms, the aggregated prediction of all teams as shown by Figure 3B is still a very good prediction for the perturbations effect.
Analysis of participants’ strategies and experimental credit usage
For the network inference challenge, credits were mostly spent on massspectrometry, although fluorescent microscopy of wildtype timecourses came in a strong second (see Figure 5C). In contrast to the parameter estimation challenge, no team directly bought parameters via a gelshift experiment. Alternative strategies can also be seen on the paths followed by the participants when purchasing experimental data (Figure 5B and D for models 1 and 2, respectively). In brief, winning strategies for model 1 acquired microarray data to have precise measurements on genes and then mainly used fluorescent timecourse experiments to refine parameter values. For model 2, wildtype fluorescence data was used to cheaply find disagreements between data and model and then mass spectroscopy experiments with perturbations were used to test for potential missing links.
These differences indicate alternative strategies for the solution of both challenges (see details in Tables 2 and 3). Briefly, 5 out of 12 teams used a Bayesian framework, and 4 used some strategy based on decomposing the network into smaller subnetworks for further analysis. The sampling of the parameter space was performed with a variety of methods: local, often using multistart strategies to avoid getting stuck in local minima; global; or hybrid. The key question for model 1 was how to choose new informative experiments. To address it, most teams used in silico perturbations to infer which experiments would be more informative. They defined this using different metrics, such as Fisher information, mutual information, etc. Particularly innovative was the strategy of the winning team orangeballs based on a game tree, as it could easily be adapted to bigger networks. For challenge 2, asking which experiment was the most informative had to be combined with a strategy to explore the network topology to find missing links. Few teams used algorithms for network inference, while most teams, including the winner, used heuristics based on manual inspection of the network and intuition. As an illustration of the different approaches, the best performers for each challenge describe in detail their strategies in the following sections.
Winning strategy for the parameter estimation challenge (from team orangeballs)
The basic idea of our approach was to compute a maximumlikelihood fit of the model parameters given observed data purchased from in silico experiments. Computing the likelihood function is straightforward because once the model parameters have been specified, we have all the equations needed to simulate time courses and calculate likelihoods based on the specified noise model. Choosing an optimal sequence of data purchases is challenging, however: because of the limited budget, it is critical to select experiments most likely to be informative even when the model behavior is initially largely unknown.
We began our analysis of each model by buying time courses of all proteins under wildtype conditions. These experiments were by far the cheapest and allowed us to start making initial guesses at parameter values. For example, the protein degradation rate can be estimated from the time course of a nonregulated protein (e.g., p6 in Figure 1B), the RBS values can be read off from steadystate values of [protein]/[mRNA], and in cases where we have a guess that regulatory coefficient values are close to 1 (as they often turned out to be), promoter strength values can be found from steadystate mRNA concentrations. Observation of the dynamics of protein and mRNA time courses also sometimes allows estimation of dissociation constants.
Having initial guesses of the parameters, we then viewed the problem of choosing successive data purchases as a game tree of possible sequences of experiments, with the goal being to identify paths most likely to reduce the uncertainty as much as possible at minimum cost. Given that the optimal sequences change as data is purchased (revealing information about the model parameters), we generally tried to find experiments to perform early on that (i) were likely to be necessary regardless of the actual parameter values, or (ii) would provide information distinguishing the most disparate possibilities (e.g., in some cases it was impossible to tell initially whether a regulator was performing full activation or zero activation).
Because of the combinatorial complexity of possible data purchase paths, however, it was critical to apply heuristics to estimate the utility of purchases and to limit the search space. Given the heuristic nature of the search and the relatively small size of the networks, we found it most practical to map out plausible purchase paths on paper rather than codifying our game tree search scheme. We now describe a few key heuristics we developed that we found most valuable.

Steadystate values provide the cleanest measurements of parameters because having a multiplicity of measurements of the same steadystate value allows for averaging out noise. Moreover, combining different steadystate values enables direct inference of activation and repression parameters (k _{ d } and h coefficients). Indeed, at steadystate, the following relations hold:$\begin{array}{l}\left(\mathit{\text{mRNA degradation rate}}\right)*\left[\mathit{\text{mRNA}}\right]\\ \phantom{\rule{0.8em}{0ex}}=\left(\mathit{\text{pro strength}}\right)*\left(\mathit{\text{regulatory terms}}\right)\end{array}$and$\left(\mathit{protein\; degradation}\right)*\left[\mathit{\text{protein}}\right]=\left(\mathit{\text{rbs strength}}\right)*\left[\mathit{\text{mRNA}}\right]$Combining these equations,$\begin{array}{l}\left(\mathit{\text{regulatory terms}}\right)\\ \phantom{\rule{0.7em}{0ex}}=\left(\mathit{\text{mRNA degradation rate}}\right)*\left(\mathit{\text{protein degradation rate}}\right)\\ \phantom{\rule{2em}{0ex}}*\left[\mathit{\text{protein}}\right]/\left(\right(\mathit{\text{pro strength}})*(\mathit{\text{rbs strength}}\left)\right)\end{array}$Considering for the moment the case of a single repressor, there are two unknowns, K _{ d } and h, and the left side has the form$\frac{1}{1+{\left(\frac{\left[\mathit{\text{regulatory protein}}\right]}{{K}_{d}}\right)}^{h}}$
Different steadystates under experimental perturbations yield values of the right side corresponding to different values of the regulatory protein concentration, and taking ratios of these values isolates the effect of the regulation. It follows that 3 steadystate measurements are theoretically enough to determine K _{ d } and h. In light of noise, however, it is very important that the steady states cover a range of concentrations of the regulatory protein that includes or comes near the value of K _{ d }.

For the purpose of obtaining new steadystate measurements at minimal cost, a tradeoff has to be considered between protein measurements (which get 2 new steady states) and mRNA measurements (which get values for all genes, but at much lower resolution). Additionally, a given perturbation typically only produces new steady states for a small number of genes because the effect of the perturbation is often mitigated downstream (by saturation of an activator or repressor). We found that 2protein measurements generally seemed to be most costeffective with a few exceptions.

Most protein and mRNA time courses simply converge to steadystate behavior, but in cases with interesting dynamics, the time trace information is highly informative and can allow inference of parameters with fewer perturbations; this is important to keep in mind to reduce costs.

For some regulations, the only option is to measure K _{ d } and h directly using (expensive) gelshift experiments. These problematic cases arise when it is difficult to keep the protein concentration at the scale of K _{ d } for a reasonable amount of time; most often this happens when K _{ d } is very small and the regulating protein increases quickly in concentration. Another case is if K is much larger than any observed concentrations of the regulatory protein.
These heuristics collectively allowed us to drastically limit the number of candidate experiments to consider at each purchasing step, typically just to one or two possible experiments directed at investigating each unknown parameter. Because the scoring function was based on total squared relative error, prioritizing the least constrained parameters was clearly advantageous and further reduced the search space. Additionally, whenever we were able to identify components of a model that functioned approximately independently, we applied a divideandconquer approach to analyze each component in isolation – again limiting the combinatorial explosion of search paths – and then aggregated the results,
As a final note, after finding potential perturbations to run using these heuristics, we were able to test whether the experiments were likely to achieve their objectives by simply simulating the effects of the perturbations and checking whether different values of the parameters led to noticeably different time traces. We found this simple check to be very useful in helping decide which data to buy.
Winning strategy for the network inference challenge (from team crux)
From the point of view of statistical methodology, inferring missing links in a gene regulatory network model based on experimental data constitutes a model discrimination issue. We applied the classical maximum likelihood methods to address this benchmark challenge.
over all data points y _{ i } interpreted as a function of the parameters θ. Evaluating the likelihood L requires the numerical integration of the ODEs which we performed using the CVODES algorithm of the SUNDIALS package [27]. Estimating the parameters by the maximum likelihood method requires numerical optimization of the likelihood. For this purpose, the trustregion method (MATLAB, R2011a, The Mathworks Inc., Natick, MA) was applied. Since gradientbased optimization critically relies on the accuracy of the first derivatives and finite difference approximations are known to be inappropriate for ODEs [28], the first derivatives were calculated by solving the socalled sensitivity equations [27]. The Hessian is approximated as a product of the Jacobian to obtain second derivative information [29].
Since the model is nonlinear with respect to the parameters, the likelihood landscape can exhibit local minima. Therefore, optimization was repeated using multiple initial guesses. For this purpose, we used Latin hypercube sampling to efficiently explore the parameter space [30].
where x denotes the concentrations predicted by the model. Moreover, likelihood ratios have been utilized to statistically test whether extending the model by additional parameters significantly improves the fit. Since in the challenge the measurement errors were given as normally distributed, loglikelihood ratios are in fact proportional to differences of χ^{2}.
The profile likelihood [31] was used to assess parameter identifiability. Informative experimental conditions were found by exploring the model predictions within the parameter confidence intervals, i.e. by simulating the model for all parameter vectors obtained within the profile likelihood calculation [31]. In general, perturbations and observations which are informative for estimating parameters are characterized by large variations of the model predictions which are reduced if the respective conditions are evaluated experimentally [32]. In the case of several potential model structures, this procedure can be repeated for each model to identify experimental setups where candidate models yield qualitatively different predictions.
Initially, we performed less costly protein measurements for the wildtype setting to have a minimal amount of experimental information enabling the application of the tools introduced above. In this stage, we already gained confidence that the data required an extension of the model allowing for oscillations. Introducing a negative feedback on protein p1 mostly improved our outcome.
In the next stage, we favored mass spectrometry experiments since they provide comprehensive information of all regulators and targets. Having a complete data set for a perturbation setting is advantageous to minimize the risk of erroneously proposing links. Moreover, we preferred highresolution data to obtain as much information as possible about the dynamics. We noticed that missing links with a Hilltype kinetic are only identifiable if the concentrations of the regulator cover the range around the respective Michaelis constant K _{ d }. Therefore, we primarily concentrated on perturbations where we expected largely different concentration ranges of potential regulators.
Additional file 4: Table S1 provides a summary of our iterative experimental planning decisions. We could correctly identify the regulatory effects of p7 and p11, we found p1 as negatively and p11 as positively regulated targets and could thereby reach 12 points in the assessment discussed in Section 2.3.1. We could not find the link from p5 on the common promoter of the genes of p5 and p6. However, after the organizers provided the true parameters to the participants, we recognized that this link is difficult to detect due to the fact that for almost all perturbations the concentration of p5 is clearly above the Michaelis constant K _{ d } = 17.9 of this missing link.
Discussion
In order to evaluate how well mechanistic models could be built upon inferred biological networks, we tested the accuracy of model parameter predictions and missing link identification. Surprisingly, with a limited amount of data, participants were able to reliably predict the value of the parameters and temporal evolution of 3 proteins under perturbed conditions in the parameter inference challenge. Participants did not fare so well in the network topology challenge; although 2 of the 3 links involved were identified (Figure 4), none of the teams found more than one correct link.
Aggregation of participant results
DREAM results for a diverse set of challenges have recurrently demonstrated the “wisdom of crowds” phenomenon, where aggregation of participants’ results has proven to give robust and top performing results [3, 25, 26]. The network topology and parameter estimation challenge is very different in nature from other DREAM challenges, not only because it is the first one to address the dynamics of a biomolecular network using a given biochemical (mechanistic) model, but also because it uses a credit system for participants to obtain in silico experimental data in an iterative manner.
In spite of these original features, we have been able to obtain, as in other DREAM challenges, a robust and highperforming set of predictions based on the geometric mean for the parameters and arithmetic mean for the protein predictions (Figure 3C, D). Geometric mean proved an adequate approach to address the issue that parameter values predicted by different teams could vary several orders of magnitude. Notably, this aggregation method resulted in several solutions with a reduced distance to the parameter values (Figure 3D). It is not clear whether the success of aggregating results is partially due to more data sets being used, since each participant had access to potentially different experimental data. Note, however, that this is not equivalent to a single participant using the combination of the data used by all participants.
For the network topology challenge, although only crux had statistically significant results, the consensus 3 missing links obtained by majority voting to select the most submitted links had a top performing score (Figure 4B, C). Interestingly, only one of the three consensus links is correct (r12 Figure 4B), but the two others correctly implicate genes 1, 7 and 11, although the direction and nature of the regulatory link is incorrect. This proves how difficult it is to differentiate between regulatory diagrams based solely on limited experimental data and perturbations (Figure 4D).
Participants’ methods and credit usage
The strategies for data acquisition were different for the parameter inference and the network topology challenges. As shown in the histograms of Figure 5, participants in the first challenge used most of their credits to collect fluorescent data from timecourses of two proteins. In the second challenge participants equally used massspectroscopy experiments and fluorescent protein timecourses. The interpretation of such diverging strategies can be illustrated from the sequence of data acquisitions of the best performing teams (Figure 5B, D). For the first challenge, orangeballs acquired microarray data to have precise measurements on genes and then mainly used fluorescent timecourseexperiments to refine parameter values. On the second challenge, crux first used credits on wildtype fluorescence data, to cheaply obtain a setting with qualitative disagreement between data and model, and then used mass spectroscopy experiments with perturbations to test for potential missing links. Also, Table 2 suggests that best performing teams mostly took a manual approach for credit usage; automatic methods relying only on a numerical criterion seem not to perform as well for these mechanistic models.
Conclusions
Our results show that from a defined gene network model it is possible to accurately determine the kinetic parameters of a gene regulatory circuit, given simple fluorescentbased experimental data and an adequate inference strategy. More generally, our results suggest that stateoftheart parameter estimation and experimental design methods can in principle determine accurate parameters of biochemical models of gene regulation, but the task is considerably more difficult or maybe impossible to unequivocally solve if the knowledge of the topology is not precise, as often is the case.
As they stand, this study and the underlying data and models are a useful resource for those interested in developing parameter inference methods and to benchmark them against stateoftheart methods. This strategy could be extended and tested on larger, genome size gene networks using wholecell models [33], or alternatively, laboratoryproduced data on synthetic circuits could be used instead of in silico data. Expanding these methods may allow precise determination of kinetic reaction parameters in cases where direct experimental measurements do not exist or are difficult to obtain.
Methods
Scoring the parameter estimation challenge
Distance between simulated and predicted values
For model 1, participants were requested to predict three protein time courses from t _{0} = 0 to t = 20 seconds with a sampling Δt = 0.5, for a total of N = 41 data points. We denote t _{ i } the time at data point i. The predicted and simulated levels of protein k are denoted p _{ k } ^{ pred } and p _{ k } ^{ sim }(t) with k = 3, 5, 8 as the proteins required to be predicted are p _{3,} p _{5,} and p _{8} (see Figure 1B). These predictions were required for an experiment where the network is perturbed simultaneously with a 10fold decrease of r 9_{ kd }, a 2fold increase in rbs3 strength and a 10fold increase of rbs5 strength. These proteins and perturbed states were chosen so that predictions could not be trivially inferred from purchased data.
Note that the squared difference terms are normalized with the variance, and the variance follows the noise model that was implemented in the data provided (with σ_{ b } = 0.1 and σ_{ s } = 0.2). The quantity ${\sigma}_{s}^{2}$ represents a baseline, signalindependent, measurement noise, and ${\sigma}_{s}^{2}$ represents a signaldependent measurement noise.
Finally, the difference is divided by (3 * (N11)) the number of terms being added, to obtain a mean distance value. The distance ${D}_{1}^{\mathit{\text{prot}}}$ was computed for each team.
To statistically evaluate the performance of the teams, a relative null hypothesis was created from this distance, based on the predictions of all the participants. For each protein, we chose at random one of the 12 participant’s predictions for the first time point p _{ k } ^{ pred }(t _{ i }), then at random one of the 12 predictions for the next time point, and so on. We therefore obtained a value of ${D}_{1}^{\mathit{\text{prot}}}$ that would correspond to one possible random choice of predictions amongst all the participants. Repeating this process a large number of times, we generated a distribution of squared distances, from which a pvalue can be estimated for ${D}_{1}^{\mathit{\text{prot}}}$. That pvalue will be denoted as ${p}_{1}^{\mathit{\text{prot}}}$ (see Additional file 3: Figure S1A).
Distance between estimated and known parameters
As degradation rates are equal for all proteins, only one degradation parameter has to be determined and thus model 1 has N _{ p } = 45 parameters to be considered for scoring.
Similar to the case of the distance between simulated and predicted protein abundances, a relative null hypothesis is created from the distance between estimated and known parameters based on the predictions of all the participants. For each parameter, we chose at random one of the 12 participant’s predictions for the parameter. We therefore obtained a value of D that would correspond to one possible random choice of predictions amongst all the participants. By doing the same process a large number of times, we generated a distribution of distances between known and estimated parameters, from which a pvalue can be estimated for D _{1} ^{ param }. That pvalue will be denoted as p _{1} ^{ param } (see Additional file 3: Figure S1B).
Scoring the network topology inference challenge
Distance between the estimated and true network
For model 2 we requested the prediction of 3 missing links of the network as shown in Additional file 2: Figure S2A. Protein dynamics are different from Model 1 and in particular include oscillatory behavior (Figure 4A). In order to facilitate the task of the participants, the possible universe of links was reduced by a rule stating that (i) genes could only establish a maximum of two regulating links and (ii) a link could regulate up to two genes in the same operon. Hence, six gene interactions had to be indicated by the participants composed of three links regulating up to two genes and also defining whether the gene regulation is activating (+) or repressing (−).
Where L _{ i } = 6 if one connection has all its elements correctly predicted (that is, the source gene, the sign of the connection, and the destination gene are all correct). For the special case that a link regulates an operon composed of two genes and both connections are correct, reflecting the correct prediction of two connections, a doubled number of points L _{ i } = 12 was awarded. Otherwise, L _{ i } = 0 if some element of the connection is not fully correct. If L _{ i } = 6 or 12 then N _{ i } = 0 and the scoring for that link is complete, with a final score s _{ i } ^{ link } of 6 or 12, respectively. In case a link is not correctly predicted (L _{ i } = 0), N _{ i } adds to the score a value (less than 6) indicating how good the prediction is. Each gene interaction is positive or negative and composed of a source and a destination gene. Then, N _{ i } is increased by 1 for each correctly predicted gene, and by 2 if the destination gene and the nature of the regulation (i.e. +/−) are correct. Correct (+/−) predictions without the correct associated genes are given no points. Some examples of these scores are provided in the nonexhaustive Additional file 5: Table S2.
Dialogue for reverse engineering assessment and methods 6 (DREAM6) &7 parameter estimation consortium
We indicate D6 or D7 if teams participated only in DREAM6 or DREAM7
team ALF D6
Alberto de la Fuente, Andrea Pinna, Nicola Soranzo. CRS4 Bioinformatica c/o Parco Tecnologico della Sardegna, Edificio 3 Loc. Piscina Manna 09010 Pula ITALY
team amis2011
Adel Mezine : 1 Artemis Llamosi : 1 & 3 (current address : Université Paris Diderot, Sorbonne Paris Cité, MSC, UMR 7057 CNRS, 75013, Paris, France) Véronique Letort : 2 Arnaud Fouchet : 1 Michele Sebag : 3 Florence d’AlchéBuc : 1 & 3
1: IBISC EA 4526, Université d’Evry Val d’Essonne, 23 Bd de France, 91000, Evry, France,
2: Ecole Centrale Paris, Laboratory of Applied Mathematics and Systems (MAS), F92295 Châtenay Malabry, France,
3: INRIA Saclay, LRI umr CNRS 8623, Université Paris Sud, Orsay, France.
team BadgerNets D6
Devesh Bhimsaria, Parameswaran Ramanathan, Aseem Ansari, Parmesh Ramanathan
Dept. of Electrical & Computer Engineering Tel: (608) 2630557 University of Wisconsin, Madison Fax: (608) 2621267 Madison, WI 537061691
Team BIOMETRIS D7
Laura Astola, Jaap Molenaar, Maarten de Gee, Hans Stigter, Dijk van AaltJa, Simon van Mourik, Johannes Kruisselbrink
Wageningen University Plant Sciences Subdivision Mathematical and Statistical Methods, PO box 100 6700 AC Wageningen, Netherlands
team BioProcessEngi D6
Julio Banga, Eva Balsa Canto, Alejandro F Villaverde, Oana Chis, y David Henriques.Bioprocess Engineering Group Institute for Marine Research (IIMCSIC), R/Eduardo Cabello, 6. Vigo 36208, Galiza, Spain
team COSBI D6
Paola Lecca
The Microsoft Research – University of Trento Centre for Computational and Systems Biology. Piazza Manifattura 138068 Rovereto, Italy
current affiliation is Centre for Integrative Biology University of Trento Via delle Regole, 101,38123 Mattarello (TN), Italy Email: paola.lecca@unitn.it
team Crux
Clemens Kreutz, Andreas Raue, Bernhard Steiert, Jens Timmer
Freiburg Institute for Advanced Studies (FRIAS), University of Freiburg, Albertstr. 19, 79104 Freiburg, Germany
Institute of Bioinformatics and Systems Biology, Helmholtz Center Munich, Ingolstaedter Landstr. 1, 85764 Neuherberg, Germany
Physics Department, University of Freiburg, Hermann Herder Str. 3, 79104 Freiburg, Germany
team ForeC_in_HS D7
Julian Brandl, Thomas Draebing, Priyata Kalra, Ching Chiek Koh, Jameson Poon, Dr. Sven Sahle, Dr. Frank Bergmann, Dr. Kathrin Huebner, Prof. Dr. Ursula Kummer. University of Heidelberg, Seminarstraße 2, 69117 Heidelberg, Germany
team GIANO6 D6
Gianna Toffolo, Federica Eduati and Barbara Di Camillo
University of Padova Department of Information Engineering Via Gradenigo 6B 35131 Padova, ITALY
team ipk_sys D6
Syed Murtuza Baker, Kai Schallau, Hart Poskar, Bjorn Junker, Swetlana Friedel. Data Inspection group and Systems Biology Group, Leibniz Institute of Plant Genetics and Crop Plant Research.
team KroneckerGen D6
David R Hagen [1, 2] and Bruce Tidor [1–3] drhagen@mit.edu
1) Department of Biological Engineering, Massachusetts Institute of Technology, Cambridge, MA, USA
2) Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA, USA
3) Department of Computer Science and Electrical Engineering, Massachusetts Institute of Technology, Cambridge, MA, USA
team 2pac
Cihan Oguz, Tyson Lab,
Departments of Biological Sciences Virginia Polytechnic Institute & State University Blacksburg, VA 24061 USA
team LBM D6
Michael Mekkonen, MIT
Lu Chen, WUSTL School of Medicine
Vipul Periwal, LBM, NIDDK, NIH
team ntu D7
Ching Chang1, Juo Yu Lee1, MeiJu May Chen2, YuYu Lin3 and ChienYu Chen1,2
1 Department of BioIndustrial Mechatronics Engineering, National Taiwan University, Taipei, Taiwan;
2 Genome and Systems Biology Degree Program, National Taiwan University and Academia Sinica, Taipei, Taiwan;
3 Graduate Institute of Biomedical Electronics and Bioinformatics, National Taiwan University, Taipei, Taiwan
team orangeballs
PoRu Loh, George Tucker, Mark Lipson, Bonnie Berger
Department of Mathematics, MIT, Cambridge Massachusetts
team Reinhardt
Christian Lajaunie, Edouard Pauwels, Jean Philippe Vert
Centre for Computational Biology, Mines ParisTech, Fontainebleau, F77300 France Institut Curie, Paris, F75248, France U900, INSERM, Paris, F75248, France
team TBP D7
Orianne Mazemondet, Friedemann Uschner Katja Tummler, Max Floettmann, Sebastian Thieme, Abel Vertesy, Marvin Schultz, Till Scharp, Thomas Spiesser, Marcus Krantz, Ulrike Mänzner, Magdalena Rother, Matthias Reis, Katharina Albers, Wolfgang Giese and Edda Klipp from Theoretical Biophysics Humboldt Universität zu Berlin
team thetasigmabeta
Juliane Liepe, Siobhan MacMahon, Paul Kirk, Sarah Filippi, Christopher Barnes, Thomas Thorne, Michael P.H. Stumpf Centre for Integrative Systems Biology and Bioinformatics, Imperial College London London SW7 2AZ UK
team ZiBIOSS D6
Zhike Zi, BIOSS Centre for Biological Signalling Studies, University of Freiburg, Schaenzlestr. 18 s, 79104, Freiburg, Germany
Declarations
Acknowledgments
We acknowledge the financial aid received from the EU through project “BioPreDyn” (ECFP7KBBE20115 Grant number 289434). HS, KK and DC acknowledge support from the National Institute of General Medical Science of the National Institutes of Health under award number R01GM081070 NSF support (0827592) in Theoretical Biology (MCB) and NSF support (1158573) EF. Thanks to Michael Menden for useful comments on the manuscript and the analysis. PL and GT acknowledge support from Defense NDSEG graduate fellowships. PL and ML acknowledge support from NSF graduate fellowships. AR, BS, CK are funded by German Federal Ministry of Education and Research [Virtual Liver (Grant No. 0315766) and LungSys II (Grant No. 0316042G)].
Authors’ Affiliations
References
 De Smet R, Marchal K: Advantages and limitations of current network inference methods. Nat Rev Microbiol. 2010, 8 (10): 71729.PubMedGoogle Scholar
 Marbach D, et al: Revealing strengths and weaknesses of methods for gene network inference. Proc Natl Acad Sci U S A. 2010, 107 (14): 628691. 10.1073/pnas.0913357107.PubMed CentralView ArticlePubMedGoogle Scholar
 Prill RJ, et al: Crowdsourcing network inference: the DREAM predictive signaling network challenge. Sci Signal. 2011, 4 (189): mr7PubMed CentralView ArticlePubMedGoogle Scholar
 Banga JR: Optimization in computational systems biology. BMC Syst Biol. 2008, 2: 4710.1186/17520509247.PubMed CentralView ArticlePubMedGoogle Scholar
 Fernandez Slezak D, et al: When the optimal is not the best: parameter estimation in complex biological models. PLoS One. 2010, 5 (10): e1328310.1371/journal.pone.0013283.PubMed CentralView ArticlePubMedGoogle Scholar
 Sun J, Garibaldi JM, Hodgman C: Parameter Estimation Using MetaHeuristics in Systems Biology: A Comprehensive Review. 2011, IEEE/ACM Trans Comput Biol BioinformGoogle Scholar
 Ashyraliyev M, Jaeger J, Blom JG: Parameter estimation and determinability analysis applied to Drosophila gap gene circuits. BMC Syst Biol. 2008, 2: 8310.1186/17520509283.PubMed CentralView ArticlePubMedGoogle Scholar
 van Riel NA: Dynamic modelling and analysis of biochemical networks: mechanismbased models and modelbased experiments. Brief Bioinform. 2006, 7 (4): 36474. 10.1093/bib/bbl040.View ArticlePubMedGoogle Scholar
 Kreutz C, Timmer J: Systems biology: experimental design. FEBS J. 2009, 276 (4): 92342. 10.1111/j.17424658.2008.06843.x.View ArticlePubMedGoogle Scholar
 Kun Deng YZ, Chris B, Stephen S, Julie M: New algorithms for budgeted learning. Mach Learn. 2013, 90: 5990. 10.1007/s1099401252992.View ArticleGoogle Scholar
 Danino T, et al: A synchronized quorum of genetic clocks. Nature. 2010, 463 (7279): 32630. 10.1038/nature08753.PubMed CentralView ArticlePubMedGoogle Scholar
 Elowitz MB, et al: Stochastic gene expression in a single cell. Science. 2002, 297 (5584): 11836. 10.1126/science.1070919.View ArticlePubMedGoogle Scholar
 Locke JC, et al: Stochastic pulse regulation in bacterial stress response. Science. 2011, 334 (6054): 3669. 10.1126/science.1208144.PubMed CentralView ArticlePubMedGoogle Scholar
 Meyer P, Dworkin J: Applications of fluorescence microscopy to single bacterial cells. Res Microbiol. 2007, 158 (3): 18794. 10.1016/j.resmic.2006.12.008.View ArticlePubMedGoogle Scholar
 Moon TS, et al: Genetic programs constructed from layered logic gates in single cells. Nature. 2012, 491 (7423): 24953. 10.1038/nature11516.PubMed CentralView ArticlePubMedGoogle Scholar
 Muzzey D, van Oudenaarden A: Quantitative timelapse fluorescence microscopy in single cells. Annu Rev Cell Dev Biol. 2009, 25: 30127. 10.1146/annurev.cellbio.042308.113408.PubMed CentralView ArticlePubMedGoogle Scholar
 Suel G: Use of fluorescence microscopy to analyze genetic circuit dynamics. Methods Enzymol. 2011, 497: 27593.View ArticlePubMedGoogle Scholar
 Suel GM, et al: An excitable gene regulatory circuit induces transient cellular differentiation. Nature. 2006, 440 (7083): 54550. 10.1038/nature04588.View ArticlePubMedGoogle Scholar
 Sabido E, Selevsek N, Aebersold R: Mass spectrometrybased proteomics for systems biology. Curr Opin Biotechnol. 2012, 23 (4): 5917. 10.1016/j.copbio.2011.11.014.View ArticlePubMedGoogle Scholar
 Eydgahi H, et al: Properties of cell death models calibrated and compared using Bayesian approaches. Mol Syst Biol. 2013, 9: 644PubMed CentralView ArticlePubMedGoogle Scholar
 Liepe J, et al: Maximizing the information content of experiments in systems biology. PLoS Comput Biol. 2013, 9 (1): e100288810.1371/journal.pcbi.1002888.PubMed CentralView ArticlePubMedGoogle Scholar
 Chandran D, Bergmann FT, Sauro HM: TinkerCell: modular CAD tool for synthetic biology. J Biol Eng. 2009, 3: 1910.1186/17541611319.PubMed CentralView ArticlePubMedGoogle Scholar
 Sauro HS, Rohwer J, Snoep M, Hofmeyr JL: JARNAC: a system for interactive metabolic analysis. Animating the Cellular Map In Proceedings of the 9th International BioThermoKinetics Meeting. 2000, Stellenbosch University Press, 221228.Google Scholar
 Drummond DA, Wilke CO: Mistranslationinduced protein misfolding as a dominant constraint on codingsequence. Evolution. 2008, 134 (2): 341352.Google Scholar
 Marbach D, et al: Wisdom of crowds for robust gene network inference. Nat Methods. 2012, 9 (8): 796804. 10.1038/nmeth.2016.PubMed CentralView ArticlePubMedGoogle Scholar
 Prill RJ, et al: Towards a rigorous assessment of systems biology models: the DREAM3 challenges. PLoS One. 2010, 5 (2): e920210.1371/journal.pone.0009202.PubMed CentralView ArticlePubMedGoogle Scholar
 Hindmarsh AC, et al: SUNDIALS: Suite of nonlinear and differential/algebraic equation solvers. ACM Trans Math Softw. 2005, 31: 363396. 10.1145/1089014.1089020.View ArticleGoogle Scholar
 Lohmann TBH, Schlöder J: Numerical methods for parameter estimation and optimal experimental design in chemical reaction system. Ind Eng Chem Res. 1992, 31: 5457. 10.1021/ie00001a008.View ArticleGoogle Scholar
 Press WFB, Saul S, Vetterling W: Numerical recipes. 1992, Cambridge University PressGoogle Scholar
 McKay MD, Beckman RJC: W. J., A comparison of three methods for selecting values of input variables in the analysis of output from a computer CodeTechnometrics. Am Stat Assoc Am Soc Qual. 1979, 21: 239245.Google Scholar
 Raue A, Becker V, Klingmüller UT: Identifiability and observability analysis for experimental design in Nonlinear dynamical models. Chaos. 2010, 20 (4): 4510510.1063/1.3528102.View ArticleGoogle Scholar
 Steiert B, et al: Experimental design for parameter estimation of gene regulatory networks. PLoS One. 2012, 7 (7): e4005210.1371/journal.pone.0040052.PubMed CentralView ArticlePubMedGoogle Scholar
 Karr JR, et al: A wholecell computational model predicts phenotype from genotype. Cell. 2012, 150 (2): 389401. 10.1016/j.cell.2012.05.044.PubMed CentralView ArticlePubMedGoogle Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated.