OpenRaiser/Intern-Atlas huggingface dataset:
Interference Management in 5G Reverse TDD HetNets with Wireless Backhaul: A Large System Analysis
Venue: arXiv cs.IT 2015
Year: 2015

This work analyzes a heterogeneous network (HetNet), which comprises a macro base station (BS) equipped with a large number of antennas and an overlaid dense tier of small cell access points (SCAs) using a wireless backhaul for data traffic. The static and low mobility user equipment terminals (UEs) are associated with the SCAs while those with medium-to-high mobility are served by the macro BS. A reverse time division duplexing (TDD) protocol is used by the two tiers, which allows the BS to locally estimate both the intra-tier and inter-tier channels. This knowledge is then used at the BS either in the uplink (UL) or in the downlink (DL) to simultaneously serve the macro UEs (MUEs) and to provide the wireless backhaul to SCAs. A geographical separation of co-channel SCAs is proposed to limit the interference coming from the UL signals of MUEs. A concatenated linear precoding technique employing either zero-forcing (ZF) or regularized ZF is used at the BS to simultaneously serve MUEs and SCAs in DL while nulling interference toward those SCAs in UL. We evaluate and characterize the performance of the system through the power consumption of UL and DL transmissions under the assumption that target rates must be satisfied and imperfect channel state information is available for MUEs. The analysis is conducted in the asymptotic regime where the number of BS antennas and the network size (MUEs and SCAs) grow large with fixed ratios. Results from large system analysis are used to provide concise formulae for the asymptotic UL and DL transmit powers and precoding vectors under the above assumptions. Numerical results are used to validate the analysis in different settings and to make comparisons with alternative network architectures.
On Capacity and Capacity per Unit Cost of Gaussian Multiple Access Channel with Peak Power Constraints
Venue: arXiv cs.IT 2015
Year: 2015

This paper investigates the capacity and capacity per unit cost of Gaussian multiple access-channel (GMAC) with peak power constraints. We first devise an approach based on Blahut-Arimoto Algorithm to numerically optimize the sum rate and quantify the corresponding input distributions. The results reveal that in the case with identical peak power constraints, the user with higher SNR is to have a symmetric antipodal input distribution for all values of noise variance. Next, we analytically derive and characterize an achievable rate region for the capacity in cases with small peak power constraints, which coincides with the capacity in a certain scenario. The capacity per unit cost is of interest in low power regimes and is a target performance measure in energy efficient communications. In this work, we derive the capacity per unit cost of additive white Gaussian channel and GMAC with peak power constraints. The results in case of GMAC demonstrate that the capacity per unit cost is obtained using antipodal signaling for both users and is independent of users rate ratio. We characterize the optimized transmission strategies obtained for capacity and capacity per unit cost with peak-power constraint in detail and specifically in contrast to the settings with average-power constraints.
Chip-firing games on Eulerian digraphs and NP-hardness of computing the rank of a divisor on a graph
Venue: arXiv cs.CC 2015
Year: 2015

Baker and Norine introduced a graph-theoretic analogue of the Riemann-Roch theory. A central notion in this theory is the rank of a divisor. In this paper we prove that computing the rank of a divisor on a graph is NP-hard. The determination of the rank of a divisor can be translated to a question about a chip-firing game on the same underlying graph. We prove the NP-hardness of this question by relating chip-firing on directed and undirected graphs.
A discussion on the validation tests employed to compare human action recognition methods using the MSR Action3D dataset
Venue: arXiv cs.CV 2015
Year: 2015

This paper aims to determine which is the best human action recognition method based on features extracted from RGB-D devices, such as the Microsoft Kinect. A review of all the papers that make reference to MSR Action3D, the most used dataset that includes depth information acquired from a RGB-D device, has been performed. We found that the validation method used by each work differs from the others. So, a direct comparison among works cannot be made. However, almost all the works present their results comparing them without taking into account this issue. Therefore, we present different rankings according to the methodology used for the validation in orden to clarify the existing confusion.
Emitter Localisation from Reception Timestamps in Asynchronous Networks
Venue: arXiv cs.NI 2015
Year: 2015

