Skip to content
A

Ali Muhammad Ali Rushdi

Publications (8)

Recursively-Defined Combinatorial Functions: The Case of Binomial and Multinomial Coefficients and Probabilities

Ali Muhammad Ali Rushdi & Mohamed AbdulRahman Al-Amoudi · Journal of Advances in Mathematics and Computer Science · 2018

This paper studies a prominent class of recursively-defined combinatorial functions, namely, the binomial and multinomial coefficients and probabilities. The paper reviews the basic notions and mathematical definitions of these four functions. Subsequently, it characterizes each...

Open access Research Article 10.9734/JAMCS/2018/42137

An Exposition of the Eight Basic Measures in Diagnostic Testing Using Several Pedagogical Tools

Ali Muhammad Ali Rushdi & Fayez Ahmad Talmees · Journal of Advances in Mathematics and Computer Science · 2018

Diagnostic testing concerning categorical or dichotomized variables is ubiquitous in many fields including, in particular, the field of clinical or epidemiological testing. Typically, results are aggregated in two-by-two contingency-table format, from which a surprisingly huge nu...

Open access Research Article 10.9734/JAMCS/2018/39367

Design of a Digital Circuit for Integer Factorization via Solving the Inverse Problem of Logic

Ali Muhammad Ali Rushdi & Sultan Sameer Zagzoog · Journal of Advances in Mathematics and Computer Science · 2018

In standard problems of digital circuit design, a switching function (two-valued Boolean function) is specified declaratively as a (usually incomplete) asserted relation R(X,Z), or equivalently as an equation R(X,Z) = 1, where X and Z are inputs and outputs, respectively. To obta...

Open access Research Article 10.9734/JAMCS/2018/39285

A Novel Method for Compact Listing of All Particular Solutions of a System of Boolean Equations

Ali Muhammad Ali Rushdi & Waleed Ahmad · Journal of Advances in Mathematics and Computer Science · 2017

Any system of ‘big’ Boolean equations can be reduced to a single Boolean equation {g(Z) = 1} . We propose a novel method for producing a general parametric solution for such a Boolean equation without attempting to minimize the number of parameters used, but instead using indepen...

Open access Research Article 10.9734/BJMCS/2017/33884

Computation of k-out-of-n System Reliability via Reduced Ordered Binary Decision Diagrams

Ali Muhammad Ali Rushdi & Alaa Mohammad Alturki · Journal of Advances in Mathematics and Computer Science · 2017

A prominent reliability model is that of the partially-redundant (k-out-of-n) system. We use algebraic as well as signal-flow-graph methods to explore and expose the AR algorithm for computing k-out-of-n reliability. We demonstrate that the AR algorithm is, in fact, both a recurs...

Open access Research Article 10.9734/BJMCS/2017/33642

An Application of Reliability-analysis Techniques in Project Management

Ali Muhammad Ali Rushdi & Alaa Mohammad Alturki · Journal of Advances in Mathematics and Computer Science · 2017

This paper handles a prominent problem of project management, namely that of project scheduling under uncertainty. The paper models this problem as a vector-weighted voting system and expresses the indicator variable for the successful (on-time) completion of project activities a...

Open access Research Article 10.9734/BJMCS/2017/33161

Calculation of Banzhaf Voting Indices Utilizing Variable-Entered Karnaugh Maps

Ali Muhammad Ali Rushdi & Omar Mohammed Ba-Rukab · Journal of Advances in Mathematics and Computer Science · 2017

This paper is a tutorial exposition on how to translate concepts of voting systems to the Boolean domain, and consequently on how to use Boolean tools in the computation of a prominent index of voting powers, viz., the Banzhaf voting index. We discuss Boolean representations for...

Open access Research Article 10.9734/BJMCS/2017/31191

An ROBDD Algorithm for the Reliability of Double-Threshold Systems

Ali Muhammad Ali Rushdi & Hasan Ahmed Bjaili · Journal of Advances in Mathematics and Computer Science · 2016

A double-threshold system (DTS) is a system that is successful if and only if the weighted arithmetic sum of its successes/failures equals or exceeds a certain threshold T1 and is smaller than or equal to a certain threshold T2. Generally a DTS is neither symmetric nor coherent....

Open access Research Article 10.9734/BJMCS/2016/30264