ALBERT

Description: We examine a distributed detection problem in a wireless sensor network, where sensor nodes collaborate to detect a Gaussian signal with an unknown change of power, i.e., a scale parameter. Due to power/bandwidth constraints, we consider the case where each sensor quantizes its observation into a binary digit. The binary data are then transmitted through error-prone wireless links to a fusion center, where a generalized likelihood ratio test (GLRT) detector is employed to perform a global decision. We study the design of a binary quantizer based on an asymptotic analysis of the GLRT. Interestingly, the quantization threshold of the quantizer is independent of the unknown scale parameter. Numerical results are included to illustrate the performance of the proposed quantizer and GLRT in binary symmetric channels (BSCs).

Description: More and more hybrid electric vehicles are driven since they offer such advantages as energy savings and better active safety performance. Hybrid vehicles have two or more power driving systems and frequently switch working condition, so controlling stability is very important. In this work, a two-stage Kalman algorithm method is used to fuse data in hybrid vehicle stability testing. First, the RT3102 navigation system and Dewetron system are introduced. Second, a modeling of data fusion is proposed based on the Kalman filter. Then, this modeling is simulated and tested on a sample vehicle, using Carsim and Simulink software to test the results. The results showed the merits of this modeling.

Description: Acoustic localization is an essential technique in speech capturing, speech enhancement, video conferencing, and human–robot interaction. However, in practical situations, localization has to be performed in abominable environments, where the presence of reverberation and noise degrades the performance of available position estimates. Besides, the designed systems should be adaptive to locomotion of targets with low computational complexity. In the context, this paper introduces a robust hierarchical acoustic localization method via time-delay compensation (TDC) and interaural matching filter (IMF). Firstly, interaural time-delay (ITD) and interaural level difference (ILD), which are cues involved in first two layers, respectively, are yielded by TDC all at once. Then, a novel feature named IMF, which can eliminate the difference between binaural signals, is proposed in the third layer. The final decision making is based on a Bayesian rule. The relationships among the three layers are that the former layer provides candidate directions for later ones such that the searching space becomes gradually smaller to reduce matching time. Experiments using both a public database and a real scenario verify that TDC and IMF are robust for acoustic localization, and hierarchical system has less consumption time.

Description: Canonical correlation analysis (CCA) is a widely used data analysis tool that allows to assess the correlation between two distinct sets of signals. It computes optimal linear combinations of the signals in both sets such that the resulting signals are maximally correlated. The weight vectors defining these optimal linear combinations are referred to as “principal CCA directions”. In addition to this particular type of data analysis, CCA is also often used as a blind source separation (BSS) technique, i.e., under certain assumptions, the principal CCA directions have certain demixing properties. In this paper, we propose a distributed CCA (DCCA) algorithm that can operate in wireless sensor networks (WSNs) with a fully connected or a tree topology. The algorithm estimates the $Q$ principal CCA directions from the sensor signal observations collected by the different nodes in the WSN and extracts the corresponding sources. These network-wide principal CCA directions are estimated in a time-recursive fashion without explicitly constructing the corresponding network-wide correlation matrices, i.e., without the need for data centralization. Instead, each node locally computes smaller CCA problems and only transmits compressed sensor signal observations (of dimension $Q$ ), which significantly reduces the bit rate over the wireless links of the WSN. We prove convergence and optimality of the DCCA algorithm, and we demonstrate its performance by means of numerical simulations in a blind source separation scenario.

Description: In this paper, a comprehensive comparison analysis in terms of outage probability and average symbol error ratio (SER) is presented for cooperative cognitive multiple-input and multiple-output (CC-MIMO) multiuser systems with amplify-and-forward (AF) protocol. Specially, we consider two scenarios where the CC-MIMO multiuser systems have the perfect and imperfect channel state information (CSI). The CC-MIMO multiuser systems consist of one multi-antenna source, one single-antenna relay, and multiple multi-antenna destinations. At the secondary source and destinations, the maximal ratio transmission (MRT) and maximal ratio combining (MRC) are employed, respectively. For such CC-MIMO multiuser systems, we first obtain the exact closed-form expressions of outage probability under the two cases where the CC-MIMO multiuser systems have the perfect and imperfect CSI. Then, to reduce the implementation complexity, the tight lower bounds of outage probability and average SER are derived. Finally, to obtain insight, by using the high signal-to-noise ratio (SNR) approximation, the asymptotic estimations of outage probability are achieved. The numerical results show that the derivations are agreed with the simulations, which validate our derivations. At the same time, the results show that, for the systems without perfect CSI, the achievable diversity order reduces to one, regardless of the number of antennas at the cognitive source and destinations as well as the number of the cognitive destinations. Nevertheless, these key parameters affect the coding gain of the CC-MIMO multiuser systems. When the systems have the perfect CSI (or without feedback delay), the achievable diversity gain is determined by the minimum between the number of source’s antennas and the product of the number of destinations and the number of destination’s antennas. For the effect of PU’s parameters, our results indicate that primary systems only affect the coding gain but not the diversity gain.

Description: Currently deep learning has made great breakthroughs in visual and speech processing, mainly because it draws lessons from the hierarchical mode that brain deals with images and speech. In the field of NLP, a topic model is one of the important ways for modeling documents. Topic models are built on a generative model that clearly does not match the way humans write. In this paper, we propose Event Model, which is unsupervised and based on the language processing mechanism of neurolinguistics, to model documents. In Event Model, documents are descriptions of concrete or abstract events seen, heard, or sensed by people and words are objects in the events. Event Model has two stages: word learning and dimensionality reduction. Word learning is to learn semantics of words based on deep learning. Dimensionality reduction is the process that representing a document as a low dimensional vector by a linear mode that is completely different from topic models. Event Model achieves state-of-the-art results on document retrieval tasks.

Description: There has been much research on shrinkage methods for real-valued covariance matrices and their inverses (precision matrices). In spectral analysis of $p$ -vector-valued time series, complex-valued spectral matrices and precision matrices arise, and good shrinkage methods are often required, most notably when the estimated complex-valued spectral matrix is singular. As an improvement on the Ledoit-Wolf (LW) type of spectral matrix estimator we use random matrix theory to derive a Rao-Blackwell estimator for a spectral matrix, its inverse being a Rao–Blackwellized estimator for the spectral precision matrix. A random matrix method has previously been proposed for complex-valued precision matrices. It was implemented by very costly simulations. We formulate a fast, completely analytic approach. Moreover, we derive a way of selecting an important parameter using predictive risk methodology. We show that both the Rao–Blackwell estimator and the random matrix estimator of the precision matrix can substantially outperform the inverse of the LW estimator in a time series setting. Our new methodology is applied to EEG-derived time series data where it is seen to work well and deliver substantial improvements for precision matrix estimation.

Description: In this paper, the state estimation problem for discrete-time linear systems influenced by multiplicative and time-correlated additive measurement noises is considered where the multiplicative noises are zero-mean white noise sequences, and the time-correlated additive noise is described by a linear system model with white noise. An optimal linear estimator for the system under consideration is proposed, which does not require computing the inverse of state transition matrix. The proposed estimator has a recursive structure, and has time-independent computation and storage load. Computer simulations are carried out to demonstrate the performance of the proposed estimator. The simulation results show the superiority of the proposed estimator.

Description: In this paper, we start with the standard support vector machine (SVM) formulation and extend it by considering a general SVM formulation with normalized margin. This results in a unified convex framework that allows many different variations in the formulation with very diverse numerical performance. The proposed unified framework can capture the existing methods, i.e., standard soft-margin SVM, $ell_{1}$ -SVM, and SVMs with standardization, feature selection, scaling, and many more SVMs, as special cases. Furthermore, our proposed framework can not only provide us with more insights on different SVMs from the “energy” and “penalty” point of views, which help us understand the connections and differences between them in a unified way, but also enable us to propose more SVMs that outperform the existing ones under some scenarios.

Description: We consider multiple-antenna signal detection of primary user transmission signals by a secondary user receiver in cognitive radio networks. The optimal detector is analyzed for the scenario where the number of primary user signals is no less than the number of receive antennas at the secondary user. We first derive exact expressions for the moments of the generalized likelihood ratio test (GLRT) statistic, yielding approximations for the false alarm and detection probabilities. We then show that the normalized GLRT statistic converges in distribution to a Gaussian random variable when the number of antennas and observations grow large at the same rate. Further, using results from large random matrix theory, we derive expressions to compute the detection probability without explicit knowledge of the channel, and then particularize these expressions for two scenarios of practical interest: 1) a single primary user sending spatially multiplexed signals, and 2) multiple spatially distributed primary users. Our analytical results are finally used to obtain simple design rules for the signal detection threshold.

Description: Community detection in a complex network is an important problem of much interest in recent years. In general, a community detection algorithm chooses an objective function and captures the communities of the network by optimizing the objective function, and then, one uses various heuristics to solve the optimization problem to extract the interesting communities for the user. In this article, we demonstrate the procedure to transform a graph into points of a metric space and develop the methods of community detection with the help of a metric defined for a pair of points. We have also studied and analyzed the community structure of the network therein. The results obtained with our approach are very competitive with most of the well-known algorithms in the literature, and this is justified over the large collection of datasets. On the other hand, it can be observed that time taken by our algorithm is quite less compared to other methods and justifies the theoretical findings.

Description: A three-step iterative method with fifth-order convergence as a new modification of Newton’s method was presented. This method is for finding multiple roots of nonlinear equation with unknown multiplicity m whose multiplicity m is the highest multiplicity. Its order of convergence is analyzed and proved. Results for some numerical examples show the efficiency of the new method.

Description: This paper presents an optimized low-complexity and high-throughput MIMO signal detector core for detecting spatially multiplexed data streams. The core architecture supports various layer configurations up to 4, while achieving near-optimal performance, and configurable modulation constellations up to 256-QAM on each layer. The core is capable of operating as a soft-input soft-output log-likelihood ratio (LLR) MIMO detector which can be used in the context of iterative detection and decoding. High area-efficiency is achieved via algorithmic and architectural optimizations performed at two levels. First, distance computations and slicing operations for an optimal 2-layer maximum a posteriori MIMO detector are optimized to eliminate use of multipliers and reduce the overhead of slicing in the presence of soft-input LLRs. We show that distances can be easily computed using elementary addition operations, while optimal slicing is done via efficient comparisons with soft decision boundaries, resulting in a simple feed-forward pipelined architecture. Second, to support more layers, an efficient channel decomposition scheme is presented that reduces the detection of multiple layers into multiple 2-layer detection subproblems, which map onto the 2-layer core with a slight modification using a distance accumulation stage and a post-LLR processing stage. Various architectures are accordingly developed to achieve a desired detection throughput and run-time reconfigurability by time-multiplexing of one or more component cores. The proposed core is applied also to design an optimal multiuser MIMO detector for LTE. The core occupies an area of 1.58 MGE and achieves a throughput of 733 Mbps for 256-QAM when synthesized in 90-nm CMOS.

