An Atlas of the 180th Order WGS84 Geopotential
Human-Style Theorem Proving Using PVS
Model Checking Complete Requirements Specifications Using Abstraction
Verifying SCR Requirements Specifications Using State Exploration
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
Poisson Series Solution of Geosynchronous Drift
Vibrio chromosomes share common history
User interface management techniques for collaborative mobile augmented reality
Early Experience with Scientific Programs on the Cray MTA2
Polarization characteristics of coastal waters and their impact on in-water visibility
Detection and Genotyping of Entamoeba histolytica, Entamoeba dispar, Giardia lamblia, and Cryptosporidium parvum by Oligonucleotide Microarray
Black Sea Mixed Layer Sensitivity to Various Wind and Thermal Forcing Products on Climatological Time Scales*
Large-scale mass wasting on the north Spitsbergen continental margin, Arctic Ocean