the main purpose of this paper is to present a fuzzy multi-criteria decision making (fmadm) model for appropriate location selection of a health center. therefore, we identify sixteen criteria and sub-criteria for selecting a health center location. these criteria and sub-criteria have been obtained from literature reviews and practical interviews. this paper proposes a method which combines th...

Historically, the field of naval architecture has relied on a combination model testing and scaling laws, known as extrapolation procedures, to predict full-scale power requirements. Numerous problems with procedures were identified almost soon they proposed, but since there no alternative laws their use persisted. This review article explores cause these uncertainties, attempts circumvent or c...

Statistical procedures for variable selection have become integral elements in any analysis. Successful procedures are characterized by high predictive accuracy, yielding interpretable models while retaining computational efficiency. Penalized methods that perform coefficient shrinkage have been shown to be successful in many cases. Models with correlated predictors are particularly challenging...

This paper deals with the computational issues encountered in the construction of invariant sets of uncertainty LTI systems, the presented results being useful in the more general framework of piecewise linear systems affected by parametric uncertainty. The main contribution is the efficient computation of upper and lower bounds of the maximal positively invariant (MPI) set. These turn to be me...

This paper is concerned with solution procedures for the p-median problem: the wellestablished heuristic of Teitz and Bart, and the GRIA (Global/Regional Interchange Algorithm) technique developed more recently by Densham and Rushton. A computational scheme is presented which facilitates efficient implementations in both cases. The mathematical basis for the computational scheme is explained co...

Computational reflection is a useful technique for avoiding the overhead inherent in constructing large proof objects. However, to date it is significantly more time consuming to write reflective procedures than the equivalent tactics. Can we build a lightweight tactic language for building reflective procedures easily? To this end, we present Rtac, a lightweight, work-in-progress, tactic langu...

The methodology of application dynamic programming and its modification in operational organizational control is developed. To reduce dimensionality, computational difficulties, comparison the methods maximum use all resources means principle complexity used. Computational procedures are implemented such a way that access to external computer memory carried out as rarely possible at same time o...

The concept of synthesis a computer simulator model group steam generators BKZ-160-100F is considered. An approach formulated for constructing mathematical de-scription structure with the possibility parallelization computational procedures

In computational social choice, the complexity of changing the outcome of elections via various control actions, such as adding or deleting candidates or voters, has been studied intensely. We introduce the concept of control for judgment aggregation procedures, and study the complexity of changing the outcome of such procedures via control by adding, deleting, or replacing judges.