Title	Formal Analysis of Distributed Shared Memory Algorithms
Author	Muhammad Atif, Muhammad Adnan Hashmi, Mudassar Naseer, and Ahmad Salman Khan
Citation	Vol. 24  No. 4  pp. 192-196
Keywords	Virtual memory, Distributed Algorithm, Formal Specification, Verification.

Title	A DDoS attack Mitigation in IoT Communications Using Machine Learning
Author	Hailye Tekleselase
Citation	Vol. 24  No. 4  pp. 170-178
Keywords	Distributed denial of Service; wireless networks; Machine Learning Algorithms; Transmission Control Protocol; CNN; network security

Title	Term Frequency-Inverse Document Frequency (TF-IDF) Technique Using Principal Component Analysis (PCA) with Naive Bayes Classification
Author	J.Uma and Dr.K.Prabha
Citation	Vol. 24  No. 4  pp. 113-118
Keywords	Feature Extraction, Term Frequency-Inverse Document Frequency, Principal Component Analysis, Na?ve Bayes Classification Algorithm.

Title	Optimization of the Travelling Salesman Problem Using a New Hybrid Genetic Algorithm
Author	Zakir Hussain Ahmed, Furat Fahad Altukhaim, Abdul Khader Jilani Saudagar, and Shakir Khan
Citation	Vol. 24  No. 3  pp. 12-22
Keywords	Travelling salesman problem; Hybrid genetic algorithm; Comprehensive sequential constructive crossover; Adaptive mutation; Local search; Replacement method.