binary decision diagram (bdd) is a data structure proved to be compact in representation and efficient in manipulation of boolean formulas. using binary decision diagram in network reliability analysis has already been investigated by some researchers. in this paper we show how an exact algorithm for network reliability can be improved and implemented efficiently by using cudd - colorado univer...

in this paper, we consider an arbitrary binary polynomial sequence {a_n} and then give a lower triangular matrix representation of this sequence. as main result, we obtain a factorization of the innite generalized pascal matrix in terms of this new matrix, using a riordan group approach. further some interesting results and applications are derived.

almcm-41 was applied for adsorption of methylene blue (mb) and auramine (au) in single and binary component systems. in the single component systems, almcm-41 represents higher adsorption capacity for mb than au with the maximal adsorption capacity of 2.07×10−4 and 1.15×10−4 mol/g at 25 ˚c for mb and au, respectively. in the binary component system, mb and au exhibit competitive adsorption onto...

in this study, the densities, excess molar volumes and partial molar volumes of four binary systems containing n,n-dimethyl acetamide (dmac) with 1-alkanols (1-butanol up to 1-heptanol) are measured at 298.15 k. the results showed both constructive and expansive excess volumetric behavior for studying binary mixtures. deviation values of heavy alcohol have more positive and less negative excess...

‎let $g$ be a graph with vertex set $v(g)$ and edge set $x(g)$ and consider the set $a={0,1}$‎. ‎a mapping $l:v(g)longrightarrow a$ is called binary vertex labeling of $g$ and $l(v)$ is called the label of the vertex $v$ under $l$‎. ‎in this paper we introduce a new kind of graph energy for the binary labeled graph‎, ‎the labeled graph energy $e_{l}(g)$‎. ‎it depends on the underlying graph $g$...

in interventional or observational longitudinal studies, the issue of missing values is one of the main concepts that should be investigated. the researcher's main concerns are the impact of missing data on the final results of the study and the appropriate methods that missing values should be handled. regarding the role and the scale of the variable that missing values have been occurred and ...

objective(s): the aim of this work was to investigate the effect of the natural and the chemically modified form of cyclodextrins namely; β-cyclodextrin (β-cd) and hydroxypropyl-β-cyclodextrin (hp-β-cd) respectively on the solubility and dissolution rate of aripiprazole; an antipsychotic medication showing poor aqueous solubility.   materials and methods: phase solubility of aripiprazole with t...

in this paper, a new method is introduced for improving the efficiency of the residue number system, which uses both binary and residue representations in order to represent a number. a residue number system uses the remainder of the division in several different modules. conversion of a number to smaller ones and carrying out parallel calculations on these numbers greatly increase the speed of...

It is well-known that, given inorder traversal along with one of the preorder or postorder traversals of a binary tree, the tree can be determined uniquely. Several algorithms have been proposed to reconstruct a binary tree from its inorder and preorder traversals. There is one study to reconstruct a binary tree from its inorder and postorder traversals, and this algorithm takes running time of...

We present new links between some remarkable martingales found in the study of the Binary Search Tree or of the bisection problem, looking at them on the probability space of a continuous time binary branching process.