Sentence examples for evaluation of this formula from inspiring English sources

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

A proof is presented in the Appendix, and evaluation of this formula in the Applications was checked against numerical evaluation of Rm by eq. 3. The second line of eq. 9 includes fitness effects depending on changes in relatedness due to selection (see Discussion).

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.

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.

Finally, the error performance of the various relay processing schemes are demonstrated and compared based on the results obtained by both simulations and evaluation of the formulas analytically obtained.

Finally, another reason for the limited impact of DRT and other dynamic semantic theories may be precisely that they are dynamic: The evaluation of a formula in general requires its preceding and embedding context, and this interferes with the kind of knowledge modularity (the ability to use any given knowledge item in a variety of different contexts) desirable for inference purposes.

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

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

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.

In the context of Monte Carlo finite system simulations, the MTs gains toward the BS of interest are randomly generated according to the considered distribution and the capacity is calculated by the evaluation of capacity formula (14).

Analysis of variance (ANOVA) was then conducted for the evaluation of the proposed formula.