Introduction: The main-belt object Ceres (radius≈475 km, density≈2100 kg m-3 , semi-major axis 2.7 AU), is an exciting place to explore planetary hab-itability. Abundant volatiles could have shaped Ceres in a way analogous to that suspected on icy moons. Hydrothermalism: Ceres' surface seems blanketed by products of the interaction between silicate rock and liquid water, including carbonates [1...

In the major reorganisation that took place at Halmstad University during 1999-2000, the new School of Information Science, Computer and Electrical Engineering (IDE) was formed. The School of IDE is divided into five laboratories; Computing and Communication (CC), Electronics and Physics (EF), Intelligent Systems (IS), Mathematics (MA), and Man and Information technology (MI). The division into...

The schematic CERES method [?] is a recently developed method of cut elimination for proof schemata, that is a sequence of proofs with a recursive construction. Proof schemata can be thought of as a way to circumvent adding an induction rule to the LK-calculus. In this work, we formalize a schematic version of the infinitary pigeonhole principle, which we call the Non-injectivity Assertion sche...

Atmospheric downward longwave radiation (DLR) is a key component of the surface energy budget in Earth system. Satellite retrievals and atmospheric reanalysis estimates are two typical approaches to obtaining spatio-temporally continuous DLR product. In this study, we evaluated product from latest ERA5 well-known Clouds Earth's Radiant Energy System (CERES) satellite retrievals, against high-qu...

Title of dissertation: LIGHT SCATTERING PROPERTIES OF ASTEROIDS AND COMETARY NUCLEI Jian-Yang Li, Doctor of Philosophy, 2005 Dissertation directed by: Professor Michael F. A’Hearn Associate Research Professor Lucy A. McFadden Department of Astronomy The photometric properties of asteroids and cometary nuclei, bodies important for understanding the origin of the Solar System, are controlled by t...

An outbreak of annual ryegrass toxicity occurred on a Thoroughbred stud in Ceres in the Western Cape Province of South Africa. This is the 1st report of annual ryegrass toxicity in horses in South Africa, although the condition has been reported in cattle and sheep populations in the past. Annual ryegrass toxicity is characterised by a variety of neurological signs including tremors, convulsion...

The CERES/NA45-Collaboration upgrades the existing lepton-pair spectrometer at the CERN SPS with a TPC detector which improves the momentum resolution. We present the development of new front-end electronics to read out the nearly 20000 channels of the chamber. It is comprised of two circuits: (i) A continuously sensitive preamplifier with semi-Gaussian shaper and tailcancellation, which offers...

Accurate multidecadal radiative flux records are vital to understand Arctic amplification and constrain climate model uncertainties. Uncertainty in the NASA Clouds Earth’s Radiant Energy System (CERES)-derived irradiances is larger over sea ice than any other surface type comes from several sources. The year-long Multidisciplinary drifting Observatory for Study of Climate (MOSAiC) expedition ce...