Large-scale global optimization (LSGO) is a very important and challenging task in optimization domain, which is embedded in many scientific and engineering applications. In this p...
We present a new combinational verification technique where the functional specification of a circuit under verification is utilized to simplify the verification task. The main id...
Evguenii I. Goldberg, Yuji Kukimoto, Robert K. Bra...
: Transformation functions utilizing the global information content of an input image have been long serving contrast enhancement by stretching the dynamic range of intensity level...
Md. Hasanul Kabir, Mohammad Abdullah-Al-Wadud, Oks...
The quality of a 3D volume visualization heavily depends on a representative transfer function which is responsible for mapping the original density values to color and opacity. F...
Bernhard Reitinger, Christopher Zach, Alexander Bo...
Abstract— We relax the monotonicity requirement of Lyapunov’s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two...