A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm

Abstract: The Automatic Dependent Surveillance-Broadcast (ADS-B) system allows aircraft to communicate their current state, including position…

Snow Observations from Space: an Approach to Map Snow Cover from Three Decades of Landsat Imagery Across Switzerland

Abstract: Snow accumulation is one of the most important forms of water storage. The natural cycle…

Water Vapor Column Measurements with Infrared Active Optical IPDA Lidar

Abstract: Development of a novel triple-pulsed 2-µm direct detection Integrated Path Differential Absorption (IPDA) lidar to…

One Time Programmable Antifuse Memory Based on Bulk Junctionless Transistor

Abstract: One time programmable (OTP) antifuse base memory is demonstrated based on a bulk junctionless gate-all-around…

Autonomous Surface Site Establishment to Ensure Safe Crew Arrival and Operations

Abstract: Traditional human Mars missions have relied on crew to support the surface systems. However, for…

MCT Avalanche Photodiode Detector for Two-Micron Active Remote Sensing Applications

Abstract: Mercury Cadmium Telluride electron initiated avalanche photodiodes demonstrated a breakthrough in lidar active remote sensing…

Lessons Learned and Cost Analysis of Hosting a Full Stack Open Data Cube (ODC) Application on the Amazon Web Services (AWS)

Abstract: The Open Data Cube (ODC) initiative, with support from the Committee on Earth Observation Satellites…

The TechEdSat-N Series: A Collaborative Technology Development Platform in the Nano-Satellite Form Factor

Abstract: The TechEdSat-1 (TES-1) was the first U.S. CubeSat to be deployed from the ISS (International…

Participant Training for a Flight Test Evaluation of Interval Management

Abstract: Interval Management is a concept designed to be used by air traffic controllers and flight…

Theoretical Study of Production of Light and Intermediate Mass Fragments from Interaction of GCR-LIKE Particles

Abstract: No abstract available