Definable versions of theorems by Kirszbraun and Helly

Definably complete and Baire structures and Pfaffian closure

Defining an absolute reference frame for 'clumped' isotope studies of CO 2

Defining Flood Recharge Processes: Lower Bill Williams River, Western Arizona

Defining Homomorphisms and Other Generalized Morphisms of Fuzzy Relations in Monoidal Fuzzy Logics by Means of BK-Products

Defining Integers

Defining requirements and identifying relevant technologies in astrophotonics

Defining Structure in Tongues of Ionization

Defining the Benchmark Local Galaxy Luminosity Function Using 2MASS

Defining the integers in large rings of number fields using one universal quantifier

Defining the set of integers in expansions of the real field by a closed discrete set

Definition of model parameters and numerical flyby simulations

Definition of the Active Cooling System for the Space Instrument CIVA/Mars

Definitions with no quantifier alternation

Definitive evidence of Hesperian basalt in Acidalia and Chryse planitiae

Definitive Mineralogical Analysis of Mars Analog Rocks Using the CheMin XRD/XRF Instrument

Definitive Mineralogical Analysis of Martian Rocks and Soil Using the CheMin XRD/XRF Instrument and the USDC Sampler

Deflation/erosion rates for the Parva Member, Dorsa Argentea Formation and implications for the south polar region of Mars

Deflationary cosmology with decaying vacuum energy density

Deflections in Lava Flow Directions Relative to Topography in the Tharsis Region of Mars: Indications of Post-Flow Tectonic Motion