Sentence examples for and formalized in the from inspiring English sources

Topological information is extracted offline from formal (BIM) and informal (CMS) data sources using various methods and formalized in the form of graphs (fingerprints).

Jona-Lasinio (2003) offers a first-hand account of how the idea of SSB was introduced and formalized in particle physics on the grounds of an analogy with the breaking of (electromagnetic) gauge symmetry in the 1957 theory of superconductivity by J. Bardeen, L. N. Cooper and J. R. Schrieffer (the so-called BCS theory).

By the end of the Ming dynasty, the writing of examination responses had become highly stylized and formalized in a pattern called "the eight-legged essay" (baguwen), which in subsequent centuries became notoriously repressive of creative thought and writing.

New roles and responsibilities were outlined and formalized in descriptions authorized by the department management.

Unlike the apophatikon or propositional negation connective introduced by the Stoics and formalized in Fregean and Russellian logic, Aristotelian predicate denial, while toggling truth and falsity and yielding the semantics of contradictory opposition, does not apply to its own output and hence does not syntactically iterate.

The notion of the redundancy degree is addressed and formalized in an I/O automata framework.

The Kolmogorov-Zurbenko filter has previously been extended and formalized in several useful applications including a spatial filter.

Information already captured and formalized in OWL and RDF knowledge bases can be directly utilized.

This acquired domain knowledge was represented and formalized in an ontology.

This situation was anticipated in the truce of 1547 and became formalized in the Peace of Constantinople (1562).

We build on a general logical theory of action developed by Reiter and others, formalized in the situation calculus.