The objective of this study was to explore the prevailing complications of diabetes mellitus and to explore some of the associated factors among Qatari patients previously diagnosed as having diabetes mellitus. A random ...

End-to-end performance of two-hops wireless communication systems with nonregenerative relays over flat Rayleigh-fading channels is presented. This is accomplished by deriving and applying some new closed-form expressions ...

Multihop transmission is a way to attain broader coverage by splitting the communication link from the source to the destination into several, possibly shorter links/hops. This paper presents an expression for the moment ...

PWM inverters digital controls with dead-beat re sponse, for UPS applications, are reviewed. To improve the output waveforms of the PWM inverter, several modern control techniques are applied together with the deadbeat ...

AC servomotor speed or current controller based on PI control and/or optimal control, can not eliminate the cyclical fluctuations of speed or current when subject to periodic disturbances. PWM inverters output waveforms ...

Because of many malfunctions of some critical real-time systems (Pentium bug, Ariane lance rocket), which have caused life and billion dollars loss, computer aided formal methods have been developed and successfully applied ...

Maude is, a powerful formal declarative programming language based on rewriting logic. Because of the reflective characteristic of the rewriting logic, Maude is considered by the scientific community as a universal model ...

Formal verification is the task of proving that a property holds for a model of a design. This paper examines the idea of a Neural Network-based algorithm used to find the set of states that makes a specification valid. ...

In this paper, we propose an efficient Model Checker for the Propositional Temporal Logic denoted by PTL. This logic is hown to be well suited to verify electronic circuits and reactive systems. A typical verification ...

The complexity of decision making in industrial and economic fields is a phenomenon that has become difficult to surmount. This makes the decision maker feel powerless in front of unpredictable, non understandable and ...