Description: To reduce the energy cost of underwater acoustic sensor networks (UWSNs), the duty cycle (i.e., periodic wake-up and sleep) concept has been used in several medium access control (MAC) protocols. Although these protocols are energy efficient, they sacrifice bandwidth utilization, which leads to lower transmission rate. In order to solve this problem, asynchronous duty cycle with network-coding Asynchronous Duty Cycle with Network-Coding MAC (ADCNC-MAC) is proposed. It contains initialization of the MAC protocol phase and data transmission phase. In the first phase, we use an asynchronous duty cycle to find a rendezvous time for exchanging data. A strategy to select network coder nodes is presented to confirm the number of network coder nodes and distribution in the network coder layer. In the data transmission phase, the network coder nodes transmit using the proposed network-coding-based algorithm and a higher volume of packet will be transmitted to the Sink with the same number of transmissions. Simulation results show that ADCNC-MAC achieves higher power efficiency, improves packet delivery ratio (PDR), and network throughput.

Description: We study a tandem of agents who make decisions about an underlying binary hypothesis, where the distribution of the agent observations under each hypothesis comes from an uncertainty class defined by a 2-alternating capacity. We investigate both decentralized detection rules, where agents collaborate to minimize the error probability of the final agent, and social learning rules, where each agent minimizes its own local minimax error probability. We then extend our results to the infinite tandem network, and derive necessary and sufficient conditions on the uncertainty classes for the minimax error probability to converge to zero when agents know their positions in the tandem. On the other hand, when agents do not know their positions in the network, we study the cases where agents collaborate to minimize the asymptotic minimax error probability, and where agents seek to minimize their worst-case minimax error probability (over all possible positions in the tandem). We show that asymptotic learning of the true hypothesis is no longer possible in these cases, and derive characterizations for the minimax error performance.

Description: Various blind synchronization methods built on the maximum likelihood (ML) principle have been proposed, where the addressed scenarios include additive white Gaussian noise (AWGN), single-path fading, and multipath fading channels. We consider ML blind synchronization over wide-sense stationary uncorrelated scattering (WSSUS) channels. Different from existing studies, we exploit a more complete signal correlation function and find the carrier frequency offset estimate to be the solution of a quartic equation, rather than the phase angle of a complex number. As the truly ML synchronizer (dubbed MLE) is very complicated, we also derive a reduced-complexity alternative (dubbed RCE). It is found that the RCE yields indistinguishable performance from the MLE, at a somewhat lower complexity than an existing rival. We also present an in-depth theoretical analysis and comparison of the performance of various methods. Simulations show that the proposed methods yield rather robust performance in modeling errors of the fading rate and the channel power-delay profile (PDP).

Description: In this paper, the performance of cloud radio access networks (CRANs) where spatially distributed remote radio heads (RRHs) aid the macro base station (MBS) in transmission is analysed. In order to reflect a realistic scenario, the MBS and the RRHs are assumed to be equipped with multiple antennas and distributed according to a Poisson point process. Both, the MBS and the RRHs, are assumed to employ maximal ratio transmission (MRT) or transmit antenna selection (TAS). Considering downlink transmission, the outage performance of three schemes is studied; first is the selection transmission (ST) scheme, in which the MBS or the RRH with the best channel is selected for transmission. In the second scheme, all the RRHs participate (ARP) and transmit the signal to the user, whereas in the third scheme, a minimal number of RRHs, to attain a desired data-rate, participate in transmission (MRP). Exact closed-form expression for the outage probability is derived for the ST scheme. For the ARP and MRP schemes, analytical approximations of the outage probability are derived which are tight at high signal-to-noise ratios. In addition, for the MRP scheme, the minimal number of RRHs required to meet a target data rate is also calculated which can be useful in characterizing the system complexity. Furthermore, the derived expressions are validated through numerical simulation. It is shown that the average diversity gains of these schemes are independent of the intensity/number of RRHs and only depend on the number of antennas on the MBS. Furthermore, the ARP scheme outperforms the ST scheme when the MBS/RRHs transmit with maximum power. However, in case of a sum power constraint and equal power allocation, the ST scheme outperforms the ARP scheme.

Description: This paper proposes a dynamic resource allocation scheme to exploit the mixed timescale channel state information (CSI) knowledge structure in a multi-antenna base station-assisted device-to-device (D2D) network. The short-term multi-antenna beamforming control at each transmit device is adaptive to the local real-time CSI. The long-term routing and flow control is adaptive to the global topology and the long-term global CSI statistics of the D2D network. The design objective is to maximize a network utility function subject to the average transmit power constraint, the flow balance constraints and the instantaneous physical layer capacity constraints. The mixed timescale problem can be decomposed into a short-term beamforming control problem and a long-term flow and routing control problem. Using the stochastic cutting plane, we propose a low complexity, self-learning algorithm, which converges to the global optimal solution without explicit knowledge of the channel statistics. Simulation illustrates performance gains with several baselines.

Description: This paper considers the estimation of multi-scale multi-lag (MSML) channels. The MSML channel model is a good representation for wideband communication channels, such as underwater acoustic communication and radar. This model is characterized by a limited number of paths, each parameterized by a delay, Doppler scale, and attenuation factor. Herein, it is shown that an OFDM signal after passing through the MSML channel exhibits a low rank representation. This feature can be exploited to improve the channel estimation. By characterizing the received signal, it is shown that the MSML channel estimation problem can be adapted to a structured spectral estimation problem. The challenge is that the unknown frequencies are very close to each other due to the small values of Doppler scales. This feature can be employed to show that the data matrix is approximately low-rank. By exploiting structural features of the received signal, the Prony algorithm is modified to estimate the Doppler scales (close frequencies), delays and channel gains. Two strategies using convex and no-convex regularizers to remove noise from the corrupted signal are proposed. These algorithms are iterative based on the alternating direction method of multipliers. A bound on the reconstruction of the noiseless received signal provides guidance on the selection of the relaxation parameter in the optimizations. The performance of the proposed estimation strategies are investigated via numerical simulations, and it is shown that the proposed non-convex method offers up to 7 dB improvement in low SNR and the convex method offers up to 5 dB improvement in high SNR over prior methods for the MSML channel estimation.

Description: The possibility of having information access anytime and anywhere has caused a huge increase of the popularity of wireless networks. Requirements of users and owners have been ever-increasing. However, concerns about the potential health impact of exposure to radio frequency (RF) sources have arisen and are getting accounted for in wireless network planning. In addition to adequate coverage and reduced human exposure, the installation cost of the wireless network is also an important criterion in the planning process. In this paper, a hybrid algorithm is used to optimize indoor wireless network planning while satisfying three demands: maximum coverage, minimal full installation cost (cabling, cable gutters, drilling holes, labor, etc.), and minimal human exposure. For the first time, wireless indoor networks are being optimized based on these advanced and realistic conditions. The algorithm is investigated for three scenarios and for different configurations. The impact of different exposure requirements and cost scenarios is assessed.

Description: Physical transceiver implementations for wireless communication systems usually suffer from transmit-radio frequency (Tx-RF) and receiver-RF (Rx-RF) impairments. In this paper, we aim to design efficient coordinated beamforming for multicell multiuser multi-antenna systems by fully taking into account the residual transceiver impairments. Our design objectives include both spectral efficiency and energy efficiency. In particular, we first derive the closed-form expression of the mean square error (MSE) which includes the impact of transceiver impairments. Based on that, we propose an alternating optimization algorithm to solve the coordinated multicell beamforming problems with the goal of minimizing the worst user MSE, and the sum MSE. Then, by exploiting the relationship between the minimum mean square error (MMSE) and the achievable rate, we develop a new algorithm to address the sum rate maximization problem. This approach is further generalized to solve the more intractable energy efficiency optimization problem. We prove that all the proposed iterative algorithms guarantee to converge to a stationary point. Numerical results show that our proposed schemes achieve a better performance than conventional coordinated beamforming algorithms that were designed ignoring the transceiver impairments.

Description: Distributed processing over networks relies on in-network processing and cooperation among neighboring agents. Cooperation is beneficial when agents share a common objective. However, in many applications, agents may belong to different clusters that pursue different objectives. Then, indiscriminate cooperation will lead to undesired results. In this paper, we propose an adaptive clustering and learning scheme that allows agents to learn which neighbors they should cooperate with and which other neighbors they should ignore. In doing so, the resulting algorithm enables the agents to identify their clusters and to attain improved learning and estimation accuracy over networks. We carry out a detailed mean-square analysis and assess the error probabilities of Types I and II, i.e., false alarm and misdetection, for the clustering mechanism. Among other results, we establish that these probabilities decay exponentially with the step-sizes so that the probability of correct clustering can be made arbitrarily close to one.

Description: Robust Chinese remainder theorem (CRT) has been recently investigated for both integers and real numbers, where the folding integers are accurately recovered from erroneous remainders. In this paper, we consider the CRT problem for real numbers with noisy remainders that follow wrapped Gaussian distributions. We propose the maximum-likelihood estimation (MLE) based CRT when the remainder noises may not necessarily have the same variances. Furthermore, we present a fast algorithm for the MLE based CRT algorithm that only needs to search for the solution among $L$ elements, where $L$ is the number of remainders. Then, a necessary and sufficient condition on the remainder errors for the MLE CRT to be robust is obtained, which is weaker than the existing result. Finally, we compare the performances of the newly proposed algorithm and the existing algorithm in terms of both theoretical analysis and numerical simulations. The results demonstrate that the proposed algorithm not only has a better performance especially when the remainders have different error levels/variances, but also has a much lower computational complexity.

Description: Sparse signal restoration is usually formulated as the minimization of a quadratic cost function $Vert { mbi { y}} - { mbi { A}} { mbi { x}} Vert_{2}^{2}$ where $ { mbi { A}} $ is a dictionary and $ { mbi { x}} $ is an unknown sparse vector. It is well-known that imposing an $ell _{0}$ constraint leads to an NP-hard minimization problem. The convex relaxation approach has received considerable attention, where the $ell _{0}$ -norm is replaced by the $ell _{1}$ -norm. Among the many effective $ell _{1}$ solvers, the homotopy algorithm minimizes $Vert { mbi { y}} - { mbi { A}} { mbi { x}} Vert_{2}^{2}+lambda Vert { mbi { x}} Vert _{1}$ with respect to $ { mbi { x}} $ for a continuum of $lambda $ ’s. It is inspired by the piecewise regularity of the $ell _{1}$ -regularization path, also referred to as the homotopy path. In this paper, we address the minimization problem $Vert { mbi { y}} - { mbi { A}} { mbi { x}} Vert_{2}^{2}+lambda Vert { mbi { x}} Vert _{0}$ for a continuum of $lambda $ ’s and propose two heuristic search algorithms for $ell _{0}$ -homotopy. Continuation Single Best Replacement is a forward–backward greedy strategy extending the Single Best Replacement algorithm, previously proposed for $ell _{0}$ -minimization at a given $lambda $ . The adaptive search of the $lambda $ -values is inspired by $ell _{1}$ -homotopy. $ell _{0}$ Regularization Path Descent is a more complex algorithm exploiting the structural properties of the $ell _{0}$ -regularization path, which is piecewise constant with respect to $lambda $ . Both algorithms are empirically evaluated for difficult inverse problems involving ill-conditioned dictionaries. Finally, we show that they can be easily coupled with usual methods of model order selection.

