Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg

Source URL: smt-workshop.cs.uiowa.edu

• Software engineering
• Computer programming
• Computing
• Interpolation
• Video
• Video signal
• Craig interpolation
• Pure
• Foreach loop

IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. XX, NO. X, MARCHFaster Algorithms for Multivariate Interpolation with Multiplicities and

Source URL: www.csd.uwo.ca

Wavelets and Image Compression Bradley J. Lucier Abstract. In this paper we present certain results about the compression of images using wavelets. We concentrate on the simplest case of the Haar decomposition and compr

Source URL: www.math.purdue.edu

• Mathematical analysis
• Mathematics
• Functional analysis
• Signal processing
• Operator theory
• Image compression
• Wavelet transform
• Wavelet
• Distribution
• Constructible universe
• Craig interpolation
• Linear temporal logic

Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract

Source URL: www.phil.uu.nl

• Logic
• Mathematical logic
• Mathematics
• Proof theory
• Automated theorem proving
• Craig interpolation
• Lemmas
• Non-classical logic
• Sequent
• Propositional calculus
• First-order logic
• Modal logic

REMARKS ON RICH SUBSPACES OF BANACH SPACES VLADIMIR KADETS, NIGEL KALTON AND DIRK WERNER Abstract. We investigate rich subspaces of L1 and deduce an interpolation property of Sidon sets. We also present examples of rich

Source URL: page.mi.fu-berlin.de

• Algebra
• Mathematics
• Mathematical analysis
• Operator theory
• Spectral theory
• Banach space
• Open set
• Compact operator
• Symbol
• Linear algebra
• Spectral theory of compact operators
• Decomposition of spectrum

Locally Random Reductions: Improvements and Applications  D. Beavery J. Feigenbaumz J. Kilianx September 1, 1995

Source URL: cs-www.cs.yale.edu

• Cryptography
• Polynomials
• Probabilistic complexity theory
• IP
• Commitment scheme
• NP
• Interactive proof system
• Zero-knowledge proof
• Polynomial interpolation
• Polynomial
• Random self-reducibility
• Permutation polynomial

Function Learning from Interpolation Martin Anthony Department of Mathematics, The London School of Economics and Political Science, Houghton Street, London WC2A 2AE, United Kingdom.

Source URL: www.maths.lse.ac.uk

• Mathematical analysis
• Mathematics
• Fourier analysis
• Symbol
• Measure theory
• Differential forms on a Riemann surface
• Dirac delta function

Optimal Local Multi-scale Basis Functions for Linear Elliptic Equations with Rough Coefficient∗ arXiv:1508.00346v1 [math.NA] 3 AugThomas Y. Hou

Source URL: users.cms.caltech.edu

• Mathematical analysis
• Mathematics
• Fourier analysis
• Operator theory
• Harmonic function
• Sobolev space
• Polynomial interpolation
• Differential forms on a Riemann surface
• Modulus of continuity

DOI: j01783.x COMPUTER GRAPHICS forum

Source URL: www.wisdom.weizmann.ac.il

• Algebra
• Mathematics
• Linear algebra
• Multivariate statistics
• Matrix theory
• Dimension reduction
• Interpolation
• Principal component analysis
• Eigenvalues and eigenvectors
• Kernel principal component analysis
• Eigendecomposition of a matrix
• Radial basis function