Title	Formal Verification of Twin Clutch Gear Control System
Author	Muhammad Zaman, Amina Mahmood, Muhammad Atif, Muhammad Adnan Hashmi, Muhammad Kashif, Mudassar Naseer
Citation	Vol. 24  No. 3  pp. 151-159
Keywords	Formal Specification, Gear Control System, Requirement Verification, Model-checking.

Title	Injection of Cultural-based Subjects into Stable Diffusion Image Generative Model
Author	Amirah Alharbi, Reem Alluhibi, Maryam Saif, Altalhi, Alharthi
Citation	Vol. 24  No. 2  pp. 1-14
Keywords	Generative model; Diffusion model; Bias; Saudi culture; text-to-image

Title	Analysis and study of Deep Reinforcement Learning based Resource Allocation for Renewable Powered 5G Ultra-Dense Networks
Author	Hamza Ali Alshawabkeh
Citation	Vol. 24  No. 1  pp. 226-234
Keywords	IoT Networks, Accuracy, Satellite-BS, Communication Model, Congestion Control, Deep Reinforcement Learning, 5G/6G Technology, Broadband Wireless.

Title	Data Analysis of Coronavirus CoVID-19: Study of Spread and Vaccination in European Countries
Author	Hela Turki and Kais Khrouf
Citation	Vol. 24  No. 1  pp. 156-162
Keywords	Multidimensional Model, Constellation Schema, Coronavirus Covid-19, Vaccination, European Countries.