Formally verifying the correctness of a network-based protocol for railway signalling systems
Space-Borne Solar Laser for Power-Beaming Applications
The Stability of a Compressible Axisymmetric Vortex Flow
Mr Brain Imaging Segmentation Based on Spatial Gaussian Mixture Model and Markov Random Field
00CE009 Analysis of Vehicle Pull Behaviour using ADAMS
All Weather Performance Testing of Side-Fire Ultrasonic Detector
Development of Driving Cycle for CO2 Emission Test of Heavy-Duty Vehicles
Nano-scale Bi-stable Electrostatic Actuator: Design and Fabrication
Overhead Analysis on Secure Beaconing for GeoNetworking
Model checker for railway signalling communication protocol
Applications and Development of EB Welding on the F-22
Dynamic Simulation of Nonlinear Model-Based Observer for Hydrodynamic Torque Converter System
Dynamic Simulation of Nonlinear Model-Based Observer for Hydrodynamic Torque Converter System
Squeezing by Damping in a Driven Coupled-Oscillator System
Position Estimation and Multiple Obstacles Tracking Method based on Stereo Vision System