In this study integral form and new recursive formulas for Favard constants and some connected with them numeric and Fourier series are obtained. The method is based on preliminary integration of Fourier series which allows for establishing finite recursive representations for the summation. It is shown that the derived recursive representations are numerically more effective than known represe...

A recursive SQL-1999 query consists of a recursive CTE (Common Table Expression) and a query which uses it. If such a recursive query is used in a context of a selection predicate, this predicate can possibly be pushed into the CTE thus limiting the breadth and/or depth of the recursive search. This can happen e.g. after the definition of a view containing recursive query has been expanded in p...

This paper describes a recursive method for the LU factorization of sparse matrices. The recursive formulation of common linear algebra codes has been proven very successful in dense matrix computations. An extension of the recursive technique for sparse matrices is presented. Performance results given here show that the recursive approach may perform comparable to leading software packages for...

We propose a program analysis method for proving termination of recursive programs. The analysis is based on a reduction of termination to two separate problems: reachability of recursive programs, and termination of non-recursive programs. Our reduction works through a program transformation that modifies the call sites and removes return edges. In the new, non-recursive program, a procedure c...

The classical non-recursive methods to estimate unknown parameters of the model, such as the maximum likelihood method, the method of least squares etc. eventually require maximization procedures. These methods are often difficult to implement, especially for non i.i.d. models. If for every sample size n, when new data are acquired, an estimator has to be computed afresh, and if a numerical met...

this paper presents a novel method to calculate the reference source current and the referencecompensating current for shunt active power filters (sapfs). this method first calculates theamplitude and phase of the fundamental load current from a recursive algebraic approach blockbefore calculating the displacement power factor. next, the amplitude of the reference mains currentis computed with ...

In computer science, one is interested mainly in nite objects. Insofar as innnite objects are of interest, they must be computable, i.e., recursive, thus admitting an eeective nite representation. This leads to the notion of a recursive graph, or, more generally, a recursive structure , model or data base. In this paper we summarize our recent work on recursive structures and data bases, includ...

The reliability of consecutive-type systems has been approached from different angles. We present a new method for deriving the generating functions and reliabilities of various consecutive-type systems. Our method, which is based on Feller’s run theory, is easy to implement, and leads to both recursive and non-recursive formulas for the reliability. The non-recursive expression is especially a...