Sentence examples for model is formalized from inspiring English sources

This model is formalized using an ontology language, OWL for encoding knowledge over the Web.

The main thrust of this paper is twofold: (1) Proposition of a nonlinear process planning based on the STEP-NC (STEP-compliant data interface for numerical controls) paradigm whose data model is formalized as ISO 14649, and (2) Development of an optimal solution algorithm for process planning for complex machining.

Our model is formalized within the powerful theory of stochastic Optimal Feedback Control (OFC) [16].

This causal model is formalized in Figure 1: three causal variables (ETH, JA, SA; dashed circles) are shown on the left side of the figure.

The SIR model is formalized as a system of differential equations that allow the infection to be modelled deterministically.

A model was formalized and validated.

The input and output data of each model are formalized with design principles, enabling data chain between the models.

Second, change impact relationships among requirements, behaviors, and structures of the system model are formalized by an ontology to make the semantics both human-understandable and machine-readable.

With this aim, we have prototyped original software that performs an automated Ca2+ spiking analysis (CaSA) based on our recent studies where a prototypal computational model was formalized to simulate Ca2+ spiking dynamics [ 16].

The meta-model that supports these models is formalized using enterprise modeling language constructs (i.e., CIMOSA business concepts).

In our approach, models are formalized together with scenarios that represent possible run-time instances.