Sentence examples for used to formalize from inspiring English sources

Then, in the third part, we will show how graph theory also offers some tools that can be used to formalize qualitative approaches very useful for geographers.

We may take the sign for membership as a logical sign in some formalizations of the theory of types (which can in turn be used to formalize theories with arbitrary universes of individuals).

The Obama innovation fund should be used to formalize high school-community college partnerships.

LTL can then be used to formalize the these properties.

Cross-tree constraints are used to formalize extra-feature dependencies in the form of propositional formulas.

Laffont's differential method is used to formalize the procedures with desirable properties.

In this section, we define the multidimensional model we will use to formalize our approach and illustrate it using our working example.

(For the relevant correspondence, see Russell (1902) and Frege (1902) in van Heijenoort (1967).) The paradox was of significance to Frege's logical work since, in effect, it showed that the axioms Frege was using to formalize his logic were inconsistent.

EQ is currently widely used to annotate and formalize phenotypes and phenotypic descriptions (Mungall et al., 2010), and its formalization states that an EQ statement is equivalent to a Quality (Q) that inheres-in an Entity (E) (Mungall, 2007).

Since graph transformation systems (GTS) are widely used for defining the syntax and semantics of different diagrams and notations formally, in this paper, we are using GTS to formalize agent-oriented methodologies.

In this paper we use UTP to formalize Reo connectors, whereby connectors are interpreted by designs in UTP.