Publications
-
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.
-
Laboratory Measurement of the Co Cameron Bands and Visible Emissions Following Vuv Photodisassociation of CO2
The experimental results confirmed that once a triplet state excitation threshold is exceeded, a fraction of the Cameron band emission is accompanied by visible emission.
-
Like an Intuitive and Courteous Butler: a Proactive Personal Agent for Task Management
We characterize the properties desired of proactive behaviour by a personal assistant agent in the realm of task management, and present an extended agent cognition model that features a meta-level…
-
Multi-Reflected Echoes: Another Ionogram Signature of Large-Scale Wave Structure
MREs are interesting because they display, for the data set examined, a strong preference to occur during the post-sunset rise of the F layer, which includes E-region sunset. How this finding affects our…
-
Multiple Roles for Nicotine in Parkinson’s Disease
Extensive studies in parkinsonian animals show that nicotine protects against nigrostriatal damage, findings that may explain the well-established decline in Parkinson's disease incidence with tobacco use.
-
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…
-
Protein Expression Changes in Prefrontal Cortex, Corpus Callosum, and Anterior Dorsal Cerebellum After Ethanol Exposure in Wistar Rats
-
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…
-
2009 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications, CIMSA 2009: Message from the Chairs
Presents the welcome message from the conference proceedings.
-
Beyond Accessibility: Evidence Centered Design For Learning (Ecdl) For Improving The Efficiency Of Instruction.
This paper illustrates how Evidence Centered Design (ECD) can be used to address the accessibility of learning-centered assessments, and how such efforts lay a critical foundation for improvements in other…