The discovery of cosmic acceleration motivated extensive studies dynamical dark energy and modified gravity models. Of particular interest are the scalar-tensor theories, with a scalar field non-minimally coupled to matter. Cosmological constraints on these models often employ quasi-static approximation (QSA), in which dynamics perturbations is proportional perturbation matter density. Using QS...

Articles you may be interested in Low energy elastic electron scattering from CF3Br molecules Elastic scattering of low-energy electrons by 1,4-dioxane Elastic scattering of low-energy electrons by benzene We report cross sections for electronically elastic electron scattering by CF 4 from 1 to 40 eV, calculated within the static-exchange approximation using the Schwinger multichannel method. A...

REASONING AND PLANNING WITH INCOMPLETE INFORMATION IN THE PRESENCE OF STATIC CAUSAL LAWS BY TU HUY PHAN Doctor of Philosophy New Mexico State University Las Cruces, New Mexico, 2007 Dr. Son Cao Tran, Chair This dissertation extends the framework of the 0-approximation to handle domains with static causal laws. It is divided into three parts. In the first part, we present a sufficient condition ...

When designing a tractable static analysis, one usually needs to approximate the trace semantics. This paper proposes a systematic way of regaining some knowledge about the traces by performing the abstraction over a partition of the set of traces instead of the set itself. This systematic refinement is not only theoretical but tractable: we give automatic procedures to build pertinent partitio...