Smooth Pycnophylactic Interpolation for Geographical Regions1 Waldo R. Tobler2 ABSTRACT: Census enumerations are usually packaged in irregularly shaped geographical regions. Interior values can be interpolated for such r

First Page		Document Content
Date: 2005-01-05 11:57:29 Mathematics Geometry Algebra Lattice points Analytic geometry Lattice Finite element method Partial differential equation Sinc function Interpolation Leech lattice Lattice QCD		Smooth Pycnophylactic Interpolation for Geographical Regions1 Waldo R. Tobler2 ABSTRACT: Census enumerations are usually packaged in irregularly shaped geographical regions. Interior values can be interpolated for such r Add to Reading List Source URL: www.geog.ucsb.edu Download Document from Source Website File Size: 455,99 KB Share Document on Facebook

	Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University DocID: 1xVXp - View Document
	Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s DocID: 1xVMq - View Document
	Selfless Interpolation for Infinite-State Model Checking? Tanja Schindler1 and Dejan Jovanovi´c2 1 University of Freiburg DocID: 1xVsB - View Document
	Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg DocID: 1xViK - View Document
	Verification of Programs by Combining Iterated Specialization with Interpolation E. De Angelis and F. Fioravanti J. A. Navas DocID: 1xUX2 - View Document