Three-dimensional sonography (3D US) provides completely new modalities of sonographic scanning including coronar section imaging, three-dimensional reconstruction, volumetric calculations and angio-mode. Improved visualization rate, depiction of spatial relationship, "sculpture like" plastic imaging and volume measurement are the main benefits of new technology. Acceleration in scanning and re...

Boolean equivalence checking is a well established approach for verifying combinational circuits and is on the verge of becoming an integrated part of the design cycle. In [12], we have presented a method for performing automatic error correction in combinational circuits if equivalence checking fails. However, like all other automatic error correction techniques proposed in the past, it cannot...

This is a multidisciplinary paper. It is based on ideas taken from mathematics, physics, economics, engineering, and religion. (A) The paper justifies reincarnation by providing real life examples for three most important kinds of reincarnation. It also shows how some scientists and many ordinary people, of societies all over the world, and for all time have personally experienced, verified the...