Sentence examples for quantified type from inspiring English sources

Most importantly, NMR both measured and quantified type A and B hydrates, which no other technique can achieve without destroying the crystals or can only perform theoretically on the basis of a phase diagram, and thus without considering the possible conversion of type A to type B hydrates.

Constrained polymorphism allows instantiation of quantified type variables to be restricted to some, instead of being possible to occur for all simple types.

We have that (eta (x,PRightarrow tau,Gamma )) gives the semantics of possibly overloaded name (x,) with instance-type (PRightarrow tau ) and quantified type (sigma ); (eta ) is overloaded to be used also on unqualified constraints (as in (eta (pi ))) and to yield dictionaries (as in (eta (x,tau ))).

Type class constraints may occur in types of expressions involving overloaded names (or symbols), and restrict the set of types to which quantified type variables may be instantiated, to those types for which these type constraints are satisfied, according to types of definitions that exist in a relevant context.

This paper describes the analysis methodology that relied on a graphical representation to quantify type of occupants and dwell times of usage of handicap parking spaces.

Any permanent plastic deflection and the correlated permanent plastic deflection angle would lead to an alteration of correction and had to be checked to quantify type 1 failure as the criterion can only be checked in the unloaded condition.

These metrics could track and quantify type I collagen remodeling and fibrillogenesis with respect to mesenchymal stem cell organization over time.

The Therapeutic Intervention Scoring System (TISS) quantifies type and number of intensive care treatments.

Automated databases may be the only efficient means of quantifying type 2 diabetes risk associated with specific drug exposures, given how infrequently it occurs.

In experiment 1, we quantify type I error of different methods based on simple simulated data set with n = 30 samples and d = 100 or d = 1000 genes, out of which m = 40 genes constitute a gene set G. In this study, no genes in G or in G C are differentially expressed, but genes in G are correlated.

Using start of treatment as baseline, serum samples (n = 177) were analyzed at baseline and after rituximab with multiplexed sandwich immunoassays to quantify type-1 IFN-regulated and other pro-inflammatory chemokines and cytokines.