Publications
-
Integrating renewable energy into the power grid (presentation only)
California targets for renewable energy production; challenges in integrating renewable energy sources into the power grid; some potential solutions
-
Low cost large scale water filtration
This presentation describes a novel and highly scalable technology for conventional water treatment.
-
A Consensus Definition of Cataplexy in Mouse Models of Narcolepsy
To establish a common language, the International Working Group on Rodent Models of Narcolepsy reviewed the literature on cataplexy in people with narcolepsy and in dog and mouse models of…
-
Combining on-demand and opportunistic routing for intermittently-connected networks
In this work, we introduce the Space-Content-adaptive-Time Routing (SCaTR) framework, which enables data delivery in the face of both temporary and long-lived MANET connectivity disruptions.
-
Defect identification in large area electronic backplanes
We describe a rapid testing system for active matrix TFT backplanes which enables the identification of many common processing defects.
-
The Narcolepsy Therapeutic Gamma-Hydroxybutyrate Modifies Behavior and Gabaergic and Catecholaminergic Signaling Systems in a Narcoleptic Mouse Model
-
The Road to Supplemental Services: Challenges to Implementation
-
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.
-
Disruption of Emotion and Conflict Processing in Alcoholics with and Without HIV Infection