4,069 research outputs found

    Practice-based vs performance-based standards for carbon sequestration projects

    Get PDF
    AbstractInterest in deployment of carbon capture and sequestration (CCS) is at odds with the lack of regulations to guide deployment. This can be resolved by a practice-based regulatory framework focused on data collection, prediction, and iteration. Such a regulatory framework could require operators to undertake behaviors that would empower initial regulatory efforts and tell potential operators what to do and why, not how to do it or to what precision. The most important practices comprise prediction and validation. This approach would have several positive effects, including encouraging would-be operators to invest in site selection, planning, modeling and prediction, monitoring, and regular updating of geotechnical operation

    Symmetric Strategy Improvement

    Full text link
    Symmetry is inherent in the definition of most of the two-player zero-sum games, including parity, mean-payoff, and discounted-payoff games. It is therefore quite surprising that no symmetric analysis techniques for these games exist. We develop a novel symmetric strategy improvement algorithm where, in each iteration, the strategies of both players are improved simultaneously. We show that symmetric strategy improvement defies Friedmann's traps, which shook the belief in the potential of classic strategy improvement to be polynomial

    Cosmological Relativity: A General-Relativistic Theory for the Accelerating Expanding Universe

    Get PDF
    Recent observations of distant supernovae imply, in defiance of expectations, that the universe growth is accelerating, contrary to what has always been assumed that the expansion is slowing down due to gravity. In this paper a general-relativistic cosmological theory that gives a direct relationship between distances and redshifts in an expanding universe is presented. The theory is actually a generalization of Hubble's law taking gravity into account by means of Einstein's theory of general relativity. The theory predicts that the universe can have three phases of expansion, decelerating, constant and accelerating, but it is shown that at present the first two cases are excluded, although in the past it had experienced them. Our theory shows that the universe now is definitely in the stage of accelerating expansion, confirming the recent experimental results

    Local Strategy Improvement for Parity Game Solving

    Full text link
    The problem of solving a parity game is at the core of many problems in model checking, satisfiability checking and program synthesis. Some of the best algorithms for solving parity game are strategy improvement algorithms. These are global in nature since they require the entire parity game to be present at the beginning. This is a distinct disadvantage because in many applications one only needs to know which winning region a particular node belongs to, and a witnessing winning strategy may cover only a fractional part of the entire game graph. We present a local strategy improvement algorithm which explores the game graph on-the-fly whilst performing the improvement steps. We also compare it empirically with existing global strategy improvement algorithms and the currently only other local algorithm for solving parity games. It turns out that local strategy improvement can outperform these others by several orders of magnitude
    corecore