Hadoop is a reference software framework supporting the Map/Reduce programming model. It relies on the Hadoop Distributed File System (HDFS) as its primary storage system. Althoug...
We design an end-to-end linear transceiver in the downlink of a multi-user multiple-input multiple-output (MIMO) system with multiple data streams per user and quantized channel s...
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...
We present the results of our investigation into the use of Genetic Algorithms (GAs) for identifying near optimal design parameters of diagnostic systems that are based on Artifici...
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...