Use of Operations Research to facilitate and improve railway planning
Use of model transformation for the formal analysis of railway interlocking models
Use of frequency-dependent track models in traction system simulation
Use of computers in planning and execution of infrastructure investment
Use of computer databases to manipulate safety information
Use of a computer-based tool for systems engineering mega railway projects
Universal Designated-Verifier Partially Blind Signatures for E-Commerce
Universal communication infrastructure for locomotives
Unequal a priori probabilities for holographic storage [3802-08]
Understanding Qualitative Calculus: A Structural Synthesis of Learning Research
Understanding Equivalence of Symbolic Expressions in a Spreadsheet-Based Environment