Sentence examples for which computations from inspiring English sources

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.

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

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

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

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

Additionally, there are also metrics for which computations performed in the linear and logarithm domains perform better than in the PU and PQ space.

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.