Sentence examples for model was formalized from inspiring English sources

A model was formalized and validated.

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].

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

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.

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.

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

Correctness preserving transformations between models are formalized and proved as refinement rules in rCOS.