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

    بحث بسيط

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

    التصفيات

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

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

    • خيارات الفرز:
    • الصلة
    • العنوان تصاعدياً
    • العنوان تنازلياً
    • تاريخ الإصدار تصاعدياً
    • تاريخ النشر تنازلياً
    • النتائج لكل صفحة:
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
    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 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 ...
    Thumbnail

    An approach for constructing complex discriminating surfaces based on Bayesian interference of the maximum entropy 

    El Chakik, Fadi; Shahine, Ahmad; Jaam, Jihad; Hasnah, Ahmad ( Elsevier Inc. , 2003 , Article)
    In this paper we present a comprehensive Maximum Entropy (MaxEnt) procedure for the classification tasks. This MaxEnt is applied successfully to the problem of estimating the probability distribution function (pdf) of a ...
    Thumbnail

    Non-linear simulation of controller for longitudinal control augmentation system of F-16 using numerical approach 

    Rachman, Endri; Jaam, Jihad M.; Hasnah, Ahmad ( Elsevier Inc , 2003 , Article)
    The non-linear simulation of controller for automatic flight control system is an essential part of the complete control design process. After using the linear approach in the design and simulation of the controller (control ...
    Thumbnail

    Preface : Information Sciences 

    Jaoua, Ali; Jaam, Jihad Mohamad; Hasnah, Ahmad; Akbar, Abdulhamid Sadiq ( Elsevier , 2003 , Other)
    In recent years the involvement of Information Technology in business, governments, and education has increased dramatically. More and more research works have been conducted in different areas of Information Technology such ...
    Thumbnail

    A multi-level conceptual data reduction approach based on the Lukasiewicz implication 

    Elloumi, Samir; Jaam, Jihad; Hasnah, Ahmad; Jaoua, Ali; Nafkha, Ibtissem ( Elsevier Science Inc , 2003 , Article)
    Starting from fuzzy binary data represented as tables in the fuzzy relational database, in this paper, we use fuzzy formal concept analysis to reduce the tables size to only keep the minimal rows in each table, without ...

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

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

     

     

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

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

    تصفح

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

    حسابي

    تسجيل الدخول

    اكتشف

    المؤلف
    • Hasnah, Ahmad (7)
    • Jaam, Jihad Mohamad (4) Rebaiaia, Mohamed Larbi (3) Benmohamed, Mohamed (2) ... عرض المزيد
    النوع
      Article (3) Conference (3) Other (1)
    الموضوع
      Rewriting logic (2) Simulation (2) Temporal logic (2) Verification (2) ... عرض المزيد
    تاريخ النشر
    • 2003 (7)
    Accessioned Date
      2020 - 2024 (3) 2009 - 2009 (4)
    يحتوي على ملفات
      لا (6) نعم (1)

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

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

    المساعدة

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

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

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