Type II Migration and Giant Planet Survival
Type III Solar Radio Bursts in the Inhomogeneous Corona and Interplanetary Space
Type Inference for Bimorphic Recursion
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
Type Inference for Guarded Recursive Data Types
Type inference in mathematics
Type N solutions of the vacuum scalar-tensor field equations
Type Pi 1-2 magnetic field pulsations
Type Safe Extensible Programming
Type theory and rewriting
Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types
Type-driven semantic interpretation and feature dependencies in R-LFG
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
Type-II InAs/GaSb superlattices and detectors with lambda c >18m
Type-II/III DCT/DST algorithms with reduced number of arithmetic operations
Type-III Radio Bursts and Their Interpretation
Type-IV DCT, DST, and MDCT algorithms with reduced numbers of arithmetic operations
Type-Preserving Flow Analysis and Interprocedural Unboxing (Extended Version)
Type-Safe Feature-Oriented Product Lines
Typed Feature Structures as Descriptions