Separation and Renaming in Nominal Sets

Nominal sets provide a foundation for reasoning about names. They are used primarily in syntax with binders, but also, e.g., to model automata over infinite alphabets. In this paper, nominal sets are related to nominal renaming sets, which involve arbitrary substitutions rather than permutations, through a categorical adjunction. In particular, the left adjoint relates the separated product of nominal sets to the Cartesian product of nominal renaming sets. Based on these results, we define the new notion of separated nominal automata. We show that these automata can be exponentially smaller than classical nominal automata, if the semantics is closed under substitutions

An antenna switching based NOMA scheme for IEEE 802.15.4 concurrent transmission

This paper introduces a Non-Orthogonal Multiple Access (NOMA) scheme to support concurrent transmission of multiple IEEE 802.15.4 packets. Unlike collision avoidance Multiple Access Control (MAC), concurrent transmission supports Concurrent-MAC (C-MAC) where packet collision is allowed. The communication latency can be reduced by C-MAC because a user can transmit immediately without waiting for the completion of other users’ transmission. The big challenge of concurrent transmission is that error free demodulation of multiple collided packets hardly can be achieved due to severe Multiple Access Interference (MAI). To improve the demodulation performance with MAI presented, we introduce an architecture with multiple switching antennas sharing a single analog transceiver to capture spatial character of different users. Successive Interference Cancellation (SIC) algorithm is designed to separate collided packets by utilizing the spatial character. Simulation shows that at least five users can transmit concurrently to the SIC receiver equipped with eight antennas without sacrificing Packet Error Rate

Unpredictable After All? A short note on exchange rate predictability

Earlier research has shown that it is very hard to outperform the random walk model with respect to forecasting exchange rates. In this paper we propose an extension to the regular regime-switching model in order to capture the exchange rate dynamics. The model is extended by including macro-economic variables, like inflation and interest rates, into both regimes. The regimes not only have different means and volatility's, but also different sensitivities to the macro-economic variables. We will show that this approach doesn't work over the whole sample, although previous research work might indicate otherwise. Furthermore we will elaborate on sub samples, in which the model showed a better performance than the random walk model, and show that this is rather coincidence.exchange rates;econometrics;forecasting;economic variables;regime-switching model

Introduction of ramp-type technology in HTS quasiparticle injection devices

Injection of quasiparticles with an energy larger than the superconducting gap into a superconducting strip results in breaking of Cooper-pairs and hence the suppression of the superconducting properties. Experiments using planar injection devices made of HTS materials with various barrier materials showed current gains varying from 2 up to 15 at 77 K. By changing the junction size and therefore the superconducting volume the current gain could be increased. A further reduction of the junction volume is very difficult using the planar device geometry. However, by applying the ramp-type technology it is possible to reduce the junction volume by at least one order of magnitude and a further increase in current gain is expected. Another advantage of this technology is the formation of in-situ barriers and electrodes and hence a better control of the junction characteristics should be possible, also the compatibility with the processes involved making RSFQ devices can be interesting for later applications. We have fabricated ramp-type injection devices, using various types of barriers. Characterization of these devices has been performed and the results of these experiments will be presented and discussed