SRI International
-
8 Strategies That Can Help Greentech Hardware Startups Win
Note: Guest blogger Rob Day is a partner with Black Coral Capital. He is conference chair for Greentech Media NextWave Investing 2014, to be hosted by SRI International in Menlo Park, CA on August 5. This blog post originally appeared on greentechmedia.com. Someone reached out to me the other day to ask about greentech startups, and during the discussion…
-
Digital Fabrication of Flexible Electronic Systems
In this talk, the speaker will discuss PARC’s approach to circuit design and modeling in the context of building sensor systems in partnership with Thinfilm Electronics based on an ink-jet printed organic TFT process.
-
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.
-
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.
-
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.
-
Identifying User Demographic Traits through Virtual-World Language Use
The paper presents approaches for identifying real-world demographic attributes based on language use in the virtual world.
-
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…
-
Optimal Metabolic Route Search Based on Atom Mappings
We present the algorithm used in the new RouteSearch tool within the Pathway Tools software.
-
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…
-
Metabolic Pathways for the Whole Community
Here we adopt the MetaPathways annotation and analysis pipeline and Pathway Tools to construct environmental pathway/genome databases that describe microbial community metabolism using MetaCyc.
-
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…
-
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.