Sentence examples for of a computation from inspiring English sources

The proof normalization approach views the state of a computation as a proof term and the process of computing as normalization (known alternatively as β-reduction or cut-elimination).

Quantum computers, besides offering substantial computational speedups, are also expected to preserve the privacy of a computation.

Utilizing trusted computing concepts Trusted computing is a technology for ensuring the confidentiality and integrity of a computation.

The proof search approach views the state of a computation as a sequent (a structured collection of formulas) and the process of computing as the process of searching for a proof of a sequent: the changes that take place in sequents capture the dynamics of computation.

Fig. 16 An example of a computation using the reciprocity theorem.

The typical duration of a computation ranges from several days to several weeks.

The proof of correctness of such a computation is a simple exercise, left to the reader.

The constraint functions considered here are non-linear and implicit, their evaluation requires the resolution of a computation-intensive finite-element analysis performed by a black-box commercial structural mechanics software such as MSC/Nastran.

The graph on the right shows the result of such a computation.

KPN provides a semantic model of computation, where a computation can be expressed as a set of asynchronously communicating processes.

"I certainly recommended very strongly that we do a computation of estimated estate taxes," Mr. Whitaker said.