Dawn, the ninth Discovery mission, is a journey to the main belt asteroids Vesta and Ceres to attempt to understand the building blocks of the solar system and the processes occurring at the solar system s earliest epoch. It does this with a spacecraft that utilizes ion propulsion to reach its targets and to maneuver into orbit about these bodies. It carries a framing camera, a visible and infr...

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...

Using a hydrodynamic approach to describe Pb+Au collisions at 158 AGeV/c, we analyze ee yields from matter containing baryons in addition to mesons. We employ ee production rates from two independent calculations, which differ both in their input physics and in their absolute magnitudes, especially in the mass range where significant enhancements over expected backgrounds exist in the CERES dat...

In support for the ISO Mission it has been necessary to establish a set of asteroids as photometric standards for the photometric calibration of the instruments (M uller & Lagerros 1998). The new standards are described as rotating ellipsoids. Illumination geometry, heat transfer due to non-zero thermal inertia and surface structure/porosity are taken into account. The characteristic properties...

Abstract Bright spots on the surface of Ceres exhibit a mineralogy resulting from aqueous processes that hint at past elements an world. Reports hydrated sodium chloride (hydrohalite) Occator crater suggested salts may result deep brines reached recently or currently, but spectral characteristics alkali halides make their identification difficult. However, anhydrous (halite) develops readily id...

Organic matter directly observed at the surface of an inner planetary body is quite infrequent due to usual low abundance such and limitation infrared technique. Fortuitously, Dawn mission has revealed, thanks Visible InfraRed mapping spectrometer (VIR), large areas rich in organic Ceres, near Ernutet crater. The origin its association with minerals, as indicated by altitude VIR data, remains u...