Hybrid Decompositional Verification for Discovering Failures in Adaptive Flight Control Systems
LEAD-FREE DOUBLE-BASE PROPELLANT DEVELOPMENT FOR THE 2.75-INCH ROCKET MOTOR
New electron microscopy methods for the study of neural development
NIF Pockels cell and frequency conversion crystals [5341-11]