Sentence examples for is formalized in the from inspiring English sources

It is formalized in the sense that roles, relationships, and behaviours therein are prescribed in a set of rules, which serves as the cornerstone of rational-legal authority.

This result is formalized in the following proposition.

This procedure is formalized in the Bayesian framework.

This argument is formalized in the following lemma, which provides the analytic solution of the system of difference equations (3) for this specific case.

The definition of pivot is formalized in the following formula: x_{i} in P iff x_{i} in R wedge t - t_{x_{i}} < alpha (4).

The algorithm is formalized in the framework of an inverse problem, where based on the fundamental theorem of calculus a matrix equation is formed using a Volterra type integral equation of first kind.

Monster's program for retailers was formalized in 1993 as the M4 Dealer Success Program.

Furthermore, once a design has been formalized in the DSD language it becomes possible to perform formal verification of certain aspects of its behaviour, for example using a stochastic model checker or a theorem prover.

If the Anthropocene was formalized in the future, the question remained: When would it begin?

Begun in the 16th century as an attempt at colonization, the prazo system was formalized in the mid-17th century.

A truce subsequently was declared, which was formalized in the Gandhi-Irwin Pact that was signed on March 5.