Code-timing synchronization in DS-CDMA systems using space-time diversity

The synchronization of a desired user transmitting a known training sequence in a direct-sequence (DS) asynchronous code-division multiple-access (CDMA) sys-tem is addressed. It is assumed that the receiver consists of an arbitrary antenna array and works in a near-far, frequency-nonselective, slowly fading channel. The estimator that we propose is derived by applying the maximum likelihood (ML) principle to a signal model in which the contribution of all the interfering compo-nents (e.g., multiple-access interference, external interference and noise) is modeled as a Gaussian term with an unknown and arbitrary space-time correlation matrix. The main contribution of this paper is the fact that the estimator makes eÆcient use of the structure of the signals in both the space and time domains. Its perfor-mance is compared with the Cramer-Rao Bound, and with the performance of other methods proposed recently that also employ an antenna array but only exploit the structure of the signals in one of the two domains, while using the other simply as a means of path diversity. It is shown that the use of the temporal and spatial structures is necessary to achieve synchronization in heavily loaded systems or in the presence of directional external interference.Peer ReviewedPostprint (published version

A Formalization of Robustness for Deep Neural Networks

Deep neural networks have been shown to lack robustness to small input perturbations. The process of generating the perturbations that expose the lack of robustness of neural networks is known as adversarial input generation. This process depends on the goals and capabilities of the adversary, In this paper, we propose a unifying formalization of the adversarial input generation process from a formal methods perspective. We provide a definition of robustness that is general enough to capture different formulations. The expressiveness of our formalization is shown by modeling and comparing a variety of adversarial attack techniques