Web-based Universal Automata Translator — converts between RE, NFA, DFA, CFG, and string sets with live interactive visualization. Built for CS416 Theory of Computing at Future University in Egypt.

K-Paths is a retrieval framework that extracts structured, diverse, and biologically meaningful paths from knowledge graphs (KGs). These extracted paths enables large language models (LLMs) and graph ...

Abstract: During navigation, people may deviate from an already planned path. Possible reasons include traffic congestion, difficulty in following instructions, or personal preferences, as evidenced ...

Abstract: We consider the navigation of surface vessels in an evolving ocean wave field, where the detrimental extreme waves are treated as moving and deforming obstacles. We propose a new ...