Sentence examples for a verification of the correctness from inspiring English sources

As a verification of the correctness of the derived equations, some of the system parameters are adjusted to fit the SVP constraint, and unwarped images using the resulting simplified camera model are shown to be of no difference from those obtained by a method based on the SVP model.

Towards a verification of the network model, its descriptive content has to be assessed for correctness and relevance; therefore, the network model was evaluated for its ability to detect stress responses to a stressor that was not used to build the network model.

After corrections, ORF detection confirmed contiguous reading frames of all of the genes predicted by BLAST alignment, an additional verification of the correctness of the finished sequences.

(A ) Verification of the shear decomposition method.

In this paper we propose an approach based on the HAL Toolkit that allows verification of the correctness of the behavior of a π-based specification of interacting Web Services, and generates the BPEL processes that have the same behavior.

Fourth, motivation is to allow formal verification of the correctness of a design, and the final motivation is to allow automatic synthesis of circuits.

The calculation of isosteric enthalpy from an adsorption equation, and the comparison of theoretical enthalpy plot with the values measured calorimetrically is the fundamental condition for the verification of the correctness of an adsorption model.

Here P I ≡ ( ( f ( U ), ϕ i ) ) i ∈ I. System (4.4) is in fact a bilinear system of equations whose right-hand side consists of intervals with constraint conditions z I Γ ≥ 0 and w I Γ ≥ 0. To solve the nonlinear system (4.4) with automatic verification of the correctness of the result, a verification method for nonsmooth equations by a generalized Krawczyk operator as in [15] could be used.

We use different mathematical and cryptographic methods to enable efficient verification of the correctness of the computation results.

Thus, the verification of the correctness of the vendor results is important.

Furthermore, the concise formal semantics of synchronous languages is the basis for formal verification of the correctness of the programs as well as of the used compilers [7 10].