SRI International
-
Inconsistency Monitoring in a Large Scientific Knowledge Base
We describe our approach for inconsistency monitoring in a large biology KB.
-
Automated Data Integration
HiperFuse automates procedures for extracting, cleaning, restructuring and provisioning data, enabling investigators analyzing the data to spend more of their time focusing on what hypotheses to test, correlations to study, and data to mine activities that make the best use of their domain expertise.
-
PARC Developments in Biomedical Devices
Advancements towards an electro-chemical biosensor system based on direct, additive printing of biomaterials will be described that enables biomarker measurement via non-invasive continuous operation.
-
Network-Layer Trust in Named-Data Networking
This paper explores root causes of, and some cures for, content poisoning attacks in NDN.
-
Comparison of conductor and dielectric inks in printed organic complementary transistors
Two types of printable conductor and a bilayer gate dielectric are evaluated for use in all-additive, inkjet-printed complementary OTFTs.
-
Opportunities to personalize teacher learning: Innovative approaches to bridge evaluation and professional development for continuous improvement
The following seven innovative approaches to personalize teacher learning are explored as possible mechanisms to bridge evaluation and professional development…
-
A Framework for High-Assurance Quasi-Synchronous Systems
In this paper, we examine the foundations of a quasi-synchronous model of computation Our version of the quasi-synchronous model is inspired by the Robot Operating System (ROS).
-
Mechanized Support for Assurance Case Argumentation
We propose simple ways in which an assurance case, formalized in a mechanized verification system to support the first purpose, can be adapted to serve the second.
-
A Computational Photography Shootout: Wavefront Coding Vs. Lattice Focal Imaging
We systematically compared the optical performance of two computational photography (CP) approaches used to extend the depth of field of an imaging system: wavefront coding and lattice focal lens imaging.
-
On the Generation/Decay of the Storm-Enhanced Density Plumes: Role of the Convection Flow and Field-Aligned Ion Flow
We present observations of SED plumes during six storms between 2010 and 2013 and comprehensively analyze the associated ionospheric parameters within the plumes.
-
Structural and Microstructral Imaging of the Brain in Alcohol Use Disorders
This review focuses on MRI and DTI findings in common concomitants of alcoholism and also covers findings in abstinence and relapse.
-
Air Plasma-Material Interactions at the Oxidized Surface of the PM1000 Nickel-Chromium Superalloy
We present an experimental study on the interactions between PM1000, an oxide dispersion strengthened nickel-chromium superalloy, and air plasma at surface temperatures between 1000 and 1600 K and pressures of 1500, 7500 and 10,000 Pa.