This paper presents a case study of numerical simulations in an easy-to-use matrix computation framework named Simple Interface for Library Collections (SILC), which allows users t...
There is great interest in the application of nanotechnology to medicine, but concerns for safety are paramount. We present a modelling technique based on CSP and B as a starting ...
Steve Schneider, Helen Treharne, Ana Cavalcanti, J...
— This paper describes the measurement of inner deformation of a rheological object using ultrasonic and MR images and comparison the measured and simulated deformations. We appl...
Bone dissection is an important component of many surgical procedures. In this paper, we discuss adaptive techniques for providing real-time haptic and visual feedback during a vi...
Marco Agus, Andrea Giachetti, Enrico Gobbetti, Gia...
The OMNeT++ discrete event simulation environment has been publicly available since 1997. It has been created with the simulation of communication networks, multiprocessors and ot...