Author: SRI International
-
Invariant Checking for Programs with Procedure Calls
We explore the theoretical limits for doing automatic invariant checking and show that invariant checking is decidable for a large class of programs that includes some recursive programs.
-
Micro-Propulsion System of a Thermospheric Explorer Cubesat
The major design driver for the Dipping Thermospheric Explorer (DipTE) CubeSat mission is that the satellite shall fly a significant amount of orbit arcs at altitudes of 300km and below. This paper describes the preliminary design of the propulsions system.
-
Observations of Midlatitude Ionospheric Instabilities Generating Meter-Scale Waves at the Magnetic Equator
We present data from a spectacular low-latitude ionospheric event obtained using two ionospheric imaging systems located on the Haleakala Volcano on Maui, Hawaii , and a 50-MHz coherent scatter radar located on Christmas Island.
-
Synchrotron Studies of Co2 Photodisassociation: Excited State Quantum Yields and Optical Emissions from Comets and the Mars Atmosphere
-
Therapeutic Efficacy of a Melatonin Agonist, Ramelteon, and a Benzodiazepine, Triazolam, in a Mouse Genetic Model of Advanced Sleep Phase Syndrome
-
Using Learning Decomposition To Analyze Instructional Effectiveness In The ASSISTment System
This paper presents a study determining the relative efficacy of different instructional content by applying an educational data mining technique, learning decomposition.
-
BLADE: Slashing the Invisible Channel of Drive-By Download Malware
We present BLADE (Block All Drive-by download Exploits), a browser-independent system that seeks to eliminate the threat of drive-by downloads, one of the dominant means through which mass malware infections now occur.
-
Bridging School and Home: Students’ Engagement with Technology-Rich Activities
This poster describes ongoing work that examines students use of a computer-based learning environment designed to bridge school and out-of-school learning contexts by incorporating affordances of both formal and informal learning settings.
-
Chemistry Facets: Diagnostic Assessment of High School Students’ Chemistry Conceptions
-
Comparison of Aerosol Optical Depths from the Ozone Monitoring Instrument (OMI)on Aura with Results from Airborne Sunphotometry, Other Space and Ground Measurements During Milagro/Intex-B
Airborne sunphotometer measurements are used to evaluate retrievals of extinction aerosol optical depth (AOD) from spatially coincident and temporally near-coincident measurements by the Ozone Monitoring Instrument (OMI) aboard the Aura satellite during the March 2006 Megacity Initiative-Local And Global Research Observations/Phase B of the Intercontinental Chemical Transport Experiment (MILAGRO/INTEX-B).
-
Discrepancies Between Laboratory Shock Experiments on Minerals and Natural Events
It has become increasingly clear that the pressure “calibrations” based on shock effects observed in these laboratory shock recovery experiments are inconsistent with interpretations based on static high-pressure data.
-
Fast Cryptographic Primitives and Circular-Secure Encryption Based on Hard Learning Problems
Here we demonstrate additional applications that enjoy strong security properties and a high level of efficiency.