Aims. We study the physical characteristics (shape, dimensions, spin axis direction, albedo maps, mineralogy) of the dwarf-planet Ceres based on high-angular resolution near-infrared observations. Methods. We analyze adaptive optics J/H/K imaging observations of Ceres performed at Keck II Observatory in September 2002 with an equivalent spatial resolution of ∼50 km. The spectral behavior of the...

Cut-elimination is the most important proof transformation in logic. Equality is a central paradigm in mathematics and plays a key role in automated deduction. Therefore its importance awakes the necessity of integrating equality into existing cut-elimination methods. In this paper we extend the resolution-based method of cut-elimination CERES to CERES-e by adding equality (and paramodulation t...

The surface elemental composition of dwarf planet Ceres constrains its regolith ice content, aqueous alteration processes, and interior evolution. Using nuclear spectroscopy data acquired by NASA's Dawn mission, we determined the concentrations of elemental hydrogen, iron, and potassium on Ceres. The data show that surface materials were processed by the action of water within the interior. The...

A non-homogeneous hidden Markov model (NHMM) is used to make stochastic simulations of March–August daily rainfall at 10 stations over the southeastern United States, 1923–98. Station-average observed daily rainfall is prescribed as an input to the NHMM, which is then used to disaggregate the rainfall in space. These rainfall simulations are then used as inputs to a CERES crop model for maize. ...

Nitrous oxide, carbon dioxide and methane are the main biogenic greenhouse gases (GHG) contributing to the global warming potential (GWP) of agro-ecosystems. Evaluating the impact of agriculture on climate thus requires a capacity to predict the net exchanges of these gases in an integrated manner, as related to environmental conditions 5 and crop management. Here, we used two year-round data s...

Climatic change effects on crop yields are expected to be crop- and site specific. Here, Decision Support System for Agrotechnology Transfer models were used evaluate climatic mitigation strategies maize (Zea mays L.) soybean [Glycine max (L.) Merr.] in soils of the subtropical semi-arid region Chaco. Simulations performed DK747 A8000 genotypes, calibrated CERES-Maize model a previous report CR...

The manuscript describes the methodology employed to derive the current angular distribution models (ADMs) for the CERES instruments, i.e. the radiance-to-flux conversion algorithms for CERES thermal and solar measurements. This paper is necessary to document the new CERES product Ed4SSF, which improves the retrieval of cloud parameters and TOA flux with respect to previous versions. The enhanc...