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

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.