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

Trends in recent temperature observations and model projections of the future are characterized by greater warming of daily minimum (tmin) relative to maximum (tmax) temperatures. To aid understanding of how tmin and tmax differentially affect crop yields, we analyzed variations of regional spring wheat yields and temperatures for three irrigated sites in western North America that were charact...

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

Maize (Zea mays L.) is a host to numerous pathogenic species that impose serious diseases to its ear and foliage, negatively affecting the yield and the quality of the maize crop. A considerable amount of research has been carried out to elucidate mechanisms of maize-pathogen interactions with a major goal to identify defense-associated proteins. In this review, we summarize interactions of mai...