Multipushdown systems (MPDS) are formal models of multi-threaded recursive programs. They are turing powerful and hence one considers underapproximation techniques in their analysis. We study the use of loop accelerations in conjunction with bounded context analysis.

A recursive construction is provided for sequence sets which possess good Hamming Distance and low Peak-to-Average Power Ratio (PAR) with respect to any Local Unitary Unimodular Transform (including all one and multi-dimensional Discrete Fourier Transforms).

agents, in a multi agent system, communicate with each other through the process of exchanging messages which is called dialogue. multi agent organization is generally used to optimize agents’ communications. holonic organization demonstrates a self-similar recursive and hierarchical structure in which each holon may include some other holons. in a holonic system, lateral communication occurs b...

Bio-absorbent palm fiber was applied for removal of cationic violet methyl dye from water solution. For this purpose, a solid phase extraction method combined with the artificial neural network (ANN) was used for preconcentration and determination of removal level of violet methyl dye. This method is influenced by factors such as pH, the contact time, the rotation speed, and the adsorbent dosag...

Multi-scale methods are widely used in complex scientific computing problems [1], [2] which allow problem domains to be decomposed into smaller parts and simulated with different spatial and temporal scales. This way, “the area of interest” is simulated at a finer granularity and higher computation cost while the rest of the system is approximated with a much coarser model. Recursive domain-dec...

Several query mapping algorithms have been proposed to translate XML queries into SQL queries for a schema-based relational XML storage. However, existing query mapping algorithms only support single-valued mapping schemes, in which each XML element type is mapped to exactly one relation, and do not support multi-valued mapping schemes, in which each XML element type can be mapped to multiple r...