Publications
-
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.
-
Compliant Electroactive Polymer Transducers for Sonic Applications
-
Design Patterns To Support Storyboards And Scenario-Based, Innovative Item Types
We report on current research in which we are examining the extension and application of inquiry-based design patterns to guide the development of complex science tasks for use in a…
-
Fuel-Structure Dependence of Benzene Formation Processes in Premixed Flames Fueled By C6H12 Isomers
Close to the burner surface, successive dehydrogenation of the fuel is found to be important for the cyclohexane flame and to some smaller extent for the methylcyclopentane flame.
-
Introduction to the Special Issue on Question Answering
This special issue issue of AI Magazine presents six articles on some of the most interesting question answering systems in development today.
-
Light Driven Formation of Adhesive Emulsion Drops to Form Lipid Bilayers
We demonstrate optical manipulation of nanoliter aqueous droplets containing surfactant or lipid molecules and immersed in an organic liquid using near infrared light.
-
Reports of the AAAI 2010 Spring Symposia
The Association for the Advancement of Artificial Intelligence, in cooperation with Stanford University’s Department of Computer Science, is pleased to present the 2010 Spring Symposium Series.