One of the main challenges in software verification is efficient and precise analysis of programs with procedures and loops. Interpolation methods remain among the most promising techniques for such verification. To accommodate the demands of various programming language features, over the past years several extended forms of interpolation have been introduced. We give a precise ontology of suc...

In air pollution models, semi-Lagrangian methods are often used to solve the ad-vective part of the corresponding model equation. Interpolation is an essential part of these methods. In this note, ve diierent interpolation methods will be discussed and results of numerical experiments will be presented. To keep the concentration eld nonnegative, ltering techniques are used. Also a monotone inte...

so far several methods have been developed for mapping and interpolation of isohyets.one of the recently accepted methods is geographically weighting regression which is suitable for evaluation of spatial heterogeneity of dependent variable by using local regressions. in order to evaluate annually precipitation spatial variation, this study was conducted in gilan province which precipitation is...

Topographic maps are commonly constructed from electrical scalp recordings (such as EEGs and ERPs) using several different interpolation methods. It is important to determine the accuracy of such maps. Previous assessments of interpolation methods have been based on global error measures and the visual appearance of the topographic maps. However, the relationship of interpolation error to local...

population growth rating, high food demand, and land resource challenges have led to more serious studies of production factors especially the scarce water and soil resources. one of the most basic data items in land resources is the soil map. therefore, in the process of the present research for preparing soil maps of some soil quality indices at the faculty of agriculture experimental field (...

The use of continuously imbedded Runge-Kutta-Sarafyan methods for the solution of ordinary differential equations with either time-dependent or state-dependent delays is discc. It is shown how to get reliable solutions for such problems in a manner that does not require that the effect of the local approximation error be considered separately from the IocaI integration error. It is aIso shown h...

A new selection is made of the most practical of the many explicit Runge-Kutta formulas of order 4 which have been proposed. A new formula is considered, formulas are modified to improve their quality and efficiency in agreement with improved understanding of the issues, and formulas are derived which permit interpolation. It is possible to do a lot better than the pair of Fehlberg currently re...

By coupling the flexibility of Thin-Plate Splines interpolation with Green’s integral formula, we obtain a meshless cubature method from scattered samples of small/moderate size, on convex as well as nonconvex and even multiply connected polygonal domains. 2000 AMS subject classification: 65D05, 65D32.