THEMIS Operations

THEMIS-VIS observations of clouds in the martian mesosphere: Altitudes, wind speeds, and decameter-scale morphology

Theodolite-borne vector Overhauser magnetometer: DIMOVER

Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability

Theorem proving support in programming language semantics

Theoretical Analyses of Cross-Validation Error and Voting in Instance-Based Learning

Theoretical analysis and simulation of a hybrid diode-pumped solid state laser

Theoretical Analysis and Tuning of Decentralized Probabilistic Auto-Scaling

Theoretical Analysis of Compressive Sensing via Random Filter

Theoretical Analysis of Cyclic Frequency Domain Noise and Feature Detection for Cognitive Radio Systems

Theoretical analysis of network cranback protocols performance

Theoretical analysis of optical systems subjected to mechanical stress. An application to I.S.O. Star Sensor design.

Theoretical Analysis of the Energy Capture in Strictly Bandlimited Ultra-Wideband Channels

Theoretical and 27Al CPMAS NMR investigation of aluminum coordination changes during aluminosilicate dissolution

Theoretical and empirical analysis of the average cross-sectional areas of breakup fragments

Theoretical and Empirical Verification of the Stress Distribution in Stacked Ceramic Capacitors for Space Applications

Theoretical and experimental evidence for a post-perovskite phase of MgSiO3 in Earth's D'' layer.

Theoretical and experimental power spectra of neutron monitor time series in 1978

Theoretical and experimental zonal drift velocities of the ionospheric plasma bubbles over the Brazilian region

Theoretical and measured encircled energy and wide-angle scatter of SUMER demonstration telescope mirror in FUV