Author: SRI International
-
Dead End Metabolites – Defining the Known Unknowns of the E. coli Metabolic Network
We have analysed the occurrence of dead end metabolites within the database – these are metabolites which lack the requisite reactions (either metabolic or transport) that would account for their production or consumption within the metabolic network.
-
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.
-
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.
-
Safety Verification for Linear Systems
-
Association of CD28 and CTLA-4 Gene Polymorphisms with Aggressive Periodontitis in Brazilians
Our hypothesis is that polymorphisms in genes that code for these molecules may be associated with periodontitis. The aim of the study was to investigate the association between +17 (T/C) CD28 and +49 (A/G) CTLA-4 gene polymorphisms and periodontitis in Brazilians.
-
How Hollywood Gets Biometrics Wrong
Hollywood isn’t exactly known for accuracy, and their portrayal of biometric technology is no exception. Fingerprint scanners, facial recognition software, and iris recognition technology have become commonplace in thrillers and crime films to create suspense and high-tech futuristic scenes. But they just don’t have the facts right—in some cases, overestimating the capabilities of biometric technologies,…
-
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 Fraud, Waste, and Abuse tool.
-
How Can We Ensure K-12 Student Success in Online Algebra Courses?
Online learning has been on the rise for the past two decades. Recently, much of the talk around online courses has revolved around the postsecondary level and MOOCs—or massively open online courses. Meanwhile, a quieter trend has been the widespread growth of online courses in formal K-12 education. Online courses have become an increasingly popular…
-
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 a few potential countermeasures.
-
Fraud detection for healthcare
We present a fraud screening solution to identify suspicious pharmacies from a large dataset of pharmacy claims.