Author: SRI International
-
Model-Based Approach for Optimal Maintenance Strategy
In this paper we introduce a novel model-based reliability analysis methodology to guide the best maintenance practices for the different components in complex engineered systems.
-
Yices 2.2
We describe the latest release of Yices, namely, Yices 2.2. We present the tool’s architecture and discuss the algorithms it implements, and we describe recent developments such as support for the SMT-LIB 2.0 notation and various performance improvements.
-
Applying the Brakes: How Practical Classroom Decisions Affect the Adoption of Inquiry Instruction
If college science instructors are to use inquiry practices more in the classroom, they need both professional support to foster comfort with the pedagogy and practical ways to engage students in inquiry. Over a semester, we studied 13 community college biology instructors as they adopted bioinformatics problem-based learning (PBL) modules in their classrooms. The study…
-
Accelerated Aging of Selective Brain Structures in Human Immunodeficiency Virus Infection: A Controlled, Longitudinal Magnetic Resonance Imaging Study
Infected individuals are living long enough that there is a potential for interaction with normal senescence effects on various organ systems, including the brain. To examine this interaction, the brains of 51 individuals with HIV infection and 65 uninfected controls.
-
Effects of Nicotine Deprivation and Replacement on Bold-Fmri Response to Smoking Cues as a Function of DRD4 Vntr Genotype
INTRODUCTION: Reactivity to smoking cues is an important factor in the motivation to smoke and has been associated with the dopamine receptor 4 variable number tandem repeat (DRD4 exon III VNTR) polymorphism. However, little is known about the associated neural mechanisms. METHODS: Non-treatment-seeking Caucasian smokers completed overnight abstinence and viewed smoking and neutral cues during…
-
Evaluation of Functional Activity and Aggregation Properties of Hemopressin
We tested the hemopressin peptide for CB1 receptor agonist and antagonist activity in cAMP and β-arrestin recruitment assay and found it to be inactive.
-
An Operational Semantics for the Goal Life-Cycle in BDI Agents
A fundamental feature of intelligent agents is their ability to deliberate over their goals. Operating in an environment that may change in unpredictable ways, an agent needs to regularly evaluate whether its current set of goals is the most appropriate set to pursue. The management of goals is thus a key aspect of an agent’s…
-
A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors
In this paper we describe the architecture and features of our lazy solver (LBV). We provide a comparative analysis of the eager and lazy approaches, and show how they are complementary in terms of the types of problems they can efficiently solve.
-
N-CANDA Data Integration: Anatomy of an Asynchronous Infrastructure for Multi-Site, Multi-Instrument Longitudinal Data Capture
The concepts implemented in N-CANDA’s data collection system helped reduce project start-up time by several months.
-
Blended Learning’s Early Days: What We Learned; Where We’re Headed Next
In 2012, with funding from the Michael & Susan Dell Foundation, SRI Education researchers set out to examine changes unfolding in K-12 classrooms around the nation. We focused on the effectiveness of blended learning models in a sample of K-12 schools in California and Louisiana. We looked at the combination of traditional teacher-led instruction with online…
-
Introducing Kasisto – A New SRI International Spin-off Offering Conversational Capabilities for Enterprise Mobile Applications
This week SRI International launched Kasisto, a new venture that integrates conversational capabilities into enterprise mobile products. This means companies can now create branded and configurable virtual personal assistants (VPAs) with deep domain knowledge to provide a fully automated, human-like interaction within their mobile applications. Kasisto will initially focus on the financial services market. The company unveiled…
-
How Curriculum Materials Make a Difference for Next Generation Science Learning
SRI researchers found that when curriculum materials explicitly support the features and practices called for within the new science standards—such as including opportunities for students to engage in science practice—teachers can implement the new standards, and students learn more. The goal of Next Generation Science Standards (NGSS) is to focus students on doing science. The…