Sentence examples for a model verification from inspiring English sources

To construct a timing-robust Boolean model that preserves checkpoint conditions of the budding yeast cell cycle, we used a model verification technique, 'model checking'.

Towards this goal, we used a model verification technique, 'model checking' [ 20], to cope with difficulties of timing robust analysis in conventional simulation based approach.

This study further proposes a subsequent model verification study using a Delphi method with four rounds of surveys.

The concept of evaluating multiple alternative models to determine ecological response form is over a century old and is ever more relevant as modern computing power allows ever more complicated models to be routinely used but often without a reasonable model verification process, particularly in fields where the ecological conceptual model is still developing.

In the previously mentioned steps (i.e., model building), only one fifth (n = 5) of the collected adult data set was used, whereas the remaining data (n = 22) were used later for a subsequent model verification.

The goal of this project is an automated model verification tool for the International Space Station.

As a first classification model verification strategy, we tested the model derived from the microarray data on the multiplex PCR data (11 samples).

It would be good to add a step of model verification where you simulate the model given some parameter set, and then see whether you can recover the parameters using the ABC method.

The full posterior distribution for each parameter is graphed in Figure 4 figure supplement 1, and point estimates are given in Figure 3 figure supplement 2. It would be good to add a step of model verification where you simulate the model given some parameter set, and then see whether you can recover the parameters using the ABC method.

Ki Wo et al. [12] derived the downlink SINR formula for the residential femtocell but the formula did not take the throughput into account while researchers in [13] provided system simulation to evaluate the femtocell network performance, however the simulation was relatively simple without an extensive theoretical model verification.

For the purpose of model verification, a numerical scheme of direct-time integration to an alternative finite element (FE) semi-discretized system is performed using the one-step Newmark's method.