Description: In recent work, robust Principal Components Analysis (PCA) has been posed as a problem of recovering a low-rank matrix ${bf L}$ and a sparse matrix ${bf S}$ from their sum, ${bf M}:= {bf L} + {bf S}$ and a provably exact convex optimization solution called PCP has been proposed. This work studies the following problem. Suppose that we have partial knowledge about the column space of the low rank matrix ${bf L}$ . Can we use this information to improve the PCP solution, i.e., allow recovery under weaker assumptions? We propose here a simple but useful modification of the PCP idea, called modified-PCP, that allows us to use this knowledge. We derive its correctness result which shows that, when the available subspace knowledge is accurate, modified-PCP indeed requires significantly weaker incoherence assumptions than PCP. Extensive simulations are also used to illustrate this. Comparisons with PCP and other existing work are shown for a stylized real application as well. Finally, we explain how this problem naturally occurs in many applications involving time series data, i.e., in what is called the online or recursive robust PCA problem. A corollary for this case is also given.

Description: Phased array is widely used in radar systems with its beam steering fixed in one direction for all ranges. Therefore, the range of a target cannot be determined within a single pulse when range ambiguity exists. In this paper, an unambiguous approach for joint range and angle estimation is devised for multiple-input multiple-output (MIMO) radar with frequency diverse array (FDA). Unlike the traditional phased array, FDA is capable of employing a small frequency increment across the array elements. Because of the frequency increment, the transmit steering vector of the FDA-MIMO radar is a function of both range and angle. As a result, the FDA-MIMO radar is able to utilize degrees-of-freedom in the range-angle domains to jointly determine the range and angle parameters of the target. In addition, the Cramér–Rao bounds for range and angle are derived, and the coupling between these two parameters is analyzed. Numerical results are presented to validate the effectiveness of the proposed approach.

Description: In this paper, we propose a novel single-group multicasting relay beamforming scheme. We assume a source that transmits common messages via multiple amplify-and-forward relays to multiple destinations. To increase the number of degrees of freedom in the beamforming design, the relays process two received signals jointly and transmit the Alamouti space-time block code over two different beams. Furthermore, in contrast to the existing relay multicasting scheme of the literature, we take into account the direct links from the source to the destinations. We aim to maximize the lowest received quality-of-service by choosing the proper relay weights and the ideal distribution of the power resources in the network. To solve the corresponding optimization problem, we propose an iterative algorithm which solves sequences of convex approximations of the original non-convex optimization problem. Simulation results demonstrate significant performance improvements of the proposed methods as compared with the existing relay multicasting scheme of the literature and an algorithm based on the popular semidefinite relaxation technique.

Description: In this paper, we propose a new class of iteratively re-weighted least squares (IRLS) for sparse recovery problems. The proposed methods are inspired by constrained maximum-likelihood estimation under a Gaussian scale mixture (GSM) distribution assumption. In the noise-free setting, we provide sufficient conditions ensuring the convergence of the sequences generated by these algorithms to the set of fixed points of the maps that rule their dynamics and derive conditions verifiable a posteriori for the convergence to a sparse solution. We further prove that these algorithms are quadratically fast in a neighborhood of a sparse solution. We show through numerical experiments that the proposed methods outperform classical IRLS for $ell_{tau}$ -minimization with $tauin(0,1]$ in terms of speed and of sparsity-undersampling tradeoff and are robust even in presence of noise. The simplicity and the theoretical guarantees provided in this paper make this class of algorithms an attractive solution for sparse recovery problems.

Description: We consider the problem of approximating optimal in the Minimum Mean Squared Error (MMSE) sense nonlinear filters in a discrete time setting, exploiting properties of stochastically convergent state process approximations. More specifically, we consider a class of nonlinear, partially observable stochastic systems, comprised by a (possibly nonstationary) hidden stochastic process (the state), observed through another conditionally Gaussian stochastic process (the observations). Under general assumptions, we show that, given an approximating process which, for each time step, is stochastically convergent to the state process, an approximate filtering operator can be defined, which converges to the true optimal nonlinear filter of the state in a strong and well defined sense. In particular, the convergence is compact in time and uniform in a completely characterized set of probability measure almost unity. The results presented in this paper can form a common basis for the analysis and characterization of a number of popular but heuristic approaches for approximating optimal nonlinear filters, such as approximate grid based techniques.

Description: A standard assumption for consistent estimation in the errors-in-variables setting is persistency of excitation of the noise-free input signal. We relax this assumption by considering data from multiple experiments. Consistency is obtained asymptotically as the number of experiments tends to infinity. The main theoretical and algorithmic difficulties are related to the growing number of to-be-estimated initial conditions. The method proposed in the paper is based on analytic elimination of the initial conditions and optimization over the remaining parameters. The resulting estimator is consistent; however, achieving asymptotically efficiency is an open problem.

Description: Bayesian filtering aims at estimating sequentially a hidden process from an observed one. In particular, sequential Monte Carlo (SMC) techniques propagate in time weighted trajectories which represent the posterior probability density function (pdf) of the hidden process given the available observations. On the other hand, conditional Monte Carlo (CMC) is a variance reduction technique which replaces the estimator of a moment of interest by its conditional expectation given another variable. In this paper, we show that up to some adaptations, one can make use of the time recursive nature of SMC algorithms in order to propose natural temporal CMC estimators of some point estimates of the hidden process, which outperform the associated crude Monte Carlo (MC) estimator whatever the number of samples. We next show that our Bayesian CMC estimators can be computed exactly, or approximated efficiently, in some hidden Markov chain (HMC) models; in some jump Markov state-space systems (JMSS); as well as in multitarget filtering. Finally our algorithms are validated via simulations.

Description: In this paper, cooperative sensor localization using asynchronous time-of-arrival measurements is investigated. It is well known that localization performance in wireless networks using time-based ranging or pseudo-ranging methods is greatly affected by the accuracy of the timing synchronization between the nodes involved in the estimation. Commonly, the original estimation problem is broken down into two subproblems, the synchronization problem and the localization problem, in what is known as a two-step approach. However, in this paper, the joint synchronization and localization problem is considered and examined for use in cooperative networks. It is discussed that the cooperation between the source nodes eliminates the need for high anchor node densities and improves localization performance significantly. Furthermore, the Cramér-Rao lower bounds (CRLB) and the maximum likelihood (ML) estimator are derived. It is shown that the ML estimator is highly nonlinear and nonconvex and must, therefore, be solved by using computationally complex algorithms. In order to reduce the complexity of the estimation, a novel semidefinite programming (SDP) relaxation method is developed by relaxing the original nonconvex ML problem, in such a way as to reformulate the estimation problem as a convex problem. The performance of the proposed SDP method is shown through computer simulations to nearly equal that of the ML estimator. The approach is also applied to the noncooperative case where it is found to be superior in performance than the previously proposed suboptimal estimators. Finally, complexity analyses are included for the estimators under consideration.

Description: In this paper, we present three improvements to a three-point third order variant of Newton’s method derived from the Simpson rule. The first one is a fifth order method using the same number of functional evaluations as the third order method, the second one is a four-point 10th order method and the last one is a five-point 20th order method. In terms of computational point of view, our methods require four evaluations (one function and three first derivatives) to get fifth order, five evaluations (two functions and three derivatives) to get 10th order and six evaluations (three functions and three derivatives) to get 20th order. Hence, these methods have efficiency indexes of 1.495, 1.585 and 1.648, respectively which are better than the efficiency index of 1.316 of the third order method. We test the methods through some numerical experiments which show that the 20th order method is very efficient.

Description: Robust small target detection of low signal-to-noise ratio (SNR) is very important in infrared search and track applications for self-defense or attacks. Due to the complex background, current algorithms have some unsolved issues with false alarm rate. In order to reduce the false alarm rate, an infrared small target detection algorithm based on saliency detection and support vector machine was proposed. Firstly, we detect salient regions that may contain targets with phase spectrum Fourier transform (PFT) approach. Then, target recognition was performed in the salient regions. Experimental results show the proposed algorithm has ideal robustness and efficiency for real infrared small target detection applications.

Description: In dynamic propagation environments, beamforming algorithms may suffer from strong interference, steering vector mismatches, a low convergence speed and a high computational complexity. Reduced-rank signal processing techniques provide a way to address the problems mentioned above. This paper presents a low-complexity robust data-dependent dimensionality reduction based on an iterative optimization with steering vector perturbation (IOVP) algorithm for reduced-rank beamforming and steering vector estimation. The proposed robust optimization procedure jointly adjusts the parameters of a rank reduction matrix and an adaptive beamformer. The optimized rank reduction matrix projects the received signal vector onto a subspace with lower dimension. The beamformer/steering vector optimization is then performed in a reduced dimension subspace. We devise efficient stochastic gradient and recursive least-squares algorithms for implementing the proposed robust IOVP design. The proposed robust IOVP beamforming algorithms result in a faster convergence speed and an improved performance. Simulation results show that the proposed IOVP algorithms outperform some existing full-rank and reduced-rank algorithms with a comparable complexity.

Description: Recently, wireless sensor networks (WSNs) have drawn great interest due to their outstanding monitoring and management potential in medical, environmental and industrial applications. Most of the applications that employ WSNs demand all of the sensor nodes to run on a common time scale, a requirement that highlights the importance of clock synchronization. The clock synchronization problem in WSNs is inherently related to parameter estimation. The accuracy of clock synchronization algorithms depends essentially on the statistical properties of the parameter estimation algorithms. Recently, studies dedicated to the estimation of synchronization parameters, such as clock offset and skew, have begun to emerge in the literature. The aim of this article is to provide an overview of the state-of-the-art clock synchronization algorithms for WSNs from a statistical signal processing point of view. This article focuses on describing the key features of the class of clock synchronization algorithms that exploit the traditional two-way message (signal) exchange mechanism. Upon introducing the two-way message exchange mechanism, the main clock offset estimation algorithms for pairwise synchronization of sensor nodes are first reviewed, and their performance is compared. The class of fully-distributed clock offset estimation algorithms for network-wide synchronization is then surveyed. The paper concludes with a list of open research problems pertaining to clock synchronization of WSNs.

Description: In this paper, we consider the problem of parameter estimation over sensor networks in the presence of quantized data and directed communication links. We propose a two-stage distributed algorithm aiming at achieving the centralized sample mean estimate in a distributed manner. Different from the existing algorithms, a running average technique is utilized in the proposed algorithm to smear out the randomness caused by the probabilistic quantization scheme. With the running average technique, it is shown that the centralized sample mean estimate can be achieved both in the mean square and almost sure senses, which is not observed in the standard consensus algorithms. In addition, the rates of convergence are given to quantify the mean square and almost sure performances. Finally, simulation results are presented to illustrate the effectiveness of the proposed algorithm and highlight the improvements by using running average technique.