We address the problem of localising a mobile terminal ("blind" node) in unknown position from a set of "anchor" nodes in known positions. The proposed method does not require any form of node synchronisation nor measurement (or control) of the transmission times, which is difficult or anyway costly to achieve in practice. It relies exclusively on reception timestamps collected by the anchor nodes, according to their local clocks, that overhear packets transmitted by the blind node and by (at least one) other transmitting node(s) in known position, e.g., other anchors. The clock differences between the nodes are not eliminated ex ante through clock synchronisation, as in traditional ToA and TDoA methods. Instead, they are counteracted ex post, during the data processing stage, leveraging the data redundancy that is intrinsic to the multiple reception of the same packet by different (anchor) nodes. We validate the proposed method in different experimental settings, indoor and outdoor, using exclusively low-cost Commercial-Off-The-Shelf WiFi devices, achieving sub-meter accuracy in full Line-of-Sight conditions and meter-level accuracy in mild Non-line-of-sight environment. The proposed method does not require that the blind node participate actively to the localisation procedure and can use "opportunistically" any legacy signal or packet available over-the-air for communication purposes. Considering the very minimal requirement on the system - basically, only that anchors in known positions are able to collect and share reception timestamps - the proposed approach can enable practical adoption of opportunistic and/or cooperative localisation on top of existing radio communication systems.
RiPKI: The Tragic Story of RPKI Deployment in the Web Ecosystem
Venue: arXiv cs.NI 2015
Year: 2015

Web content delivery is one of the most important services on the Internet. Access to websites is typically secured via TLS. However, this security model does not account for prefix hijacking on the network layer, which may lead to traffic blackholing or transparent interception. Thus, to achieve comprehensive security and service availability, additional protective mechanisms are necessary such as the RPKI, a recently deployed Resource Public Key Infrastructure to prevent hijacking of traffic by networks. This paper argues two positions. First, that modern web hosting practices make route protection challenging due to the propensity to spread servers across many different networks, often with unpredictable client redirection strategies, and, second, that we need a better understanding why protection mechanisms are not deployed. To initiate this, we empirically explore the relationship between web hosting infrastructure and RPKI deployment. Perversely, we find that less popular websites are more likely to be secured than the prominent sites. Worryingly, we find many large-scale CDNs do not support RPKI, thus making their customers vulnerable. This leads us to explore business reasons why operators are hesitant to deploy RPKI, which may help to guide future research on improving Internet security.
The Non-Regular CEO Problem
Venue: arXiv cs.IT 2015
Year: 2015

We consider the CEO problem for non-regular source distributions (such as uniform or truncated Gaussian). A group of agents observe independently corrupted versions of data and transmit coded versions over rate-limited links to a CEO. The CEO then estimates the underlying data based on the received coded observations. Agents are not allowed to convene before transmitting their observations. This formulation is motivated by the practical problem of a firm's CEO estimating (non-regular) beliefs about a sequence of events, before acting on them. Agents' observations are modeled as jointly distributed with the underlying data through a given conditional probability density function. We study the asymptotic behavior of the minimum achievable mean squared error distortion at the CEO in the limit when the number of agents $L$ and the sum rate $R$ tend to infinity. We establish a $1/R^2$ convergence of the distortion, an intermediate regime of performance between the exponential behavior in discrete CEO problems [Berger, Zhang, and Viswanathan (1996)], and the $1/R$ behavior in Gaussian CEO problems [Viswanathan and Berger (1997)]. Achievability is proved by a layered architecture with scalar quantization, distributed entropy coding, and midrange estimation. The converse is proved using the Bayesian Chazan-Zakai-Ziv bound.
Command & Control: Understanding, Denying and Detecting - A review of malware C2 techniques, detection and defences
Venue: arXiv cs.CR 2015
Year: 2015

