Sentence examples for model with formal from inspiring English sources

We discuss, however, that the missing dimensions/physics in a hydrologic model may be compensated to some extent by enabling the model with formal hysteretic components and also that the conventional model structure and parametrization may be designed in a way to partially reproduce a desired hysteretic behavior.

This section develops a four-sector general equilibrium model with formal and informal sector employment opportunities and educational choice.

On a macro level, this kind of attitude can be baked into your business model with formal recognition programs and incentives, like employee-of-the-month awards, team outings and other periodic events or gifts.

This enables a model-engineering process that combines the convenience of Ptolemy II DE modeling and simulation with formal verification in Real-Time Maude.

In the future, it would be interesting to couple formal models with formal specification models in other domains such as in the domain of the Internet of Things, networks of consumer electronics and more.

We then offer a methodology which combines these finite state models with formal analytics from theoretical computer science[8] to provide a comprehensive vulnerability analysis process for large-scale networks.

Since systems biology is based on quantitative empirical data and marries informal cartoon-like static flowchart-type models with formal mathematical and computational modeling, it has indeed the promise of generating biological predictions accessible to experimental verification.

This example model is developed step-by-step with the rube modeling methodology and associated development tools to demonstrate the practical feasibility of integrating customized software model visualization with formal software modeling processes.

The scene model, represented with formal ontologies, supports the execution of reasoning procedures in order to: (i) obtain a high-level interpretation of the scenario; (ii) provide feedback to the low-level tracking procedure to improve its accuracy and performance.

Taking the Psalms of the Vulgate as his model, he dispensed with formal metrics, replacing them with free-verse lines of indeterminate length and an intoxicating use of rhythm and imagery.

The use of an overarching, superset data model in PCTRIS with formal syntax and declared semantics (thus ensuring referential and functional integrity) and providing a superset over the metadata of the collection of connected systems would give a greater chance of correct assignment of publications to groupings of 'like' publications; I have read this submission.