We describe a technique that allows the exact analytical computation of the mean first passage time (MFPT) for infinite families of trees using their recursive properties. The method is based in the relationship between the MFPT and the eigenvalues of the Laplacian matrix of the trees but avoids their explicit computation. We apply this technique to find the MFPT for a family of generalized det...

With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is essential in order to obtain a Turingcomplete computation model. However, erasing and copying do not need to be explicitly included in Turing-complete computation models: in this paper we show that the class of partial recursive f...

We introduce concepts of “recursive polynomial remainder sequence (PRS)” and “recursive subresultant,” and investigate their properties. In calculating PRS, if there exists the GCD (greatest common divisor) of initial polynomials, we calculate “recursively” with new PRS for the GCD and its derivative, until a constant is derived. We call such a PRS a recursive PRS. We define recursive subresult...

ion and Computation Type Theory, Algebraic Structures, and Recursive Functions

We work under the assumption of the Axiom of Determinacy and associate a measure to each cardinal κ < אε0 in a recursive definition of a canonical measure assignment. We give algorithmic applications of the existence of such a canonical measure assignment (computation of cofinalities, computation of the Kleinberg sequences associated to the normal ultrafilters on all projective ordinals).

FIR(Finite Impulse Response) filter is well known to be ideal for the finite time state-space model, but it requires much computation due to its inherent non-recursive structure especially when the measurement interval grows to a large extent. And often a fixed-lag smoother based on the finite time interval is needed to monitor the soundness of the system model and the measurement model, but th...