Publications
-
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.
-
In-well pumped blue GaN-based vertical-external-cavity surface-emitting lasers
We describe the properties of in-well pumped blue InGaN/GaN vertical-external-cavity surface-emitting lasers.
-
Returning lost dollars with real-time fraud analytics
This presentation includes a high level tour of PARC's customer-centered research process, some of the analytics we use, our plans for real-time analytics, and a demonstration of the Metal Detector…
-
Privacy in content-oriented networking
In this paper, we present a systematic privacy analysis of CON and the common building blocks among its various architectural instances in order to highlight emerging privacy threats, and analyze…
-
Fraud detection for healthcare
We present a fraud screening solution to identify suspicious pharmacies from a large dataset of pharmacy claims.
-
Manufacturability analysis and design feedback system developed using semantic framework
This paper describes a new architecture and platform for authoring and applying manufacturability rules for design.
-
DoS & DDoS in Named Data Networking
In this paper, we focus on DoS in a specific candidate next generation Internet architecture called Named Data Networking (NDN) - an instantiation of Content-Centric Networking approach.
-
Spectrometer for Sky-Scanning Sun-Tracking Atmospheric Research (4STAR): Instrument Technology
Test results establishing the performance of the instrument against the full range of operational requirements are presented, along with calibration, engineering flight test, and scientific field campaign data and results.