Author: SRI International
-
Disability Identification and Self-Efficacy Among College Students on the Autism Spectrum
This study uses data from the National Longitudinal Transition Study 2 to examine the prevalence and correlates of disability identification and self-efficacy among college students on the autism spectrum.
-
Developments in Purification Methods for Obtaining and Evaluation of Collagen Derived Endogenous Angioinhibitors
This review focuses on the method developments in obtaining biologically active NC1 domains and for specific evaluations in different scenarios.
-
Automated fixture configuration for rapid manufacturing planning
In this paper, we address the problem of rapidly synthesizing a realistic fixture that will guarantee stability and immobility of a specified polyhedral work-part.
-
Opening the “black box”: Organizational differences between charter schools and traditional public schools
Using survey data collected from teachers in Texas, this study explores differences in school organization that contribute to the experiences of charter school and traditional public school teachers.
-
Review of hybrid prognostics approaches for remaining useful life prediction of engineered systems, and an application to battery life prediction
As an important aspect of prognostics, remaining useful life (RUL) prediction estimates the remaining usable life of a system, which is essential for maintenance decision making and contingency mitigation.
-
Gaming for a Higher Purpose: Crowdsourcing to Find Vulnerabilities in Mission-critical Software
More and more, people around the world rely on complex software systems in all areas of life—from transportation to utility grids to medical equipment. We depend on these software systems to be secure and reliable. Yet today, the way to assure bug-free software code is through formal software verification, which requires highly specialized computer scientists…
-
Flexible End-to-End Content Security in CCN
In this paper, we present a secure content distribution architecture for CCN that is based on proxy re-encryption.
-
Global Imaging of Polar Cap Patches with Dual Airglow Imagers
During a 2 h interval from 2240 to 2440 UT on 12 November 2012, regions of increased 630.0 nm airglow emissions were simultaneously detected by dual all-sky imagers in the polar cap.
-
KB Bio 101: Content and Challenges
By expressing this representation in first-order logic with equality [10], we have translated it into multiple formats including, OWL2 functional and an answer set program.
-
Deduction for Natural Language Access to Data
We outline a general approach to automated natural-language question answering that uses first-order logic and automated deduction. Our interest is in answering queries over structured data resources
-
Surface of Ligeia Mare, Titan, from Cassini Altimeter and Radiometer Analysis
Cassini radar observations of the surface of Ligeia Mare collected during the 23 May 2013 (T91) Cassini flyby show that it is extremely smooth, likely to be mostly methane in composition, and exhibits no surface wave activity.
-
Addition of Escherichia coli K–12 Growth-Observation and Gene Essentiality Data to the EcoCyc database
We have integrated data on the growth or nongrowth of E. coli K-12 obtained from published observations using a variety of individual media and from high-throughput phenotype microarrays into the EcoCyc database.