In this survey, we first briefly review the current state of cyber attacks, highlighting significant recent changes in how and why such attacks are performed. We then investigate the mechanics of malware command and control (C2) establishment: we provide a comprehensive review of the techniques used by attackers to set up such a channel and to hide its presence from the attacked parties and the security tools they use. We then switch to the defensive side of the problem, and review approaches that have been proposed for the detection and disruption of C2 channels. We also map such techniques to widely-adopted security controls, emphasizing gaps or limitations (and success stories) in current best practices.
Dimension reduction techniques for $\ell_p$, $1 \le p \le 2$, with applications
Venue: arXiv cs.CG 2015
Year: 2015

For Euclidean space ($\ell_2$), there exists the powerful dimension reduction transform of Johnson and Lindenstrauss, with a host of known applications. Here, we consider the problem of dimension reduction for all $\ell_p$ spaces $1 \le p \le 2$. Although strong lower bounds are known for dimension reduction in $\ell_1$, Ostrovsky and Rabani successfully circumvented these by presenting an $\ell_1$ embedding that maintains fidelity in only a bounded distance range, with applications to clustering and nearest neighbor search. However, their embedding techniques are specific to $\ell_1$ and do not naturally extend to other norms. In this paper, we apply a range of advanced techniques and produce bounded range dimension reduction embeddings for all of $1 \le p \le 2$, thereby demonstrating that the approach initiated by Ostrovsky and Rabani for $\ell_1$ can be extended to a much more general framework. We also obtain improved bounds in terms of the intrinsic dimensionality. As a result we achieve improved bounds for proximity problems including snowflake embeddings and clustering.
Interference-Aware RZF Precoding for Multi Cell Downlink Systems
Venue: arXiv cs.IT 2015
Year: 2015

Recently, a structure of an optimal linear precoder for multi cell downlink systems has been described in [1, Eq (3.33)]. Other references (e.g., [2,3]) have used simplified versions of the precoder to obtain promising performance gains. These gains have been hypothesized to stem from the additional degrees of freedom that allow for interference mitigation through interference relegation to orthogonal subspaces. However, no conclusive or rigorous understanding has yet been developed. In this paper, we build on an intuitive interference induction trade-off and the aforementioned precoding structure to propose an interference aware RZF (iaRZF) precoding scheme for multi cell downlink systems and we analyze its rate performance. Special emphasis is placed on the induced interference mitigation mechanism of iaRZF. For example, we will verify the intuitive expectation that the precoder structure can either completely remove induced inter-cell or intra-cell interference. We state new results from large-scale random matrix theory that make it possible to give more intuitive and insightful explanations of the precoder behavior, also for cases involving imperfect channel state information (CSI). We remark especially that the interference-aware precoder makes use of all available information about interfering channels to improve performance. Even very poor CSI allows for significant sum-rate gains. Our obtained insights are then used to propose heuristic precoder parameters for arbitrary systems, whose effectiveness are shown in more involved system scenarios. Furthermore, calculation and implementation of these parameters does not require explicit inter base station cooperation.
SPLZ: An Efficient Algorithm for Single Source Shortest Path Problem Using Compression Method
Venue: arXiv cs.DS 2015
Year: 2015

Efficient solution of the single source shortest path (SSSP) problem on road networks is an important requirement for numerous real-world applications. This paper introduces an algorithm for the SSSP problem using compression method. Owning to precomputing and storing all-pairs shortest path (APSP), the process of solving SSSP problem is a simple lookup of a little data from precomputed APSP and decompression. APSP without compression needs at least 1TB memory for a road network with one million vertices. Our algorithm can compress such an APSP into several GB, and ensure a good performance of decompression. In our experiment on a dataset about Northwest USA (with 1.2 millions vertices), our method can achieve about three orders of magnitude faster than Dijkstra algorithm based on binary heap.
Direct Digital Design of Loop-Shaping Filters for Sampled Control Systems
Venue: arXiv cs.SY 2015
Year: 2015

