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...

We introduce the recently started Leo-III project — a Higher-Order Logic Theorem Prover and successor to LEO-II.

The objective of this study was to investigate the effects of two different ripening durations, with, or without adding rosemary powder, on Lomo embuchado (LEO) sausage quality. All LEOs were ripened for two different durations, 45 or 60 d, with, or without the addition of rosemary powder, as follows: 1) LEO ripened for 45 d (LER45), 2) LEO ripened for 60 d (LER60), 3) rosemary LEO ripened for ...

Transmission electron microscopy (TEM) is carried out to characterize the extended defect reduction in low-defect nonplanar GaN substrate templates grown by lateral epitaxial overgrowth (LEO). The LEO nonplanar GaN substrate template has a trapezoidal cross section with smooth (0 0 0 1) and f1 1 2̄ 2g facets. We demonstrate here the dislocation distribution and behavior in both ordinary LEO and ...

Enzymology of the Liver Frontiers of Gastrointestinal Research Vol. 2 Series Editor: LEO VAN DER RBIS, San Francisco, Calif. Editorial Board: R. LAMBERT, Lyon; S. LORBER, Philadelphia, Pa.; D. W. PIPER, Crows Nest, N.S.W.; H. SHIRAKABE, Tokyo; K.B. TAYLOR, Palo Alto, Calif.; N. ZLLNER, Munich S. Karger Basel' Mnchen . Paris' London' New York' Sydney Enzymology of the Liver Editor: LEO VAN DER R...

We measure the first stellar velocity dispersion of the Leo A dwarf galaxy, σ = 9.3 ± 1.3 km s. We derive the velocity dispersion from the radial velocities of ten young B supergiants and two Hii regions in the central region of Leo A. We estimate a projected mass of 8 ± 2.7 × 10 M⊙ within a radius of 2, and a mass to light ratio of at least 20± 6 M⊙/L⊙. These results imply Leo A is at least ∼8...

Lemongrass (Cymbopogon flexuosus) essential oil (LEO), which has citral as its main component, has exhibited anti-inflammatory effect in both animal and human cells. In this study, we evaluated the anti-inflammatory activity of a commercially available LEO in pre-inflamed human dermal fibroblasts. We first studied the impact of LEO on 17 protein biomarkers that are critically associated with in...