An Ordered Binary Decision Diagram (OBDD) is a data structure that is used in an increasing number of fields of Computer Science (e.g., logic synthesis, program verification, data mining, bioinformatics, and data protection) for representing and manipulating discrete structures and Boolean functions. The purpose of this paper is to study the error resilience of OBDDs and to design a resilient v...

Abstract Using Planck polarization data, we search for and constrain spatial variations of the polarized dust foreground cosmic microwave background (CMB) observations, specifically in its spectral index, β d . Failure to account such will cause errors cleaning that propagate into on cosmological parameter recovery from cleaned CMB map. It is unclear how robust prior studies data constrained ar...

Over the past decade, studies of dust in Andromeda galaxy (M31) have shown radial variations emissivity index ($\beta$). Understanding astrophysical reasons behind these may give clues about chemical composition grains, their physical structure, and evolution dust. We use $^{12}$CO(J=1-0) observations taken by Combined Array for Research Millimeter Astronomy (CARMA) maps derived from \textit{He...

ÐThe Massey-Omura multiplier of GF …2m† uses a normal basis and its bit parallel version is usually implemented using m identical combinational logic blocks whose inputs are cyclically shifted from one another. In the past, it was shown that, for a class of finite fields defined by irreducible all-one polynomials, the parallel Massey-Omura multiplier had redundancy and a modified architecture o...