Sentence examples for computations to check from inspiring English sources

The verifier verifies one conventional signature, computes n+2 modular multiplications, 2n decryptions, and performs n Jacobi computations to check ({Enc}_{pk_{i}}left ({r_{i}^{j}}right)) for j=1,⋯,n.

We propose to use polyhedral computations to check the reachability and co-reachability of Petri nets, and design supervisors enforcing polyhedral invariance.

It is a straightforward computation to check that Γ T H ( g ) ≤ g for any g ∈ RT c, 1 if and only if g ( 1 ) = c and g ( n ) ≥ 2 n − 1 ( d + c ) − d for all n ∈ N with n ≥ 2. Thus, by Theorem 11, we deduce that f T H ∈ O ( g ), where g ( n ) = { c if  n = 1, 2 n − 1 ( d + c ) − d if  n ≥ 2. (19).

Parameters computed during the AComDim procedure enable the computation of F-values to check whether the variability of each original data block is significantly greater than that of the noise.

Thanks to that, it is possible to check the computations rather easily using Microsoft Excel.

In contrast, in latent class models, the class labels are arbitrary, so it is helpful to check the computations by verifying that the results are the same if the labels are reversed.

Model checking in computation tree logic is used to check the specifications for completeness and consistency.

Computed heterogeneity indices are generated and compared to historical results, in order to check if the computation remains consistent after software update.

The pre-computation phase loads PLINK binary format data files, reformats the data for faster computations and reduces the number of conditions to check in the core phase.

The three-taxon computations are replicated over all internal branches to check for diversification rate shifts within the whole tree [ 7].

We need to check whether the accelerated computation using reduced precision is still generating meaningful results.