Results 271 to 280 of about 87,906 (288)

The Accuracy of Linear Interpolation

The American Mathematical Monthly, 1946
(1946). The Accuracy of Linear Interpolation. The American Mathematical Monthly: Vol. 53, No. 7, pp. 364-366.
openaire   +2 more sources

Interpolation of linear operators in Orlicz spaces [PDF]

Functional Analysis and Its Applications, 1988
In this short note there are considered Orlicz spaces \(L^*_{\phi}(\Omega,\mu)\) defined for a given N-function \(\phi\) \((\phi \approx u^ p ...
Bo-tsin Men, Guan-zhun Chen
openaire   +2 more sources

Linear and Nonlinear Interpolators

IEEE Transactions on Electronic Computers, 1963
When diode selection circuits are fed with signals that vary linearly with an input variable, they produce as output a convex or concave function consisting of one linear section per diode. In the present circuits, by combining each diode with a suitable series ``interpolating'' resistor, and feeding the output connection with constant current, it is ...
openaire   +2 more sources

Simple interpolants for linear arithmetic

Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014, 2014
Craig interpolation has turned out to be an essential method for many applications in formal verification. In this paper we focus on the computation of simple interpolants for the theory of linear arithmetic with rational coefficients. We successfully minimize the number of linear constraints in the final interpolant by several methods including proof ...
Ernst Althaus, Stefan Disch, Florian Pigorsch, Christoph Scholl   +3 more
openaire   +1 more source

Graphical linear interpolation

Physics Education, 1973
The tedious arithmetic of linear interpolation can be avoided by the graphical method described.
openaire   +2 more sources

Interpolation theorem for linear operators

Mathematical Notes of the Academy of Sciences of the USSR, 1967
In generalizing a series of known results, the following theorem is proved: If K is a continuous linear operator mapping E0 into F0 and E1 into F1 (where E0, E1 and F0, F1, being ideal spaces, are Banach lattices of functions defined on Ω1 and Ω2 respectively), then for any λ.
openaire   +3 more sources

Comparison of adaptive linear interpolation and conventional linear interpolation for digital radiography systems

Journal of Electronic Imaging, 2000
Some large field digital radiography systems are currently under development using multiple detectors. These small size two dimension detectors are abutted together to cover a large field. Physical gaps existing between adjacent detectors produce seams between the resultant subimages.
Bennett A. Alford, Ge Wang, Hong Liu, Fang Xu   +3 more
openaire   +2 more sources

Optimal Interpolation for Linear Stochastic Systems

SIAM Journal on Control and Optimization, 1984
The author solves the following interpolation problem: determine the best least-squares estimate of a Gauss-Markov state process X, generated by \(dX=AXdt+BdW\), given the increments on the intervals \([0,T_ 1]\) and \([T_ 2,T]\) (with ...
openaire   +4 more sources

Interpolation in fragments of classical linear logic

Journal of Symbolic Logic, 1994
AbstractWe study interpolation for elementary fragments of classical linear logic. Unlike in intuitionistic logic (see [Renardel de Lavalette, 1989]) there are fragments in linear logic for which interpolation does not hold. We prove interpolation for a lot of fragments and refute it for the multiplicative fragment (→, +), using proof nets and quantum ...
openaire   +3 more sources

Some results in linear interpolation theory

IEEE Transactions on Acoustics, Speech, and Signal Processing, 1983
Using a well-known form for the inverse of a symmetric Toeplitz matrix, some results in linear interpolation theory are derived. For an autoregressive process it is shown that interpolation at the mid-point of a data record yields the minimum interpolation error. Also, some results for infinite length interpolators are simply derived.
openaire   +3 more sources