Publications
-
Future Ready Schools: Building Technology Infrastructure for Learning
The Future Ready Schools: Building Technology Infrastructure for Learning guide provides practical, actionable information intended to help district leaders navigate the many decisions required to deliver cutting-edge connectivity to students.
-
Novel Human Radiation Exposure Biomarker Panel Applicable for Population Triage
We aimed to identify a panel of radiation-responsive plasma proteins that could be used in a point-of-care biologic dosimeter to detect clinically significant levels of ionizing radiation exposure
-
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...
-
A Novel Planar Ion Funnel Design for Miniature Ion Optics
The novel planar ion funnel (PIF) design presented in this article emphasizes simple fabrication, assembly, and operation, making it amenable to extreme miniaturization.
-
Risks and Myths of Cloud Computing and Cloud Storage
Considering existing and new types of risks inherent in cloud services.
-
Smten with Satisfiability-Based Research
We present Smten, a high-level language for orchestrating and constructing satisfiability-based search queries. We show that applications developed using Smten require significantly fewer lines of code and less developer effort…
-
Diagnostics of an Artificial Relativistic Electron Beam Interacting with the Atmosphere
We use a Monte Carlo model to simulate the interaction of a beam of relativistic electrons with the upper atmosphere as they are injected downward from a notional high-altitude injection…
-
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.