Publications
-
ITL Research: Executive summary of pilot year findings
-
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…
-
A Generalizability Investigation Of Cognitive Demand And Rigor Ratings Of Items And Standards In An Alignment Study
This paper reports the results of a generalizability theory study of cognitive demand and rigor ratings of assessment items and college-readiness standards in the context of an alignment study of…
-
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.