The Leo and Leo-II provers have pioneered the integration of higher-order and firstorder automated theorem-proving. To date, the Leo-II system is, to our knowledge, the only automated higher-order theorem-prover which is capable of generating joint higherorder–first-order proof objects in TPTP format. This paper discusses Leo-II’s proof objects. The target audience are practitioners with an int...

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

Four in vitro experiments (Exp.) were conducted to evaluate lavender essential oil (LEO) effects at 0 (control), 250 (low dose), 500 (medium dose), 750 and 1000 µL per L(high doses) of incubation medium on rumen gas production kinetics (Exp.1), ruminal digestibility and fermentation (Exp.2), methane production (Exp.3) and rumen acidosis (Exp.4). The asymptote of gas production (A) incr...

Leonurine (Leo) is a special alkaloid principle of Herba leonuri that has recently been suggested to improve cardiovascular functions. To date, there is no direct ionic evidence of Leo on regulating calcium channels in the heart. In the present study, we examined the effects of Leo on action potentials and membrane currents recorded from isolated rat ventricular myocytes with the whole-cell pat...

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