Publications
-
Bipedal Hopping Pattern Generation for Passively Compliant Humanoids: Exploiting the Resonance
This paper describes a novel technique to analytically generate feasible hopping trajectories that can be applied to passively compliant bipedal humanoid robots.
-
Heating of the Sunlit Polar Cap Ionosphere by Reflected Photoelectrons
Using a 1-D ionosphere-polar wind model and measurements from the Resolute Bay Incoherent Scatter Radar (RISR-N), this paper shows that these reflected photoelectrons are a significant source of heat for…
-
New Candidate Biomarkers in the Female Genital Tract to Evaluate Microbicide Toxicity
Vaginal microbicides hold great promise for the prevention of viral diseases like HIV, but the failure of several microbicide candidates in clinical trials has raised important questions.
-
Teacher Demand for Digital Courseware: A Report on the Teacher Wallets Program (Executive Summary)
The Teacher Wallets pilot program allowed teachers to make their own budget and purchasing decisions about instructional technologies.
-
First Estimates of Global Free-Tropospheric NO2 Abundances Derived Using a Cloud-Slicing Technique Applied to Satellite Observations from the Aura Ozone Monitoring Instrument (OMI)
We derive free-tropospheric NO2 volume mixing ratios (VMRs) by applying a cloud-slicing technique to data from the Ozone Monitoring Instrument (OMI) on the Aura satellite.
-
Cognition, Emotion, and Attention
This review elucidates the concepts of attention, emotion, and cognition and references research on the underlying neural networks and their compromise in alcohol use disorder.
-
Development of a Novel Bioadhesive Microbicide Gel Formulation for Prophylactic Protection against Hiv and Hsv-2
Over-the-counter access to an inexpensive, effective topical microbicide could reduce the transmission of HIV and would increase women’s control over their health and eliminate the need to obtain their partners’…
-
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.
-
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…
-
Risks and Myths of Cloud Computing and Cloud Storage
Considering existing and new types of risks inherent in cloud services.
-
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).