We investigate the regularization of Moore's singularities by surface tension in the evolution of vortex sheets and its dependence on Weber number (which is inversely proport...
Checkpointing is a commonly used approach to provide system fault-tolerance. However, using a constant checkpointing frequency may compromise the system's overall performance ...
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
Abstract. The spectrotemporal receptive field (STRF) is a functional descriptor of the linear processing of timevarying acoustic spectra by the auditory system. By cross-correlatin...
David J. Klein, Didier A. Depireux, Jonathan Z. Si...
This paper presents a method that uses the level sets of volumes to reconstruct the shapes of 3D objects from range data. The strategy is to formulate 3D reconstruction as a stati...