Sentence examples for for their verification from inspiring English sources

All these aspects should be taken into account in the design process to find highly optimized solutions; in particular, simulation is a key technique for their verification.

In this paper, the literature on V&V of models is reviewed, with an emphasis on social science models and some recently developed constructs for their verification and validation.

The article proposes a systematic procedure for their verification.

Since they are presuppositions, the notion of truth and falsity does not apply to them, and it consequently makes no sense to ask for their verification, as Ayer does.

Since the estimated FDR was stable for a wide range of delta values (data not shown), meaning a larger number of significant SFP would imply a larger number of false positives although the proportion of false positive doesn't change; we elected to choose the largest number of SFPs at the given stable estimated FDR for their verification by sequence analyses.

However the final manuscript was not submitted to them for their verification.

The Authentication module includes IdP that provides the identity credentials to users and is also responsible for performing their verification.

Miners may then introduce transaction fees as compensation for their critical verification work.

The ukpassportoffices.co.uk website charged for their application verification service, yet their fees did not include the fee charged by HM Passport Office, which consumers would still have to pay directly to the government.

Afterwards, these requirements − more specifically the temporal requirements − are re-written into properties by transforming the temporal logic TCTL to allow for their effective verification by using the model checker UPPAAL.

"I think there were a lot of people who genuinely believed that miners decided on the protocol [rules], where it's actually a complete misunderstanding because it's the economic nodes — so anybody who runs a full node for their own verification (any business, any investor, whatever) — 100,000 nodes on the network, that's what defines the consensus rules," explained Back.