Publications
-
A World Wider than the Web: End User Programming Across Multiple Domains
This chapter presents Integrated Task Learning (ITL), an approach for learning procedures across domains using end-user programming (EUP).
-
Ringwoodite Rims Around Olivine Cores in Shock-Induced Melt Veins of an Antarctic Chondrite: Mechanisms of Transformation and Fe-Mg Diffusion
-
Aerosol Spectral Absorption in the Mexico City Area: Results from Airborne Measurements During Milagro/Intex B
This paper presents estimates of the spectral solar absorption due to atmospheric aerosols during the 2006 MILAGRO/INTEX-B (Megacity Initiative-Local And Global Research Observations/Phase B of the Intercontinental Chemical Transport Experiment)…
-
The Vaporization of NH4NO3
Details of total and partial pressures of vaporization of NH4NO3 and disproportionation aspects of the evolved gases are presented.
-
Using Data Mining Findings to Aid Searching for Better Cognitive Models
We propose a hybrid approach in which we leverage findings from our previous educational data mining work to aid the search for a better cognitive model and thus, improve the…
-
Diffusion MR Imaging in Neuropsychiatry and Aging
This chapter provides a review of diffusion imaging findings in normal aging and a sampling of neuropsychiatric diseases, and adds to a growing list of such overviews
-
Editorial the Future of Sensors and Instrumentation for Human Breath Analysis
This Special Topics Issue provides an overview of currently explored sensing techniques and methods that are being researched and developed in academic and industrial settings.
-
Graded Brain Abnormalities in Alcoholics with and Without Signs of Wernicke Encephalopathy
-
(MG, FE)SIO(3)-Perovskite and Other High-Pressure Minerals in Acfer 040: Evidence of Very High Pressures
The impact history of meteorite parent bodies can be extracted by using shock effects in meteorites to estimate shock pressures and durations.
-
Realization of a Gas-Surface Interaction Test Case for Model Validation
This paper describes a numerical investigation of a surface exposed to a plasma flow for different plasma and material boundary conditions to allow an assessment of laser diagnostic measurements in…
-
SMT-Based Formal Verification of a TTEthernet Synchronization Function
In this paper, we present the formal verification of the compression function which is a core element of the clock synchronization service of TTEthernet.
-
The Bio-Link Career Exploration Web Site Final Report
This report illustrates how web tools can support the particular information needs of these three types of prospective workers in biotechnology technician fields.