Publications
-
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.
-
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…
-
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…
-
A Framework for High-Assurance Quasi-Synchronous Systems
In this paper, we examine the foundations of a quasi-synchronous model of computation Our version of the quasi-synchronous model is inspired by the Robot Operating System (ROS).
-
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.
-
A Computational Photography Shootout: Wavefront Coding Vs. Lattice Focal Imaging
We systematically compared the optical performance of two computational photography (CP) approaches used to extend the depth of field of an imaging system: wavefront coding and lattice focal lens imaging.
-
On the Generation/Decay of the Storm-Enhanced Density Plumes: Role of the Convection Flow and Field-Aligned Ion Flow
We present observations of SED plumes during six storms between 2010 and 2013 and comprehensively analyze the associated ionospheric parameters within the plumes.
-
Gender Difference in Interactions between MAOA Promoter uVNTR Polymorphism and Negative Familial Stressors on Body Mass Index among Chinese Adolescents
Our goals were to replicate the population effects of this functional polymorphism on obesity risk, and to further explore gender differences and interaction effects with negative stressors.
-
Structural and Microstructral Imaging of the Brain in Alcohol Use Disorders
This review focuses on MRI and DTI findings in common concomitants of alcoholism and also covers findings in abstinence and relapse.
-
Air Plasma-Material Interactions at the Oxidized Surface of the PM1000 Nickel-Chromium Superalloy
We present an experimental study on the interactions between PM1000, an oxide dispersion strengthened nickel-chromium superalloy, and air plasma at surface temperatures between 1000 and 1600 K and pressures of 1500,…
-
Imaging Activity in Integrated Circuits
In this paper, we introduce a method for localizing activity in integrated circuits (IC) using a laser scanning microscope.