Sentence examples for formalization as from inspiring English sources

Using terminology taken from logic and formal language theory, our earlier discussion of denes invited their formalization as the closure of atomic statements on subsequences under Boolean operators, partial order (including possible overlapping), regular expressions, and modalities.

Hence, their formalization as computer-interpretable guidelines (CIGs) makes it possible to develop CIG-based decision-support systems (DSSs), which have a better chance of impacting clinician behavior than narrative guidelines.

This paper deals with a common vocabulary, definitions of concepts and mathematical principles, and above all, focuses on the concept of malfunction, starting from an engineering point of view and then shifting to a pure formalization as thermoeconomic parameters.

Many Husserlian themes to be developed at length in later writings first emerge here: Abstraction, internal time consciousness, polythetic acts, acts of higher order ('founded' acts), Gestalt qualities and their role in knowledge, formalization (as opposed to generalization), essence analysis, and so forth.

As long as formalization problems remain relatively simple, we can treat formalization as an art rather than as a discipline with a well-articulated methodology.

For several reasons of formalization as the transformation and its automation, the construction of the transformation rules was based on Jensen's formal definition of Colored Petri Nets.

This section visualized then that the obtained abstract machine behaves exactly like the transformed Colored Petri Net and keeps all the modeled requirements, which is reinforcing our conclusions to use the transformation rules presented in this paper as a base framework for the construction of all the aspects of the transformation, such as its formalization, formal proof and automation.

The formalization serves as the theoretical background to prove our view to the design of qualitative system models and to establish the diagnostic architecture called DISY.

It is lost in the formalization block, as there is no corresponding change in Genesys.

The task-oriented leadership behaviour of formalization, defined as specifying work procedures and rules and monitoring tasks, showed insignificant relationships with all of the four outcomes.

Formalization of the problem, as well as description of the algorithm and library functions, both in C/C++ and Perl, is given in section 4. (d) Edit distance with concave and affine gap penalties.