November 8, 2007
Time: 10:30am Location: NIA, Rm 137
Joseph Heyman, Luna Innovations Inc., "Applications of High Resolution Ultrasonics for Bio/Structural Materials Characterization"

October 31, 2007
Leonard Lensink, University of Nijmegen, The Netherlands, "Generating Code from PVS"

October 19, 2007
David Kaup, University of Central Florida, "Applied Mathematics and Modeling"

October 3, 2007
Ping Yang, Texas A&M University, "Light Scattering and Radiative Transfer: History, Some Recent Progress, and Applications to Remote Sensing and Radiative Forcing Study"

September 27, 2007
Jian-Qiao Sun, University of California, Merced, "Some Control Applications of Smart Materials" and "Random Fatigue of Structures with Uncertain Parameters and Non-Gaussian Stress Response"

August 29, 2007
Seminar #1: Marco Gherlone, Politecnico di Torino, Italy, "Refined Zigzag Models for the Analysis of Composite and Sandwich Beams"
Seminar #2: Massimiliano Mattone, Politecnico di Torino, Italy, "Exploring Optimal Strain-Sensor Distributions on Plate Structures Using Inverse Finite Element Method"

August 27, 2007
Lei Tang, D&P LLC, "Gas-Kinetic Navier-Stokes Solver for Hypersonic Flows in Thermal and Chemical Non-Equilibrium"

August 16, 2007
Daniel Weimer, Solana Scientific, Inc., "The Evolution of High-Latitude Potential Models and Applications"

August 8, 2007
Bala Poduval, Stanford University, "Space Weather Prediction: Role of Potential Field Source Surface Model and Its Limitations"

August 7, 2007
Jichun Zhang, Rice University, "A Rice Convection Model Study of Depleted Channels in the Storm-Time Plasma Sheet"

August 3, 2007
Rakesh K. Kapania, Virginia Tech, "Design and Optimization of Structures Using Additive Manufacturing Processes"

July 27, 2007
Kenji Uchino, Penn State University, "High Power Piezoelectric Transformers" and "Review: Piezoelectric Actuators - Expansion from IT/Robotics to Ecological/Energy Applications"

July 23, 2007
Marcus Bauer, German Aerospace Center (DLR), "Computation of Airframe Noise using a
Discontinuous Galerkin Method"

July 17, 2007
Dr. Joseph Baker, The Johns Hopkins University Applied Physics Laboratory, "Investigations of Magnetosphere-Ionosphere-Thermosphere Coupling Using the Super Dual Auroral Radar Network (SuperDARN)"

June 13, 2007
Mohammad R. Hajj, Virginia Tech, "Nonlinear System Identification with Higher-Order Spectral Moments"

June 27, 2007
Mahendra P. Singh, Virginia Tech, "Curvature Flexibilities for Structural Damage Localization and Quantification"

June 15, 2007
Formal Methods Seminar
Jean-Baptiste Jeannin, Ecole Polytechnique, France, "Uncertainty Bounds for Geometrical Conflict Detection and Resolution"

June 14, 2007
Hiroaki Nishikawa, University of Michigan, "Toward a Future Navier-Stokes Code: Exploiting Additional Degrees of Freedom"

May 30, 2007
Michael Francis, General Atomics, "A Perspective on 21st Century Aeronautics"

May 22, 2007
Lesley Weitz, Texas A&M University, "Control-Law Design and Stability Analysis for Multi-Vehicle Formations"

May 15, 2007
Romesh Batra, Virginia Tech, "Computational Damage/Failure Mechanics of Materials Subjected to Impact Loads"

March 23, 2007
Formal Methods Seminar
Arturo Tejada, Old Dominion University, "Hybrid Jump Linear Systems: A New Modeling Framework for Discrete-Time Stochastic Hybrid Systems"

March 9, 2007
Formal Methods Seminar
Gilles Dowek, Ecole Polytechnique, "A Formal Toolbox to Prove Properties of Programming Languages"

January 5, 2007
Sriram Rallabhandi, Georgia Tech, "Conceptual Supersonic Aircraft Design and Analysis"