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

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

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

مسعود عباس

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

منير بقاص

أستاذ التعليم العالي — كلية العلوم الدقيقة
Advanced Steganography and Watermarking Techniques · Chaos-based Image/Signal Encryption · Network Security and Intrusion Detection · Digital Media Forensic Detection · Computer Science and Engineering
18
مُخرَج

Mohammed Elhabib Kahla

كلية العلوم الدقيقة
Advanced Steganography and Watermarking Techniques · Chaos-based Image/Signal Encryption · Digital Media Forensic Detection · Computer Science and Engineering · Advanced Clustering Algorithms Research
7
مُخرَج

سناء السحر قيه

أستاذ محاضر قسم ب — كلية العلوم الدقيقة
COVID-19 diagnosis using AI · AI in cancer detection · Vehicle Routing Optimization Methods · Advanced Neural Network Applications · Handwritten Text Recognition Techniques
8
مُخرَج

عمار بوشريط

أستاذ محاضر قسم أ — كلية العلوم الدقيقة
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
مُخرَج

Mostafa Kara

كلية العلوم الدقيقة
Handwritten Text Recognition Techniques · Distributed Control Multi-Agent Systems · Advanced Neural Network Applications · Vehicle License Plate Recognition · Multi-Agent Systems and Negotiation
2
مُخرَج

Hessa Alfraihi

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