A two-way nested coupled tide-surge model for the Taiwan Strait

A Two-Year Study of Io: Comparing Volcanic Activity and Surface Changes on the Galilean Satellite Io and a Comparison of Volcanic Activity and Surface Changes to Monitor Tidal Heating on the Jovian Moon Io from 1996-2001

A Type 2 supernovae constraint on neutrinoe - neutrinos mixing

A type checking algorithm for qualified session types

A Type II lattice of norm 8 in dimension 72

A type of telescope apodization

A type reduction theory for systems with replicated components

A Type System for a Stochastic CLS

A Type System For Call-By-Name Exceptions

A Type System for Data-Flow Integrity on Windows Vista

A Type System for Parallel Components

A type system for PSPACE derived from light linear logic

A Type System for Required/Excluded Elements in CLS

A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus

A Type System for Tom

A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering

A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY

A type-based termination criterion for dependently-typed higher-order rewrite systems

A Typed Hybrid Description Logic Programming Language with Polymorphic Order-Sorted DL-Typed Unification for Semantic Web Type Systems

A Typical Model Audit Approach: Spreadsheet Audit Methodologies in the City of London