نتایج جستجو برای: leo charney
تعداد نتایج: 5786 فیلتر نتایج به سال:
Routing in Low-earth-orbit (LEO) satellite system involves the choice of inter-satellite links (ISLs) that connects two home satellites of the mobile terminals. We use a mesh model to formulate the LEO system and proposed 4 mesh-based algorithms. The objective is to minimize the new call blocking probability and the forced termination probability. Also, due to the dynamic topology of the LEO sy...
We present a Hamiltonian derivation of a class of reduced plasma two-dimensional fluid models, an example being the Charney–Hasegawa–Mima equation. These models are obtained from the same parent Hamiltonian model, which consists of the ion momentum equation coupled to the continuity equation, by imposing dynamical constraints. It is shown that the Poisson bracket associated with these reduced m...
BACKGROUND Prostate cancer in men has a high mortality and morbidity due to metastatic disease. The pathobiology of prostate cancer metastasis is not well understood and cell lines and animal models that recapitulate the complex nature of the disease are needed. Therefore, the goal of the study was to establish and characterize a new prostate cancer line derived from a dog with spontaneous pros...
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 ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید