A theory of robust software synthesis
A Theory of Routing for Large-Scale Wireless Ad-Hoc Networks
A Theory of Sampling for Continuous-time Metric Temporal Logic
A theory of solar type 3 radio bursts
A Theory of the Initial Mass Function
A Theory of Universal Artificial Intelligence based on Algorithmic Complexity
A Theory on the Origin of Life
A thermal adaptive mode-matching telescope for interferometric gravitational wave detectors
A thermo-mechanical model of horizontal subduction below an overriding plate
A thermochemical calculation of the pyroxene saturation surface in the system diopside-albite-anorthite
A thermochemical study of the liquid system NaBO 2 + SiO 2 at 1394 K
A thermodynamic and mechanical model for formation of the Solar System via 3-dimensional collapse of the dusty pre-solar nebula
A Thermodynamic Description for MILSPEC Hydrazine
A thermodynamic framework to develop rate-type models for fluids without instantaneous elasticity
A Thermodynamic Regularities of Evaporation Processes of CMAS Compounds
A Thermodynamic Turing Machine: Artificial Molecular Computing Using Classical Reversible Logic Switching Networks
A Thermodynamical Approach for Probability Estimation
A Thermosyphon Titanium-Water Heat Pipe Design for a Lunar Surface Power System
A Thick, Pixelated Silicon Detector for a Large-Area X-ray Timing Mission
A thin foil high throughput X-ray telescope