Description: This paper studies a pilot-assisted physical layer data fusion technique known as Distributed Co-Phasing (DCP). In this two-phase scheme, the sensors first estimate the channel to the fusion center (FC) using pilots sent by the latter; and then they simultaneously transmit their common data by pre-rotating them by the estimated channel phase, thereby achieving physical layer data fusion. First, by analyzing the symmetric mutual information of the system, it is shown that the use of higher order constellations (HOC) can improve the throughput of DCP compared to the binary signaling considered heretofore. Using an HOC in the DCP setting requires the estimation of the composite DCP channel at the FC for data decoding. To this end, two blind algorithms are proposed: 1) power method, and 2) modified $K$ -means algorithm. The latter algorithm is shown to be computationally efficient and converges significantly faster than the conventional $K$ -means algorithm. Analytical expressions for the probability of error are derived, and it is found that even at moderate to low SNRs, the modified $K$ -means algorithm achieves a probability of error comparable to that achievable with a perfect channel estimate at the FC, while requiring no pilot symbols to be transmitted from the sensor nodes. Also, the problem of signal corruption due to imperfect DCP is investigated, and constellation shaping to minimize the probability of signal corruption is proposed and analyzed. The analysis is validated, and the promising performance of DCP for energy-efficient physical layer data fusion is illustrated, using Monte Carlo simulations.

Description: In this paper we propose a fast and efficient Jacobi-like approach named JET (Joint Eigenvalue decomposition based on Triangular matrices) for the Joint EigenValue Decomposition (JEVD) of a set of real or complex non-defective matrices based on the LU factorization of the matrix of eigenvectors. Contrarily to classical Jacobi-like JEVD methods, the iterative procedure of the JET approach can be reduced to the search for only one of the two triangular matrices involved in the factorization of the matrix of eigenvectors, hence decreasing the numerical complexity. Two variants of the JET technique, namely JET-U and JET-O, which correspond to the optimization of two different cost functions are described in detail and these are extended to the complex case. Numerical simulations show that in many practical cases the JET approach provides more accurate estimation of the matrix of eigenvectors than its competitors and that the lowest numerical complexity is consistently achieved by the JET-U algorithm. In addition, we illustrate in the ICA context the interest of being able to solve efficiently the (non-orthogonal) JEVD problem. More particularly, based on our JET-U algorithm, we propose a more robust version of an existing ICA method, named MICAR-U. The identifiability of the latter is studied and proved under some conditions. Computer results given in the context of brain interfaces show the better ability of MICAR-U to denoise simulated electrocortical data compared to classical ICA techniques for low signal to noise ratio values.

Description: A new design for successive interference cancellation (SIC) detection for multiple-input multiple-output systems is introduced, and it is developed on the basis of the method of normal equations commonly used to solve the linear least squares problem. On the basis of this design, optimal-ordered and suboptimal-ordered SIC detection algorithms are derived. It is shown that the proposed optimal-ordered SIC detection algorithm offers a complexity reduction ratio of 1.11–1.25 compared to the fastest known optimal-ordered SIC detection algorithm for intermediate and large numbers of antennas and in terms of the average complexity. On the other hand, the proposed suboptimal-ordered SIC detection algorithm requires a lower complexity than the proposed optimal-ordered one and provides a bit-error-rate performance close to that of the optimal-ordered one and better than those of the other suboptimal-ordered SIC detection algorithms.

Description: We consider the problem of signal recovery on graphs. Graphs model data with complex structure as signals on a graph. Graph signal recovery recovers one or multiple smooth graph signals from noisy, corrupted, or incomplete measurements. We formulate graph signal recovery as an optimization problem, for which we provide a general solution through the alternating direction methods of multipliers. We show how signal inpainting, matrix completion, robust principal component analysis, and anomaly detection all relate to graph signal recovery and provide corresponding specific solutions and theoretical analysis. We validate the proposed methods on real-world recovery problems, including online blog classification, bridge condition identification, temperature estimation, recommender system for jokes, and expert opinion combination of online blog classification.

Description: In this paper, we investigate the network power minimization problem for the multicast cloud radio access network (Cloud-RAN) with imperfect channel state information (CSI). The key observation is that network power minimization can be achieved by adaptively selecting active remote radio heads (RRHs) via controlling the group-sparsity structure of the beamforming vector. However, this yields a non-convex combinatorial optimization problem, for which we propose a three-stage robust group sparse beamforming algorithm. In the first stage, a quadratic variational formulation of the weighted mixed $ell_1/ell_2$ -norm is proposed to induce the group-sparsity structure in the aggregated beamforming vector, which indicates those RRHs that can be switched off. A perturbed alternating optimization algorithm is then proposed to solve the resultant non-convex group-sparsity inducing optimization problem by exploiting its convex substructures. In the second stage, we propose a PhaseLift technique based algorithm to solve the feasibility problem with a given active RRH set, which helps determine the active RRHs. Finally, the semidefinite relaxation (SDR) technique is adopted to determine the robust multicast beamformers. Simulation results will demonstrate the convergence of the perturbed alternating optimization algorithm, as well as, the effectiveness of the proposed algorithm to minimize the network power consumption for multicast Cloud-RAN.

Description: Many machine learning frameworks, such as resource-allocating networks, kernel-based methods, Gaussian processes, and radial-basis-function networks, require a sparsification scheme in order to address the online learning paradigm. For this purpose, several online sparsification criteria have been proposed to restrict the model definition on a subset of samples. The most known criterion is the (linear) approximation criterion, which discards any sample that can be well represented by the already contributing samples, an operation with excessive computational complexity. Several computationally efficient sparsification criteria have been introduced in the literature with the distance and the coherence criteria. This paper provides a unified framework that connects these sparsification criteria in terms of approximating samples, by establishing theoretical bounds on the approximation errors. Furthermore, the error of approximating any pattern is investigated, by proposing upper bounds on the approximation error for each of the aforementioned sparsification criteria. Two classes of fundamental patterns are described in detail, the centroid (i.e., empirical mean) and the principal axes in the kernel principal component analysis. Experimental results show the relevance of the theoretical results established in this paper.

Description: Network coding is an emerging technique known to improve the network performance in many aspects. In Vehicular Ad-hoc Networks (VANET), the bandwidth is considered to be one of the most important network resources. In this paper, we propose a network coding technique to improve the bandwidth utilization for non-safety applications in VANET. In a scenario where there are two sources broadcasting the data into the same area at the same time, the relay will use the network coding technique to decrease the number of rebroadcasting events and the consumption of the bandwidth, However, a fundamental problem for the relay when it receives a packet, is whether to wait for a coding opportunity and save the bandwidth or send the packet directly and reduce the delay. In order to address such tradeoff, we introduce two versions of our protocol, namely buffer size control scheme (BSCS) and time control scheme (TCS); by both versions we aim to control the delay that is experienced by the packet at each hop, while achieving better bandwidth utilization.Up to 38 % improvement in the bandwidth utilization has been recorded, and both schemes have shown a considerable amount of control on the imposed delay.

Description: The radix- $2^{k}$ algorithm plays a crucial role in the pipelined implementation of fast Fourier transform (FFT). This paper presents a fixed-point analysis and hardware evaluation of radix- $2^{k}$ FFT under the framework of the single-path delay feedback (SDF) and multi-path delay commutator (MDC) pipelined structure. The investigation is carried out with variable operating word-lengths to ensure the generality. Furthermore, the main streams to fulfill FFT coefficients weighting, namely, the approach using complex multipliers and the one adopting memoryless CORDIC units, are both considered in the analysis. Based on these derivations, a joint optimization of radix- $2^{k}$ algorithm and operating word-length is discussed to achieve a reasonable trade-off between computational accuracy and hardware expenditure. Simulations and experiments indicates that the derived SQNR is reliable to unfold the quantization effects of fixed-point radix- $2^{k}$ FFT. In addition, the proposed joint optimization strategy is capable of providing better solutions to implement the radix- $2^{k}$ FFT processor efficiently.

Description: In this paper, the quickest change detection problem is studied in two-state hidden Markov models (HMM), where the vector parameter $theta$ of the HMM changes from $theta_{0}$ to $theta_{1}$ at some unknown time, and one wants to detect the true change as quickly as possible while controlling the false alarm rate. It turns out that the generalized likelihood ratio (GLR) scheme, while theoretically straightforward, is generally computationally infeasible for the HMM. To develop efficient but computationally simple schemes for the HMM, we first discuss a subtlety in the recursive form of the generalized likelihood ratio (GLR) scheme for the HMM. Then we show that the recursive CUSUM scheme proposed in Fuh (Ann. Statist., 2003) can be regarded as a quasi-GLR scheme for pseudo post-change hypotheses with certain dependence structure between pre- and postchange observations. Next, we extend the quasi-GLR idea to propose recursive score schemes in the scenario when the postchange parameter $theta_{1}$ of the HMM involves a real-valued nuisance parameter. Finally, the Kullback-Leibler (KL) divergence plays an essential role in the quickest change detection problem and many other fields, however it is rather challenging to numerically compute it in HMMs. Here we develop a non-Monte Carlo method that computes the KL divergence of two-state HMMs via the underlying invariant probability measure, which is characterized by the Fredholm integral equation. Numerical study demonstrates an unusual property of the KL divergence for HMM that implies the severe effects of misspecifying the postchange parameter for the HMM.

Description: Long-Term Evolution (LTE) was implemented to fulfill and satisfy users’ needs as well as their demands for an improvised, fast and efficient Quality of service (QoS). A minimal aggregate of waiting time in return would give users a better Quality of experience (QoE). Real-time service packet scheduling is an important process in allocating resources to users. An efficient packet scheduling scheme will be able to cater fairly and efficiently to its users in the LTE network. Hence, studies are performed focusing on real-time traffic which includes video as well as Voice over Internet Protocol (VoIP) transmissions. In this work, the existing exponential rule (EXP rule) is utilized to benchmark our proposed packet scheduling techniques so that we are able to further evaluate the scheduling performance. In response to the increasing likelihood of losing packets in the EXP rule’s algorithm and maximizing the throughput rate, several schemes have been experimented with. The proposed schemes include 1) simplified EXP rule (sEXP Rule), 2) modified EXP rule (mEXP Rule), 3) EXP rule with maximum throughput (MT) (EXP_MT Rule), and 4) enhanced EXP rule with MT (E2M). By adding MT as a weight to the EXP rule, the throughput is maximized, thus providing higher throughput rates for real-time and non-real-time traffic. The simulation results show that the sEXP rule has a better performance in throughput, packet loss rate (PLR), and spectral efficiency for video traffic. Aside from this, our proposed E2M rule performs better than the benchmark EXP rule and outperforms the other proposed schemes, as well. It is observed that the E2M rule has better QoS support for real-time transmission in terms of delay, packet loss, throughput and spectral efficiency, within the LTE network. Hence, our proposed E2M rule is an enhancement of the benchmark EXP rule, which is commonly used in LTE packet scheduling.

