Sentence examples for a model entails from inspiring English sources

In the 1970s, van Benthem showed that this happens iff the translation's holding in a model entails its holding in any bisimular model, where two models are bisimular iff there is a bisimulation between them in the special case where there is a single accessibility relation.

Finally, the paper also presents an empirical study for assessing the harmfulness of each of the uncovered anti-patterns (i.e., the likelihood that its occurrence in a model entails unintended consequences) as well as the effectiveness of the proposed refactoring plans.

These authors proposed a model entailing a strong lateral contrast in conductivity where a highly conductive layer at a depth of 1.5 3 km is truncated at a position coinciding with the downward projection of the surface trace of the fault, which then acts as an impermeable barrier at depth.

A second, "maximum" model entails a thicker ice sheet with limited coastal nunataks, and ice filling the coastal valleys and extending across the entire continental shelf.

In contrast, incorporating a pre-defined setup sequence into a discrete time-based lot-sizing model entails a very elaborate procedure using a sequence-dependent model formulation and the definition of prohibitively high setup costs or times for infeasible product sequences.

Assuming a continuous resident concentration at the interface between a mixing cell and a column, as in case of the MC-RI+ model, entails a flux discontinuity.

The developed model entails a hierarchical structure with an automaton as supervisor and several other interactive automata describing the subsystems of the plant.

In general, the decision model entails an optimal BPS level where, throughout a multi-period planning horizon, the demand reduction that results from reduced process flexibility is overcompensated by the higher demand trend that flows from better quality and time.

A non-parametric Cox model entails fewer assumptions, but parametric models can incorporate the reasonable assumption of a decreasing hazard, especially when data are sparse or inconsistent.

Note that from the individual's perspective this definition of the model entails a one-to-one correspondence with respect to the space of consumption and health.

This is an important operational aspect of meta-Bayesian inference, where inversion of the response model entails a nested inversion of the perceptual model.