Publications
-
Producing Propylene 
 Glycol from Biomass
Process and catalytic considerations for producing propylene glycol from glycerin-derived biomass sources are compared to current conventional sources, while economic factors and potential markets are discussed
-
Synchrotron Studies of Co2 Photodisassociation: Excited State Quantum Yields and Optical Emissions from Comets and the Mars Atmosphere
-
Usable Intelligent Interactive Systems: Chi 2009 Special Interest Group Meeting
This special interest group provides a forum to examine the apparent gap between HCI and AI communities, to explore how intelligent technologies can enable novel interaction with computation.
-
Using Learning Decomposition And Bootstrapping With Randomization To Compare The Impact Of Different Educational Interventions On Learning
This paper presents a study to determine the relative efficacy of different instructional strategies by applying an educational data mining technique, learning decomposition.
-
Visible Dayglows of the CO2 Planets
We have performed laboratory experiments on CO2 photodissociation in the appropriate spectral region, utilizing synchrotron radiation from the Berkeley Advanced Light Source (ALS) in the 11-14 eV range.
-
Who, What, When, Where, Why? Comparing Multiple Approaches to the Cross-Lingual 5W Task
In this paper, we present an error analysis of a new cross-lingual task: the 5W task, a sentence-level understanding task which seeks to return the English 5W's (Who, What, When,…
-
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…