Sentence examples for constitutes verification from inspiring English sources

The "philosophy of method" is incomplete, however, in that it cannot say what constitutes verification in all the departments of knowledge.

In the case of the draft model of P. fluorescens SBW25, the manual curation constituted verification of 90 enzyme reaction connections and assignment of 43 protein complexes.

This experimental result has been interpreted by assuming interactions between calcium carbide and sodium chloride, and constitutes a verification of a previous thermodynamic result obtained by the same authors.

While this qualitative assessment does not, by itself, constitute formal verification, it can be used to contemplate and explore a wide range of hypotheses.

But in its review, the committee--composed of six members from five institutions--concluded that the work did not constitute independent verification of the original results because Xu not only carried out the research in Taleyarkhan's lab and used his sonofusion equipment but also relied heavily on consultations with Taleyarkhan, whose name did not appear as an author of the paper.

A continuous cycle of upscaling and computational verification constitutes a self-correcting research strategy.

"Our top three priorities are going to be verification, verification, verification," Mr. McCormack said.

This achievement, combined with the 1919 observation of the bending of a ray of light passing near a massive body (another consequence of general relativity theory), constitutes the main experimental verification of that theory.

The 'jamboree' session constitutes an integral part of the network verification process, and scientists will be invited to give their opinion on the online verification phase and outcome as well as to adjudicate ambiguous edges and evidences.

The enrichment of conventional formal verification of control properties with safety requirements constitutes the main originality of the deployed method and contributes to solve inconsistencies between functional and safety verification processes.

The numerous papers devoted to DL and its variants as well as its multifarious applications in program verification and data structures show that it constitutes a useful tool in studying properties of programs.