The concept of multiple-input multiple-output (MIMO) radars has drawn considerable attention recently. Unlike the traditional single-input multiple-output (SIMO) radar which emits ...
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
In this paper we study the performance of Filtered Multitone (FMT) modulation systems in time-frequency selective fading channels. FMT generalizes the OFDM scheme through the deplo...
The computational potential of artificial living systems can be studied without knowing the algorithms that govern their behavior. Modeling single organisms by means of socalled c...
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...