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...

We describe a new image-space acceleration technique that allows real-time direct volume rendering of large unstructured volumes. Our algorithm operates as a simple post-process and can be used to improve the performance of any existing volume renderer that is sensitive to image size. A joint bilateral upsampling filter allows images to be rendered efficiently at a fraction of their original si...

We demonstrate how to tune the main ion acceleration mechanism in laser-plasma interactions to collisionless shock acceleration, thus achieving control over the final ion beam properties (e. g. maximum energy, divergence, number of accelerated ions). We investigate this technique with three-dimensional particle-in-cell simulations and illustrate a possible experimental realisation. The setup co...

This paper proposes an efficient combination of state likelihood recycling and batch state likelihood calculation for accelerating acoustic likelihood calculation in an HMM-based speech recognizer. Recycling and batch calculation are each based on different technical approaches, i.e. the former is a purely algorithmic technique while the latter fully exploits computer architecture. To accelerat...

The inverse problem of synthetic aperture interferometric radiometers (SAIRs) aims at retrieving the brightness temperature map from visibility function samples. To efficiently obtain an accurate solution, accelerated iterative regularization technique is proposed to reconstruct SAIR map. acceleration modifies conventional least square using a negative penalty term speed up initial iterations. ...

Wireless communications and modern machine learning techniques have jointly been applied in the recent development of vehicle health monitoring (VHM) systems. The performance of rail vehicles running on railway tracks is governed by the dynamic behaviors of railway bogies especially in the cases of lateral instability and track irregularities. In this study we have proposed a system to monitor ...

The Parareal algorithm is used to solve time-dependent problems considering multiple solvers that may work in parallel. The key feature is a initial rough approximation of the solution that is iteratively refined by the parallel solvers. We report a derivation of the Parareal method that uses a convergence acceleration technique to improve the accuracy of the solution. Our approach uses firstly...

The acceleration of an option pricing technique based on Fourier cosine expansions on the graphics processing unit (GPU) is reported. European options, in particular with multiple strikes, and Bermudan options will be discussed. The influence of the number of terms in the Fourier cosine series expansion, the number of strikes, as well as the number of exercise dates for Bermudan options is expl...