Sentence examples for which computation from inspiring English sources

The following illustrates an example of a satisfiable constraint for which computation of satisfiability involves computing satisfiability of constraints (pi ^{prime }) that unify with a constraint head (pi _0) such that (eta (pi ^{prime })) is greater than the upper bound associated to (pi _0).

A Turing-style model makes no explicit mention of the time scale over which computation occurs.

For example, consider the semantic account, according to which computation requires representation.

One alleged source of pancomputationalism is that which computation a system performs is a matter of relatively free interpretation.

Marr's discussion suggests a functional conception of computation, on which computation is a matter of transforming inputs into appropriate outputs.

The proposed measurement strategy is funded in the tuning of the signal under test via a sliding window over which computation is performed.

The Curry-Howard correspondence has made intuitionistic natural deduction part of the computer science curriculum: it gives a computational semantics for intuitionistic logic in which computations, and the executions of programs more generally, are effected through normalization.

Which computations are performed by which system is deemed to be a matter of fact, depending on objective properties of the system.

Another important development is homomorphic encryption (Gentry, 2009), a method by which computations can be carried out on encrypted data.

To circumvent this problem upscaled models with which computations are orders of magnitude less time-consuming can be used.

Of primary concern in future design iterations is the voltage droop, which computations underestimated for the current design.