Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
Background: Combining data from different ethnic populations in a study can increase efficacy of methods designed to identify expression quantitative trait loci (eQTL) compared to...
Direct volume rendering of scalar fields uses a transfer function to map locally measured data properties to opacities and colors. The domain of the transfer function is typicall...
Gordon L. Kindlmann, Ross T. Whitaker, Tolga Tasdi...
—This paper addresses the sampling jitter estimation and cancellation task in direct RF sub-sampling type radios. The proposed jitter estimation method is based on carefully inje...
Interactive direct visualization of 3D data requires fast update rates and the ability to extract regions of interest from the surrounding data. We have implemented MultiValued Cl...
Terry S. Yoo, Ulrich Neumann, Henry Fuchs, Stephen...