Leo-II, a resolution based theorem prover for classical higherorder logic, is currently being developed in a one year research project at the University of Cambridge, UK, with support from Saarland University, Germany. We report on the current stage of development of LeoII. In particular, we sketch some main aspects of Leo-II’s automated proof search procedure, discuss its cooperation with firs...

We report on the improvement of light output power of InGaN/GaN blue light-emitting diodes (LEDs) by lateral epitaxial overgrowth (LEO) of GaN using a pyramidal-shaped SiO(2) mask. The light output power was increased by 80% at 20 mA of injection current compared with that of conventional LEDs without LEO structures. This improvement is attributed to an increased internal quantum efficiency by ...

Agent architectures and parallelization are, with a few exceptions, rarely to encounter in traditional automated theorem proving systems. This situation is motivating our ongoing work in the higher-order theorem prover Leo-III . In contrast to its predecessor – the well established prover LEO-II – and most other modern provers, Leo-III is designed from the very beginning for concurrent proof se...

This study integrates a tunicate swarm algorithm (TSA) with local escaping operator (LEO) for overcoming the weaknesses of original TSA. The LEO strategy in TSA–LEO prevents searching deflation TSA and improves convergence rate search efficiency agents. proposed was verified on CEC’2017 test suite, its performance compared seven metaheuristic algorithms (MAs). comparisons revealed that signific...

We report the discovery of a significant old population in the dwarf spheroidal (dSph) galaxy Leo I as a result of a wide-area search with the ESO New Technology Telescope. Studies of the stellar content of Local Group dwarf galaxies have shown the presence of an old stellar population in almost all of the dwarf spheroidal galaxies. The only exception was Leo I, which alone appeared to have del...

Communication via satellite begins when the satellite is positioned in the desired orbital position. Ground stations can communicate with LEO (Low Earth Orbiting) satellites only when the satellite is in their visibility region. The ground station’s ideal horizon plane is in fact the visibility region under 0 ̊ of elevation angle. Because of natural barriers or too high buildings in urban areas,...

We derive new eeective radii and total magnitudes for 5 E and S0 galaxies in the Leo-I group from wide-eld CCD images. These are used in conjunction with recent literature velocity data to construct the fundamental plane (FP) of the Leo-I group. The rms scatter that we nd is only 6 % in distance. The zero point of this relation provides a calibration of the FP as a distance indicator and direct...

Replicative senescence is thought to relate to aging in vivo and tumor suppression. In this report, we isolated a gene and designated it as RDL (replicative senescence down-regulated Leo1-like gene). RDL's expression decreased upon replicative senescence of human diploid 2BS fibroblasts. Overexpression of RDL slightly delayed 2BS fibroblast senescence, whereas suppression of RDL expression impo...

The present distribution of intact objects is a good proxy to quantify the catastrophic collision risk and consequences in the coming decades. The results of a large number of long term simulations of the LEO environment perturbed by the collisional fragmentation of massive objects are used to identify the main driving parameters of the long term collisional evolution of the debris population a...