A controller design technique for shaping the frequency response of a process is described. A general linear model (GLM) is used to define the form of a lag or lead compensator in discrete time using a prescribed set of basis functions. The model is then transformed via the complex z-domain into a difference equation for a recursive digital filter with an infinite impulse response (IIR). A polynomial basis set is better for shaping the frequency response in the near-zero region; whereas a sinusoidal basis set is better for defining the response at arbitrary frequencies. The proposed compensator design method is more flexible than existing low-order approaches and more suitable than other general-purpose high-order methods. Performance of the resulting controller is compared with digital proportional-integral-differential (PID) and linear-state-space (LSS) algorithms in a real motor-control application.
Gabidulin Decoding via Minimal Bases of Linearized Polynomial Modules
Venue: arXiv cs.IT 2015
Year: 2015

We show how Gabidulin codes can be decoded via parametrization by using interpolation modules over the ring of linearized polynomials with composition. Our decoding algorithm computes a list of message words that correspond to all closest codewords to a given received word. This involves the computation of a minimal basis for the interpolation module that corresponds to the received word, followed by a search through the parametrization for valid message words. Our module-theoretic approach strengthens the link between Gabidulin decoding and Reed-Solomon decoding. Two subalgorithms are presented to compute the minimal basis, one iterative, the other an extended Euclidean algorithm. Both of these subalgorithms have polynomial time complexity. The complexity order of the overall algorithm, using the parametrization, is then compared to straightforward exhaustive search as well as to chase list decoding.
Technologies for Web and cloud service interaction: a survey
Venue: arXiv cs.NI 2015
Year: 2015

The evolution of Web and service technologies has led to a wide landscape of standards and protocols for interaction between loosely coupled software components. Examples range from Web applications, mashups, apps, and mobile devices to enterprise-grade services. Cloud computing is the industrialization of service provision and delivery, where Web and enterprise services are converging on a technological level. The article discusses this technological landscape and, in particular, current trends with respect to cloud computing. The survey focuses on the communication aspect of interaction by reviewing languages, protocols, and architectures that drive today's standards and software implementations applicable in clouds. Technological advances will affect both client side and service side. There is a trend toward multiplexing, multihoming, and encryption in upcoming transport mechanisms, especially for architectures, where a client simultaneously sends a large number of requests to some service. Furthermore, there are emerging client-to-client communication capabilities in Web clients that could establish a foundation for upcoming Web-based messaging architectures.
A Difference Ring Theory for Symbolic Summation
Venue: arXiv cs.SC 2015
Year: 2015

A summation framework is developed that enhances Karr's difference field approach. It covers not only indefinite nested sums and products in terms of transcendental extensions, but it can treat, e.g., nested products defined over roots of unity. The theory of the so-called $RΠΣ^*$-extensions is supplemented by algorithms that support the construction of such difference rings automatically and that assist in the task to tackle symbolic summation problems. Algorithms are presented that solve parameterized telescoping equations, and more generally parameterized first-order difference equations, in the given difference ring. As a consequence, one obtains algorithms for the summation paradigms of telescoping and Zeilberger's creative telescoping. With this difference ring theory one obtains a rigorous summation machinery that has been applied to numerous challenging problems coming, e.g., from combinatorics and particle physics.
Distributed Compute-and-Forward Based Relaying Strategies in Multi-User Multi-Relay Networks
Venue: arXiv cs.IT 2015
Year: 2015

