Search results for " Interpolation"
showing 10 items of 144 documents
Applications of the Connection between Approximation Theory and Algebra
2009
The aim of this paper is to illustrate a possibility of obtaining various theoretical results using the connection between multivariate interpolation and reduction process with respect to a H-basis of an ideal. Using this connection we can switch between interpolation theory and the theory of ideals. As a application of this connection, we found and proved an interesting identity, which is satisfied for all polynomials in d variables from an interpolation polynomial subspace.
Proving convexity preserving properties of interpolatory subdivision schemes through reconstruction operators
2013
We introduce a new approach towards proving convexity preserving properties for interpolatory subdivision schemes. Our approach is based on the relation between subdivision schemes and prediction operators within Harten's framework for multiresolution, and hinges on certain convexity properties of the reconstruction operator associated to prediction. Our results allow us to recover certain known results [10,8,1,7]. In addition, we are able to determine the necessary conditions for convexity preservation of the family of subdivision schemes based on the Hermite interpolation considered in [4].
Properties of Generalized Polynomial Spaces in Three Variables
2009
Multivariate interpolation is a topic which often appears in practical modeling problems. Different type of spaces of functions are used for solving interpolation problems. When the interpolation conditions are of different kind, by example, spacial and temporal, one possibility for modeling the problem is to use a generalize degree, in which the monomials exponents are weighted with a weight vector with integer components. In order to use such a generalize polynomial space as interpolation space, it is necessary to know the dimension and a basis of it. The aim of this article is to study and prove many properties of the generalize polynomial spaces in three variables.
Improving Interpolants for Linear Arithmetic
2015
Craig interpolation for satisfiability modulo theory formulas have come more into focus for applications of formal verification. In this paper we, introduce a method to reduce the size of linear constraints used in the description of already computed interpolant in the theory of linear arithmetic with respect to the number of linear constraints. We successfully improve interpolants by combining satisfiability modulo theory and linear programming in a local search heuristic. Our experimental results suggest a lower running time and a larger reduction compared to other methods from the literature.
FastEMD–CCA algorithm for unsupervised and fast removal of eyeblink artifacts from electroencephalogram
2020
Abstract Online detection and removal of eye blink (EB) artifacts from electroencephalogram (EEG) would be very useful in medical diagnosis and brain computer interface (BCI). In this work, approaches that combine unsupervised eyeblink artifact detection with empirical mode decomposition (EMD), and canonical correlation analysis (CCA), are proposed to automatically identify eyeblink artifacts and remove them in an online manner. First eyeblink artifact regions are automatically identified and an eyeblink artifact template is extracted via EMD, which incorporates an alternate interpolation technique, the Akima spline interpolation. The removal of eyeblink artifact components relies on the el…
Temperature interpolation by local information ; the example of France
2010
International audience; Methods of interpolation, whether based on regressions or on kriging, are global methods in which all the available data for a given study area are used. But the quality of results is affected when the study area is spatially very heterogeneous. To overcome this difficulty, a method of local interpolation is proposed and tested here with temperature in France. Starting from a set of weather stations spread across the country and digitized as 250 m-sided cells, the method consists in modelling local spatial variations in temperature by considering each point of the grid and the n weather stations that are its nearest neighbours. The procedure entails a series of steps…
Seasonal precipitation interpolation at the Valencia region with multivariate methods using geographic and topographic information
2009
The spatial pattern of precipitation is a complex variable that strongly depends on other geographic and topographic factors. As precipitation is usually known only at certain locations, interpolation procedures are needed in order to predict this variable in other regions. The use of multivariate interpolation methods is usually preferred, as secondary variables—generally derived using GIS tools—correlated with precipitation can be included. In this paper, a comparative study on different univariate and multivariate interpolation methodologies is presented. Our study area is centred in the region of Valencia, located to the eastern Spanish Mediterranean coast. The followed methodology can …
Application of Radio Environment Map Reconstruction Techniques to Platoon-based Cellular V2X Communications
2020
Vehicle platoons involve groups of vehicles travelling together at a constant inter-vehicle distance, with different common benefits such as increasing road efficiency and fuel saving. Vehicle platooning requires highly reliable wireless communications to keep the group structure and carry out coordinated maneuvers in a safe manner. Focusing on infrastructure-assisted cellular vehicle to anything (V2X) communications, the amount of control information to be exchanged between each platoon vehicle and the base station is a critical factor affecting the communication latency. This paper exploits the particular structure and characteristics of platooning to decrease the control information exch…
Hybrid Quantum Mechanics/Molecular Mechanics Simulations with Two-Dimensional Interpolated Corrections: Application to Enzymatic Processes
2006
Hybrid quantum mechanics/molecular mechanics (QM/MM) techniques are widely used to study chemical reactions in large systems. Because of the computational cost associated with the high dimensionality of these systems, the quantum description is usually restricted to low-level methods, such as semiempirical Hamiltonians. In some cases, the description obtained at this computational level is quite poor and corrections must be considered. We here propose a simple but efficient way to include higher-level corrections to be used in potential energy surface explorations and in the calculation of potentials of mean force. We evaluate a correction energy term as the difference between a high-level …
Conversion d'un carreau de Bézier rationnel biquadratique en un carreau de cyclide de Dupin quartique
2006
Dupin cyclides were introduced in 1822 by the French mathematician C-P. Dupin. They are algebraic surfaces of degree 3 or 4. The set of geometric properties of these surfaces has encouraged an increasing interest in using them for geometric modeling. A couple of algorithmes is already developed to convert a Dupin cyclide patch into a rational biquadratic Bezier patch. In this paper, we consider the inverse problem: we investigate the conditions of convertibility of a Bezier patch into a Dupin cyclide one, and we present a conversion algorithm to compute the parameters of a Dupin cyclide with the boundary of the patch that corresponds to the given Bezier patch.