Publications
-
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.
-
Efficient Worm-Like Locomotion: Slip and Control of Soft-Bodied Peristaltic Robots
-
Evaluating Transformative Research Programmes: A Case Study of the NSF Small Grants for Exploratory Research Programme
This article describes an evaluation of the National Science Foundation’s Small Grants for Exploratory Research programme conducted for NSF by SRI International.
-
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.
-
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.
-
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…
-
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…
-
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.