Sentence examples for with a formalization from inspiring English sources

The developed technique carries out an iterative process which relies on a set of basic refinement patterns that we have established, and ends up with a formalization step which actually generates logical CTL* formulas.

The proposed solution includes a language with semantics based in a formalization of each space model.

Minimum Reaction Insertion (MRI) problem where the minimum set of reactions is added so that the target compound newly becomes producible is also explained with a similar formalization approach.

The chapter continues with a generalized formalization of coordination failures (R.W. Cooper and A. John) and the original technology choice and lock-in models (W.B. Arthur, P.A. David), before presenting the original neo-Schumpeterian model of technological change (R.R. Nelson and S.G. Winter) and a model of search on technology landscapes (S.A. Kauffman).

The types of contract studied here correspond to a formalization of commitments between actors with interdependent activities, in a context of uncertainty and incomplete information.

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

The paper concludes with suggestions for the construction of an experimental design based on such a formalization, and the use of different types of empirical data.

2. One could devise a formalization of the Red Barn Example in a bi-modal language with distinct modalities for knowledge and belief.

In this section, we introduce a formalization of our model.

Figure2 represents a formalization of the platform load.

Gold's paradigm looks a lot more like a formalization of so-called 'rationalism'rationalism