Sodium is an integral part of water, and its excessive amount in drinking water causes high blood pressure and hypertension. In the present paper, spatial distribution of sodium concentration in drinking water is modeled and optimized sampling designs for selecting sampling locations is calculated for three divisions in Punjab, Pakistan. Universal kriging and Bayesian universal kriging are used...

This paper presents an extension of generalized disjunctive paraconsistent relational data model in which pure disjunctive positive and negative information as well as mixed disjunctive positive and negative information can be represented explicitly and manipulated. We consider explicit mixed disjunctive information in the context of disjunctive databases as there is an interesting interplay be...

Ž . Using spatial simulated annealing SSA , spatial sampling schemes can be optimised for minimal kriging variance. Two optimisation criteria are presented in this paper. The first criterion minimises the average kriging variance, the second the maximum kriging variance. In a simple case with 23 observations, performances of a sampling scheme obtained with SSA were compared with performances of...

I> This paper presents a partial deduction method in disjunctive logic programming. Partial deduction in normal logic programs is based on unfolding between normal clauses, hence it is not applicable to disjunctive logic programs in general. Then we introduce a new partial deduction technique, called disjunctive partial deduction, which preserves the minimal model semantics of positive disjunct...

Kriging is a spatial prediction method, which can predict at any location and return a measure of prediction confidence (the kriging standard error). There exist many variations of kriging, some of which can be complex, especially those that allow many of its parameters to vary spatially. To calibrate such a kriging model and to be able to interpret its results can therefore be quite daunting. ...

This survey considers the optimization of simulated systems. The simulation may be either deterministic or random. The survey reflects the author’s extensive experience with simulationoptimization through Kriging (or Gaussian process) metamodels using a frequentist (non-Bayesian) approach. The analysis of Kriging metamodels may use bootstrapping. The survey discusses both parametric bootstrappi...

CHIAKI SAKAMA AND HIROHISA SEKI y. This paper presents a partial deduction method in disjunctive logic programming. Partial deduction in normal logic programs is based on unfolding between normal clauses, hence it is not applicable to disjunctive logic programs in general. Then we introduce a new partial deduction technique, called disjunctive partial deduction, which preserves the minimal mode...

The Kriging method is an interpolation scheme that can be used for modeling deter-ministic computer analyses as the realization of a stochastic process. The technique has been recognized as an alternative to the traditional Response Surface method in generating approximation models of computationally expensive CFD analyses. This is due to its ability to interpolate sample data and to model a fu...

This paper studies the relationship between disjunctive form, a syntactic normal form for the modal μ calculus, and the alternation hierarchy. First it shows that all disjunctive formulas which have equivalent tableau have the same syntactic alternation depth. However, tableau equivalence only preserves alternation depth for the disjunctive fragment: there are disjunctive formulas with arbitrar...