Sentence examples for basis verification of the from inspiring English sources

On their basis verification of the domestic and foreign computational codes with the nuclear data estimated was realized.

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].

Hence, the determination of the transient voltage distribution is important for a proper insulation co-ordination and will provide a necessary basis for the verification of the individual insulation design and the choice of test voltages and waveforms.

This broad data basis allows proper verification of the methods.

As the basis, theoretical analysis and numerical verification of the bi-material pyramid and tetrahedron lattice cells explicitly reveal that with thick members, the influence of the cross section on the CTEs should be well considered, and the CTEs should be accurately calculated by the solid model.

Together, the computational results further the understanding of the interactions between SMAD and other transcription factors at specific target promoters, and provide the basis for more targeted experimental verification of the co-regulatory modules.

Because the Norwegian Mental Health Act [ 12] allows a maximum time lag of 24 hours from admittance of the patient to verification of the legal basis, we anticipated that the possible time lag would cause a shift of the legal basis, because the patient would calm down after being hospitalized.

The main steps are a careful estimation of the Green's function and the verification of the Riesz basis property for the generalized eigenfunctions.

The radiopharmaceutical procedures covered in the full report are listed in Table 1, which also displays selected post-therapy imaging and measurement methods that can form the basis for verification of absorbed doses delivered.

A highly precise age model of the near-surface sediments of Lake Suigetsu was established on the basis of varve counting combined with a verification of the age estimation using excess 210Pb and 137Cs dating.

It is well known that phylogeny is the best basis for verification of subfamily structure of a protein family.