Author: SRI International
-
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).
-
Dopamine Transporters: Chemistry, Biology, and Pharmacology
-
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
-
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.
-
Using Syntax in Large-Scale Audio Document Translation
In this paper, we investigate the effect of using syntax in a large-scale audio document translation task targeting broadcast news and broadcast conversations.
-
Combining Equational Reasoning
Given a theory 𝕋T, a set of equations E, and a single equation e, the uniform word problem (UWP) is to determine if 𝐸⇒𝑒E⇒e in the theory 𝕋T.