Two-player quantitative zero-sum games provide a natural framework to synthesize controllers with performance guarantees for reactive systems within an uncontrollable environment. Classical settings include mean-payoff games, where the objective is to optimize the long-run average gain per action, and energy games, where the system has to avoid running out of energy. We study average-energy gam...

Abstract We prove that the order of a finite group

We investigated how visual noise in the initial estimate of target location affects precision for rapid pointing. Visual localization thresholds (an error measure) rise systematically with eccentricity, doubling at eccentricities of a degree or less. Previous work, which we confirmed, has shown that the precision of pointing, measured by the standard deviation, to a single isolated target is re...

5 To be submitted to Paleoceanography. The accuracy of geologic chronologies can, in principle, be improved through 6 orbital tuning, the systematic adjustment of a chronology to bring the as-7 sociated record into greater alignment with an orbitally derived signal. It would 8 be useful to have a general test for the success of orbital tuning, and one pro-9 posal has been that eccentricity ough...