تخطَّ إلى المحتوى
جامعة الشهيد حمه لخضر — الواديبوابة البحث العلمي
مخبر الذكاء الاصطناعي وتطبيقاته
مخبر بحث · LAB-E0762200

مخبر الذكاء الاصطناعي وتطبيقاته

45
الباحثين
109
المُخرَجات
8 نتيجة
Abdelkader Laouid

عبد القادر لعويد

أستاذ التعليم العالي — كلية العلوم الدقيقة
Cryptography and Data Security · Advanced Steganography and Watermarking Techniques · Blockchain Technology Applications and Security · Energy Efficient Wireless Sensor Networks · Chaos-based Image/Signal Encryption
96
مُخرَج

الساسي مديلح

أستاذ محاضر قسم أ — كلية العلوم الدقيقة
Cryptography and Data Security · Network Time Synchronization Technologies · Web Application Security Vulnerabilities · Cryptographic Implementations and Security · Software-Defined Networks and 5G
8
مُخرَج

مسعود عباس

أستاذ التعليم العالي — كلية العلوم الدقيقة
Model-Driven Software Engineering Techniques · Recycled Aggregate Concrete Performance · Logic, programming, and type systems · Formal Methods in Verification · Materials Engineering and Processing
17
مُخرَج

اسماعيل كرثيو

أستاذ محاضر قسم أ — كلية العلوم الدقيقة
Energy Efficient Wireless Sensor Networks · Security in Wireless Sensor Networks · Network Time Synchronization Technologies · Blockchain Technology Applications and Security · Distributed systems and fault tolerance
5
مُخرَج

Ahcène Bounceur

كلية العلوم الدقيقة
Cloud Data Security Solutions · Cryptography and Data Security · Internet of Things and AI · Energy Efficient Wireless Sensor Networks · Security in Wireless Sensor Networks
2
مُخرَج

عمار بوشريط

أستاذ محاضر قسم أ — كلية العلوم الدقيقة
Model-Driven Software Engineering Techniques · Formal Methods in Verification · Petri Nets in System Modeling · Digital Mental Health Interventions · Logic, programming, and type systems
8
مُخرَج

Fatima Haloua

كلية العلوم الدقيقة
Model-Driven Software Engineering Techniques · Logic, programming, and type systems · Formal Methods in Verification · Safety Systems Engineering in Autonomy · Access Control and Trust
3
مُخرَج

Hessa Alfraihi

كلية العلوم الدقيقة
Model-Driven Software Engineering Techniques · Safety Systems Engineering in Autonomy · Formal Methods in Verification
1
مُخرَج