• English
    • العربية
  • English
  • تسجيل الدخول
  • جامعة قطر
  • مكتبة جامعة قطر
  •  الصفحة الرئيسية
  • الوحدات والمجموعات
  • المساعدة
    • إرسال الأعمال الأكاديمية
    • سياسات الناشر
    • أدلة المستخدم
    • الأسئلة الأكثر تكراراً
  • عن المستودع الرقمي
    • الرؤية والرسالة
بحث بسيط 
  •   مركز المجموعات الرقمية لجامعة قطر
  • المستودع الرقمي لجامعة قطر
  • أكاديمية
  • مساهمة أعضاء هيئة التدريس
  • بحث بسيط
  • مركز المجموعات الرقمية لجامعة قطر
  • المستودع الرقمي لجامعة قطر
  • أكاديمية
  • مساهمة أعضاء هيئة التدريس
  • بحث بسيط
  •      
  •  
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    بحث بسيط

    إظهار التصفية المتقدمةإخفاء التصفية المتقدمة

    التصفيات

    استخدم التصفيات لتنقيح نتائج البحث .

    السجلات المعروضة 1 -- 10 من 34

    • خيارات الفرز:
    • الصلة
    • العنوان تصاعدياً
    • العنوان تنازلياً
    • تاريخ الإصدار تصاعدياً
    • تاريخ النشر تنازلياً
    • النتائج لكل صفحة:
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
    Thumbnail

    Complications of Diabetes Mellitus Among Patients Attending Outpatient Clinics in Qatar 

    Zirie, M. A.; Yousef, M. F.; Al Mashaly, A. ( 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 ...
    Thumbnail

    End-to-end performance of transmission systems with relays over Rayleigh-fading channels 

    Hasna , Mazen; Alouini M.-S. ( 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 ...
    Thumbnail

    Average ber of multihop communication systems over fading channels 

    Hasna , Mazen ( 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 ...
    Thumbnail

    Digital control for UPS inverters 

    Ben-Brahim, Lazhar; Yokoyama, Tomoki; Kawamura, Atsuo ( 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 ...
    Thumbnail

    A new iterative learning control method for PWM inverter current regulation 

    Ben-Brahim, Lazhar; Benammar, Mohieddine; Alhamadi, Mohd A. ( 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 ...
    Thumbnail

    A toolset for the specification and verification of embedded systems 

    Rebaiaia, Mohamed Larbi; Jaam, Jihad Mohamad; Benmohamed, Mohamed; Hasnah, Ahmad ( 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 ...
    Thumbnail

    A rewriting logic-based computation and deduction approach to avoid reactive system malfunctions 

    Rebaiaia, Mohamed Larbi; Jaam, Jihad Mohamad; Benmohamed, Mohamed; Hasnah, Ahmad ( 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 ...
    Thumbnail

    A neural network algorithm for hardware-software verification 

    Rebaiaia, M.L.; Jaam, J.M.; Hasnah, A.M. ( 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. ...
    Thumbnail

    An efficient model checker based on theaxiomatization of Propositional Temporal Logic in rewriting logic 

    Rebaiaia, M.L.; Jaam, J.M.; Hasnah, A.M. ( 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 ...
    Thumbnail

    A decision support system based on ranking methods 

    Rebaiaia, Mohamed Larbi; Jaam, Jihad Mohamad; Hasnah, Ahmad ( 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 ...
    • 1
    • 2
    • 3
    • 4

    مركز المجموعات الرقمية لجامعة قطر هو مكتبة رقمية تديرها مكتبة جامعة قطر بدعم من إدارة تقنية المعلومات

    اتصل بنا | ارسل ملاحظاتك
    اتصل بنا | ارسل ملاحظاتك | جامعة قطر

     

     

    الصفحة الرئيسية

    أرسل عملك التابع لجامعة قطر

    تصفح

    محتويات مركز المجموعات الرقمية
      الوحدات والمجموعات تاريخ النشر المؤلف العناوين الموضوع النوع اللغة الناشر
    هذه الوحدة
      تاريخ النشر المؤلف العناوين الموضوع النوع اللغة الناشر

    حسابي

    تسجيل الدخول

    اكتشف

    المؤلف
      Hasnah, Ahmad (7) El-Hawary, M.E. (4) Jaam, Jihad Mohamad (4) Soliman, S.A. (4) ... عرض المزيد
    النوع
      Article (21) Conference (12) Other (1)
    الموضوع
      Polymers (3) Arabian Gulf (2) Bit error rate (2) Communication systems (2) ... عرض المزيد
    تاريخ النشر
    • 2003 (34)
    Accessioned Date
      2020 - 2024 (22) 2010 - 2019 (6) 2009 - 2009 (6)
    يحتوي على ملفات
      لا (28) نعم (6)

    عن المستودع الرقمي

    الرؤية والرسالة

    المساعدة

    إرسال الأعمال الأكاديميةسياسات الناشرأدلة المستخدمالأسئلة الأكثر تكراراً

    مركز المجموعات الرقمية لجامعة قطر هو مكتبة رقمية تديرها مكتبة جامعة قطر بدعم من إدارة تقنية المعلومات

    اتصل بنا | ارسل ملاحظاتك
    اتصل بنا | ارسل ملاحظاتك | جامعة قطر