We describe a new decision-making procedure for resolutionbased SAT-solvers called Decision Making with a Reference Point (DMRP). In DMRP, a complete assignment called a reference point is maintained. DMRP is aimed at finding a change of the reference point under which the number of clauses falsified by the modified point is smaller than for the original one. DMRP makes it possible for a DPLL-l...

Map sheets are often used as basic spatial units for managing spatial data produced from paper maps. This often results in incompatibility between adjacent map sheets spatial objects do not cross the boundaries smoothly and even the boundaries themselves do not match their neighbors exactly. To solve the problem this paper proposes a computational procedure for making seamless map sheets. Line ...

Estimation of the sky signal from sequences of time ordered data is one of the key steps in cosmic microwave background (CMB) data analysis, commonly referred to as the map-making problem. Some of the most popular and general methods proposed for this problem involve solving generalised least-squares (GLS) equations with non-diagonal noise weights given by a block-diagonal matrix with Toeplitz ...

In this paper we introduce a new group decision procedure that follows a recursive pattern. In the first stage, the members of a group show their opinions on all the individuals of that group, regarding a specific attribute, by means of assessments within the unit interval. Taking into account this information, some aggregation operators and a family of thresholds, a subgroup of individuals is ...

ABSTRACT Recent advances in the theory of evolutionary algorithms have indicated that a hybrid method known as the evolutionary-gradient-search procedure yields superior performance in comparison to contemporary evolution strategies. But the theoretical analysis also indicates a noticeable performance loss in the presence of noise (i.e., noisy fitness evaluations). This paper aims at understand...

Estimation of the sky signal from sequences of time ordered data is one of the key steps in Cosmic Microwave Background (CMB) data analysis, commonly referred to as the map-making problem. Some of the most popular and general methods proposed for this problem involve solving generalised least squares (GLS) equations with non-diagonal noise weights given by a block-diagonal matrix with Toeplitz ...