Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
Stephen Magill, Josh Berdine, Edmund M. Clarke, By...
— We present in this work a new mechanism based on an innovative hybrid approach for traffic and collision control in wireless ad hoc networks. We combine the well known equatio...
Understanding the relationship between protein structure and its sequence is one of the most important tasks of current bioinformatics research. In this work, recurring protein se...
Wei Zhong, Gulsah Altun, Robert W. Harrison, Phang...
In this paper, we present an integrated system for real-time dose distribution calculation and treatment planning optimisation for brachytherapy of prostate cancer, with a special...
Simon Chatelain, Jean-Philippe Thiran, Valery-Oliv...
Given a multichannel loudspeaker system, the selection of the crossover frequency between the sub-woofer and the satellite speakers is important for accurate (i.e., distortionfree...