نتایج جستجو برای: leo
تعداد نتایج: 5601 فیلتر نتایج به سال:
Using SDSS I data, we have analysed the stellar distribution of the Leo II dwarf spheroidal galaxy (distance of 233 kpc) to search for evidence of tidal deformation. The existing SDSS photometric catalogue contains gaps in regions of high stellar crowding, hence we filled the area at the centre of Leo II using the DAOPHOT algorithm applied to the SDSS images. The combined DAOPHOTSDSS dataset co...
Low earth orbit (LEO) satellite systems gained considerable interest in the past decade and were expected to be instrumental in future telecommunications systems. Nevertheless, the first two LEO satellite networks that are currently in operation have not come to fruition on account of the limited spectrum of services that they provide. In this context, future LEO satellite networks will be gear...
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...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید