Sentence examples for as is formalized from inspiring English sources

Notably, as is formalized in equation (12), a situation where these two factors just balance each other is observationally identical to the much simpler case where wages are tied to jobs (Case 1).

And he said the Pentagon would create special victims units designed specifically to handle these cases (as was formalized by the 2013 National Defense Authorization Act).

In particular, no scientific theory is formalized as a hypothetico-deductive system as the positivists had contended, and there are no genuine "bridge principles" linking entities of older theories to entities of newer ones.

Every basic reasoning rule is given in advance which is formalized as a rule triple such as (Herb, treatment, Disease).

The latter is formalized as a graph with leaves.

There are many approaches in which RP is formalized as an optimization problem.

Then the domain of assertions is formalized as an abstract domain.

Tag cloud construction is formalized as a combinatorial optimization problem with an irregular objective function.

The execution semantics provided by the AADL standard is formalized as Timed Transition Systems (TTS).

The computation on a general Bayesian network with convex sets of conditional distributions is formalized as a global optimization problem.

In this casting, the problem is formalized as a mathematical problem named state constrained stochastic reachability analysis.