Publications
-
Simple and Efficient Compilation of List Comprehension in Common Lisp
We present a very simple technique to compile List Comprehension in the Loop Facility of Common Lisp, resulting in efficient code that avoids stack overflow.
-
Temperature Dependence of the Vibrational Relaxation of OH(u = 1, 2) By O, O2, and CO2
-
The Microsoft Innovative Schools Program Year 1 Evaluation Report
The Year 1 Evaluation Report is the second in a series of annual reports. It describes the schools’ progress and challenges in their first full year of participation in the…
-
Analyzing Online Social Networking in Professional Learning Communities: Cyber Networks Require Cyber-Research Tools
The authors argue that conceptual and methodological limitations in existing research approaches severely hamper theory building and empirical exploration of teacher learning and collaboration through cyber-enabled networks.
-
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.
-
Calorimetry of Pulse Elecro-Melting of PdDx Wires
The ultimate extrapolation of this technology is the electrical heating of thin PdDx wires resulting in destructive high-speed melting - “exploding wires”. Exploding wire technology has been used for over…
-
Chemical Reactions in Titan’s Upper Ionosphere
-
What Were You Thinking? Filling in Missing Dataflow Through Inference in Learning from Demonstration
This paper addresses the problem of learning from demonstrations involving unobservable (e.g., mental) actions. We explore the use of knowledge base inference to complete missing dataflow and investigate the approach…
-
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.
-
Impact of Tropospheric Nitrogen Dioxideon the Regional Radiation Budget
We parameterized NO2 absorption for fast radiative transfer calculations. Using this parameterization with cloud, surface, and NO2 information from different sensors in the NASA A-train constellation of satellites and NO2…
-
Implementing Data-Informed Decision Making in Schools–Teacher Access, Supports and Use
-
New Techniques for Private Stream Searching
A system for private stream searching, introduced by Ostrovsky and Skeith, allows a client to provide an untrusted server with an encrypted search query.