Publications
-
Use of CFU-GM Assay to Determine Radiation-Induced Hematotoxicity in Mice
-
Interactive Retinal Vessel Extraction by Integrating Vessel Tracing and Graph Search
We propose an interactive approach that enables a user to efficiently obtain near perfect vessel segmentation with a few mouse clicks. Given two seed points, the approach seeks an optimal…
-
Microglial Beclin 1regulates Retromer Trafficking and Phagocytosis and Is Impaired in Alzheimer’s Disease
Here we show that the autophagy protein beclin 1 is required for efficient phagocytosis in vitro and in mouse brains. Interestingly, microglia isolated from human Alzheimer’s disease (AD) brains show significantly…
-
Discovering Action Idioms: Bridging the Gap between System-Level Events and Human-Level Actions
We present a sequential pattern mining approach to discovering human-level actions-action idioms - from instrumentation logs of lower-level events.
-
Environmental Levels of Bisphenol-A Can Expand Numbers of Mammary Stem Cells and Potentially Increase Breast Cancer Risk
-
Supporting K-12 Students in Online Learning: A Review of Online Algebra I Courses
The purpose of this report is to provide objective information about the online Algebra I courses available on the market today.
-
Controlled Mesoporosity in SiOC Via Chemically Bonded Polymeric Spacers
Silicon oxycarbides with controlled porosity in the mesopore range have been obtained through high-temperature pyrolysis of newly developed reactive siloxane formulations.
-
Efficient Worm-Like Locomotion: Slip and Control of Soft-Bodied Peristaltic Robots
-
Evaluating Transformative Research Programmes: A Case Study of the NSF Small Grants for Exploratory Research Programme
This article describes an evaluation of the National Science Foundation’s Small Grants for Exploratory Research programme conducted for NSF by SRI International.
-
Safety Verification for Linear Systems
-
A Hierarchical Behavior Analysis Approach for Automated Trainee Performance Evaluation in Training Ranges
In this paper we present a closed loop mixed reality training system that provides automatic assessment of trainee performance during kinetic military exercises.
-
Time-Aware Relational Abstractions for Hybrid Systems
We present a technique to compute a time-aware relational abstraction for verifying (timing-related) safety properties of cyber-physical systems.