LEO-II is a standalone, resolution-based higher-order theorem prover designed for effective cooperation with specialist provers for natural fragments of higher-order logic. At present LEO-II can cooperate with the first-order automated theorem provers E, SPASS, and Vampire. The improved performance of LEO-II, especially in comparison to its predecessor LEO, is due to several novel features incl...

Low earth orbit (LEO) satellite has the advantages of global coverage, low propagation delay and low path losses, etc. Combined with orthogonal frequency division multiplexing (OFDM) transmission, LEO satellite system can support very high capacity suitable for wideband multimedia traffic. This paper analyzes the channel model and throughput for LEO OFDM satellite communication system. First, s...

Compared with Geostationary Orbit (GEO) satellite systems and Medium Earth Orbit (MEO) satellite systems, Low Earth Orbit (LEO) satellite systems provide lower propagation delay as well as higher throughput. Because of these reasons, LEO satellite systems can play a pivotal role in providing services to areas where there is no substantial terrestrial infrastructure. In this paper, a novel kind ...

the effect of lavender essential oil (leo) on broiler performance, carcass characteristics and blood metabolites was examined in a completely randomized design with 5 treatments (control diet, virginiamycin 10% (50 ppm) and 3 diets containing 150, 250, 350 ppm lavender essential oil) and 5 replications in a period of 42-days. no significant differences were noticed for feed intake between the t...

Conflicts of interest C.A.M. has acted as an invited speaker for Galderma (specific), Astellas (nonspecific), Almirall (nonspecific) and LEO Pharma (nonspecific); has received sponsorship to attend conferences from LEO Pharma (nonspecific); and has participated in the advisory boards of Almirall, Astellas and LEO Pharma (nonspecific). D.J.E. has participated in the advisory board of, and receiv...

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.

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