539,852 research outputs found

    Regular resolution for CNF of bounded incidence treewidth with few long clauses

    Full text link
    We demonstrate that Regular Resolution is FPT for two restricted families of CNFs of bounded incidence treewidth. The first includes CNFs having at most pp clauses whose removal results in a CNF of primal treewidth at most kk. The parameters we use in this case are pp and kk. The second class includes CNFs of bounded one-sided (incidence) treewdth, a new parameter generalizing both primal treewidth and incidence pathwidth. The parameter we use in this case is the one-sided treewidth

    Continuum percolation for Cox point processes

    Get PDF
    We investigate continuum percolation for Cox point processes, that is, Poisson point processes driven by random intensity measures. First, we derive sufficient conditions for the existence of non-trivial sub- and super-critical percolation regimes based on the notion of stabilization. Second, we give asymptotic expressions for the percolation probability in large-radius, high-density and coupled regimes. In some regimes, we find universality, whereas in others, a sensitive dependence on the underlying random intensity measure survives.Comment: 21 pages, 5 figure

    Rethinking Impact: Understanding the complexity of poverty and change

    Get PDF
    Summary of workshop on Rethinking Impact: Understanding the complexity of poverty and change. March 26–28, 2008, Cali, ColombiaImpact, CGIAR, Workshop, Agricultural and Food Policy, Food Security and Poverty, Research and Development/Tech Change/Emerging Technologies,

    How much do charm sea quarks affect the charmonium spectrum?

    Full text link
    The properties of charmonium states are or will be intensively studied by the B-factories Belle II and BESIII, the LHCb and PANDA experiments and at a future Super-c-tau Factory. Precise lattice calculations provide valuable input and several results have been obtained by simulating up, down and strange quarks in the sea. We investigate the impact of a charm quark in the sea on the charmonium spectrum, the renormalization group invariant charm-quark mass and the scalar charm-quark content of charmonium. The latter is obtained by the direct computation of the mass-derivatives of the charmonium masses. We do this investigation in a model, QCD with two degenerate charm quarks. The absence of light quarks allows us to reach very small lattice spacings down to 0.023 fm. By comparing to pure gauge theory we find that charm quarks in the sea affect the hyperfine splitting at a level below 2%. The most significant effects are 5% in the quark mass and 3% in the value of the charm quark content of the eta_c meson. Given that we simulate two charm quarks these estimates are upper bounds for the contribution of a single charm quark. We show that lattice spacings <0.06 fm are needed for safe continuum extrapolations of the charmonium spectrum with O(a) improved Wilson quarks. A useful relation for the projection to the desired parity of operators in two-point functions computed with twisted mass fermions is proven.Comment: 25 pages, 8 figure

    Phase transitions for the Boolean model of continuum percolation for Cox point processes

    Get PDF
    We consider the Boolean model with random radii based on Cox point processes. Under a condition of stabilization for the random environment, we establish existence and non-existence of subcritical regimes for the size of the cluster at the origin in terms of volume, diameter and number of points. Further, we prove uniqueness of the infinite cluster for sufficiently connected environments.Comment: 22 pages, 2 figure

    Cali

    Get PDF
    corecore