The paper presents an analysis of the interpretation of recursive types as logical relations in the framework of iterative algebraic theories. This allows a smoother presentation of the underlying technique, and easier proofs of properties of the interpretation.

The behaviour of the voice source characteristics in connected speech was studied. Voice source parameters were obtained by automatic inverse filtering, followed by automatic fitting of the LF-model to the data. Consistent relations between voice source parameters and prosody were observed.

The Real Nonnegative Inverse Eigenvalue Problem (RNIEP) is that of characterizing all possible real spectra of nonnegative matrices. In this work we list some inclusion relations between several sufficient conditions and we study the negativity and the realizability margin of a spectrum with respect to these conditions.

In this paper we investigate the Green‎ ‎graphs for the regular and inverse semigroups by considering the‎ ‎Green classes of them‎. ‎And by using the properties of these‎ ‎semigroups‎, ‎we prove that all of the five Green graphs for the‎ ‎inverse semigroups are isomorphic complete graphs‎, ‎while this‎ ‎doesn't hold for the regular semigroups‎. ‎In other words‎, ‎we prove‎ ‎that in a regular se...

A nonlocal boundary value problem for a system of
 hyperbolic equations of second order with generalized integral
 condition is considered. By method introduction functional
 parameters the investigated transformed to inverse
 unknown
 and additional functional relations. Algorithms finding solution inverse are constructed, their convergence is
 proved. The conditi...

Approaching temporal link labelling as a classification task has already been explored in several works. However, choosing the right feature vectors to build the classification model is still an open issue, especially for event-event classification, whose accuracy is still under 50%. We find that using a simple feature set results in a better performance than using more sophisticated features b...

Some connections between quantum mechanics and classical physics are explored. The Planck-Einstein and De Broglie relations, the wavefunction and its probabilistic interpretation, the Canonical Commutation Relations and the Maxwell– Lorentz Equation may be understood in a simple way by comparing classical elec-tromagnetism and the photonic description of light provided by classical relativistic...

Some iterative matrix relations for the geometric, kinematic and dynamic analysis of a Delta parallel robot are established in this paper. The prototype of this manipulator is a three degree of freedom spatial mechanism, which consists of a system of parallel chains. Supposing that the position and the translation motion of the platform are known, an inverse dynamic problem is solved using the ...

We present a PSPACE algorithm that decides satisfiability of the graded modal logic Gr(KR)—a natural extension of propositional modal logic KR by counting expressions—which plays an important role in the area of knowledge representation. The algorithm employs a tableaux approach and is the first known algorithm which meets the lower bound for the complexity of the problem. Thus, we exactly fix ...

We consider a new operation on the family of binary relations on integers called Hadamard star. View a binary relation R ⊆ N × N as a mapping of N into the power set of N and let R(n) denote the subset of integers m such that (n,m) ∈ R. Then the Hadamard star of R is the relation which assigns to each integer n the Kleene star of R(n). This is reminiscent of the Hadamard inverse of series with ...