Publications
-
Rosemary: A Robust, Secure, and High-Performance Network Operating System
We demonstrate how simple and common failures in a network application may lead to loss of the control layer, and in effect, loss of network control. To address these concerns…
-
Brain Metabolite Levels as Predictors of Abstinance or Relapse in Alcohol Use Disorders
This in vivo magnetic resonance spectroscopy study included 15 control subjects and 20 recently sober individuals with alcohol use disorders.
-
Varenicline Enhances Dopamine Release Facilitation after Long-Term Nicotine Treatment and Withdrawal
Here, we used real-time cyclic voltammetry in brain slices containing the nucleus accumbens to further elucidate the changes in dopamine release linked to nicotine withdrawal.
-
Inconsistency Monitoring in a Large Scientific Knowledge Base
We describe our approach for inconsistency monitoring in a large biology KB.
-
Special Education Services Received by Students with Autism Spectrum Disorders from Preschool Through High School
Using three national data sets this study examined the age trends in special education services received by students with ASDs from preschool through high school.
-
USP8 Regulates Mitophagy by Removing K6-Linked Ubiquitin Conjugates from Parkin
We report here that USP8/UBPY, a deubiquitinating enzyme not previously implicated in mitochondrial quality control, is critical for parkin-mediated mitophagy.
-
Automated Data Integration
HiperFuse automates procedures for extracting, cleaning, restructuring and provisioning data, enabling investigators analyzing the data to spend more of their time focusing on what hypotheses to test, correlations to study,…
-
PARC Developments in Biomedical Devices
Advancements towards an electro-chemical biosensor system based on direct, additive printing of biomaterials will be described that enables biomarker measurement via non-invasive continuous operation.
-
Network-Layer Trust in Named-Data Networking
This paper explores root causes of, and some cures for, content poisoning attacks in NDN.
-
Comparison of conductor and dielectric inks in printed organic complementary transistors
Two types of printable conductor and a bilayer gate dielectric are evaluated for use in all-additive, inkjet-printed complementary OTFTs.
-
Opportunities to personalize teacher learning: Innovative approaches to bridge evaluation and professional development for continuous improvement
The following seven innovative approaches to personalize teacher learning are explored as possible mechanisms to bridge evaluation and professional development...
-
Mechanized Support for Assurance Case Argumentation
We propose simple ways in which an assurance case, formalized in a mechanized verification system to support the first purpose, can be adapted to serve the second.