Introduction: The phase contrast principle (PC) can be employed to measure flow acceleration by using acceleration sensitive encoding gradients. The direct assessment of regional acceleration can provide valuable information regarding changes in timing (temporal acceleration) and direction (convective acceleration) of flow. Although acceleration data may be estimated from velocity encoded image...

Background: Various variance reduction techniques such as forced detection (FD) have been implemented in Monte Carlo (MC) simulation of nuclear medicine in an effort to decrease the simulation time while keeping accuracy. However most of these techniques still result in very long MC simulation times for being implemented into routine use. Materials and Methods: Convolution-based force...

This paper presents a generic technique for acceleration of ray tracing of polygonal scenes. We propose scheduling rays in a way that forms pyramidal shafts. We show that under certain conditions fulfilled by the corner rays of a shaft, it is possible to immediately and conservatively answer visibility queries for the inner rays without expensive ray traversal through acceleration data structur...

Introduction: Assessment of myocardial perfusion by dynamic contrast enhanced MRI (DCE-MRI) is still an evolving technique and is yet to become a part of standard diagnostic assessment of patients with coronary heart disease (CHD). Despite its advantages over other tomographic methods, the transition of DCE-MRI from a promising research technique into a robust clinical tool has been impeded by ...

This paper presents a new identification technique combining the advantages of artificial neural network (ANN) and genetic algorithm (GA). In order to provide a neural network topology that can be merged into the GA identification technique developed by the author, the time history of the ground acceleration and the system parameters of a variety of SDOF systems are used as the input data of ne...

background: various variance reduction techniques such as forced detection (fd) have been implemented in monte carlo (mc) simulation of nuclear medicine in an effort to decrease the simulation time while keeping accuracy. however most of these techniques still result in very long mc simulation times for being implemented into routine use. materials and methods: convolution-based forced detectio...

ion and Acceleration in SMT-based Model-Checking for Array Programs Francesco Alberti1, Silvio Ghilardi2, Natasha Sharygina1 1 Faculty of Informatics, University of Lugano, Switzerland 2 Università degli Studi di Milano, Milan, Italy Abstract Abstraction (in its various forms) is a powerful established technique in modelchecking; still, when unbounded data-structures are concerned, it cannot al...