Description: Convex optimization is a powerful tool for resource allocation and signal processing in wireless networks. As the network density is expected to drastically increase in order to accommodate the exponentially growing mobile data traffic, performance optimization problems are entering a new era characterized by a high dimension and/or a large number of constraints, which poses significant design and computational challenges. In this paper, we present a novel two-stage approach to solve large-scale convex optimization problems for dense wireless cooperative networks, which can effectively detect infeasibility and enjoy modeling flexibility. In the proposed approach, the original large-scale convex problem is transformed into a standard cone programming form in the first stage via matrix stuffing, which only needs to copy the problem parameters such as channel state information (CSI) and quality-of-service (QoS) requirements to the prestored structure of the standard form. The capability of yielding infeasibility certificates and enabling parallel computing is achieved by solving the homogeneous self-dual embedding of the primal-dual pair of the standard form. In the solving stage, the operator splitting method, namely, the alternating direction method of multipliers (ADMM), is adopted to solve the large-scale homogeneous self-dual embedding. Compared with second-order methods, ADMM can solve large-scale problems in parallel with modest accuracy within a reasonable amount of time. Simulation results will demonstrate the speedup, scalability, and reliability of the proposed framework compared with the state-of-the-art modeling frameworks and solvers.

Description: The discrete cosine transform (DCT) is known to be asymptotically equivalent to the Karhunen-Loève transform (KLT) of Gaussian first-order auto-regressive (AR(1)) processes. Since being uncorrelated under the Gaussian hypothesis is synonymous with independence, it also yields an independent-component analysis (ICA) of such signals. In this paper, we present a constructive non-Gaussian generalization of this result: the characterization of the optimal orthogonal transform (ICA) for the family of symmetric- $alpha$ -stable AR(1) processes. The degree of sparsity of these processes is controlled by the stability parameter $0 〈 alphaleq2$ with the only non-sparse member of the family being the classical Gaussian AR(1) process with $alpha=2$ . Specifically, we prove that, for $alpha 〈 2$ , a fixed family of operator-like wavelet bases systematically outperforms the DCT in terms of compression and denoising ability. The effect is quantified with the help of two performance criteria (one based on the Kullback-Leibler divergence, and the other on Stein’s formula for the minimum estimation error) that can also be viewed as statistical measures of independence. Finally, we observe that, for the sparser kind of processes with $0 〈 alphaleq 1$ , the operator-like wavelet basis, as dictated by linear system theory, is undistinguishable from the ICA solution obtained through numerical optimization. Our framework offers a unified view that encompasses sinusoidal transforms such as the DCT and a family of orthogonal Haar-like wavelets that is linked analytically to the underlying signal model.

Description: MUSIC is a popular algorithm for estimating the direction of arrival (DOA) in array signal processing applications. In this paper, we analyze the performance of the MUSIC algorithm for a single source system, in the presence of noisy and missing data (when only a random subset of the entries in the data matrix are observed). We prove consistency of the DOA estimate when signal from a single source is impinging on low coherence arrays, and derive an analytic expression for the mean-squared-error (MSE) performance of MUSIC for the case of uniform linear arrays, in the large array and relatively large sample setting. Our analysis is mathematically justified in both the sample rich and deficient regimes. The expression for the MSE is a simple function of array geometry, signal-to-noise ratio (SNR), the fraction of entries observed, and the ratio of the number of sensors to number of snapshots. We derive a phase transition threshold which separates a regime where MUSIC is consistent from a regime where MUSIC is inconsistent. This threshold depends upon the SNR, the probability of observing entries in the data matrix, and number of sensors and snapshots in a simple manner which we make explicit.

Description: Phase retrieval problems involve solving linear equations, but with missing sign (or phase, for complex numbers) information. More than four decades after it was first proposed, the seminal error reduction algorithm of Gerchberg and Saxton and Fienup is still the popular choice for solving many variants of this problem. The algorithm is based on alternating minimization; i.e., it alternates between estimating the missing phase information, and the candidate solution. Despite its wide usage in practice, no global convergence guarantees for this algorithm are known. In this paper, we show that a (resampling) variant of this approach converges geometrically to the solution of one such problem—finding a vector $bf x$ from ${bf y}, {bf A}$ , where ${bf y} = vert {bf A}^T{bf x}vert$ and $vert{bf z}vert$ denotes a vector of element-wise magnitudes of ${bf z}$ —under the assumption that $ {bf A}$ is Gaussian. Empirically, we demonstrate that alternating minimization performs similar to recently proposed convex techniques for this problem (which are based on “lifting” to a convex matrix problem) in sample complexity and robustness to noise. However, it is much more efficient and can scale to large problems. Analytically, for a resampling version of alternating minimization, we show geometric convergence to the solution, and sample complexity that is off by log factors from obvious lower bounds. We also establish close to optimal scaling for the case when the unknown vector is sparse. Our work represents the first theoretical guarantee for al- ernating minimization (albeit with resampling) for any variant of phase retrieval problems in the non-convex setting.

Description: We consider Bayesian blind deconvolution (BD) of an unknown sparse sequence convolved with an unknown pulse. Our goal is to detect the positions where the sparse input sequence is nonzero and to estimate the corresponding amplitudes as well as the pulse shape. For this task, we propose a novel evolution of the single most likely replacement (SMLR) algorithm. Our method uses a modified Bernoulli-Gaussian prior that incorporates a minimum temporal distance constraint. This prior simultaneously induces sparsity and enforces a prescribed minimum distance between the pulse centers. The minimum distance constraint provides an effective way to avoid overfitting (i.e., spurious detected pulses) and improve resolution. The proposed BD method overcomes certain weaknesses of the traditional SMLR-based BD method, which is verified experimentally to result in improved detection/estimation performance and reduced computational complexity. Our simulation results also demonstrate performance and complexity advantages relative to the iterated window maximization (IWM) algorithm and a recently proposed partially collapsed Gibbs sampler method.

Description: In delay tolerant networks (DTNs), the network may not be fully connected at any instant of time, but connections occurring between nodes at different times make the network connected through the entire time continuum. In such a case, traditional routing methods fail to operate because there are no contemporaneous end-to-end paths between sources and destinations. This study examines the routing in DTNs where connections arise in a periodic nature. We analyze various levels of periodicity in order to meet the requirements of different network models. We propose different routing algorithms for different kinds of periodic connections. Our proposed routing methods guarantee the earliest delivery time and minimum hop-count, simultaneously. We evaluate our routing schemes via extensive simulation experiments and compare them to some other popular routing approaches proposed for DTNs. Our evaluations show the feasibility and effectiveness of our schemes as viable routing methods for delay tolerant networks.

Description: We address the problem of super-resolution frequency recovery using prior knowledge of the structure of a spectrally sparse, undersampled signal. In many applications of interest, some structure information about the signal spectrum is often known. The prior information might be simply knowing precisely some signal frequencies or the likelihood of a particular frequency component in the signal. We devise a general semidefinite program to recover these frequencies using theories of positive trigonometric polynomials. Our theoretical analysis shows that, given sufficient prior information, perfect signal reconstruction is possible using signal samples no more than thrice the number of signal frequencies. Numerical experiments demonstrate great performance enhancements using our method. We show that the nominal resolution necessary for the grid-free results can be improved if prior information is suitably employed.

Description: This paper addresses the behavior of a classical multiantenna GLRT test that allows to detect the presence of a known signal corrupted by a multipath propagation channel and by an additive temporally white Gaussian noise with unknown spatial covariance matrix. The paper is focused on the case where the number of sensors $M$ is large, and of the same order of magnitude as the sample size $N$ , a context which is modeled by the large system asymptotic regime $M rightarrow +infty $ , $N rightarrow +infty $ in such a way that $M/N rightarrow c$ for $c in (0,+infty )$ . The purpose of this paper is to study the behaviour of a GLRT statistics in this regime, and to show that the corresponding theoretical analysis allows to accurately predict the performance of the test when $M$ and $N$ are of the same order of magnitude.

Description: This paper derives an asymptotic generalized likelihood ratio test (GLRT) and an asymptotic locally most powerful invariant test (LMPIT) for two hypothesis testing problems: 1) Is a vector-valued random process cyclostationary (CS) or is it wide-sense stationary (WSS)? 2) Is a vector-valued random process CS or is it nonstationary? Our approach uses the relationship between a scalar-valued CS time series and a vector-valued WSS time series for which the knowledge of the cycle period is required. This relationship allows us to formulate the problem as a test for the covariance structure of the observations. The covariance matrix of the observations has a block-Toeplitz structure for CS and WSS processes. By considering the asymptotic case where the covariance matrix becomes block-circulant we are able to derive its maximum likelihood (ML) estimate and thus an asymptotic GLRT. Moreover, using Wijsman’s theorem, we also obtain an asymptotic LMPIT. These detectors may be expressed in terms of the Loève spectrum, the cyclic spectrum, and the power spectral density, establishing how to fuse the information in these spectra for an asymptotic GLRT and LMPIT. This goes beyond the state-of-the-art, where it is common practice to build detectors of cyclostationarity from ad-hoc functions of these spectra.

Description: The impulse response of wireless channels between the $N_t$ transmit and $N_r$ receive antennas of a MIMO-OFDM system are group approximately sparse (ga-sparse), i.e., the $N_tN_r$ channels have a small number of significant paths relative to the channel delay spread and the time-lags of the significant paths between transmit and receive antenna pairs coincide. Often, wireless channels are also group approximately cluster-sparse (gac-sparse), i.e., every ga-sparse channel consists of clusters, where a few clusters have all strong components while most clusters have all weak components. In this paper, we cast the problem of estimating the ga-sparse and gac-sparse block-fading and time-varying channels in the sparse Bayesian learning (SBL) framework and propose a bouquet of novel algorithms for pilot-based channel estimation, and joint channel estimation and data detection, in MIMO-OFDM systems. The proposed algorithms are capable of estimating the sparse wireless channels even when the measurement matrix is only partially known. Further, we employ a first-order autoregressive modeling of the temporal variation of the ga-sparse and gac-sparse channels and propose a recursive Kalman filtering and smoothing (KFS) technique for joint channel estimation, tracking, and data detection. We also propose novel, parallel-implementation based, low-complexity techniques for estimating gac-sparse channels. Monte Carlo simulations illustrate the benefit of exploiting the gac-sparse structure in the wireless channel in terms of the mean square error (MSE) and coded bit error rate (BER) performance.

Description: One-dimensional (1-D) and two-dimensional (2-D) frequency estimation for a single complex sinusoid in white Gaussian noise is a classic signal processing problem with numerous applications. It is revisited here through a new unitary principal-singular-vector utilization modal analysis (PUMA) approach, which is realized in terms of real-valued computations. The 2-D unitary PUMA is first formulated as an iteratively weighted least squares optimization problem. Recognizing that only one iteration is sufficient when 2-D unitary PUMA is initialized using least squares, a computationally attractive closed-form solution is then obtained. A variant of 2-D unitary PUMA is also developed for the 1-D case. Due to the real-valued computations and closed-form expression for the frequency estimate, the unitary PUMA is more computationally efficient than a number of state-of-the-art methods. Furthermore, the asymptotic variances of 1-D and 2-D unitary PUMA estimators are theoretically derived, and numerical results are included to demonstrate the effectiveness of the proposed methods.

