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

Model-Driven Software Engineering Techniques · Recycled Aggregate Concrete Performance · Logic, programming, and type systems · Formal Methods in Verification · Materials Engineering and Processing

COVID-19 diagnosis using AI · AI in cancer detection · Vehicle Routing Optimization Methods · Advanced Neural Network Applications · Handwritten Text Recognition Techniques

Model-Driven Software Engineering Techniques · Formal Methods in Verification · Petri Nets in System Modeling · Digital Mental Health Interventions · Logic, programming, and type systems

Machine Learning in Healthcare · Artificial Intelligence in Healthcare · Context-Aware Activity Recognition Systems · Anomaly Detection Techniques and Applications · Advanced Graph Neural Networks

Model-Driven Software Engineering Techniques · Logic, programming, and type systems · Formal Methods in Verification · Safety Systems Engineering in Autonomy · Access Control and Trust

Handwritten Text Recognition Techniques · Distributed Control Multi-Agent Systems · Advanced Neural Network Applications · Vehicle License Plate Recognition · Multi-Agent Systems and Negotiation

Model-Driven Software Engineering Techniques · Safety Systems Engineering in Autonomy · Formal Methods in Verification