Observing Earth’s radiant energy budget from space is critical to improving our understanding of Earth’s climate system. The Earth Radiation Budget Experiment (ERBE) (Barkstrom 1984; Barkstrom and Smith 1986) was the first initiative to provide simultaneous observations of Earth’s radiant energy with identical instruments flying aboard separate satellites. The design of the ERBE instrument was ...

Asteroids provide fundamental clues to the formation and evolution of planetesimals. Collisional models based on the depletion of the primordial main belt of asteroids predict 10-15 craters >400 km should have formed on Ceres, the largest object between Mars and Jupiter, over the last 4.55 Gyr. Likewise, an extrapolation from the asteroid Vesta would require at least 6-7 such basins. However, C...

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 extracting a set of clauses from a proof with cuts. Any resolution refutation of this set then serves as a skeleton of...

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

Dilepton production in proton-and nucleus-induced reactions is studied in relativistic transport model using initial conditions determined by the string dynamics from RQMD. It is found that both the CERES and HELIOS-3 data for dilepton spectra in proton-nucleus reactions can be well described by the 'conventional' mechanism of Dalitz decay and direct vector meson decay. However, to provide a qu...

Rice is a staple food and its demand substantially increasing with the growth of global population. Phenological development was found to play significant role in distribution carbon among plant organs, which has an impact on rice yield. Temperature affects phenology, current rapid climate change revived interest understanding modelling phenology response warming trend. Two varieties viz., Jyoth...

The axiomatization of arithmetical properties in theorem proving creates many straightforward inference steps. In analyzing mathematical proofs with the CERES (Cut-Elimination by Resolution) system, it is convenient to hide these inferences. The central topic of the thesis is the extension of the CERES method to allow reasoning modulo equational theories. For this, the inference systems of Sequ...

We have investigated the possibility of main belt asteroids being trapped in the 1:1 resonance with other asteroids. Using contemporary mass estimates for the large asteroids (1) Ceres, (2) Pallas and (4) Vesta, it is found that four asteroids are temporarily trapped in such resonances with Ceres and Vesta during numerical integrations spanning 2 × 106 yr. In particular, the asteroid (1372) Har...