Sentence examples for in which verification from inspiring English sources

Design methodologies specify the sequence in which verification programs must be successfully executed to determine a design's correctness.

Even in these contexts, the question can be raised whether there is a blurring of the differences between the ways in which verification functions in scientific experiments and the ways verification can function in decisions evaluating social policy.

The ability of citizens, journalists, government and even corporations to use sensors, wearables and apps to monitor the environment is a promising but still emerging field and one in which verification, calibration and access to tools has yet to fully determine the effect it will have on environmental regulation and enforcement.

We have identified two novel LTL loci (on chromosome 17p13.1 and 19p12), highlighted a number of genes for which verification in larger studies is warranted and reaffirmed that LTL in humans is fashioned by a large number of common genetic variants with small individual effects.

Since the experimental verification of an individual gene can be both difficult and time consuming, some method to prioritize the order in which such verification is sought is often employed.

With this we can verify basic properties of our specification, and then use the existent connections between logical domains within Hets for broadening the spectrum of domains in which complementary verification properties can be addressed.

Based on what was presented above, the verification of output error bound (defined by the designer) is proposed, as opposed to the framework developed by Cox et al. [20, 21], in which error verifications are not supported.

Considering the safety verification for process control, there are many cases in which the safety verification for process order is significant.

This study furthers the theoretical work of a companion paper in which no experimental verification was conducted and the number of interior sources was assumed to be known in the parameter identification process.

Differently from Cox et al. [20, 21], in which time constraint verifications are not supported, the proposed approach uses filter models for verifying the maximum acceptable time for filter operations, in order to tradeoff among filter property conformance, fixed-point representation, and hardware requirements.

The dispute centers on an inherently tricky area of test-ban verification in which nuclear blasts have yields too small to produce the kind of powerful shock waves that distant nations can track easily as faint rumbles in bedrock.