منابع مشابه
Ceres : Evolution and Present State
Introduction: We consider Ceres as a prototype for planetary evolution [1]. From thermal modeling by McCord and Sotin [2, 3, 4], Ceres was inferred to have differentiated into a rocky core of hydrated silicates, and an icy outer shell. Thomas et al. [5] confirmed such a model from direct observation of Ceres’s shape from Hubble Space Telescope observations, and pervious occultation measurements...
متن کاملCratering on Ceres: Implications for its crust and evolution.
Thermochemical models have predicted that Ceres, is to some extent, differentiated and should have an icy crust with few or no impact craters. We present observations by the Dawn spacecraft that reveal a heavily cratered surface, a heterogeneous crater distribution, and an apparent absence of large craters. The morphology of some impact craters is consistent with ice in the subsurface, which mi...
متن کاملThe Current State and Likely Evolution of the Internet
Surprisingly little is known about the Internet. Even such basic facts as the size of the networks that make up the Internet or the amount of traac they carry are not available. This paper presents estimates of the main statistics about the size and growth of the Internet, as well as about utilization patterns. This data is then used to justify some speculative predictions about the likely evol...
متن کاملCurrent state of bone scintigraphy protocols and practice in Japan
Objective(s): Nuclear medicine technologists in Japan often perform additional single-photon emission computed tomography (SPECT) with or without computed tomography (CT) after whole-body imaging for bone scintigraphy. In this study, we wanted to identify the bone scanning protocols used in Japan, together with the current clinical practices. Methods:...
متن کاملProof Analysis with HLK, CERES and ProofTool: Current Status and Future Directions
CERES, HLK and ProofTool form together a system for the computer-aided analysis of mathematical proofs. This analysis is based on a proof transformation known as cut-elimination, which corresponds to the elimination of lemmas in the corresponding informal proofs. Consequently, the resulting formal proof in atomic-cut normal form corresponds to a direct, i.e. without lemmas, informal mathematica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Geophysical Research
سال: 2005
ISSN: 0148-0227
DOI: 10.1029/2004je002244