A timing discriminator for space flight applications
A tip of the red giant branch distance to NGC 4038/39 {The Antennae}
A Titan atmosphere with a surface temperature of 200K
A TLA+ Proof System
A Token Based Algorithm to Distributed Computation in Sensor Networks
A tomographic approach to the investigation of the randomly irregular ionosphere
A Tool and Methodology for AC-Stability Analysis of Continuous-Time Closed-Loop Systems
A tool for bistatic SAR geometry determinations
A Tool for Collecting Domain Dependent Sortal Constraints From Corpora
A Tool for Integer Homology Computation: Lambda-At Model
A Tool for Model-Based Language Specification
A Tool for the 2003 Rover Mini-TES: Downwelling Radiance Compensation Using Integrated Line-Sight Sky Measurements
A Tool for the Certification of PLCs based on a Coq Semantics for Sequential Function Charts
A tool set for the quick and efficient exploration of large document collections
A tool stack for implementing Behaviour-Driven Development in Python Language
A toolkit for a generative lexicon
A Toolkit for Scalable Spreadsheet Visualization
A toolkit to describe and interactively display three-manifolds embedded in four-space
A Topic Modeling Toolbox Using Belief Propagation
A topographically forced asymmetry in the martian circulation and climate