Author: SRI International
-
A Pilot Evaluation of a Nasal Expiratory Resistance Device for the Treatment of Obstructive Sleep Apnea
The present pilot study tests the hypothesis that the application of expiratory resistance via a nasal valve device would improve breathing during sleep in subjects with OSA and in primary snorers.
-
Trust and Automation in Verification Tools
We argue that trust need not be achieved at the expense of automation, and outline a lightweight approach where the results of untrusted verifiers are checked by a trusted offline checker.
-
Variants in Nicotinic Receptors and Risk for Nicotine Dependence
The purpose of this study was to replicate these findings in an independent data set and more thoroughly investigate the role of genetic variation in the cluster of physically linked nicotinic receptors, CHRNA5-CHRNA3-CHRNB4 , and the risk of smoking.
-
Comparison of Water Vapor Measurements By Airborne Sun Photometer and Diode Laser Hygrometeron the NASA DC-8
The AATS measured column water vapor on the aircraft-to-sun path, while the DLH measured local water vapor in the free stream between the aircraft fuselage and an outboard engine cowling.
-
Ir and Raman Characterization of the Zincocenes (eta(5)-C5Me5)2Zn2 and (eta(5)-C5Me5)(eta(1)-C5Me5)Zn
The measured Raman and IR spectra of solid, polycrystalline bis(pentamethylcyclopentadienyl)dizinc, (eta(5)-C5Me5)2Zn2, 1, and bis(pentamethylcyclopentadienyl)monozinc, (eta(5)-C5Me5)(eta(1)-C5Me5)Zn, 8, are reported in some detail.
-
The Social Web: Research and Opportunity
Introduces the concepts in Augmented Social Cognition, and speaks to the research problems and opportunities in this line of research for scientists.
-
Software prediction of threshold voltage shift for amorphous silicon TFT-based displays
This paper deals with software compensation of threshold voltage shift (VT shift) in amorphous silicon based active matrix OLED displays by use of an external microcontroller.
-
Proactive path maintenance over regions of interest in MANETs
We present Elliptic Demarcation of Information Transfer (EDIT) as a scheme to maintain paths between a source and destination more robustly and limit signaling overhead incurred in mobile ad hoc networks (MANET).
-
On using existing time-use study data for ubiquitous computing applications
We show in this paper how data from these studies may be used to improve ubiquitous and mobile applications.
-
An improved approach for generating max-fault min-cardinality diagnoses
This paper presents a new direct approach to determining MFMC vectors which shows 4-5 orders of magnitude performance improvement over prior algorithms.
-
A framework for continuously estimating persistent and intermittent failure probabilities
This paper presents an overall framework for estimating component failure probabilities which includes both persistent and intermittent faults.
-
Pervasive diagnosis: the integration of active diagnosis into production plans
In this paper, we observe that the declarative nature of model-based control allows the planner to achieve production goals in multiple ways.