Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
This paper presents an immersive virtual environment which allows the user to virtually explore and experience special relativity, including phenomena such as Lorentz contraction,...
Intracoronary UltraSound (IVUS) imaging allows to obtain high resolution images of internal part of coronary arteries. This tool is unique in the possibility to explore internal ve...
Carlo Gatta, Oriol Pujol, Oriol Rodriguez-Leor, ...
—Electromechanical wave imaging (EWI) has recently been introduced as a noninvasive, ultrasound-based imaging modality, which could map the electrical activation of the heart in ...
Jean Provost, Wei-Ning Lee, Kana Fujikura, Elisa E...
We present a time-lapse collection and reconstruction technique that allows following embryonic heart development at any computationally halted heart contraction state. The centra...