Combining the the results of A.R. Meyer and L.J. Stockmeyer " The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space " , and K.S. Booth " Iso-morphism testing for graphs, semigroups, and finite automata are polynomiamlly equivalent problems " shows that graph isomorphism is PSPACE-complete. The equivalence problem for regular expressions was shown to be PSPACE-...

A data structure called PC-tree is introduced as a generalization of PQ-trees. PC-trees were originally introduced in a planarity test of Shih and Hsu [7] where they represent partial embeddings of planar graphs. PQ-trees were invented by Booth and Lueker [1] to test the consecutive ones property in matrices. The original implementation of the PQ-tree algorithms by Booth and Lueker using nine t...

This paper describes implementation of radix-4 Modified Booth Multiplier and this implementation is compared with Radix-2 Booth Multiplier. Modified Booth’s algorithm employs both addition and subtraction and also treats positive and negative operands uniformly. No special actions are required for negative numbers. In this Paper, we investigate the method of implementing the Parallel MAC with t...

We present a new architecture for signed multiplication which maintains the pure form of an array multiplier, exhibiting a much lower overhead than the Booth architecture. This architecture is extended for radixencoding, which leads to a reduction of the number of partial lines, enabling a significant improvement in performance and power consumption. The flexibility of our architecture allows f...

By using the properties of modified Riemann-Liouville fractional derivative, some new delay integral inequalities have been studied. First, we offered explicit bounds for the unknown functions, then we applied the results to the research concerning the boundness, uniqueness and continuous dependence on the initial for solutions to certain fractional differential equations.

In this article, we described basic properties of Riemann integral on functions from R into Real Banach Space. We proved mainly the linearity of integral operator about the integral of continuous functions on closed interval of the set of real numbers. These theorems were based on the article [10] and we referred to the former articles about Riemann integral. We applied definitions and theorems...

Let 1 < p ≤ q < +∞ and let v, w be weights on (0,+∞) satisfying: (?) v(x)xis equivalent to a non-decreasing function on (0,+∞) for some ρ ≥ 0; [w(x)x] ≈ [v(x)x] for all x ∈ (0,+∞). We prove that if the averaging operator (Af)(x) := 1 x R x 0 f(t) dt, x ∈ (0,+∞), is bounded from the weighted Lebesgue space Lp((0,+∞); v) into the weighted Lebesgue space Lq((0,+∞);w), then there exists ε0 ∈ (0, p−...