Sentence examples for formal characterization from inspiring English sources

The result of our formalization is a formal characterization of the distinctions that are made by a modelling language as well as how the structure of a model within this language reflects the structure of the biological phenomena it represents.

In him there also appeared the first clear separation between the formal characterization of logical laws and their semantic justification.

An exception: the military can no longer provide tactical knives – which had a somewhat misleading formal characterization as a "bayonet" that attracted public unease – that it had until recently continued sending to law enforcement.

The self-integration account of integrity takes this formal characterization of integrity a step further.

See (Fagin et al. 1995) for more on the formal characterization of logical omniscience.

His methodology was such that, following the preliminary examination of the linguistic and physical phenomena under consideration, he would advance a semi-formal characterization, one which he would subsequently subject to formal characterization using the resources of symbolic logic.

Others have developed formal characterizations of equality of resources, opportunity, and outcomes and have analyzed the conditions under which it is possible to separate individual and social responsibility for inequalities (Pazner and Schmeidler 1974, Varian 1974 , 1975 Roemer 1986b , 1987 Fleurbaey 1995, 2008).

Given their numeric value and strictly instrumental, thematic and complementary nature, the proposed parameters do not have any geometric, formal or stylistic characterization, and thus can be considered as capable of leaving an appropriate level of freedom within the design of solutions aimed at meeting both contemporary and future functional and aesthetic needs.

Here's a rough characterization: the formal institutions and legal framework of the state serves to express, encourage and favor that people's identity.

This technique works very well for the characterization of a formal villain.

However, formal proof awaits purification and molecular characterization of the marmoset CMV, that is, CalHV2.