Sentence examples for computation rules from inspiring English sources

We used the symbolic substitution technique to reduce the number of the computation rules involved.

Food web (or food chain) embeds a set of computation rules of natural balance.

The framework states clear message computation rules, including specific expressions for the messages to be passed between the two parts.

These are actually computation rules over proof nets, and the correctness criteria allow to verify easily that any such rule preserves correctness, and as a consequence the reductum of a proof net still comes from a sequent calculus proof of the same sequent.

In this work, we introduce sufficient conditions for the strong (i.e., independent of a computation rule) termination and quasi-termination of logic programs which rely on the construction of size-change graphs.

We show here that such applications can be parallelized easily if we use a good spatially local ordering of all data for organizing storage, distribution and access, and schedule computation using a "owner-computes" rule.

The paper1 develops a technique for computation inference rules admissible in temporal logic TS4.

Philosophers often say that classical computation involves "rule-governed symbol manipulation" while neural network computation is non-symbolic.

The AUC computation (trapezoid rule) and the statistical analysis were performed with the GraphPad Prism software (Graphpad, USA).

The interpretation of SBML models is split between evaluation of events and rules, computation of stoichiometric information, and computation of the current values for all model components (such as species and compartments).

More specifically, we propose a formal framework to provide a precise description of the computation and communication rules in a secure communication game.