Publications
-
Electroactive Polymer Artificial Muscle Operable in Ultra-High Hydrostatic Pressure Environment
We have verified that the dielectric elastomer type of electroactive polymer can maintain good operational characteristics even in an ultrahigh-pressure environment by showing that the electroactive strain response to an…
-
Observation of slant column NO2 using the super-zoom mode of AURA-OMI
We retrieve slant column NO2 from the super-zoom mode of the Ozone Monitoring Instrument (OMI) to explore its utility for understanding NOx emissions and variability.
-
Robust Speech Recognition with Articulatory Features Using Dynamic Bayesian Networks
In this paper, I present results from a word recognition and a phone recognition experiments in noise that uses two sets of articulatory representation: continuous (tract variable trajectories) and discrete (articulatory gestures) along with…
-
Approaches to Understanding and Measuring Interdisciplinary Scientific Research (IDR): a Review of the Literature
Interdisciplinary scientific research (IDR) extends and challenges the study of science on a number of fronts, including creating output science and engineering (S&E) indicators.
-
Helium and Energy Measurements from Exploding Pdd(X) Wires at 77(A)Over-Cap Degrees K
-
Incoherent Scatter Radar Estimation of F Region Ionospheric Composition During Frictional Heating Events
A method is developed for estimating F region ion composition from incoherent scatter radar (ISR) measurements during times of frictional ion heating.
-
Internet Voting, Security, and Privacy
In this article, I describe different types of Internet voting, the advantages and disadvantages from a security and privacy perspective, and provide perspective on the history and evolution of the…
-
Introduction to the Focused Section on Electroactive Polymer Mechatronics
The papers in this section present relevant new models, devices and applications of three families of iconic EAPs (conducting polymers, carbon nanotubes, and ionic polymer-metal composites) and one family of…
-
Invited Article: Digital Beam-Forming Imaging Riometer Systems
The design and operation of a new generation of digital imaging riometer systems developed by Lancaster University are presented.
-
Large-Scale Visual Odometry for Rough Terrain
We present the results of several years of work on an integrated system to localize a mobile robot in rough outdoor terrain using visual odometry, with an increasing degree of…
-
Reports of the AAAI 2010 Fall Symposia
The Association for the Advancement of Artificial Intelligence was pleased to present the 2010 Fall Symposium Series.
-
Verification and Synthesis Using Real Quantifier Elimination
We present the application of real quantifier elimination to formal verification and synthesis of continuous and switched dynamical systems.