Description: Distributed estimation over sensor networks has received a lot of attention due to its great promise for broad applicability. In many cases, sensors have constraints on the range of data they can measure. This may cause that the measurements or observations are censored, and hence the value of a measurement or observation could be only partially known. This paper focuses on distributed censored regression over networks and develops a diffusion-based algorithm for the censored regression. The proposed algorithm first adopts an adaptive bias-corrected estimator based on a probit regression model to reduce the adverse effect of censoring on estimation results, and afterwards carries out the least squares procedure to find the estimate of the parameter of interest in a collaborative manner between every node and its neighbors. The theoretical study of convergence in the mean and mean-square sense reveals that the proposed algorithm is asymptotically unbiased and stable under some conditions. Moreover, simulation results show the effectiveness of the proposed algorithm.

Description: Computational load remains a major concern when processing signals by means of sliding transforms. In this paper, we present an efficient algorithm for the fast computation of one-dimensional and two-dimensional sliding discrete Tchebichef moments. To do so, we first establish the relationships that exist between the Tchebichef moments of two neighboring windows taking advantage of Tchebichef polynomials’ properties. We then propose an original way to fast compute the moments of one window by utilizing the moment values of its previous window. We further theoretically establish the complexity of our fast algorithm and illustrate its interest within the framework of digital forensics and more precisely the detection of duplicated regions in an audio signal or an image. Our algorithm is used to extract local features of such a signal tampering. Experimental results show that its complexity is independent of the window size, validating the theory. They also exhibit that our algorithm is suitable to digital forensics and beyond to any applications based on sliding Tchebichef moments.

Description: Due to rapid developments in mobile technology as well as various multimedia features like messaging, browsing, and streaming, user-created mobile contents are increasing, both in terms of quantity and quality, and at the same time are shared in real time. To get into step with such movements, new content-centric networking (CCN) has appeared. However, CCN has not taken the effect of consumer device movements into consideration. So, this paper proposes a partial path extension scheme to provide lower communication overhead, shorter download time, and lower network resource consumption in mobile consumer environments.

Description: In this paper, we describe a model for maximum likelihood estimation (MLE) of the relative abundances of different conformations of a protein in a heterogeneous mixture from small angle X-ray scattering (SAXS) intensities. To consider cases where the solution includes intermediate or unknown conformations, we develop a subset selection method based on k-means clustering and the Cramér-Rao bound on the mixture coefficient estimation error to find a sparse basis set that represents the space spanned by the measured SAXS intensities of the known conformations of a protein. Then, using the selected basis set and the assumptions on the model for the intensity measurements, we show that the MLE model can be expressed as a constrained convex optimization problem. Employing the adenylate kinase (ADK) protein and its known conformations as an example, and using Monte Carlo simulations, we demonstrate the performance of the proposed estimation scheme. Here, although we use 45 crystallographically determined experimental structures and we could generate many more using, for instance, molecular dynamics calculations, the clustering technique indicates that the data cannot support the determination of relative abundances for more than 5 conformations. The estimation of this maximum number of conformations is intrinsic to the methodology we have used here.

Description: Tensor factorization has proven useful in a wide range of applications, from sensor array processing to communications, speech and audio signal processing, and machine learning. With few recent exceptions, all tensor factorization algorithms were originally developed for centralized, in-memory computation on a single machine; and the few that break away from this mold do not easily incorporate practically important constraints, such as non-negativity. A new constrained tensor factorization framework is proposed in this paper, building upon the Alternating Direction Method of Multipliers (ADMoM). It is shown that this simplifies computations, bypassing the need to solve constrained optimization problems in each iteration; and it naturally leads to distributed algorithms suitable for parallel implementation. This opens the door for many emerging big data-enabled applications. The methodology is exemplified using non-negativity as a baseline constraint, but the proposed framework can incorporate many other types of constraints. Numerical experiments are encouraging, indicating that ADMoM-based non-negative tensor factorization (NTF) has high potential as an alternative to state-of-the-art approaches.

Description: A method for authorship attribution based on function word adjacency networks (WANs) is introduced. Function words are parts of speech that express grammatical relationships between other words but do not carry lexical meaning on their own. In the WANs in this paper, nodes are function words and directed edges from a source function word to a target function word stand in for the likelihood of finding the latter in the ordered vicinity of the former. WANs of different authors can be interpreted as transition probabilities of a Markov chain and are therefore compared in terms of their relative entropies. Optimal selection of WAN parameters is studied and attribution accuracy is benchmarked across a diverse pool of authors and varying text lengths. This analysis shows that, since function words are independent of content, their use tends to be specific to an author and that the relational data captured by function WANs is a good summary of stylometric fingerprints. Attribution accuracy is observed to exceed the one achieved by methods that rely on word frequencies alone. Further combining WANs with methods that rely on word frequencies, results in larger attribution accuracy, indicating that both sources of information encode different aspects of authorial styles.

Description: Greed is good. However, the tighter you squeeze, the less you have. In this paper, a less greedy algorithm for sparse signal reconstruction in compressive sensing, named orthogonal matching pursuit with thresholding is studied. Using the global 2-coherence, which provides a “bridge” between the well known mutual coherence and the restricted isometry constant, the performance of orthogonal matching pursuit with thresholding is analyzed and more general results for sparse signal reconstruction are obtained. It is also shown that given the same assumption on the coherence index and the restricted isometry constant as required for orthogonal matching pursuit, the thresholding variation gives exactly the same reconstruction performance with significantly less complexity.

Description: In multiobject inference, the multiobject probability density captures the uncertainty in the number and the states of the objects as well as the statistical dependence between the objects. Exact computation of the multiobject density is generally intractable and tractable implementations usually require statistical independence assumptions between objects. In this paper we propose a tractable multiobject density approximation that can capture statistical dependence between objects. In particular, we derive a tractable Generalized Labeled Multi-Bernoulli (GLMB) density that matches the cardinality distribution and the first moment of the labeled multiobject distribution of interest. It is also shown that the proposed approximation minimizes the Kullback–Leibler divergence over a special tractable class of GLMB densities. Based on the proposed GLMB approximation we further demonstrate a tractable multiobject tracking algorithm for generic measurement models. Simulation results for a multiobject Track-Before-Detect example using radar measurements in low signal-to-noise ratio (SNR) scenarios verify the applicability of the proposed approach.

Description: With bandwidths on the order of a gigahertz in emerging wireless systems, high-resolution analog-to-digital convertors (ADCs) become a power consumption bottleneck. One solution is to employ low resolution one-bit ADCs. In this paper, we analyze the flat fading multiple-input multiple-output (MIMO) channel with one-bit ADCs. Channel state information is assumed to be known at both the transmitter and receiver. For the multiple-input single-output channel, we derive the exact channel capacity. For the single-input multiple-output and MIMO channel, the capacity at infinite signal-to-noise ratio (SNR) is found. We also derive upper bound at finite SNR, which is tight when the channel has full row rank. In addition, we propose an efficient method to design the input symbols to approach the capacity achieving solution. We incorporate millimeter wave channel characteristics and find the bounds on the infinite SNR capacity. The results show how the number of paths and number of receive antennas impact the capacity.

Description: Based on the biorthogonal analysis approach, a multiwindow real-valued discrete Gabor transform (M-RDGT) for periodic sequences is presented to efficiently analyze the dynamic time-frequency content of a signal containing components with multiple and/or time-varying frequencies. The M-RDGT offers a computationally efficient implementation as well as a real-valued formulation of the multiwindow complex-valued discrete Gabor transform (M-CDGT). The completeness condition of the M-RDGT is proved to be equivalent to its biorthogonality constraint between analysis windows and synthesis windows. The M-RDGT can utilize the fast discrete Hartley transform algorithms for fast computation and has a simple relationship with the M-CDGT such that its coefficients can be directly computed from the M-RDGT coefficients. Therefore, the M-RDGT offers an efficient method to compute the M-CDGT. Since the analyzed sequence, analysis and synthesis windows in the existing M-CDGT must have an equal period, if the period of a sequence is very long, solving its windows requires a huge amount of computation and memory and could lead to numerical instability. To overcome this problem, a modified M-RDGT for long-periodic (or even infinite) sequences is presented and its corresponding biorthogonality constraint between analysis windows and synthesis windows is modified, in which the period of the analysis and synthesis windows is independent of the period of a analyzed sequence so that one can apply short windows to process any long-periodic (or even in finite) sequence. Finally, the multirate-based parallel implementation of the M-RDGT is presented, which has shown to be effective and fast for time-frequency analysis.

Description: In this paper, we present a Bayesian approach for spectral unmixing of multispectral Lidar (MSL) data associated with surface reflection from targeted surfaces composed of several known materials. The problem addressed is the estimation of the positions and area distribution of each material. In the Bayesian framework, appropriate prior distributions are assigned to the unknown model parameters and a Markov chain Monte Carlo method is used to sample the resulting posterior distribution. The performance of the proposed algorithm is evaluated using synthetic MSL signals, for which single and multi-layered models are derived. To evaluate the expected estimation performance associated with MSL signal analysis, a Cramer-Rao lower bound associated with model considered is also derived, and compared with the experimental data. Both the theoretical lower bound and the experimental analysis will be of primary assistance in future instrument design.

Description: In this paper we investigate some parallel variants of Broyden’s method and, for the basic variant, we present its convergence properties. The main result is that the behavior of the considered parallel Broyden’s variants is comparable with the classical parallel Newton method, and significantly better than the parallel Cimmino method, both for linear and nonlinear cases. The considered variants are also compared with two more recently proposed parallel Broyden’s method. Some numerical experiments are presented to illustrate the advantages and limits of the proposed algorithms.

Description: This paper is concerned with Gaussian approximations to the posterior probability density function (PDF) in the update step of Bayesian filtering with nonlinear measurements. In this setting, sigma-point approximations to the Kalman filter (KF) recursion are widely used due to their ease of implementation and relatively good performance. In the update step, these sigma-point KFs are equivalent to linearizing the nonlinear measurement function by statistical linear regression (SLR) with respect to the prior PDF. In this paper, we argue that the measurement function should be linearized using SLR with respect to the posterior rather than the prior to take into account the information provided by the measurement. The resulting filter is referred to as the posterior linearization filter (PLF). In practice, the exact PLF update is intractable but can be approximated by the iterated PLF (IPLF), which carries out iterated SLRs with respect to the best available approximation to the posterior. The IPLF can be seen as an approximate recursive Kullback-Leibler divergence minimization procedure. We demonstrate the high performance of the IPLF in relation to other Gaussian filters in two numerical examples.

