Communications of the ACMOpinion

Artificial Intelligence for Software Engineering: From Probable to Provable

Combining the creativity of artificial intelligence with the rigor of formal specification methods and the power of formal ...
GitHub

Web-Based Emergency Evacuation Route Planner using BFS and Dijkstra's Algorithm

Web-Based Emergency Evacuation Route Planner using BFS and Dijkstra's Algorithm EvacuAid is a web application that simulates route planning in an emergency evacuation scenario. The application models ...
IEEE

Dholes Hunting—A Multi-Local Search Algorithm Using Gradient Approximation and Its Application for Blockchain Consensus Problem

Abstract: This study introduces a brand-new swarm-inspired algorithm dubbed dholes hunting-based optimization (DhoH) based on an animal hunting strategy to solve global optimization problems. The ...
IEEE

A Web-Based E-Commerce Recommender System Using Flask and ML Algorithms

Abstract: In the burgeoning landscape of online retail, effectively guiding users through vast product catalogs is paramount for enhancing user experience and driving sales. This paper details the ...