A primary concern when using local search methods for CNF satis ability is how to get rid of local minimas. Among many other heuristics, Weighting by Morris (1993) and Selman and Kautz (1993) works overwhelmingly better than others (Cha and Iwama 1995). Weighting increases the weight of each clause which is unsatis ed at a local minima. This paper introduces a more sophisticated weighting strat...

AGM-style revision consists of two suboperations, contraction followed by expansion. With respect to Hansson, this is called internal revision and an alternative procedure, external revision is proposed. It consists in, rst, expanding the belief base by the new sentence and after that contracting by its negation. In this paper, on the one hand, we propose a new framework for local belief revisi...

In this paper we introduce a penalty function and a corresponding multipliers method for the solution of a class of nonlinear programming problems where the equality constraints have a particular structure. The class models optimal control and engineering design problems with bounds on the state and control variables and has wide applicability. The multipliers method updates multipliers corresp...

This article describes a hitherto undescribed technique of administering local anesthesia to undertake a supt:rtiuial partrtidectomy. The technique is based on precise nerve blocks keeping in mind the regional nerve supply and the facial dermatumes. The advantages of such an anesthesia are, a conscious patient allows identification of the facial nerve and testing the integrity of its branches w...

Background: One of the challenges of PET/MRI combined systems is to derive an attenuation map to correct the PET image. For that, the pseudo-CT image could be used to correct the attenuation. Until now, most existing scientific researches construct this pseudo-CT image using the registration techniques. However, these techniques suffer from the local minima of the non-rigid deformation energy f...

Despite the utilization of several earthquake resistant traditional techniques in Iranian architecture throughout the centuries, the high seismic vulnerability of Iranian vernacular constructions is obvious. One of the latest innovations in building earthquake-proof emergency dwellings, prior to introducing the modern seismic design codes, took place during the successive destructive earthqu...

a nonstandard finite difference (nsfd) scheme has been constructed and analyzed for a mathematical model that describes lotka–volterra food web model. this new discrete system has the same stability properties as the continuous model and,on the whole, it preservesthe same local asymptotic stability properties. linearized stability theory and schur–cohn criteria are used for local asymptoticstab...