It is well known that simulation equivalence is an appropriate abstraction to be used in model checking because it strongly preserves ACTL∗ and provides a better space reduction than bisimulation equivalence. However, computing simulation equivalence is harder than computing bisimulation equivalence. A number of algorithms for computing simulation equivalence exist. Let Σ denote the state space...

A number of algorithms for computing the simulation preorder are available. Let Σ denote the state space, ! the transition relation and Psim the partition of Σ induced by simulation equivalence. The algorithms by Henzinger, Henzinger, Kopke and by Bloom and Paige run in O(|Σ||!|)-time and, as far as time-complexity is concerned, they are the best available algorithms. However, these algorithms ...

This paper addresses the problem of fitting a known distribution function to the marginal distribution of a stationary long memory moving average random field observed on increasing ν-dimensional “cubic” domains when its mean μ and scale σ are known or unknown. Using two suitable estimators of μ and a classical estimate of σ, a modification of the Kolmogorov-Smirnov statistic is defined based o...

We investigate the relation between the diagonal (σ(xx)) and off-diagonal (σ(xy)) components of the conductivity tensor in the quantum Hall system. We calculate the conductivity components for a short-range impurity potential using the linear response theory, employing an approximation that simply replaces the self-energy by a constant value [Formula: see text] with τ the scattering time. The a...

If G = (V, E, σ) is a finite signed graph, a function f : V → {−1, 0, 1} is a minusdominating function (MDF) of G if f(u) +summation over all vertices v∈N(u) of σ(uv)f(v) ≥ 1 for all u ∈ V . In this paper we characterize signed paths and cycles admitting an MDF.

We quantify the conditions at which “composites”, the resonances and bound states d, He are produced at RHIC. Using Hubble-like model for late stages, one can analytically solve the rate equations and also calculate the relevant optical depth factors. We calculate also the modification of ρ masse and width, and predict a radiacal shape change of σ.

The present-day in-situ stresses affect the drilling design, well pattern deployment, completion modification, hydraulic fracturing and water injection of tight-oil sandstones. measurement data these are commonly unavailable because their high costs limited core samples, therefore employing conventional logs for stress determination is imperative Firstly, suitable calculation models by were sel...

The σ meson in a nuclear medium through two pion photoproduction We present theoretical results for (γ, π 0 π 0) and (γ, π ± π 0) production on nucleons and nuclei in the kinematical region where the scalar isoscalar ππ amplitude is influenced by the σ pole. The final state interaction of the pions modified by the nuclear medium produces a spectacular shift of strength of the π 0 π 0 invariant ...