DNA based transposon vectors offer a mechanism for non-viral gene delivery into mamma‐ lian and human cells. These vectors work via a cut-and-paste mechanim whereby transpo‐ son DNA containing a transgene(s) of interest is integrated into chromosomal DNA by a transposase enzyme. The first DNA based transposon system which worked efficienty in human cells was sleeping beauty. This was followed a...

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...