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

The correlation analysis of risk features. (A) Shows the score, clinical features, and radiomic sankey diagram showed LVI, group, survival status patients (B). By Chen W. et al. (1165–1178).

Cosmic dust extinction alters the flux of type Ia supernovae. Inhomogeneities in the dust distribution induce correlated fluctuations of the SN fluxes. We find that such correlation can be up to 60% of the signal caused by gravitational lensing magnification, with an opposite sign. Therefore if not corrected, cosmic dust extinction is the dominant source of systematic uncertainty for future SNe...

It is well-known that no knot can be cancelled in a connected sum with another knot, whereas every link up to link homotopy can be cancelled in a (componentwise) connected sum with another link. In this paper we address the question whether some form of the ‘complexity accumulation’ property of knots holds for (piecewiselinear) links up to some stronger analogue of link homotopy, which still do...

Non-reductive interventionist theories of causation and methodologies of causal reasoning embedded in that theoretical framework have become increasingly popular in recent years. This paper argues that one variant of an interventionist account of causation, viz. the one presented, for example, in Woodward (2003), is unsuited as theoretical fundament of interventionist methodologies of causal re...

because of high strength to weight ratio, 6061 aluminum has many applications in different industries like automotive and aerospace industries and can help to reduction of fuel consumption. forming limit diagram (fld) is a useful method for sheet metal formability identification. whereas calculation of forming limit diagram by experimental tests is expensive and time consumption, in the present...

Moment invariants have been widely introduced in recognizing planar objects for a few decades. This is due the robustness of moment function in distinguishing the original identity of object under various two Dimensional (2D) transformations. A set of moments computed from a planar images, represents the global description of an object’s shape and geometrical features of an image. Since global ...

This paper shows that the six classes of PPTs can be put into two groups. Autocorrelation and cross-correlation functions of the six classes derived from the gaps between each class type have been computed. It is shown that Classes A and D (in which the largest term is divisible by 5) are different from the other four classes in their randomness properties if they are ordered by the largest ter...

We study a three-state stochastic particle system on the square lattice, which extends the contact process. The phase diagram is analyzed by the mean-field approximation, the pair approximation, and numerics. The pair approximation turns out to be better than the meanfield ansatz. We also show that the Harris-FKG type correlation inequalities approximately hold in the present model.