Sentence examples for for a formalization from inspiring English sources

It calls for a formalization of all of mathematics in axiomatic form, together with a proof that this axiomatization of mathematics is consistent.

To get at the idea, note first that the notion of an intended Tarski model makes perfectly good sense for a formalization of nonmodal discourse about the actual world.

Such an investment is worthwhile if the expected present value of the reduction in disease and in the probability of death is larger than the opportunity costs of the intervention (comp. [8, 9, 24, 25] for a formalization of these notions).

In this paper, the geometric and action conditions affecting temporary structure sharing are examined to put forth a formalization for a computer application (a proprietary tool developed by the primary author) called the Temporary Structure-Planning Generator (TSPG).

This paper introduces such a formalization for SIP-based VoIP services, utilizing ontologies, facilitating an extensible description of known SIP security vulnerabilities that can be employed in a real environment for testing or intrusion detection purposes.

To help the urban poor deal with the great disadvantages and disparities that they face, a number of initiatives have been put in place, including a formalization initiative for Rio de Janeiro's beach vendors, a five-year community-led development plan in Mumbai's most vulnerable slum, a toolkit for spatial planning in Jakarta and a digital literacy campaign in Mexico City.

For example Figure 6B shows the suggested template selection workflow for TMH2 and is essentially a formalization of the results detailed in Table 4, Table 6 and Figure 5.

Such an approach can be thought of as "a formalization of common sense for decision problems which are too complex for informal use of common sense" (Keeney 1982).

A formalization of the Framework for Global Virtual Business (COSME Model) to create a reference model for Virtual Enterprise design, creation and operation using GERAM is presented.

We provide a formalization of the syntax and semantics for generalized constraint diagrams.

(For an alternative formalization, see O'Connor and Churchill 2010, and for historical perspective, Patterson 2005).