Description: Optimal queueing control of multihop networks remains a challenging problem even in the simplest scenarios. In this paper, we consider a two-hop half-duplex relaying system with random channel connectivity. The relay is equipped with a finite buffer. We focus on stochastic link selection and transmission rate control to maximize the average system throughput subject to a half-duplex constraint. We formulate this stochastic optimization problem as an infinite horizon average cost Markov decision process (MDP), which is well known to be a difficult problem. By using sample-path analysis and exploiting the specific problem structure, we first obtain an equivalent Bellman equation with reduced state and action spaces. By using relative value iteration algorithm, we analyze the properties of the value function of the MDP. Then, we show that the optimal policy has a threshold-based structure by characterizing the supermodularity in the optimal control. Based on the threshold-based structure and Markov chain theory, we further simplify the original complex stochastic optimization problem to a static optimization problem over a small discrete feasible set and propose a low-complexity algorithm to solve the simplified static optimization problem by making use of its special structure. Furthermore, we obtain the closed-form optimal threshold for the symmetric case. The analytical results obtained in this paper also provide design insights for two-hop relaying systems with multiple relays equipped with finite relay buffers.

Description: This paper studies noise enhanced (NE) estimators, which are constructed from an original estimator by artificially adding noise to the observation and computing the expected estimator output. By this expectation operation, we take into account the neighbourhood of an observation and the resulting NE estimator often has a smaller Bayes risk than the original one. We derive some general properties of this estimator and also present a method to obtain a suitable approximation of the optimal NE estimator which can be computed numerically by solving a constrained optimization problem. Finally, we study two examples to show the Bayes risk improvement that we can obtain from the NE estimator and we compare it to the stochastic resonance estimator.

Description: The sign least mean square with reweighted L1-norm constraint (SLMS-RL1) algorithm is an attractive sparse channel estimation method among Gaussian mixture model (GMM) based algorithms for use in impulsive noise environments. The channel sparsity can be exploited by SLMS-RL1 algorithm based on appropriate reweighted factor, which is one of key parameters to adjust the sparse constraint for SLMS-RL1 algorithm. However, to the best of the authors’ knowledge, a reweighted factor selection scheme has not been developed. This paper proposes a Monte-Carlo (MC) based reweighted factor selection method to further strengthen the performance of SLMS-RL1 algorithm. To validate the performance of SLMS-RL1 using the proposed reweighted factor, simulations results are provided to demonstrate that convergence speed can be reduced by increasing the channel sparsity, while the steady-state MSE performance only slightly changes with different GMM impulsive-noise strengths.

Description: In modern mobile telecommunications, shadow fading has to be modeled by a two-dimensional (2D) correlated random variable since shadow fading may present both cross-correlation and spatial correlation due to the presence of similar obstacles during the propagation. In this paper, 2D correlated random shadowing is generated based on the multi-resolution frequency domain ParFlow (MR-FDPF) model. The MR-FDPF model is a 2D deterministic radio propagation model, so a 2D deterministic shadowing can be firstly extracted from it. Then, a 2D correlated random shadowing can be generated by considering the extracted 2D deterministic shadowing to be a realization of it. Moreover, based on the generated 2D correlated random shadowing, a complete 2D semi-deterministic path loss model can be proposed. The proposed methodology of this paper can be implemented into system-level simulators where it will be very useful due to its ability to generate realistic shadow fading.

Description: We present a local convergence analysis of an eighth order three step methodin order to approximate a locally unique solution of nonlinear equation in a Banach spacesetting. In an earlier study by Sharma and Arora (2015), the order of convergence wasshown using Taylor series expansions and hypotheses up to the fourth order derivative oreven higher of the function involved which restrict the applicability of the proposed scheme.However, only first order derivative appears in the proposed scheme. In order to overcomethis problem, we proposed the hypotheses up to only the first order derivative. In this way,we not only expand the applicability of the methods but also propose convergence domain.Finally, where earlier studies cannot be applied, a variety of concrete numerical examplesare proposed to obtain the solutions of nonlinear equations. Our study does not exhibit thistype of problem/restriction.

Description: Lung cancer continues to rank as the leading cause of cancer deaths worldwide. One of the most promising techniques for early detection of cancerous cells relies on sputum cell analysis. This was the motivation behind the design and the development of a new computer aided diagnosis (CAD) system for early detection of lung cancer based on the analysis of sputum color images. The proposed CAD system encompasses four main processing steps. First is the preprocessing step which utilizes a Bayesian classification method using histogram analysis. Then, in the second step, mean shift segmentation is applied to segment the nuclei from the cytoplasm. The third step is the feature analysis. In this step, geometric and chromatic features are extracted from the nucleus region. These features are used in the diagnostic process of the sputum images. Finally, the diagnosis is completed using an artificial neural network and support vector machine (SVM) for classifying the cells into benign or malignant. The performance of the system was analyzed based on different criteria such as sensitivity, specificity and accuracy. The evaluation was carried out using Receiver Operating Characteristic (ROC) curve. The experimental results demonstrate the efficiency of the SVM classifier over other classifiers, with 97% sensitivity and accuracy as well as a significant reduction in the number of false positive and false negative rates.

Description: Near-infrared spectroscopy (NIRS) enables the non-invasive measurement of changes in hemodynamics and oxygenation in tissue. Changes in light-coupling due to movement of the subject can cause movement artifacts (MAs) in the recorded signals. Several methods have been developed so far that facilitate the detection and reduction of MAs in the data. However, due to fixed parameter values (e.g., global threshold) none of these methods are perfectly suitable for long-term (i.e., hours) recordings or were not time-effective when applied to large datasets. We aimed to overcome these limitations by automation, i.e., data adaptive thresholding specifically designed for long-term measurements, and by introducing a stable long-term signal reconstruction. Our new technique (“acceleration-based movement artifact reduction algorithm”, AMARA) is based on combining two methods: the “movement artifact reduction algorithm” (MARA, Scholkmann et al. Phys. Meas. 2010, 31, 649–662), and the “accelerometer-based motion artifact removal” (ABAMAR, Virtanen et al. J. Biomed. Opt. 2011, 16, 087005). We describe AMARA in detail and report about successful validation of the algorithm using empirical NIRS data, measured over the prefrontal cortex in adolescents during sleep. In addition, we compared the performance of AMARA to that of MARA and ABAMAR based on validation data.

Description: This paper focuses on the parameter identification problem for Wiener nonlinear dynamic systems with moving average noises. In order to improve the convergence rate, the gradient-based iterative algorithm is presented by replacing the unmeasurable variables with their corresponding iterative estimates, and to compute iteratively the noise estimates based on the obtained parameter estimates. The simulation results show that the proposed algorithm can effectively estimate the parameters of Wiener systems with moving average noises.

Description: In this paper, the dynamical behavior of different optimal iterative schemes for solving nonlinear equations with increasing order, is studied. The tendency of the complexity of the Julia set is analyzed and referred to the fractal dimension. In fact, this fractal dimension can be shown to be a powerful tool to compare iterative schemes that estimate the solution of a nonlinear equation. Based on the box-counting algorithm, several iterative derivative-free methods of different convergence orders are compared.

Description: The basis of vehicular ad hoc networks (VANETs) is the exchange of data between entities, and making a decision on received data/event is usually based on information provided by other entities. Many researchers utilize the concept of trust to assess the trustworthiness of the received data. Nevertheless, the lack of a review to sum up the best available research on specific questions on trust management in vehicular ad hoc networks is sensible. This paper presents a systematic literature review to provide comprehensive and unbiased information about various current trust conceptions, proposals, problems, and solutions in VANETs to increase quality of data in transportation. For the purpose of the writing of this paper, a total of 111 articles related to the trust model in VANETs published between 2005 and 2014 were extracted from the most relevant scientific sources (IEEE Computer Society, ACM Digital Library, Springer Link, Science Direct, and Wiley Online Library). Finally, ten articles were eventually analyzed due to several reasons such as relevancy and comprehensiveness of discussion presented in the articles. Using the systematic method of review, this paper succeeds to reveal the main challenges and requirements for trust in VANETs and future research within this scope.

Description: Hardware imperfections can significantly reduce the performance of full-duplex wireless systems by introducing non-idealities and random effects that make it challenging to fully suppress self-interference. Previous research has mostly focused on analysing the impact of hardware imperfections on full-duplex systems, based on simulations and theoretical models. In this paper, we follow a measurement-based approach to experimentally identify and isolate these hardware imperfections leading to residual self-interference in full-duplex nodes. Our measurements show the important role of images arising from in-phase and quadrature (IQ) imbalance in the transmitter and receiver mixers. We also observe baseband non-linearities in the digital-to-analog converters (DAC), which can introduce strong harmonic components in the transmitted signal that have not been considered previously. A corresponding general mathematical model to suppress these components of the self-interference signal arising from the hardware non-idealities is developed from the observations and measurements. Results from a 10 MHz bandwidth full-duplex system, operating at 2.48 GHz, show that up to 13 dB additional suppression, relative to state-of-the-art implementations, can be achieved by jointly compensating for IQ imbalance and DAC non-linearities.

Description: Recent years have witnessed the increasing efforts toward making architecture standardization for the secured wireless mobile ad hoc networks. In this scenario when a node actively utilizes the other node resources for communicating and refuses to help other nodes in their transmission or reception of data, it is called a selfish node. As the entire mobile ad hoc network (MANETs) depends on cooperation from neighboring nodes, it is very important to detect and eliminate selfish nodes from being part of the network. In this paper, token-based umpiring technique (TBUT) is proposed, where every node needs a token to participate in the network and the neighboring nodes act as umpire. This proposed TBUT is found to be very efficient with a reduced detection time and less overhead. The security analysis and experimental results have shown that TBUT is feasible for enhancing the security and network performance of real applications.

Description: In this paper, multiple device-to-device (D2D) communication underlaying cellular multiuser multiple inputs multiple outputs (MU-MIMO) systems is investigated. This type of communication can improve spectral efficiency to address future demand, but interference management, user clustering, and resource allocation are three key problems related to resource sharing. Interference alignment (IA) is proposed to better mitigate in-cluster interference compared with a multiplex scheme, and user clustering and resource allocation are jointly investigated using binary-integer programming. In addition to an exhaustive search for a maximum throughput, we propose a two-step suboptimal algorithm by reducing the search space and applying branch-and-bound searching (BBS). To further obtain a good trade-off between performance and complexity, we propose a novel algorithm based on distance-constrained criteria for user clustering. The simulation results show that the IA and multiplex schemes acquiring user clustering gains outperform the orthogonal scheme without user clustering. Besides, the proposed two-step and location-based algorithms achieve little losses compared with the optimal algorithm under low complexities.

Description: Could crowd services be the next big thing? Here, Editor-in-Chief Brian Blake outlines the prospects of a world where we organize timely, instinctive information by harnessing the power of human crowds.

Description: The emergence of cyber-physical-social systems (CPSS) and context-aware technologies has helped boost a growing interest in building frameworks for adaptive smart services that hide heterogeneity in the infrastructure and support services by seamlessly integrating the cyber, physical, and social worlds. However, this entails an enormous amount of computational and networking contextual complexity. Here, the proposed smart services framework in CPSS (called Dynamic Social Structure of Things, or DSSoT) boosts sociality and narrows down the contextual complexity based on situational awareness. DSSoT monitors spatiotemporal situations and, depending on users' individual goals and other social aspects, induces and structures relevant social objects and smart services in a temporal network of interactions. An application using DSSoT, called Airport Dynamic Social, provides a proof of concept.

