Interpolation

Results: 1400



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

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

Add to Reading List

Source URL: www.phil.uu.nl

Language: English - Date: 2015-04-01 07:45:41
72Algebra / Mathematics / Mathematical analysis / Operator theory / Spectral theory / Banach space / Open set / Compact operator / Symbol / Linear algebra / Spectral theory of compact operators / Decomposition of spectrum

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

Add to Reading List

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

Language: English - Date: 2012-11-07 06:22:21
73Machine learning / Mathematical analysis / Sample complexity / Mathematics / Analysis / Quasisymmetric map / Dirac delta function

Valid Generalisation from Approximate Interpolation Martin Anthony∗ Department of Mathematics The London School of Economics and Political Science Houghton Street, London WC2A 2AE, United Kingdom

Add to Reading List

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

Language: English - Date: 2000-04-03 15:00:46
74Cryptography / Polynomials / Probabilistic complexity theory / IP / Commitment scheme / NP / Interactive proof system / Zero-knowledge proof / Polynomial interpolation / Polynomial / Random self-reducibility / Permutation polynomial

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

Add to Reading List

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

Language: English - Date: 2001-10-24 10:55:38
75Image processing / Multivariate interpolation / Computer-aided design / 3D computer graphics / Interpolation / Engineering / Mathematics / Non-uniform rational B-spline / B-spline / Computer graphics / Bzier surface / Subdivision surface

INTERNATIONAL JOURNAL FOR NUMERICAL AND ANALYTICAL METHODS IN GEOMECHANICS Int. J. Numer. Anal. Meth. GeomechPublished online in Wiley Online Library (wileyonlinelibrary.com). DOI: nag.2203 Granular elem

Add to Reading List

Source URL: www.geomechanics.caltech.edu

Language: English - Date: 2015-08-03 16:55:14
76Mathematical analysis / Mathematics / Fourier analysis / Symbol / Measure theory / Differential forms on a Riemann surface / Dirac delta function

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

Add to Reading List

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

Language: English - Date: 2000-04-03 14:28:14
77Optical illusions / Perception / Illusory contours / Triangles / Nervous system / Cognitive science / Visual system / Qualia

Cognitive Psychology 44, 148–doi:cogp, available online at http://www.idealibrary.com on The Interpolation of Object and Surface Structure Barton L. Anderson, Manish Singh, and Roland W. Fl

Add to Reading List

Source URL: www.psych.usyd.edu.au

Language: English - Date: 2004-08-12 02:10:56
78Cartography / Geographic information systems / Geography / USGS DEM / United States Geological Survey / Photogrammetry / Digital elevation model / Topography / Interpolation / Physical geography / Geomatics

A PC-BASED EDITOR FOR DIGITAL ELEVATION MODELS Anders Ostman Department of Photogrammetry Royal Institute of Technology SStockholm Sweden

Add to Reading List

Source URL: mapcontext.com

Language: English - Date: 2008-08-30 01:03:08
79Logic / Mathematics / IP / Interpretation / Abstraction / Linear temporal logic / Craig interpolation

Checking Metric Temporal Logic with TRACE Martijn Hendriks, Marc Geilen, Amir R. B. Behrouzian, Twan Basten, Hadi Alizadeh, Dip Goswami ES Reports ISSN

Add to Reading List

Source URL: www.es.ele.tue.nl

Language: English - Date: 2016-04-11 04:53:31
80Mathematics / Interpolation / Polynomials / Polynomial interpolation / Lagrange polynomial / Partition of an interval / Cover

A semi-Lagrangian AMR scheme for 2D transport problems in conservation form Pep Mulet, Francesco Vecil abstract In this paper, we construct a semi-Lagrangian (SL) Adaptive-Mesh-Refinement (AMR) solver

Add to Reading List

Source URL: francescovecil.it

Language: English - Date: 2015-04-03 05:38:20
UPDATE