The dwarf planet Ceres is known to host a considerable amount of water in its interior, and areas of water ice were detected by the Dawn spacecraft on its surface. Moreover, sporadic water and hydroxyl emissions have been observed from space telescopes. We report the detection of water ice in a mid-latitude crater and its unexpected variation with time. The Dawn spectrometer data show a change ...

The Clouds and the Earth’s Radiant Energy System (CERES) is part of NASA’s Earth Observing System (EOS). CERES objectives include the following. 1) For climate change analysis, provide a continuation of the Earth Radiation Budget Experiment (ERBE) record of radiative fluxes at the top-of-the-atmosphere (TOA), analyzed using the same techniques as the existing ERBE data. 2) Double the accuracy o...

Introduction: Interpretation of data acquired at Ceres by the Dawn spacecraft demands a model for the evolution of Ceres’ structure and composition to date. In a recent paper [1], we presented such a model, consistent with pre-Dawn observations and preliminary data returned by Dawn. Here, we describe this model, compare its physico-chemical outcomes to reported observations, and outline possibl...

A new set of ephemerides for 15 of the largest asteroids has been produced for use in the Astronomical Almanac. The ephemerides cover the period from 1800 through 2100. The internal uncertainty in the mean longitude at epoch, 1997 December 18, ranges from for 7 Iris through for 65 Cybele, and 0A.05 0A.22 the uncertainty in the mean motion varies from per century for 4 Vesta to per century for 5...

Cut-elimination is the most prominent form of proof transformation in logic. The elimination of cuts in formal proofs corresponds to the removal of intermediate statements (lemmas) in mathematical proofs. The cut-elimination method CERES (cut-elimination by resolution) works by constructing a set of clauses from a proof with cuts. Any resolution refutation of this set then serves as a skeleton ...

[1] Using spatially and temporally collocated data sets from the Clouds and Earth’s Radiant Energy System (CERES) and Moderate-Resolution Imaging Spectroradiometer (MODIS) instruments on the Terra satellite, a new strategy is presented for studying the Shortwave Aerosol Radiative Forcing (SWARF) over the global oceans. Using collocated data, for September 2000, the global averaged optical thick...

The CERES-Wheat model was applied to simulate yields from 2005 to 2007 at Xiaotangshan of northern Beijing. Experiment datum required by CERESWheat model were all collected and checked. In addition, 1974-2004 climate records were taken and calculated as predictive weather scenario used for yield forecasting. The model calibration adopted simulation results of 2005 and which of the other two yea...

In this note we comment on a recent publication in this journal by the CERES (NA45) Collaboration [1]. The authors report to have determined an upper limit on the direct photon yield relative to the decay photon yield in S + Au collisions of 14 % and 7 % by two different methods, respectively. We argue that these limits are unsupported by the results and analysis of the CERES data. The systemat...

New experiments predict that Ceres should be extensively contaminated with meteoritic debris derived from the asteroid belt. All types of impactors likely contribute to the contamination. Ceres may accrete debris more efficiently if it is ice-rich because of enhanced projectile survival and retention in porous ice targets. Experiments indicate that if a silicate regolith lag protects subsurface...