this paper presents a comparison between variational iteration method (vim) and modfied variational iteration method (mvim) for approximate solution a system of volterra integral equation of the first kind. we convert a system of volterra integral equations to a system of volterra integro-di®erential equations that use vim and mvim to approximate solution of this system and hence obtain an appr...

in this paper, first a new homotopy perturbation method for solving a fractional order nonlinear telegraph equation is introduced. by applying the proposed method, the nonlinear equation is translated to linear equations for per iteration of homotopy perturbation method. then, the obtained problems are solved with separation method. in the examples, it is illustrated that the exact solution is ...

for solving large sparse non-hermitian positive definite linear equations, bai et al. proposed the hermitian and skew-hermitian splitting methods (hss). they recently generalized this technique to the normal and skew-hermitian splitting methods (nss). in this paper, we present an accelerated normal and skew-hermitian splitting methods (anss) which involve two parameters for the nss iteration. w...

In previous work, we presented a framework for unifying iteration reordering transformations such as loop interchange, loop distribution, loop skewing and statement reordering. The framework provides a uniform way to represent and reason about transformations. However, it does not provide a way to decide which transformation(s) should be applied to a given program. This paper describes a way to...

In previous work, we presented a framework for unifying iteration reordering transformations such as loop interchange, loop distribution, loop skewing and statement reordering. The framework provides a uniform way to represent and reason about transformations. However, it does not provide a way to decide which transformation(s) should be applied to a given program. This paper describes a way to...

Abstract We show that any compact metric f - K -contact, respectively S -manifold is obtained from a Sasakian manifold by an iteration of constructions mapping tori, rotations, and type II deformations.

This paper presents a two-iteration concatenated Bose-Chaudhuri-Hocquenghem (BCH) code and its highspeed low-complexity two-parallel decoder architecture for 100 Gb/s optical communications. The proposed architecture features a very high data processing rate as well as excellent error correction capability. A low-complexity syndrome computation architecture and a high-speed dual-processing pipe...

We define memory-efficient certificates for μ-calculus model checking problems based on the well-known correspondence of the μ-calculus model checking with winning certain parity games. Winning strategies can independently checked, in low polynomial time, by observing that there is no reachable strongly connected component in the graph of the parity game whose largest priority is odd. Winning s...

We propose Symbolic heuristic search value iteration (Symbolic HSVI) algorithm, which extends the heuristic search value iteration (HSVI) algorithm in order to handle factored partially observable Markov decision processes (factored POMDPs). The idea is to use algebraic decision diagrams (ADDs) for compactly representing the problem itself and all the relevant intermediate computation results i...

Let p(x) be a polynomial of degree n 2 with coe cients in a sub eld K of the complex numbers. For each natural number m 2, let L m (x) be the m m lower triangular matrix whose diagonal entries are p(x) and for each j = 1; : : : ; m 1, its j-th subdiagonal entries are p (j) (x)=j!. For i = 1; 2, let L (i) m (x) be the matrix obtained from L m (x) by deleting its rst i rows and its last i columns...