Evolving MEMS Resonator Designs for Fabrication
Greg Hornby, William Kraus, Jason Lohn
10/09/08
Athlete's Feet: Multi-Resolution Planning for a Hexapod Robot
Tristan Smith, Javier Barreiro, David Smith, Vytas Sunspiral, Daniel Chavez
08/27/08
A Survey of New Trends in Symbolic Execution for Software Testing and Analysis
Corina Pasareanu
Published at: Software Tools for Technology Transfer
08/08/08
Field Testing of Utilty Robots for Lunar Surface Operations
Terry Fong, Maria Bualat, Matthew Deans, Mark Allen, Xavier Bousyssounouse
08/08/08
AutoBayes Program Synthesis System Users Manual
Johann Schumann, Hamed Jafari, Ewen Denney, Tom Pressburger
08/08/08
Planning and Monitoring Solar Array Operations on the ISS
Sudhakar Reddy, Michael Iatauro, Elif Kurklu, Matthew Boyce, Jeremy Frank, Ari Jonsson
07/15/08
Automated Assume-Guarantee Reasoning by Abstraction Refinement
Corina Pasareanu, Mihaela Gheorghiu, Dimitra Giannakopoulou
06/30/08
Adaptive Key Component Control of Nonlinear Evolving Flexible Structures
Susan Frost, Mark Balas
Published at: ASME Conf. on Smart Materials
06/13/08
Towards Intelligent Control for Next Generation Aircraft
Diana Acosta, K. Krishnakumar, Susan Frost
Published at: International Powered Lift Conference, Royal Aeronautical Society
06/13/08
Automated Data Assimilation and Flight Planning for Multi-Platform Observation Missions
Nikunj Oza, Robert Morris, Anthony Strawa, Elif Kurklu, Leslie Keely
Published at: NASA Earth Science technology Conference
06/13/08