Sentence examples for with the formalization of from inspiring English sources

In 1933, with the end of Prohibition, the image of the mobster as a misbegotten freedom fighter became obsolete; in 1934, with the formalization of the Hays Code, it became untenable.

The Qualification Problem arises generally in connection with the formalization of common sense generalizations.

Hendrick is attributed with the formalization of organizational design and management (ODAM) in ergonomics [Hendrick, H.W., Kleiner, B.M., 2001. Macroergonomics: An Introduction to Work System Design. Human Factors and Ergonomics Society, Santa Monica, CA.].

The article thus has relevance to all countries struggling with the formalization of equity concerns for priority setting.

Evaluating the proportional shortfall concept and the support for it in more detail is therefore directly relevant to the Dutch situation as well as other countries currently struggling with the formalization of equity concerns for priority setting in health care.

This indicates a tight relation between cut-introduction and Kolmogorov complexity, and thus the use of proofs clarifies, conceptually improves and solves some limitations of the ideas of algorithmic information theory with respect to the formalization of science.

This is backed by the initiative of creating youth organizations which, among other things, will have a permanent line of work with Return to Happiness in the formalization of socio cultural animation activities for social and human development.

When this option is activated, the universal quantifier is replaced with an existential quantifier in the formalization of process- and function-based annotations and we import only ontologies (including our upper-level ontology) that we converted into the OWL EL fragment using the EL Vira software [ 47].

For instance, Suppes understands first-order predicate logic, with its "linguistic" rather than "set-theoretical" entities, as "utterly impractical" for the formalization of "theories with more complicated structures like probability theory" (Suppes 1957, 232, 248 9; cf. Suppes 2002).

In addition to the improved and more centralized resources, and the formalization of processes already in place with YouTube for Creators, YouTube noted it's rolling out a few more tools, too.

This motivated the formalization of the notion of specificity with the definition of the information content (IC) of a given term: where p(c) is the probability of term c [ 40].