Tycho-2 stars with IR excess (Clarke+, 2005)

Tycoon: A Distributed Market-based Resource Allocation System

Tycoon: an Implementation of a Distributed, Market-based Resource Allocation System

Tying up the loose ends in fully LZW-compressed pattern matching

tym: Typed Matlab

Tympanic thermometer performance validation by use of a body-temperature fixed point blackbody

Typage fort et typage souple des collections topologiques et des transformations

Type 1 Cosmic Spherules: Key to a Major, But Poorly Sampled, Asteroid Population?

Type 2 Terrain: Compositional Constraints on the Martian Lowlands

Type Arithmetics: Computation based on the theory of types

Type Classes and Constraint Handling Rules

Type classes for efficient exact real arithmetic in Coq

Type Classes for Mathematics in Type Theory

Type Expressiveness and Its Application in Separation of Behavior Programming and Data Management Programming

Type I eclogites from Roberts Victor kimberlites: Products of extensive mantle metasomatism

Type I X-ray bursts in GS 1826-24

Type Ia supernovae luminosities (Sullivan+, 2010)

Type Ia Supernovae: Progenitors and Peculiarity

Type Ic Supernovae as Sources of Cosmic Rays

Type II Cepheid and RR Lyrae variables (Feast+, 2008)