This allows more extensive and precise quantification of muscle properties than in vivo testing.

By definition, first-order logic does not allow quantification over predicates.

This technique allows quantification of genetic markers that are specific to the host of the bacteria and allow detection of recent contamination.

Fluorescence scans were taken at high time resolution to allow quantification of changes in fluorescence during the cardiac cycle.

The quantified Boolean formula problem differs in allowing both universal and existential quantification over the values of the variables:

Genetic sequence evidence thus allows inference and quantification of genetic relatedness between humans and other apes.

Other higher-order logics allow quantification over even higher types than second-order logic permits.

The system of second order dependent types is obtained from by allowing quantification over type constructors.

The ratio of fluorescence intensities allows quantification of copy number changes in the cancerous genomes.

Thus, these devices allow the separation, detection, identification and quantification of compounds with analytical interest in real samples.