Computer Aided Verification
2020년
Internal Wave Hydrodynamics on Submersibles
2026년
Reconfigurable and Adaptive Computing
2018년
Domain-Specific Computer Architectures for Emerging Applications
2024년
Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete
2023년
Combined Measure and Shift Invariance Theory of Time Scales and Applications
2022년