Sentence examples for by verifying that the from inspiring English sources

Next we prove Theorem 1.1 by verifying that the functional I λ satisfies the hypotheses of Lemma 2.6.

We start by verifying that the shape of TTE distribution (p(T)) is a property of each single individual.

For instance, v can check the time integrity of the message by verifying that the difference between and is below a certain threshold.

The software has been tested and the accuracy of its computation results has been validated by verifying that the energy conservation law requirement is well satisfied.

Due to the bijective mapping between power allocation and bandwidth conditioned on a fixed EGOS rate (this can be easily shown by verifying that the transmission rate is a rigorous monotonically increasing function in both power and bandwidth), the final total used bandwidth should be the same in both approaches, which implies.

Formal: Formalism is necessary to 1) verify the interaction between services by making sure there are no incompatible behaviors between services in a composition, 2) achieve correct automatic composition by verifying that the composition satisfies the requirements of the requester, and 3) check the conformance of requester requirements and the contracts of the services being provided.

Curators evaluated experimental support by verifying that experimental data in the article supported the annotation, and that the submitter chose the correct AGI locus code, GO or PO term, and evidence code to describe the experimental result.

The reproducibility of the clustering analysis was confirmed by repeating the paired dye-swap hybridizations for one of the sixteen strains, randomly selected, and by verifying that independent assays for the same strain grouped together in the dendrogram (not shown).

Leaks were detected by verifying that intraluminal diameter of the pressurized arteriole remained constant when the valve to the reservoir system was closed.

We need to prove the existence of at least three fixed points of T by verifying that operator T satisfies the Avery-Peterson fixed point theorem.

We can do this by verifying that marker genes are the same in both microarrays, similar to cMAP (Lamb et al., 2006), because it can imply that the subsets of both microarrays describe the same phenotypes.