Quantifier elimination for the reals with a predicate for the powers of two

Quantifier Elimination over Finite Fields Using Gröbner Bases

Quantifier Scope and Constituency

Quantifier-Free Interpolation of a Theory of Arrays

Quantifiers, Anaphora, and Intensionality

Quantifying and qualifying trust: Spectral decomposition of trust networks

Quantifying error in the radiative forcing of the first aerosol indirect effect

Quantifying garnet-melt trace element partitioning using lattice-strain theory: assessment of statistically significant controls and a new predictive model

Quantifying garnet-melt trace element partitioning using lattice-strain theory: new crystal-chemical and thermodynamic constraints

Quantifying Homology Classes

Quantifying Homology Classes II: Localization and Stability

Quantifying hurricane destructive power, wind speed, and air-sea material exchange with natural undersea sound

Quantifying Information Leak Vulnerabilities

Quantifying Information Leakage in Finite Order Deterministic Programs

Quantifying Low Temperature Production of Methane on Mars

Quantifying lunar soil composition with partial least squares modeling of reflectance

Quantifying multivariate classification performance: the problem of overfitting

Quantifying pervasive authentication: the case of the Hancke-Kuhn protocol

Quantifying Resource Use in Computations

Quantifying seasonal precipitation using high-resolution carbon isotope analyses in evergreen wood