The aim of this work is to provide a general method to minimize the size (number of states) of a model M of an ATL∗ formula. Our approach is founded on the notion of alternating bisimulation: given a model M, it is transformed in a stepwise manner into a new model M’ minimal with respect to bisimulation. The method has been implemented and will be integrated to the prover TATL, that constructiv...

Introduction: If the patients are not satisfied with the hospital, this results in switching behavior of patients. In this situation, among different hospitals, the patients choose the hospital with higher level of service quality. So, the main aim of this paper is investigating the effect of hospital's service quality on switching behavior of inpatients in Shahid Sadoughi Hospital of Yazd. Me...

BACKGROUND Minimisation can be used within treatment trials to ensure that prognostic factors are evenly distributed between treatment groups. The technique is relatively straightforward to apply but does require running tallies of patient recruitments to be made and some simple calculations to be performed prior to each allocation. As computing facilities have become more widely available, min...

Solving the capacitor Allocation problem means in general the determination of the optimal location, allocation sizes and switching times for capacitors to be installed on a distribution feeder. The application of capacitors in electric power system is intended for the control of power flow, improvement of stability, voltage profile management, power factor correction, and loss minimisation. Th...

Two phenomena can produce chattering: switching of input control signal and the large amplitude of this switching (switching gain). To remove the switching of input control signal, dynamic sliding mode control (DSMC) is used. In DSMC switching is removed due to the integrator which is placed before the plant. However, in DSMC the augmented system (system plus the integrator) is one dimension bi...

The UK waste strategy is based upon a concept of a hierarchy of preferable options for handling and disposal of waste. Minimisation is at the top of this hierarchy and several policy strategies have been introduced to encourage the uptake of waste minimisation methodology by industry. Waste minimisation clubs are a key component of the UK waste strategy and an essential vehicle for encouraging ...

Distributed{memory multithreaded multiprocessors are composed of a number of (multithreaded) processors, each with its memory, and an interconnecting network. The long memory latencies and synchronization delays are tolerated by context switching, i.e., by suspending the current thread and switching the processor to another `ready' thread provided such a thread is available. Because of very sim...