Publications
-
Best-effort quality-of-service
We present a new, best-effort architecture for providing quality-of-service in the Internet, based on the use of the best set of paths'' to destinations.
-
In Vivo Evidence for Alcohol-Induced Neurochemical Changes in Rat Brain Without Protracted Withdrawal, Pronounced Thiamine Deficiency, or Severe Liver Damage
Longitudinal effects of alcohol on brain metabolites measured in basal ganglia with single-voxel MRS were investigated in sibling pairs of wild-type Wistar rats, with one rat per pair exposed to…
-
17 Alpha-Estradiol: a Less-Feminizing Estrogen
A substantial number of studies report that 17β-estradiol (E2; estrogen), a potent endogenous feminizing hormone, is neuroprotective.
-
Microfabricated Field Emitter Arrays for Electron and Ion Emission
-
How Do We Certify for the Unexpected?
We propose that safety cases based on explicit goals, evidence, and argument provide a firmer foundation for assurance, and a framework within which it is possible to address the rare…
-
Learning diagnostic models using speech and language measures
We describe results that show the effectiveness of machine learning in the automatic diagnosis of certain neurodegenerative diseases, several of which alter speech and language production. We analyzed audio from…
-
Ground-Level Nitrogen Dioxide Concentrations Inferred from the Satellite-Borne Ozone Monitoring Instrument
We present an approach to infer ground-level NO2 concentrations by applying local scaling factors from a global three-dimensional model to tropospheric NO2 columns retrieved from the Ozone Monitoring Instrument onboard the…
-
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.