In this research, the DCC model is estimated to calculate dynamic correlation series between crude oil price and growth of Industry and Mine sector during 1367:1-1392:4. Then, Macroeconomic variables which can explain the dynamic correlation are analyzed as variables of contagion. So, the import, as an effective and affected variable from crude oil price, is separated to real import of consumpt...

soil and water salinity is a major constraint in arid and semi-arid regions. in order to study the impact of water salinity on physiological characteristics and dry matter production of six linseed genotypes, a 4-replicate factorial randomized complete block pot experiment was conducted. salinity consisted of four levels: 0 (control), 35 (low salinity), 70 (intermediate salinity) and 105 mm (se...

We consider the problem of parsing human poses and recognizing their actions in static images with part-based models. Most previous work in part-based models only considers rigid parts (e.g., torso, head, half limbs) guided by human anatomy. We argue that this representation of parts is not necessarily appropriate. In this paper, we introduce hierarchical poselets—a new representation for model...

In order to program multithreaded architectures e ectively compiler support to automatically partition programs into threads is essential. This paper proposes a remote-path based thread partitioning framework, which can generate low-level threads from procedural programs automatically. The framework has been implemented in the EARTH-C compiler, which uses Data Dependence Graph (DDG) as an inter...

The verification systems Boogie and Why3 use their respective intermediate languages to generate verification conditions from high-level programs. Since the two systems support different back-end provers (such as Z3 and AltErgo) and are used to encode different high-level languages (such as C# and Java), being able to translate between their intermediate languages would provide a way to reuse o...

In the paper, we present a tool for model checking dynamic consistency properties in arbitrary well-formed instance models of any modeling language defined visually by metamodeling and graph transformation techniques. Our tool first translates such high-level specifications into a tool independent abstract representation of transition systems defined by a corresponding metamodel. From this inte...

We describe a low-level calculus, called ink& (pronounced “links”), designed to serve as an intermediate representation in compilers for class-based objectoriented languages. The calculus fills two roles. First, its primitives can express a wide range of class-based object-oriented language features, such as class construction and various forms of method dispatch. Second, it allows the compiler...

the mean fiber length of three beech trees (fagus orientalis l.) at the lower and higher points (1% and 75% tree height) of the stem at an intermediate altitude (500-1000m) in the caspian forests in sari region were 1.36 and 1.22mm respectively, close to the values in three trees at high altitude (1000-1500m), that were found to be 1.39 and 1.36 mm. the mean fiber lengths of the whole stem, usi...

In robotics, homing can be defined as that behavior which enables a robot to return to its initial (home) position, after traveling a certain distance along an arbitrary path. Odometry has traditionally been used for the implementation of such a behavior, but it has been shown to be an unreliable source of information. In this work, a novel method for visual homing is proposed, based on a panor...

We introduce a low-level description of image motion called the local translational decomposition (LTD). This description associates with image features or small image areas , a three-dimensional unit vector describing the direction of motion of the corresponding environmental feature or small surface area. The local translational decomposition is derived by applying a procedure for processing ...