Publications
-
Working and Episodic Memory Processes in Alcoholism, HIV, and Their Comorbidity
-
From Cold Fusion to Condensed Matter Nuclear Science: 20 Years of Research
Nuclear fusion, as conventionally understood, is a process whereby the nuclei of light elements fuse together to form heavier ones.
-
High Time Resolution PFISR and Optical Observations of Naturally Enhanced Ion Acoustic Lines
Observations of naturally enhanced ion acoustic lines (NEIALs) taken with the Poker Flat Incoherent Scatter Radar (PFISR) using a mode with very high time resolution are presented.
-
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…
-
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…