Publications
-
Discovering Action Idioms: Bridging the Gap between System-Level Events and Human-Level Actions
We present a sequential pattern mining approach to discovering human-level actions-action idioms - from instrumentation logs of lower-level events.
-
Environmental Levels of Bisphenol-A Can Expand Numbers of Mammary Stem Cells and Potentially Increase Breast Cancer Risk
-
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.
-
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.
-
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…
-
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.