Abstract: A unification algorithm is one of the most important parts of a First-Order Logic (FOL) inference engine because it allows for the discovery of substitutions that make two logical ...
Abstract: This paper presents a Field Programmable Gate Arrays (FPGA) implementation of a novel multiple-image encryption algorithm that combines an 8-dimensional (8D) hyperchaotic system, Josephus ...