Publications
-
Imaging Atom-Probe Studies of a Field Evaporation Based Deuterium Ion Source for Neutron Generators
Extended abstract of a paper presented at Microscopy and Microanalysis 2008 in Albuquerque, New Mexico, USA, August 3 – August 7, 2008
-
Comparing Two Strains of Rats in the Chronic Construction Injury Model of Neuropathic Pain
-
The Assistment Builder: Supporting The Life-Cycle Of ITS Content Creation
We present an authoring tool designed to reduce this cost. The ASSISTment Builder is a tool that is designed to effectively create, edit, test, and deploy pseudo-tutor content. The web-based…
-
Formal Verification and Automated Testing for Diagnostic and Monitoring Systems
In this paper, we outline these new methods, and describe a project to extend and apply them in combination to issues in verification and testing of diagnostic and monitoring systems.
-
Genetic Association of Daytime Sleepiness and Depressive Symptoms in Elderly Men
The objective of this study was to examine whether daytime sleepiness assessed using the Epworth Sleepiness Scale and depressive symptoms assessed using the Geriatric Depression Scale are genetically related.
-
Improving alignments for better confusion networks for combining machine translation systems
The state-of-the-art system combination method for machine translation (MT) is the word-based combination using confusion networks. One of the crucial steps in confusion network decoding is the alignment of different…
-
Detoxification of Molinate Sulfoxide: Comparison of Spontaneous and Enzmatic Glutathione Conjugation Using Human and Rat Liver Cytosol
This study compared the metabolic capability of rat and human liver cytosol to form a glutathione (GSH)-conjugated metabolite of molinate.
-
Genetic Influences in the Variation in Renal Clearance of Nicotine and Cotinine
In this study of 139 pairs of twins, we have estimated the genetic and environmental contributions to total renal clearance and net secretory/ reabsorptive clearance of nicotine and cotinine.
-
Noninteractive Statistical Zero-Knowledge Proofs for Lattice Problems
We construct noninteractive statistical zero-knowledge (NISZK) proof systems for a variety of standard approximation problems on lattices, such as the shortest independent vectors problem and the complement of the shortest vector problem.
-
San Francisco Bay Area KIPP Schools, A Study of Early Implementation and Achievement: Final Report
This report describes the implementation and impact of the Knowledge Is Power Program (KIPP) in five Bay Area middle schools.
-
Aspect shifts in Indo Aryan
We introduce supporting data from the history of Old and Middle Indo-Aryan languages, whose instantiation of this pattern has not been previously noted.
-
Micro-fluidic-based optical detection platform for characterizing fluorescing objects with integrated wavelength detection
We describe a compact, low-cost analyte detection platform that combines a fluidic channel, large area fluorescence excitation and on chip wavelength detection.