Studies of myocardial motion using magnetic resonance imaging usually require multiple breath holds and several methods have been proposed in order to reduce the scan time. Rapid i...
Andreas Sigfridsson, Mats T. Andersson, Lars Wigst...
In this paper, we propose a unified framework for computing atlases from manually labeled data at various degrees of "sharpness" and the joint registration-segmentation o...
B. T. Thomas Yeo, Mert R. Sabuncu, Rahul Desikan, ...
Segmentation and tracking of cells in fluorescence microscopy image sequences is an important task in many biological studies into cell migration as well as intracellular dynamics...
Oleh Dzyubachyk, Wiro J. Niessen, Erik H. W. Meije...
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
—Significant research has been done on recognizing the daily activities using acceleration data but few works have focused on classifying the movements comprising an activity du...