Taylor & Francis makes every effort to ensure the accuracy of all the information (the “Content”) contained in the publications on our platform. However, Taylor & Francis, our agents, and our licensors make no representations or warranties whatsoever as to the accuracy, completeness, or suitability for any purpose of the Content. Any opinions and views expressed in this publication are the opin...

We investigate the D-optimal design problem in the common trigonometric regression model, where the design space is a partial circle. The task of maximizing the criterion function is transformed into the problem of determining an eigenvalue of a certain matrix via a di erential equation approach. Since this eigenvalue is an analytic function of the length of the design space, we can make use of...

Gradient based motion estimation techniques (GM) are considered to be in the heart of state-of-the-art registration algorithms, being able to account for both pixel and subpixel registration and to handle various motion models (translation, rotation, affine, projective). These methods estimate the motion between two images using a first order Taylor expansion of the registered images. This pape...

Suppose g to be a complex semi-simple Lie algebra. In 1955, Chevalley showed that one can assign to it an essentially unique Z-structure, with structure constants of a simple form, themselves unique up to some choices of sign. An algorithm to compute these is also due implicitly to Chevalley, explained explicitly in [Carter:1972] and more recently in [Cohen-Murray-Taylor:2004]. It is reasonably...

For the general nonlinear systems, a universal weighted measurement fusion (WMF) algorithm is presented via the Taylor series expansion method. Based on the proposed fusion algorithm and the well-known Unscented Kalman Filter (UKF), the WMF-UKF is presented. It is proven that the proposed WMF-UKF asymptotically approaches to the centralized measurement fusion UKF (CMF-UKF) with the increase of ...

A new numerical algorithm using quintic splines is developed and analyzed: quintic spline Taylor-series expansion (QSTSE). QSTSE is an Eulerian #ux-based scheme that uses quintic splines to compute space derivatives and Taylor series expansion to march in time. The new scheme is strictly mass conservative and positive de"nite while maintaining high peak retention. The new algorithm is compared ...

A Taylor polynomial expansion (TPE) based waveform decorrelation algorithm with low complexity is proposed to cancel the effects of auto-correlation and cross-correlation of transmit waveform of multiple-input multiple-output (MIMO) radar in the receiver. Cayley–Hamilton theorem is first used to expand the direct matrix inversion to the form of polynomial matrix. And then, Taylor series is used...

the ultimate goal of monetary policy is to achieve price stability and high output. in this regard, central banks usually change the interest rate, liquidity, and money base in order to apply monetary policies. the john b. taylor rule is one of the rules known in the transmission of monetary policy.[1] based on this rule and given the output gap and inflation gap, the central bank increases or ...

Taylor & Francis makes every effort to ensure the accuracy of all the information (the “Content”) contained in the publications on our platform. However, Taylor & Francis, our agents, and our licensors make no representations or warranties whatsoever as to the accuracy, completeness, or suitability for any purpose of the Content. Any opinions and views expressed in this publication are the opin...

This talk will present an effort to formalize Taylor Models in the Coq proof assistant. Machinecheckable correctness proofs are facilitated by an abstract viewpoint: Taylor models can be generalized to balls in the Chebyshev metric. Extensions of elementary functions are then explained as compositions of such balls. This approach also accommodates other polynomial approximation methods than Tay...