Sentence examples for formalization model from inspiring English sources

This paper presents an integrated hazard identification approach named System-Theoretic Process Analysis Based on Formalization Model (BFM-STPA), which can solve the above issues.

In this formalization, models are defined as sets of model fragments, causal explanations are generated using causal ordering, and model simplicity is based on the intuition that using more approximate descriptions of fewer phenomena leads to simpler models.

The Justification Logic formalization models what seems to be happening in such a case; closure of knowledge under logical entailment is maintained even though 'barn' is not perceptually known.[2] Kolmogorov explicitly suggested that the proof-like objects in his interpretation ("problem solutions") came from classical mathematics (Kolmogorov 1932).

The most popular formalization for model surface reflectance is the bidirectional reflectance distribution function (BRDF).

This chapter will aim to present good practice in, and the benefits of, formalization in modeling multiagent systems (MAS).

Too much deviance from a concept's intuitive content spells failure for formalizations that model it.

To perform the formalization of models, we used the Gene Ontology, the ChEBI Ontology, the Celltype Ontology and the PATO Ontology, all of which are freely available from http://obofoundry.org.org

Model formalization is valuable for process simulation and validation.

The effectiveness of this framework has been tested in the formalization of a model of economic growth.

This section describes the process of numerical formalization of the model presented in "Mirror neurons and internal simulation", "Action ownership states for God and Self", and "The God-image" sections.

We provide a formalization of the model and detail its innovative implementation using techniques from the semantic web community such as ontology modeling and SPARQL.