Search
Now showing items 1-10 of 122
Complications of Diabetes Mellitus Among Patients Attending Outpatient Clinics in Qatar
(
Hamad bin Khalifa University Press (HBKU Press)
, 2003 , Article)
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 transmission systems with relays over Rayleigh-fading channels
(
IEEE
, 2003 , Article)
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 ...
Average ber of multihop communication systems over fading channels
(
IEEE
, 2003 , Conference)
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 ...
Digital control for UPS inverters
(
IEEE
, 2003 , Conference)
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 ...
A new iterative learning control method for PWM inverter current regulation
(
IEEE
, 2003 , Conference)
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 ...
A toolset for the specification and verification of embedded systems
(
IEEE
, 2003 , Conference)
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 ...
A rewriting logic-based computation and deduction approach to avoid reactive system malfunctions
(
IEEE
, 2003 , Conference)
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 ...
A neural network algorithm for hardware-software verification
(
IEEE
, 2003 , Conference)
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. ...
An efficient model checker based on theaxiomatization of Propositional Temporal Logic in rewriting logic
(
IEEE
, 2003 , Conference)
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 ...
A decision support system based on ranking methods
(
IEEE
, 2003 , Conference)
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 ...