Sentence examples for enable the verification of from inspiring English sources

Furthermore, the utilisation of the expressive ontology language and the generic nature of core concepts help support the specification of system mechanisms to enable the verification of knowledge across multiple platforms.

Intelligent dose delivery concepts using small drugs, peptides or antibodies as radionuclide carriers enable the verification of a selective accumulation in the tumour lesion and to reduce radiation toxicity for the peripheral organs.

In addition to enable the verification of the technical feasibility of the proposal and give the first results about its acceptance, the three proofs of concept helped the formulation of the questionnaire used as an evaluation tool in the case study.

(3) The sample should have an isosbestic point before and after the chemical change to enable the verification of the equivalent amount.

Continuous registrations of pressure and flow at 500 Hz provide data on the external work of breathing and enable the verification of quantity as well as quality of unsupervised training sessions.

De Caro's confessions, which court documents describe as "reliable," have apparently enabled "the verification of additional crimes that would have been very difficult to uncover in the absence of his statements," and this assistance had likely informed the judge's decision.

This approach also enables the verification of experimental data consistency.

The data enabled the verification of the 2nd hypotheses of the study designed to lead to new directions of action.

To help with the design of correct controllers, we present a methodology that enables the verification of linear-time temporal logic properties of general, non-linear hybrid systems.

It facilitates a degree of transparency in its data linking that enables the verification of financial transactions with much less time and fewer resources than conventional methods for transaction verification require.

The approach reflects the hierarchical nature of asynchronous hardware synthesis frameworks, for example the Balsa system, and enables the verification of the system at different levels of abstraction against properties such as deadlock, delay insensitivity, conformance and refinement.