Sentence examples for verification by means of from inspiring English sources

A verification by means of measured and calculated eigenfrequencies show also that accurate results are obtained with the inverse method.

The comprehensive study covers analytical formulation, numerical strategy based on an iterative finite difference scheme, and experimental verification by means of shaking table tests.

Verification of normality was done in three steps: (i) by using the Shapiro-Wilk test (Shapiro and Wilk 1965) with a significance level α = 0.05; (ii) by checking the skewness of the frequency distribution (in this case, − 0.1≤s k e w n e s s≤0.1 so that the data can be considered as normally distributed); and (iii) by using a graphical verification by means of Q-Q plot (Kohl 2015) and histogram.

On the one hand, he claimed to present a new mathematical framework to modelcomputational recursion processes, in the spirit of Scott (see [8] for details of Scott theory), in program verification by means of'metric' fixed-point techniques.

In another patient, a positive scan indicated disease relapse in the lacrimal gland 9 months before clinical verification by means of ultrasound.

One of the steps is identification and verification by means of a TOP consisting of checks on the correct patient, correct side, and correct intervention.

The term "automation" refers to the ability for end-users to augment, customize, and drive the capabilities of electronic design and verification tools by means of a scripting language and associated support utilities.

The main object of the analysis will be the contingent table of manual intramuscular needle placement checked by PSRM observations versus the corresponding verification as by means of ES observations (see Table  1).

This paper addresses the formal verification of NoCs by means of a mechanized proof tool, the ACL2 theorem prover.

This study comprised of homology modelling of 5-HT6R based on seven available GPCR templates (A2A, beta1, beta2, CXCR4, D3, H1, rhodopsin), and further verification of created models by means of ligand docking (Glide).

The Freundlich isotherm presented himself as a mathematical model suitable for the verification of the sorption by means of the application of chromatographic method, proving the sorption and a homogeneous molecular process of interaction, as well as the effect of organic matter content on the sorption capacity (K d values up to 9290 kg L−1).