Publications
-
The Kinetics of Oxygen Atom Recombination in the Presence of Carbon Dioxide
Understanding processes involving atomic oxygen is crucial for the study and modeling of composition, energy transfer, airglow, and transport dynamics in planetary atmospheres.
-
The Multiple Scientific Disciplines Served By EcoCyc
The EcoCyc database integrates information about the E. coli genome, its metabolic pathways, and its regulatory network. EcoCyc is in use by scientists from a variety of disciplines.
-
A Beginner’s Example of Proc Mixed for the Analysis of Letter Identification Using Reaction Time
-
Comparison of Aerosol Optical Depths from the Ozone Monitoring Instrument (OMI)on Aura with Results from Airborne Sunphotometry, Other Space and Ground Measurements During Milagro/Intex-B
Airborne sunphotometer measurements are used to evaluate retrievals of extinction aerosol optical depth (AOD) from spatially coincident and temporally near-coincident measurements by the Ozone Monitoring Instrument (OMI) aboard the Aura…
-
Dopamine Transporters: Chemistry, Biology, and Pharmacology
-
Fast Cryptographic Primitives and Circular-Secure Encryption Based on Hard Learning Problems
Here we demonstrate additional applications that enjoy strong security properties and a high level of efficiency.
-
The Science Behind Nanosunscreens: Learning About Nanoparticulate Ingredients Used To Block The Sun’S Ultraviolet Rays.
In this article, we provide a brief overview of the emerging field of nanoscience and why it is an important area for education.
-
Authentic Science Learning in Primary and Secondary Classrooms
Authentic science learning has gained increasing attention among educators and researchers as a promising means for promoting student achievement, interest, and motivation in science.
-
Unification and Narrowing in Maude 2.4
This paper introduces novel features of Maude 2.4 including support for unification and narrowing. Unification is supported in Core Maude, the core rewriting engine of Maude, with commands and metalevel…
-
Building Theorem Provers
Abstract This talk discusses some of the challenges of building a usable theorem prover. These include the chasm between theory and code, conflicting requirements, feature interaction, and competitive performance. The…
-
Characterization of Hydrogen-Assisted Fracture Mechanism By Fracture Surface Topography Analysis (FRASTA)
The fracture surface topography analysis (FRASTA) technique was applied to the crack arrest threshold region in a wedge-opening-load (WOL) ASME SA 372 Grade J sample tested in hydrogen gas at…
-
Development of a Multidimensional Measure of Academic Engagement
This article describes development of a measure of academic engagement using items from an existing survey of undergraduates enrolled at the University of California.