20 citations · 20 across the 1 of their papers we have counts for
4 papers
Minimizing the Number of Teleportations in Distributed Quantum Computing Using Alloy
Ali Ebnenasir, Kieran Young
This paper presents a novel approach for minimizing the number of teleportations in Distributed Quantum Computing (DQC) using formal methods. Quantum teleportation plays a major ro…
Specifying and Verifying the Convergence Stairs of the Collatz Program
Ali Ebnenasir
This paper presents an algorithmic method that, given a positive integer , generates the -th convergence stair containing all natural numbers from where the Collatz conjectur…
BCM-Broadcast: A Byzantine-Tolerant Causal Broadcast Algorithm for Distributed Mobile Systems
Leila NamvariTazehkand, Saied Pashazadeh, Ali Ebnenasir
This paper presents an algorithm, called BCM-Broadcast, for the implementation of causal broadcast in distributed mobile systems in the presence of Byzantine failures. The BCM-Broa…
Modular Grammatical Evolution for the Generation of Artificial Neural Networks
Khabat Soltanian, Ali Ebnenasir, Mohsen Afsharchi
This paper presents a novel method, called Modular Grammatical Evolution (MGE), towards validating the hypothesis that restricting the solution space of NeuroEvolution to modular a…