Vol. 1: Immune Disorder. Ed. Leo van der Reis (San Francisco, Calif.) X + 188 p., 21 fig., 8 tab., 1975. ISBN 3-8055-1751-3 Vol. 2: Enzymology of the Liver. Ed. Leo van der Reis (San Francisco, Calif.) XIV + 296 p., 20 fig., 39 tab., 1976. ISBN 3-8055-2220-7 VoL 3: The Esophagus. Ed. Leo van der Reis (San Francisco, Calif.) X+ 166 p., 19 fig., 11 tab., 1978. ISBN 3-8055-2700-4 VoL 4: Gastrointe...

The automated theorem prover Leo-III for classical higherorder logic with Henkin semantics and choice is presented. Leo-III is based on extensional higher-order paramodulation and accepts every common TPTP dialect (FOF, TFF, THF), including their recent extensions to rank-1 polymorphism (TF1, TH1). In addition, the prover natively supports almost every normal higher-order modal logic. Leo-III c...

The Internet Engineering Task Force (IETF) is working on extending the traditional TCP/IP model for supporting multimedia and real-time applications on the Internet. Thus, new protocols have been developed such as the Resource Reservation Protocol (RSVP). At the same time, there has been a growing interest in using Low Earth Orbit (LEO) satellites. In the near future, when the Internet with mul...

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