We present a method for the efficient access to parts of remote files. The efficiency is achieved by using a file format independent compact pattern description, that allows to re...
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
This paper deals with the correction of distortions in EPI acquisitions. Echo-planar imaging (EPI) data is used in functional resonance imaging (fMRI) and in diffusion tensor MRI (...
In this paper we present an optimisation approach to congestion flow control. The initial context of this approach was as a rate based flow control in ATM networks. We describe te...
Sanjeewa Athuraliya, Steven H. Low, David E. Lapsl...
: A maximum likelihood sequence estimator for the dispersive Rayleigh fading channel is developed. Following [1, 2], the MLSE uses a Kalman based channel estimator to acquire the c...