Publications
-
Automated redesign with the general redesign engine
Abstract Given a system design SD, a key task is to optimize this design with respect to minimizing the probability of failures, e.g., catastrophic failures. We consider the task of…
-
Mesomechanical Modeling of Fracture
Advanced finite element techniques in simulation of the materials behavior under mechanical loading are reviewed.
-
Temperature Dependent Nonlinear Absorption in InSb
Temperature dependent two-photon and free-carrier absorption spectra of InSb are measured using femtosecond, picosecond, and nanosecond IR sources. Measurements over this substantial range of pulsewidths give results consistent with a…
-
Recommended Resources For The National Defense Education Program Pre-Engineering Partnerships
This SRI International (SRI) report presents the selection criteria applied in selecting five resources for recommendation to PEP. Accompanying narrative scenarios illustrate how the resources can support S&Es who work…
-
Challenges in Scalable Fault Tolerance
Efficient and effective means are needed that exploit structure inherent in one layer of architecture to provide key properties to enable reliable execution at other levels.
-
Dopamine and Opioid Gene Variants Are Associated with Increased Smoking Reward and Reinforcement Owing to Negative Mood
We explored associations of gene variants in the dopamine, opioid, and serotonin pathways with smoking reward (‘liking’) and reinforcement (latency to first puff and total puffs) as a function of negative mood…
-
Interleukin 17 Production Among Patients with American Cutaneous Leishmaniasis
We show that lymphocytes obtained from patients with mucosal leishmaniasis and cutaneous leishmaniasis produce higher levels of IL‐17 than do lymphocytes obtained from uninfected control subjects (P
-
Box Invariance in Biologically-Inspired Dynamical Systems
We show that box invariance can be checked in cubic time for linear and affine systems, and that it remains decidable for classes of nonlinear systems of interest (with polynomial…
-
InnovaTE3: Girls Innovating With Technology as Entrepreneurial Environmental Engineers
-
A Systems Biology Network Model for Genetic Association Studies of Nicotine Addiction and Treatment
We discuss several applications of our ontology: to support interdisciplinary research by graphically representing a complex scientific theory, to facilitate meta-analysis across different studies, to highlight potential interactions, and to…
-
The Gene Ontology’s Reference Genome Project: a Unified Framework for Functional Annotation Across Species
Here we introduce the Reference Genome project, which brings together those independent efforts into a unified framework based on the evolutionary relationships between genes in these different organisms.
-
A Novel Peroxisome Proliferator-Activated Receptor Delta Antagonist, SR13904, has Anti-Proliferative Activity in Human Cancer Cells
The peroxisome proliferator-activated receptor delta (PPARδ) is a ligand-activated, nuclear receptor transcription factor that has a documented role in glucose and lipid homeostasis.