Results 151 to 160 of about 635,053 (187)
Some of the next articles are maybe not open access.
2014
In many applications that use tabulated data it is necessary to evaluate the value of a function for a value of the independent variable(s) that is not one of the tabulated values. It is then necessary to use interpolation to evaluate the function at the desired value of the independent variable(s).
S.P. Venkateshan, Prasanna Swaminathan
openaire +2 more sources
In many applications that use tabulated data it is necessary to evaluate the value of a function for a value of the independent variable(s) that is not one of the tabulated values. It is then necessary to use interpolation to evaluate the function at the desired value of the independent variable(s).
S.P. Venkateshan, Prasanna Swaminathan
openaire +2 more sources
On the trigonometric interpolation and the entire interpolation
Approximation Theory and its Applications, 1990In this paper, we study a kind of interpolation problems on a given nodal set by trigonometric polynomials of order n and entire functions of exponential type according as the nodal set is $$\left\{ {\frac{{2k\pi }}{n}} \right\}_{k = 0}^{n - 1} or \left\{ {\frac{{2k\pi ...
openaire +2 more sources
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2010
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that allows us to shine a new light on classical concepts such as Floyd/Hoare proofs and predicate abstraction in the context of recursive programs.
Jochen Hoenicke +2 more
openaire +2 more sources
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that allows us to shine a new light on classical concepts such as Floyd/Hoare proofs and predicate abstraction in the context of recursive programs.
Jochen Hoenicke +2 more
openaire +2 more sources
Interpolating multipliers and related interpolators
Proceedings of the IEEE, 1963Piecewise-linear and nonlinear interpolators (PLI and NLI) for the generation of a function of one variable produce an output signal from two or more input signals which represent tangents to the function. They have the additional property that an additive signal which is simultaneously applied to all input terminals is transferred through them.
openaire +2 more sources
1979
Publisher Summary This chapter discusses the concept of interpolation. Originally, it meant reading between the lines of a table. Interpolation is a basic problem in numerical mathematics. The chapter provides an overview of Lagrangian interpolation. One needs to establish uniqueness of polynomial interpolation. In fact, if two polynomials of degree n
openaire +2 more sources
Publisher Summary This chapter discusses the concept of interpolation. Originally, it meant reading between the lines of a table. Interpolation is a basic problem in numerical mathematics. The chapter provides an overview of Lagrangian interpolation. One needs to establish uniqueness of polynomial interpolation. In fact, if two polynomials of degree n
openaire +2 more sources
Interpolation between W Dopant and Co Vacancy in CoOOH for Enhanced Oxygen Evolution Catalysis
Advanced Materials, 2022Yuhai Dou, Ding Yuan, Kaicai Fan
exaly
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2021
Wenbo Bao, Wei-sheng Lai, Xiaoyun Zhang
exaly
Wenbo Bao, Wei-sheng Lai, Xiaoyun Zhang
exaly