31 search results - page 5 / 7 » Framing contingencies in contracts |
AMAST
2008
Springer
13 years 10 months ago
2008
Springer
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...
WSCG
2000
13 years 10 months ago
2000
This paper presents an immersive virtual environment which allows the user to virtually explore and experience special relativity, including phenomena such as Lorentz contraction,...
MICCAI
2008
Springer
14 years 9 months ago
2008
Springer
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...
TMI
2010
13 years 6 months ago
2010
—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 ...
ISBI
2008
IEEE
14 years 9 months ago
2008
IEEE
We present a time-lapse collection and reconstruction technique that allows following embryonic heart development at any computationally halted heart contraction state. The centra...