Synthesizing optimally resilient controllers
Effect of normobaric hypoxic exercise on blood pressure in old individuals
Half-Explicit Exponential Runge-Kutta Methods for Index- 1 DAEs in Helicopter Simulation
A semi-automated approach for requirement-based early validation of flight control platforms
A semi-automated approach for requirement-based early validation of flight control platforms
Minimizing Aliasing in Multiple Frequency Harmonic Balance Computations
An aeronautical data communication demand model for the North Atlantic oceanic airspace
An aeronautical data communication demand model for the North Atlantic oceanic airspace
Performance Engineering for a Tall & Skinny Matrix Multiplication Kernel on GPUs
An explanatory approach to modeling the fleet assignment in the global air transportation system
An explanatory approach to modeling the fleet assignment in the global air transportation system
Data-adapted Parallel Merge Sort
GHOST: Building Blocks for High Performance Sparse Linear Algebra on Heterogeneous Systems