Regular path queries are the building block of almost any mechanism for querying semistructured data. Despite the fact that the main applications of such data are distributed, there are only few works dealing with distributed evaluation of regular path queries. In this paper we present a message-efficient and truly distributed algorithm for computing the answer to regular path queries in a mult...

1-introduction languages employ different strategies to represent motion as one of the basic human cognitive abilities. in talmy's typological dichotomy (1991; 2000b) languages are of two types according to the way they represent path either in verb roots or in satellites, accordingly languages are either verb framed or satellite framed. slobin (1991;1996 a,b.1997;2000) performed corpus based a...

For a given undirected graph G, the maximum multiplicity of G is defined to be the largest multiplicity of an eigenvalue over all real symmetric matrices A whose (i, j)th entry is nonzero whenever i 6= j and {i, j} is an edge in G. The path cover number of G is the minimum number of vertex-disjoint paths occurring as induced subgraphs of G that cover all the vertices of G. We derive a formula f...

Heterosynaptic long-term depression (LTD) is conventionally defined as occurring at synapses that are inactive during a time when neighboring synapses are activated by high-frequency stimulation. A new model that combines computational properties of both the Bienenstock, Cooper and Munro model and spike timing-dependent plasticity, however, suggests that such LTD actually may require presynapti...

Block chain technology has changed the traditional digital economy, promoted formation of a new value and trust system, at same time triggered transformation cultural industry, providing means to improve investment efficiency. This paper takes listed companies industry in concept block as research sample, uses DEA efficiency evaluation method empirically analyze change The results show that: an...

This research study shows the potential of large image-block adjustment with nadir viewing sensor images. The method uses the geometric correction system developed for multi-source images at the Canada Centre for Remote Sensing. The results with 15 Landsat-7 ETM images show that the same accuracy can be obtained with a large image block than with a single image using the same number of ground c...

In this paper we present a genetic scheduling algorithm to support the synthesis of structured data paths with the aim of producing designs with a predictable layout structure and conserving on-chip wiring resources. The data path is organized as architectural blocks (A-block) with local functional unit (FU), memory elements and internal interconnections. The A-blocks are interconnected by a fe...

This paper presents performance comparisons of the ISO/IEC 18033 standard block ciphers, AES, Camellia, SEED, TDEA, MISTY1, and CAST-128 in ASIC hardware. All the algorithms are implemented with a loop architecture where one round function block is used iteratively, and Sboxes are generated from lookup tables. In addition to the straightforward implementations, compact data path architectures w...

A software organization of a new circuit simulator, SAMOC (Switchedcapacitor Analysis of MOs Circuit) is presented in this paper. SAMOC employs extremely simplified, piecewise linear, resistive models to represent the semiconductor devices such as MOS transistors and ideal diodes in the simulated circuits. SAMOC also supports ideal switches and ideal capacitors for analyzing switched-capacitor ...