Sentence examples for evaluation of formulae from inspiring English sources

Direct evaluation of formulae (1)–(4) requires floating-point arithmetic, which we would like to avoid.

By allowing such worlds to be accessible via R in the evaluation of formulas including intentional-epistemic operators such as K, one can destroy their unwelcome closure features, thereby dispensing with Closure, Validity, and Consistency.

Evaluation of empirical formulae for estimation of the longitudinal dispersion in activated sludge reactors.

We have developed a parser which takes as input a file containing the analytical expression of one or more formulas and ranges for each unknown in the formula and returns an interval evaluation of the formula.

Two approaches to the evaluation of such formulas are to consider fundamental biological concepts that support the quantitative formulas (e.g., toxicologic similarity) and to determine how well the proposed method performs under simplifying constraints (e.g., as the toxicologic interactions disappear).

As outlined in guidance provided by the AAP Task Force on Clinical Testing of Infant Formulas, rate of weight gain (g/day) is used as the most important parameter in clinical evaluation of infant formulas with differences of >3 g/day over a 3 4 month period considered clinically significant [ 23].

The satisfaction operator @ i redirects the evaluation of a formula to the context of a node named by nominal i.

The evaluation of this formula is computationally inexpensive such that time-consuming 3D simulation can be avoided.

We can then estimate the maximum number of tuples that can be generated during the evaluation of a formula.

Actualist modal logics include an operator @ (the "actually" operator) that shifts the point of evaluation of the formula in its scope back to the actual world.

The evaluation of a formula of the form □1φ within a Kripke model of L2 at the actual world w2 is performed analogously, but now using the map h2.