Description: Video constitutes a large fraction of Internet traffic today. The growth of mobile video has been significant in recent years, due to a tremendous increase in mobile device adoption and the ease with which videos are generated and consumed by such devices. Although the demand for mobile videos is significantly on the rise, the network infrastructure resources needed to deliver mobile videos haven't increased proportionally. This article discusses challenges in delivering streaming videos over cellular networks and possible ways to tackle those problems. Also considered is the potential impact of virtualizing network functions and services on mobile video delivery.

Description: The Internet of Things (IoT) envisions smart objects collecting and sharing data at a global scale via the Internet. One challenging issue is how to disseminate data to relevant data consumers efficiently. This article leverages semantic technologies, such as Linked Data, which can facilitate machine-to-machine communications to build an efficient stream dissemination system for Semantic IoT. The system integrates Linked Data streams generated from various data collectors and disseminates matched data to relevant data consumers based on user queries registered in the system. Here, the authors present a new data structure, TP-automata, designed to suit the high-performance needs of Linked Data stream dissemination. They evaluate the system using a real-world dataset generated in a Smart Building IoT Project. The proposed system can disseminate Linked Data streams at one million triples per second with 100,000 registered user queries, which is several orders of magnitude faster than existing techniques.

Description: Cyberspace is the processing, manipulation, and exploitation of information; the facilitation and augmentation of communication among people; and the interaction of people, information, and devices. The main characteristic of cyberspace is the interconnection of computers, information, devices, and people. Many actors are involved in cyberspace's construction and operation -- namely, telcos; application, service, and content providers; users; and governments. The issue of privacy protection is a global challenge that requires a global response. The regulation of privacy in cyberspace depends on regulatory, technical, and social factors. Multistakeholder mechanisms can be a promising way to deal with privacy policies in the global cyberspace.

Description: Physical-cyber-social (PCS) computing involves a holistic treatment of data, information, and knowledge from the physical, cyber, and social worlds to integrate, understand, correlate, and provide contextually relevant abstractions to humans and the applications that serve them. PCS computing extends current progress in cyber-physical, socio-technical, and cyber-social systems. Here, the guest editors consider powerful ways to exploit data available through various Internet of Things (IoT), citizen and social sensing, Web, and open data sources that are seeing explosive growth. This special issue highlights a variety of PCS applications, such as smart firefighting, intelligent infrastructure, and user guidance in an airport.

Description: Smart systems are everywhere. They have the unique ability to optimize their performance under a variety of inputs and recover quickly from a wide variety of disturbances. This ability depends on both the cognitive and physical capabilities of such systems. Currently available cyber technologies have dramatically increased the cognitive capabilities of machines. As these technologies advance, so will those cognitive capabilities. This means that humans and machines can work more collaboratively, as joint partners, to execute those capabilities. Here, a system is described that takes advantage of such technologies to deploy a smart firefighting approach.

Description: Cloud computing enables on-demand provisioning of computing resources to IT solutions, following a utility-based approach. Technology and standardization developments in traditional public utilities enable customers to seamlessly migrate across utility providers without being required to make changes to their home appliances. Dubbed as the fifth utility, cloud computing customers should have user-friendly tools and mechanisms at their disposal, which preserve application deployments across different resource providers. Here, the authors present current efforts to develop an open source Cloud Application Management Framework (CAMF) based on the Eclipse Rich Client Platform. This framework facilitates cloud application lifecycle management in a vendor-neutral approach.

Description: Previous studies have confirmed the adverse impact of fading correlation on the mutual information (MI) of two-dimensional (2D) multiple-input multiple-output (MIMO) systems. More recently, the trend is to enhance the system performance by exploiting the channels degrees of freedom in the elevation, which necessitates the derivation and characterization of three-dimensional (3D) channels in the presence of spatial correlation. In this paper, an exact closed-form expression for the Spatial Correlation Function (SCF) is derived for 3D MIMO channels. The proposed method resorts to the spherical harmonic expansion (SHE) of plane waves and the trigonometric expansion of Legendre and associated Legendre polynomials. The resulting expression depends on the underlying arbitrary angular distributions and antenna patterns through the Fourier Series (FS) coefficients of power azimuth and elevation spectrums. The novelty of the proposed method lies in the SCF being valid for any 3D propagation environment. The developed SCF determines the covariance matrices at the transmitter and the receiver that form the Kronecker channel model. In order to quantify the effects of correlation on system performance, the information-theoretic deterministic equivalents of the MI for the Kronecker model are utilized in both mono-user and multi-user cases. Numerical results validate the proposed analytical expressions and elucidate the dependence of the system performance on azimuth and elevation angular spreads and antenna patterns. Some useful insights into the behavior of MI as a function of downtilt angles are provided. The derived model will help evaluate the performance of correlated 3D MIMO channels in the future.

Description: We study the problem of binary sequential hypothesis testing using multiple sensors with associated observation costs. An off-line randomized sensor selection strategy, in which a sensor is chosen at every time step with a given probability, is considered. The objective of this work is to find a sequential detection rule and a sensor selection probability vector such that the expected total observation cost is minimized subject to constraints on reliability and sensor usage. First, the sequential probability ratio test is shown to be the optimal sequential detection rule in this framework as well. Efficient algorithms for obtaining the optimal sensor selection probability vector are then derived. In particular, a special class of problems in which the algorithm has complexity that is linear in the number of sensors is identified. An upper bound for the average sensor usage to estimate the error incurred due to Wald’s approximations is also presented. This bound can be used to set a safety margin for guaranteed satisfaction of the constraints on the sensor usage.

Description: In this paper, we consider the problem of distributed inference in tree based networks. In the framework considered in this paper, distributed nodes make a 1-bit local decision regarding a phenomenon before sending it to the fusion center (FC) via intermediate nodes. We propose the use of coding theory based techniques to solve this distributed inference problem in such structures. Data is progressively compressed as it moves towards the FC. The FC makes the global inference after receiving data from intermediate nodes. Data fusion at nodes as well as at the FC is implemented via error correcting codes. In this context, we analyze the performance for a given code matrix and also design the optimal code matrices at every level of the tree. We address the problems of distributed classification and distributed estimation separately and develop schemes to perform these tasks in tree networks. The proposed schemes are of practical significance due to their simple structure. We study the asymptotic inference performance of our schemes for two different classes of tree networks: fixed height tree networks, and fixed degree tree networks. We derive the sufficient conditions under which the proposed schemes are asymptotically optimal.

Description: This paper studies the 2D localization problem of a sensor network given anchor node positions in a common global coordinate frame and relative position measurements in local coordinate frames between node pairs. It is assumed that the local coordinate frames of different sensors have different orientations and the orientation difference with respect to the global coordinate frame are not known. In terms of graph connectivity, a necessary and sufficient condition is obtained for self-localizability that leads to a fully distributed localization algorithm. Moreover, a distributed verification algorithm is developed to check the graph connectivity condition, which can terminate successfully when the sensor network is self-localizable. Finally, a fully distributed, linear, and iterative algorithm based on the complex-valued Laplacian associated with the sensor network is proposed, which converges globally and gives the correct localization result.

Description: In this paper, we propose a novel framework for decentralized, online learning by many learners. At each moment of time, an instance characterized by a certain context may arrive to each learner; based on the context, the learner can select one of its own actions (which gives a reward and provides information) or request assistance from another learner. In the latter case, the requester pays a cost and receives the reward but the provider learns the information. In our framework, learners are modeled as cooperative contextual bandits. Each learner seeks to maximize the expected reward from its arrivals, which involves trading off the reward received from its own actions, the information learned from its own actions, the reward received from the actions requested of others and the cost paid for these actions—taking into account what it has learned about the value of assistance from each other learner. We develop distributed online learning algorithms and provide analytic bounds to compare the efficiency of these with algorithms with the complete knowledge (oracle) benchmark (in which the expected reward of every action in every context is known by every learner). Our estimates show that regret—the loss incurred by the algorithm—is sublinear in time. Our theoretical framework can be used in many practical applications including Big Data mining, event detection in surveillance sensor networks and distributed online recommendation systems.

Description: A sensor network is considered where at each sensor a sequence of random variables is observed. At each time step, a processed version of the observations is transmitted from the sensors to a common node called the fusion center. At some unknown point in time the distribution of observations at an unknown subset of the sensor nodes changes. The objective is to detect the change in distribution as quickly as possible, subject to constraints on the false alarm rate, the cost of observations taken at each sensor, and the cost of communication between the sensors and the fusion center. Minimax formulations are proposed for the above problem and distributed algorithms are proposed in which on-off observation control and censoring is used at each sensor to meet the constraints on data. It is shown that the proposed algorithms are asymptotically optimal for the proposed formulations, as the false alarm rate goes to zero. The asymptotic optimality of the proposed algorithms implies that an arbitrary but fixed fraction of data can be skipped without any loss in asymptotic performance as compared to the scheme where all the observations are used for decision making. It is also shown, via numerical studies, that the proposed algorithms perform significantly better than those based on fractional sampling, in which the classical algorithms from the literature are used and the constraint on the cost of observations is met by skipping a fixed fraction of observations either deterministically or randomly, independent of the observation process.

Description: In this paper, we propose a new class of techniques to identify periodicities in data. We target the period estimation directly rather than inferring the period from the signal’s spectrum. By doing so, we obtain several advantages over the traditional spectrum estimation techniques such as DFT and MUSIC. Apart from estimating the unknown period of a signal, we search for finer periodic structure within the given signal. For instance, it might be possible that the given periodic signal was actually a sum of signals with much smaller periods. For example, adding signals with periods 3, 7, and 11 can give rise to a period 231 signal. We propose methods to identify these “hidden periods” 3, 7, and 11. We first propose a new family of square matrices called Nested Periodic Matrices (NPMs), having several useful properties in the context of periodicity. These include the DFT, Walsh–Hadamard, and Ramanujan periodicity transform matrices as examples. Based on these matrices, we develop high dimensional dictionary representations for periodic signals. Various optimization problems can be formulated to identify the periods of signals from such representations. We propose an approach based on finding the least $l_{2}$ norm solution to an under-determined linear system. Alternatively, the period identification problem can also be formulated as a sparse vector recovery problem and we show that by a slight modification to the usual $l_{1}$ norm minimization techniques, we can incorporate a number of new and computationally simple dictionaries.

Description: Cognitive radio (CR) technology is promising for next generation wireless networks. It allows unlicensed secondary users to use the licensed spectrum bands as long as they do not cause unacceptable interference to the primary users who own those bands. To efficiently allocate resources in CR networks, stable resource allocation based on graph theory is investigated, which takes all users' preferences into account. In this paper, we focus on improving robustness of the stable matching based resource allocation. A truncated scheme generating almost stable matchings is first investigated. Based on the properties of the truncated scheme, two types of edge-cutting algorithms, called direct edge-cutting (DEC) and Gale-Shapley based edge-cutting (GSEC), are developed to improve resource allocation robustness to the channel state information variation. To mitigate the problem that certain secondary users may not be able to find suitable resources after edge-cutting, multi-stage (MS) algorithms are then proposed. Numerical results show that the proposed algorithms are robust to the channel state information variation.