We improve on an existing [P.A. Abdulla, J. Högberg, L. Kaati. Bisimulation Minimization of Tree Automata. Int. J. Found. Comput. Sci. 18(4): 699–713, 2007] bisimulation minimization algorithm for finite-state tree automata by introducing backward and forward bisimulation and developing minimization algorithms for them. Minimization via forward bisimulation is also effective on deterministic tr...

SARS, MERS and now SARS-CoV-2 are unlikely to be the last emerging infections we face during our lifetimes. Tracing contacts both forward backward through heterogeneous populations will prove essential future response strategies.

We perform a theoretical investigation on the Goos-Häenchen shift (the lateral shift) in one-dimensional photonic crystals (1DPCs) containing left-handed (LH) metamaterials. The effect was studied by use of a Gaussian beam. We show that the giant lateral displacement is due to the localization of the electromagnetic wave which can be both positive and negative depending on the incidence angle o...

I n this study, the Regional Input- Output Structural Decomposition Analysis (I-O SDA) is used to investigate the effects of technological changes on employment in Sistan and Baluchestan Province of Iran during 2006-2011. This paper develops the SDA method to decompose the technological change from two viewpoints of supply and demand for intermediate inputs in each sector. These chan...

This paper, I have focused on the tax side of the fiscal policy to  investigate the past and future behavior of fiscal sustainability in Iran. To do so, I have employed two different forward-looking and backward-looking approaches. First, the backward-looking approach is the fiscal policy rule proposed by Daving & Leeper (2011). Precisely, this rule determines that whether the fiscal policy is ...

The paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. Motivated by an open question of S. E. Rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of L. A. Zadeh. On the next step, w...

A multiphase harmonic load flow algorithm is developed based on backward/forward sweep to examine the effects of various factors on the neutral to earth voltage (NEV), including unsymmetrical system configuration, load unbalance and harmonic injection. The proposed algorithm composes fundamental frequency and harmonic frequencies power flows. The algorithm and the associated models are tested o...