SRI International
-
Safety Verification for Linear Systems
-
Controlled Mesoporosity in SiOC Via Chemically Bonded Polymeric Spacers
Silicon oxycarbides with controlled porosity in the mesopore range have been obtained through high-temperature pyrolysis of newly developed reactive siloxane formulations.
-
A Hierarchical Behavior Analysis Approach for Automated Trainee Performance Evaluation in Training Ranges
In this paper we present a closed loop mixed reality training system that provides automatic assessment of trainee performance during kinetic military exercises.
-
A Multicenter Evaluation of Oral Pressure Therapy for the Treatment of Obstructive Sleep Apnea
We aimed to evaluate the impact of a novel noninvasive oral pressure therapy (OPT) (Winx®, ApniCure) system on polysomnographic measures of sleep-disordered breathing, sleep architecture, and sleep stability in obstructive sleep apnea (OSA).
-
Logic and Epistemology in Safety Cases
-
Time-Aware Relational Abstractions for Hybrid Systems
We present a technique to compute a time-aware relational abstraction for verifying (timing-related) safety properties of cyber-physical systems.
-
Influence of Inhibitory Serotonergic Inputs to Orexin/Hypocretin Neurons on the Diurnal Rhythm of Sleep and Wakefulness
Inhibitory serotonergic input likely contributes to wakefulness bouts, affecting the diurnal rhythm of sleep and wakefulness.
-
Inquire Biology: A Textbook that Answers Questions
Inquire Biology provides unique capabilities through a knowledge representation that captures conceptual knowledge from the textbook and uses inference procedures to answer students’ questions.
-
A Vocabulary of Topological and Containment Relations for a Practical Biological Ontology
-
Outcomes from a Patient-Centered Residential Treatment Plan for Tobacco Dependence
-
Video Object Segmentation through Spatially Accurate and Temporally Dense Extraction of Primary Object Regions
In this paper, we propose a novel approach to extract primary object segments in videos in the ‘object proposal’ domain. The extracted primary object regions are then used to build object models for optimized video segmentation.
-
Nicotine Reduces Established Levodopa-Induced Dyskinesias in a Monkey Model of Parkinson’s Disease
The goal of this study was to determine whether the duration of nicotine administration affects its ability to reduce LIDs in levodopa-primed and levadopa-naíve monkeys and also to test whether tolerance develops to the beneficial effects of nicotine.