Ingesting GPS-derived TEC data into the International Reference Ionosphere for single frequency radar altimeter ionospheric delay corrections

Study of the March 31, 2001 magnetic storm effects on the ionosphere using GPS data

GPS Signal Scattering from Sea Surface

Rule-Based Runtime Verification

Mechanical Verification of a Garbage Collector

Using Defect Reports to Build Requirements Knowledge in Product Lines

Model Driven Engineering Languages and Systems

Failures in Detecting Volcanic Ash from a Satellite-Based Technique

LandingNav: a precision autonomous landing sensor for robotic platforms on planetary bodies

Locating the Youngest H II Regions in M82 with 7 mm Continuum Maps

Deliquescence and efflorescence of calcium perchlorate: An investigation of stable aqueous solutions relevant to Mars

High-J CO survey of low-mass protostars observed with Herschel-HIFI

Modeling three-dimensional scatterers using a coupled finite element-integral equation formulation

Robust Parallel Adaptive Mesh Refinement Software Library for Unstructured Meshes

Scalable solutions to integral-Equation and finite-Element simulations

An Examination of the Performance of Two Electromagnetic Simulations on a Beowulf-Class Computer