The tropospheric channel models developed for earth-GEO satellite links are not directly applicable for LEO satellites. In the absence of significant propagation datasets, reasonable models are developed for the simulation of earth-LEO link. This paper presents preliminary models for the simulation of the effect of turbulence on earth-LEO links.

Leo-II cooperates with other theorem-provers to prove theorems in classical higherorder logic. It returns hybrid proofs, which contain inferences made by Leo-II as well as the backend provers with which it cooperates. This article describes recent improvements made to Leo-II.

We present Leo, a resolution based theorem prover for classical higher-order logic. It can be employed as both an fully automated theorem prover and an interactive theorem prover. Leo has been implemented as part of the Ωmega environment [23] and has been integrated with the Ωmega proof assistant. Higher-order resolution proofs developed with Leo can be displayed and communicated to the user vi...

We present radial velocities of 33 red giants in the Leo I dSph galaxy obtained from spectra taken with the HIRES echelle spectrograph on the Keck I telescope. These data have a mean precision of 2.2 km s and lead to estimates of the central velocity dispersion and systemic velocity of Leo I of 8.8 ± 1.3 km s, and 287.0± 1.9 km s, respectively. The systemic velocity confirms past results that L...

We present radial velocities of 33 red giants in the Leo I dSph galaxy obtained from spectra taken with the HIRES echelle spectrograph on the Keck I telescope. These data have a mean precision of 2.2 km s and lead to estimates of the central velocity dispersion and systemic velocity of Leo I of 8.8 ± 1.3 km s, and 287.0± 1.9 km s, respectively. The systemic velocity confirms past results that L...