Resumo— Neste artigo propomos um algoritmo semicego para estimação de canais MIMO planos, variantes no tempo e com correlação espacial entre as antenas. O estimador proposto utiliza um filtro de Kalman para rastrear o canal em sistemas empregando códigos espaço-temporais ortogonais por blocos. Após estabelecer um modelo em espaço de estados do canal com correlação espacial, mostramos que o esti...

Logical interpolants have found a wide array of applications in automated verification, including symbolic model checking and predicate abstraction. It is often critical to these applications that reported interpolants exhibit desired properties, correctness being first and foremost. In this paper, we introduce a method in which interpolants are computed by type inference within the trusted cor...

We solve the problem of C2 Hermite interpolation by Pythagorean Hodograph (PH) space curves. More precisely, for any set of C2 space boundary data (two points with associated first and second derivatives) we construct a four–dimensional family of PH interpolants of degree 9 and introduce a geometrically invariant parameterization of this family. This parameterization is used to identify a parti...

We show methods to extract Craig-Lyndon interpolants and access interpolants from clausal first-order tableaux as produced by automated first-order theorem provers based on model elimination, the connection method, the hyper tableau calculus and instance-based methods in general. Smullyan introduced an elegant method for interpolant extraction from “non-clausal” first-order tableaux. We transfe...

In the context of general iterated function systems (IFSs), we introduce bilinear fractal interpolants as the fixed points of certain Read-Bajraktarević operators. By exhibiting a generalized “taxi-cab” metric, we show that the graph of a bilinear fractal interpolant is the attractor of an underlying contractive bilinear IFS. We present an explicit formula for the box-counting dimension of the ...

For data satisfying certain generalized convexity conditions, the existence and uniqueness of a piecewise quadratic curvature continuous parametric spline interpolant in IR 2 is proved. Convexity is preserved by the interpolation, and the numerical construction of the interpolant can be carried out eeciently. The interpolation is 4{th order accurate, and a number of examples shows both the appl...

Abstract In this study, we applied an advanced barycentric Lagrange interpolation formula to find the interpolate solutions of weakly singular Fredholm integral equations second kind. The kernel is interpolated twice concerning both variables and then transformed into product five matrices; two them are monomial basis matrices. To isolate singularity kernel, developed techniques based on a good...

Interpolation techniques are used to estimate function values and their derivatives at those points for which a numerical solution of any equation is not explicitly evaluated. In particular, the shape functions are used to interpolate a solution (within an element) of a partial differential equation obtained by the finite element method. Mesh generation and quality improvement are often driven ...

We solve the problem of C2 Hermite interpolation by Pythagorean Hodograph (PH) space curves. More precisely, for any set of C2 space boundary data (two points with associated first and second derivatives) we construct a four–dimensional family of PH interpolants of degree 9 and introduce a geometrically invariant parameterization of this family. This parameterization is used to identify a parti...