A theorem proving framework for the formal verification of Web Services Composition
A Theoretical Analysis of Authentication, Privacy and Reusability Across Secure Biometric Systems
A Theoretical Analysis of Joint Manifolds
A Theoretical and Computational Investigation to Optimize Particle Image Velocimetry and Study of Thermal Convection from Non-Uniform Surfaces
A Theoretical and Empirical Evaluation of Software Component Search Engines, Semantic Search Engines and Google Search Engine in the Context of COTS-Based Development
A theoretical and empirical study of the response of the high latitude thermosphere to the sense of the 'Y' component of the interplanetary magnetic field
A theoretical and experimental investigation of modulation sidebands of planetary gear sets
A theoretical attempt to explain some observed features of the D region
A theoretical basis for the development and use of chemical variation diagrams
A theoretical comparison between apparent and real vertical ionization drift velocities in the equatorial F region
A theoretical evaluation of the lunar tidal variations in the ionospheric F2-layer
A theoretical foundation for building Knowledge-work Support Systems
A theoretical investigation of isotopic anomalies of xenon in terrestrial and extra-terrestrial samples
A Theoretical Investigation of Photoionization Resonances in Small Hydrocarbons.
A theoretical look at coronagraph design and performance for direct imaging of exoplanets
A theoretical model for the ring current interaction with the earth's plasmasphere
A Theoretical Model of Lunar Optical Maturation: Effects of Submicroscopic Reduced Iron and Particle Size Variations
A theoretical study of alpha star populations in loaded nuclear emulsions
A theoretical study of parcel stability and cloud distribution in a Jovian hot spot
A theoretical study of the 27-day variation of upper-atmospheric temperature