Formally verifying the correctness of a network-based protocol for railway signalling systems
Mr Brain Imaging Segmentation Based on Spatial Gaussian Mixture Model and Markov Random Field
00CE009 Analysis of Vehicle Pull Behaviour using ADAMS
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
Dynamic Simulation of Nonlinear Model-Based Observer for Hydrodynamic Torque Converter 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
Design and Fabrication of Eye-Type Scanning Mirror with Dual Vertical Combs for Laser Display
Fabrication of Vertical Optical Plane Using DRIE and KOH Crystalline Etching of (110) Si Wafer
A Pulse-Operating Electrostatic Microactuator for Latch-up Driving
Formal verification of protocol specified in LTS for railway signalling systems
2006-01-0245 Optimization of Side Impact Bar for Crashworthiness
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
The Effects of Intake Port Design on Flame Propagation In a Lean Burn Spark-Ignition Engine