Sentence examples for the specified models from inspiring English sources

However, in the literature there are no formal frameworks that allow designers to verify the consistency (absence of contradictions) of both the static and dynamic components of the specified models, that are often assumed to be consistent.

The specified models are simulated through the common token player algorithm, and formal analysis using invariants and theorem proving are applied to verify models' soundness and to reason on specific scenarios.

This result shows that more than half of the variation is explained by the specified models.

Thus, on the school level, the specified models included two aggregated student level variables that described students' background: Aspiration to complete higher levels of education (HFG) on a scale of 1 (finish secondary school) to 5 (beyond first university degree); and the number of books at home (book)—a proxy for students' sociocultural background on a scale of 1 (few) to 5 (many).

The specified models only explain a share of the variation in health care utilization as indicated by relatively low R-squared values (not shown).

Several of the mapped variables were close to the domain questions in the EQ-5D which could explain the good fit in all the specified models.

The get_xsxset command returns the current value setting for the specified model variable.

The confidence command computes confidence interval bounds for the specified model parameters in the dataset.

The thaw command thaws the specified model parameters so that they may vary during a fit.

Furthermore, if enough data are available, we can explicitly verify assumptions (e.g., equal variance) and refine the specified model, if needed.

The get_model_component command returns the parameter values and settings currently defining the specified model component (the get_model function returns the full model by data set ID).