We present an algorithm which modifies a deterministic pushdown automaton (DPDA) such that (i) the marked language is preserved, (ii) lifelocks are removed, (iii) deadlocks are removed, (iv) all states and edges are accessible, and (v) operational blockfreeness is established (i.e., coaccessibility in the sense that every initial derivation can be continued to a marking configuration). This pro...

The main aim is to enhance the contrast of a host image by Reversible data hiding algorithm and to improve its visual quality. The highest two bins in the histogram are selected for data embedding so that histogram equalization can be performed by repeating the process. The Reversible data hiding algorithm is used for better preserving the visual quality of contrast enhanced image with increase...

To ensure privacy for route planning applications and other location based services (LBS), the service provider must be prevented from tracking a user’s path during navigation on the application level. However, the navigation functionality must be preserved. We introduce the algorithm PARTS to split route requests into route parts which will be submitted to an LBS in an unlinkable way. Equipped...

The recent area of Wireless Sensor Networks (WSNs) has brought new challenges to developers of net-work protocols. Energy consumption and network coverage are two important challenges in wireless sensor networks. We investigate intelligent techniques for node positioning to reduce energy consumption with coverage preserved in wireless sensor network. A genetic algorithm Is used to create energy...

An algorithm for designing spreading sequences for an overloaded multicellular synchronous DS-CDMA system on uplink is introduced. The criterion used to measure the optimality of the design is the total weighted square correlation (TWSC) assuming the channel state information known perfectly at both transmitter and receiver. By using this algorithm it is possible to obtain orthogonal generalize...

Superposition is a program modularization and structuring method for develo ping parallel and distributed systems by adding new functionality to an algorithm while the original computation is preserved We use action systems as a forma lism for the construction of distributed systems in a stepwise manner within the re nement calculus The superposition method has been formalized as a program re n...

Abstract. Variational descriptions for various multiphase level set formulations involving curvature flow are discussed. A representation of n phases using n−1 level set functions is introduced having the advantage that constraints preventing overlaps or vacuum are not needed. The representation is then used in conjunction with our variational formulation to deduce a novel level set based algor...

Quantum circuits with local particle-number conservation restrict the quantum computation to a subspace of Hilbert space qubit register. In noiseless or fault-tolerant computation, such quantities are preserved. presence noise, however, evolution's symmetry could be broken and nonvalid states sampled at end computation. On other hand, restriction in ideal case suggests possibility more resource...

UNLABELLED Web-based servers implementing the DAS-TMfilter algorithm have been launched at three mirror sites and their usage is described. The underlying computer program is an upgraded and modified version of the DAS-prediction method. The new server is (approximately 1 among 100 unrelated queries) while the high efficiency of the original algorithm locating TM segments in queries is preserve...