Context. Astronomical research dealing with accurate radial velocity measurements need reliable astronomical standards to calibrate the spectrographs and to assess possible systematics. Stellar radial velocity standards offer a reference at the level of a few hundred m s−1 and are not adequate for most present needs. Aims. We aim to show that sunlight reflected by asteroids is a fairly accessib...

During 1999 the CERES experiment upgraded by the new TPC was taking data from semi-central Pb+Au collisions at 40 AGeV. The analysis of the di-electron spectra shows an enhancement in the low mass region of at least the same magnitude as previously observed at full SPS energy. The results are compared to model calculations with and without medium modifications of the vector mesons. The addition...

Large, low-density C-type asteroids are abundant in the main belt. The most prominent of these objects is the dwarf planet Ceres, which presents an advanced stage of evolution. Ceres is almost twice as large as Enceladus, and both objects contain more than 50% of water in volume [1]. Although asteroids cannot benefit from tidal heating like outer planet satellites, their proximity to the Sun pr...

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. Cut-elimination can be applied to mine real mathematical proofs, i.e. for extracting explicit and algorithmic information. The system CERES (cut-elimination by resolution) is based on automate...

Abstract Uncertainty in Arctic top‐of‐atmosphere (TOA) radiative flux observations stems from the low sun angles and heterogeneous scenes. Advancing our understanding of climate system requires improved TOA fluxes. We compare Cloud Earth's Radiant Energy System (CERES) fluxes with Radiation‐IceBridge Sea Ice Experiment (ARISE) airborne measurements using two approaches: grid box averages instan...

During 1999 the CERES experiment upgraded by the new TPC was taking data from semi-central Pb+Au collisions at 40 AGeV. The analysis of the di-electron spectra shows an enhancement in the low mass region of at least the same magnitude as previously observed at full SPS energy. The results are compared to model calculations with and without medium modifications of the vector mesons. The addition...