In this paper, we propose different practical distributed schemes to solve the rank failure problem in the compute and forward (CMF)-based multi-user multi-relay networks without central coordinator, in which the relays have no prior information about each other. First, a new relaying strategy based on CMF, named incremental compute-and-forward (ICMF), is proposed that performs quite well in terms of the outage probability. We show that the distributed ICMF scheme can even outperform the achievable rate of centralized optimal CMF in strong enough inter relay links, with much less complexity. Then, as the second scheme, amplify-forward and compute (AFC) is introduced in which the equations are recovered in the destination rather than in the relays. Finally, ICMF and AFC schemes are combined to present hybrid compute-amplify and forward (HCAF) relaying scheme, which takes advantages of both ICMF, and AFC and improves the performance of the ICMF considerably. We evaluate the performance of the proposed strategies in terms of the outage probability and compare the results with those of the conventional CMF strategy, the Decode and Forward (DF) strategy, and also the centralized optimal CMF. The results indicate the substantial superiority of the proposed schemes compared with the conventional schemes, specially for high number of users and relays.
On A Generalization of "Eight Blocks to Madness"
Venue: arXiv cs.DM 2015
Year: 2015

We consider a puzzle such that a set of colored cubes is given as an instance. Each cube has unit length on each edge and its surface is colored so that what we call the Surface Color Condition is satisfied. Given a palette of six colors, the condition requires that each face should have exactly one color and all faces should have different colors from each other. The puzzle asks to compose a 2x2x2 cube that satisfies the Surface Color Condition from eight suitable cubes in the instance. Note that cubes and solutions have 30 varieties respectively. In this paper, we give answers to three problems on the puzzle: (i) For every subset of the 30 solutions, is there an instance that has the subset exactly as its solution set? (ii) Create a maximum sized infeasible instance (i.e., one having no solution). (iii) Create a minimum sized universal instance (i.e., one having all 30 solutions). We solve the problems with the help of a computer search. We show that the answer to (i) is no. For (ii) and (iii), we show examples of the required instances, where their sizes are 23 and 12, respectively. The answer to (ii) solves one of the open problems that were raised in [E.Berkove et al., "An Analysis of the (Colored Cubes)^3 Puzzle," Discrete Mathematics, 308 (2008) pp. 1033-1045].
Classifying sequences by the optimized dissimilarity space embedding approach: a case study on the solubility analysis of the E. coli proteome
Venue: arXiv cs.CV 2015
Year: 2015

We evaluate a version of the recently-proposed classification system named Optimized Dissimilarity Space Embedding (ODSE) that operates in the input space of sequences of generic objects. The ODSE system has been originally presented as a classification system for patterns represented as labeled graphs. However, since ODSE is founded on the dissimilarity space representation of the input data, the classifier can be easily adapted to any input domain where it is possible to define a meaningful dissimilarity measure. Here we demonstrate the effectiveness of the ODSE classifier for sequences by considering an application dealing with the recognition of the solubility degree of the Escherichia coli proteome. Solubility, or analogously aggregation propensity, is an important property of protein molecules, which is intimately related to the mechanisms underlying the chemico-physical process of folding. Each protein of our dataset is initially associated with a solubility degree and it is represented as a sequence of symbols, denoting the 20 amino acid residues. The herein obtained computational results, which we stress that have been achieved with no context-dependent tuning of the ODSE system, confirm the validity and generality of the ODSE-based approach for structured data classification.
The Filament Sensor for Near Real-Time Detection of Cytoskeletal Fiber Structures
Venue: arXiv cs.CV 2015
Year: 2015

A reliable extraction of filament data from microscopic images is of high interest in the analysis of acto-myosin structures as early morphological markers in mechanically guided differentiation of human mesenchymal stem cells and the understanding of the underlying fiber arrangement processes. In this paper, we propose the filament sensor (FS), a fast and robust processing sequence which detects and records location, orientation, length and width for each single filament of an image, and thus allows for the above described analysis. The extraction of these features has previously not been possible with existing methods. We evaluate the performance of the proposed FS in terms of accuracy and speed in comparison to three existing methods with respect to their limited output. Further, we provide a benchmark dataset of real cell images along with filaments manually marked by a human expert as well as simulated benchmark images. The FS clearly outperforms existing methods in terms of computational runtime and filament extraction accuracy. The implementation of the FS and the benchmark database are available as open source.