Sentence examples for checking the underlying from inspiring English sources

Verifying correctness and safety of such systems amounts to model checking the underlying system model.

Verifying correctness and safety of such systems amounts to model checking the underlying system model, where model checking techniques not only need to be correct but since system sizes increase also scalable and efficient.

Differences in opinion were resolved by discussions and by checking the underlying data.

To account for the prospective nature of the data, Kaplan-Meier outcome-free survival curves will be computed and Cox proportional hazard models fitted (after graphically checking the underlying proportional hazards assumptions).

Since checking the underlying assumptions of all methods is not easy, and even if the assumptions are met, each method may provide different results, which are hard to interpret.

Given that cybercriminals frequently rely on kits with similar underlying HTML structure [13], it is important to check the underlying HTML files in addition to the rendered text on the page.

We also checked the underlying genomic quality values for the chimpanzee PSGs and only 1 sequence had quality values less than Q20 (error rate of 0.01) among the sites predicted to be under positive selection and hence the high number of PSGs is not due to poor genomic sequence quality.

Depending on the architecture, BDS either checks that the underlying system has appropriate resources (CPUs and memory) to run the process (e.g. local computer or ssh-farm) or relies on the cluster management system to appropriately allocate the task.

Therefore, some authors have centred their studies on shortening the function domain [ 11, 21], while others have shortened the pain and function domains [ 19, 20], but these shortened domains have not been validated as a whole shortened WOMAC version, checking the existence of two underlying domains.

If the check is successful, the underlying 32-bit value (key) is written alongside its global coordinate.

In order to test the proposed algorithm and check the feasibility of the underlying model we conducted several additional experiments for several what-if scenarios.