We present an interval branch-and-prune algorithm for computing verified enclosures for the global minimum and all global minimizers of univariate functions subject to bound const...
The problem of locating centers for radial basis functions in neural networks is discussed. The proposed approach allows us to apply the results from the theory of optimum experime...