معرفة
قاعدة البيانات العربية الرقمية "معرفة"
الرئيسية
الخدمات
معامل التأثير "آرسيف"
المفضلة
اتصل بنا
Language
English
العربية
تسجيل الدخول
بحث
تصفح
All
العنوان
المؤلفين / الأشخاص
المؤسسة
بحث
بحث متقدم
بحث متقدم
محددات البحث
الكل
المستخلص
المؤلفين/ الأشخاص
الدولة
المؤسسة
ردمد / ردمك
الموضوع الرئيسي
رقم السجل
المصدر
قائمة المحتويات
العنوان
الموضوعات
و
أو
ليس
الكل
المستخلص
المؤلفين/ الأشخاص
الدولة
المؤسسة
ردمد / ردمك
الموضوع الرئيسي
رقم السجل
المصدر
قائمة المحتويات
العنوان
الموضوعات
و
أو
ليس
الكل
المستخلص
المؤلفين/ الأشخاص
الدولة
المؤسسة
ردمد / ردمك
الموضوع الرئيسي
رقم السجل
المصدر
قائمة المحتويات
العنوان
الموضوعات
محددات الوثيقة
لها نص كامل
العبارة
تحتوي
مطابقة
أي كلمة
Language
العربية
الفرنسية
الإنجليزية
عدد الصفحات
مساوي
أقل من
أكبر من
الصفحات
نوع الوثيقة
مقالات
كتاب
فصل كتاب
دوريات
أطروحات عالمية
رسائل جامعية
أوراق مؤتمرات
عرض كتاب
تقرير إحصائي
التقارير السنوية
مؤتمر
المكنز
البرامج الأكاديمية والتدريب
الجوائز
المفاهيم و المصطلحات
مؤسسة
سؤال استطلاع
فتاوى
الشهادات التدريب
استطلاعات الرأي العام
القرارات الشرعية
ملف شخص
الحوكمة
النظام الأساسي
تقرير مدققي الحسابات
القوانين و التشريعات
تقارير الشركات
سلسلة كتب
التقارير الربعية
عرض مؤتمر
كتاب جامعي
فصل كتاب جامعي
من
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
1981
1980
1979
1978
1977
1976
1975
1974
1973
1972
1971
1970
1969
1968
1967
1966
1965
1964
1963
1962
1961
1960
إلى
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
1981
1980
1979
1978
1977
1976
1975
1974
1973
1972
1971
1970
1969
1968
1967
1966
1965
1964
1963
1962
1961
1960
تقييد النتائج
التخصصات الرئيسية
هندسة مدنية
(5)
الرياضيات
(4)
نوع البيانات
مقالات
(12)
اللغة
الإنجليزية
(12)
الدولة
مصر
(12)
المصدر
Mathematical Problems in Engineering
(5)
Journal of Applied Mathematics
(4)
الفترة:
نتائج البحث
(
1
-
12
من
12
)
الصلة
تاريخ النشر تصاعدي
تاريخ النشر تنازلي
العنوان تصاعدي
العنوان تنازلي
المؤلف تصاعدي
المؤلف تنازلي
مقالات
SoftME: A Software-Based Memory Protection Approach for TEE System to Resist Physical Attacks
By: Zhang, Meiyu; Zhang, Qianying; Shi, Zhiping…[et al.]. Security and Communication Networks. No. 2019 (2019), pp.1-12, 12 p.
مقالات
Thoracic Organ Doses and Cancer Risk from Low Pitch Helical 4-Dimensional Computed Tomography Scans
By: Yang, Chengwen; Fang, Yujiang; Feng, Yuanming…[et al.]. BioMed Research International. No. 2018 (2018), pp.1-6, 6 p.
مقالات
The Formalization of Discrete Fourier Transform in HOL
By: Shi, Zhiping; Guan, Yong; Zhang, Jie…[et al.]. Mathematical Problems in Engineering. No. 2015 (2015), pp.1-8, 8 p.
مقالات
Formal Kinematic Analysis of a General 6R Manipulator Using the Screw Theory
By: Shi, Zhiping; Guan, Yong; Zhang, Jie…[et al.]. Mathematical Problems in Engineering. No. 2015 (2015), pp.1-7, 7 p.
مقالات
Modeling and Analysis of the Obstacle-Avoidance Strategies for a Mobile Robot in a Dynamic Environment
By: Wang, Rui; Thulasiraman, Krishnaiyan; Li, Xiaojuan…[et al.]. Mathematical Problems in Engineering. No. 2015 (2015), pp.1-11, 11 p.
مقالات
Anomaly Detection and Degradation Prediction of MOSFET
By: Wu, Lifeng; Guan, Yong; Li, Gang…[et al.]. Mathematical Problems in Engineering. No. 2015 (2015), pp.1-5, 5 p.
مقالات
Formalization of Function Matrix Theory in HOL
By: Guan, Yong; Ye, Shiwei; Zhang, Jie…[et al.]. Journal of Applied Mathematics. No. 2014 (2014), pp.1-10, 10 p.
مقالات
Analysis of the Degradation of MOSFETs in Switching Mode Power Supply by Characterizing Source Oscillator Signals
By: Zheng, Xueyan; Wu, Lifeng; He, Xiao…[et al.]. Mathematical Problems in Engineering. No. 2013 (2013), pp.1-7, 7 p.
مقالات
Optimal Partial Reconfiguration for Permanent Fault Recovery on SRAM-Based FPGAs in Space Mission
By: Zhang, Jie; Mao, Chunjing; Wei, Hongxing…[et al.]. Advances in Mechanical Engineering. No. 2013 (2013), pp.1-10, 10 p.
مقالات
The Gauge Integral Theory in HOL4
By: Ye, Shiwei; Zhang, Jie; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-7, 7 p.
مقالات
Formalization of Linear Space Theory in the Higher-Order Logic Proving System
By: Zhang, Jie; Mao, Danwen; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-6, 6 p.
مقالات
Component-Based Formal Modeling of PLC Systems
By: Wang, Rui; Li, Xiaojuan; Zhang, Jie…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-9, 9 p.