Publications
-
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 Fuzzy Commitment Approach to Privacy Preserving Behavioral Targeting
This paper describes a privacy-preserving framework for delivering coupons to users that approximately satisfy a predefined behavioral profile.
-
CCN-KRS: A Key Resolution Service for CCN
Abstract One key feature of the CCN design is the requirement for each content object to be individually secured by its producer. Thus, CCN should be, in principle, immune to…
-
Precise Vision-Aided Aerial Navigation
This paper proposes a novel vision-aided navigation approach that continuously estimates precise 3D absolute pose for aerial vehicles, using only inertial measurements and monocular camera observations.
-
The Versatile Synchronous Observer
The paper describes and illustrates these applications of synchronous observers.
-
Virtual Insertion: Robust Bundle Adjustment Over Long Video Sequences
Our goal is to circumvent one of the roadblocks of using existing bundle adjustment algorithms for achieving satisfactory large-area structure from motion over long video sequences, namely, the need for…
-
ROSRV: Runtime Verification for Robots
We present ROSRV, a runtime verification framework for robotic applications on top of the Robot Operating System (ROS), a widely used open-source framework for robot software development.
-
Droidminer: Automated Mining and Characterization of Fine-Grained Malicious Behaviors in Android Applications
DroidMiner is a new malicious Android app detection system that uses static analysis to automatically mine malicious program logic from known Android malware.
-
Evaluating Robust Features on Deep Neural Networks for Speech Recognition in Noisy and Channel Mismatched Conditions
In this work we present a study exploring both conventional DNNs and deep Convolutional Neural Networks (CNN) for noise- and channel-degraded speech recognition tasks using the Aurora4 dataset.