Author: SRI International
-
Formal Verification and Automated Testing for Diagnostic and Monitoring Systems
In this paper, we outline these new methods, and describe a project to extend and apply them in combination to issues in verification and testing of diagnostic and monitoring systems.
-
Fuel 109-New Proton Conductive Composite Materials with Inorganic and Styrene Grafted and Sulfonated Vdf/Ctfe Fluoropolymers
To understand the effect of different membrane components on its properties, thermal properties of composites have been investigated. It was found that the content of CTFE units, St and sulfonic groups effected membrane flexibility and swelling.
-
Model Driven Segmentation of Articulating Humans in Laplacian Eigenspace
We propose a general approach using Laplacian Eigenmaps and a graphical model of the human body to segment 3D voxel data of humans into different articulated chains. In the bottom-up stage, the voxels are transformed into a high-dimensional (6D or less) Laplacian Eigenspace (LE) of the voxel neighborhood graph.
-
San Francisco Bay Area KIPP Schools, A Study of Early Implementation and Achievement: Final Report
This report describes the implementation and impact of the Knowledge Is Power Program (KIPP) in five Bay Area middle schools.
-
Aspect shifts in Indo Aryan
We introduce supporting data from the history of Old and Middle Indo-Aryan languages, whose instantiation of this pattern has not been previously noted.
-
Micro-fluidic-based optical detection platform for characterizing fluorescing objects with integrated wavelength detection
We describe a compact, low-cost analyte detection platform that combines a fluidic channel, large area fluorescence excitation and on chip wavelength detection.
-
Uncertain luck and counterfactual stupidity
I argue that predicates of relative stupidity do have at-issue entailments, contra Barker 2002, based on evidence from their interaction with epistemic modals and with counterfactuals.
-
Heuristic search for target-value path problem
In this paper, we introduce a new class of search problems in which the objective is to find a path whose total cost is as close as possible to a target cost, called the ideal cost.
-
Combining breadth-first and depth-first strategies in searching for optimal treewidth
This paper describes a new way to integrate the two strategies in a single search algorithm that combines the complementary strengths of both strategies to achieve significant speedups over either strategy used alone.
-
Delegating capabilities in predicate encryption systems
We formally define delegation in predicate encryption systems and propose a new security definition for delegation.
-
Capacity-delay tradeoff for information dissemination modalities in wireless networks
This paper presents the first comprehensive capacity-delay tradeoff study for random wireless ad hoc networks under all information dissemination modalities when nodes operate either with multi-packet reception (MPR) or single-packet reception (SPR) capabilities.
-
Paper-centric structuring in learning processes
This paper introduces two new concepts for augmented semantic structuring of paper-based learning processes.