Publications
-
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…
-
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…
-
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…
-
Optimal Metabolic Route Search Based on Atom Mappings
We present the algorithm used in the new RouteSearch tool within the Pathway Tools software.
-
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…
-
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…
-
A Nonlinear Real Arithmetic Fragment
We present a new procedure for testing satisability (over the reals) of a conjunction of polynomial equations.
-
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.
-
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…
-
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.
-
The EcoCyc Database
This review outlines the data content of EcoCyc and of the procedures by which this content is generated.