Preclinical small animal imaging is an important tool at the disposition of biological researchers. While the range of studies performed by non-invasive preclinical imaging is gre...
Arion-Xenofon Chatziioannou, Nicolas A. Karakatsan...
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
Parametric watermarking is effected by modifying the linear predictor coefficients of speech. In this work, the parameter noise is analyzed when watermarked speech is subjected t...
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
In this article we present a new method to enhance object detection by removing false alarms in a principled way with few parameters. The method models the output of an object cla...