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
Position Estimation and Multiple Obstacles Tracking Method based on Stereo Vision System
Squeezing by Damping in a Driven Coupled-Oscillator System
Effects of High-Speed Rail Service on Shares of Intercity Passenger Ridership in South Korea
Combustion Process Analysis in a HSDI Diesel Engine Using a Reduced Chemical Kinetics
Design and Fabrication of Eye-Type Scanning Mirror with Dual Vertical Combs for Laser Display
2005-01-0932 Predictive Semi-Analytical Model for Tire-Snow Interaction
Bifurcation and stability of near-critical compressible swirling flows
Fabrication of Vertical Optical Plane Using DRIE and KOH Crystalline Etching of (110) Si Wafer
A Pulse-Operating Electrostatic Microactuator for Latch-up Driving
Directly Solar-Pumped Iodine Laser for Beamed Power Transmission in Space
A Study of LNT & Urea SCR on DPF System to Meet the Stringent Exhaust Emission Regulation
A Study on Analysis of UV Stabilizer for Plastic parts
Formal verification of protocol specified in LTS for railway signalling systems
The Estimation of Viscous Roll Damping Coefficients for Various Hull Forms Using DVM
2006-01-0245 Optimization of Side Impact Bar for Crashworthiness
Prediction of Tire-Snow Interaction Forces Using Metamodeling
2007-01-1511 Prediction of Tire-Snow Interaction Forces Using Metamodeling
High-pressure Phase Behavior of Mixture of Poly(ethylene-co-octene) with Hydrocarbons
CFD Analysis on Exhaust Flow Analysis with Various Exhaust Manifolds and Catalyst Geometries
Methodology of Data Collection for Traffic Congestion in Urban Traffic Flow
An Adaptive Selection Method for Positioning In Car Navigation System