The performance implications of low precision analog beamformers and implementation errors are also analyzed and quantified, and computationally efficient vector quantization techniques that take advantage of the size and scale of the arrays to compensate for low precision are proposed.
Therefore, we computationally quantified the (i) magnitude of fluid-induced shear stresses as well as (ii) the extent of temporal fluid oscillations in the flow field using the oscillatory shear index (OSI) parameter.
Evolutionary pressures exerted by the host on bacterial proteins important for virulence are often computationally quantified by the ratio of substitution at non-synonymous (dN) and synonymous sites (dS) (e. g. [44]).
Here we show that during increased generation of mitochondrial reactive oxygen species (mtROS), mitochondria change their shape from tubular to donut or blob forms, which can be computationally quantified.
To our knowledge, no research hitherto has directly investigated how TotTV and ATV differ in terms of computationally quantified low-level features (although see Gola & Calvert, 2011; Goodrich, Pempek & Calvert, 2009; Calvert, Huston, Watkins & Wright, 1982, for hand-coded equivalents).
Therefore, within future studies there may still be a place for more time-consuming measures of synovitis, by computationally quantifying pixel counts, but quicker semi-quantitative scales may be an acceptable substitute.
Herein we demonstrate how the knowledge space of infectious diseases can be computationally represented and quantified, and tracked over time.
Although miRNA expression levels may not be routinely measured in high-throughput experiments, a possible involvement of miRNAs in the deregulation of gene expression can be computationally predicted and quantified through analysis of overrepresented motifs in the deregulated genes 3' untranslated region (3'UTR) sequences.
Computationally, because sequences can be quantified, this is a trivial integration task that simply requires the normalization of unique codes (Schuurman et al. 2006).
The final outcome is a rich formalism to represent and reason about relevant concepts in artificial intelligence, while still having a model checking problem that is no more computationally expensive than that of the less expressive quantified boolean logic.
