Achievable Rates for a LAN-Limited Distributed Receiver in Gaussian Interference

A base node seeks to receive a broadcast with its own observation in addition to side-information provided via a local area network (LAN) from several ‘helper nodes,’potentially occluded by an external interferer. Ideally, helpers would convey their precise observations to the base but the LAN has limited capacity, so helpers must compress and forward. Bounds … Read more

Modulation Design for MIMO-CoMP HARQ

Modulation diversity (MoDiv) is a simple and practical transmission enhancement technique that utilizes different modulation mappings to reduce packet loss rate and achieve higher link throughput. MoDiv is particularly meaningful and effective in hybrid-ARQ (HARQ) systems. We study the deployment and optimization of MoDiv for HARQ in a MIMOcoordinated multi-point (MIMO-CoMP) scenario under Rician fading … Read more

Modulation Design for Two-Way Amplify-and-Forward Relay HARQ

As a practical technique for enhancing relay and HARQ transmissions, Modulation Diversity (MoDiv) uses distinct constellation mappings for data retransmissions. In this work, we study the MoDiv optimization in a amplify-and-forward (AF) two-way relay channel (TWRC). The design of MoDiv design to minimize the bit-error rate (BER) is formulated into a successive Koopmans-Beckmann Quadratic Assignment … Read more

Construction of IMEX DIMSIMs of high order and stage order

For many systems of differential equations modeling problems in science and engineering, there are often natural splittings of the right hand side into two parts, one of which is non-stff or mildly stff, and the other part is stff. Such systems can be effciently treated by a class of implicit-explicit (IMEX) diagonally implicit multistage integration … Read more

Formal property verification in a conformance testing framework

In model-based design of cyber-physical systems, such as switched mixed-signal circuits or software-controlled physical systems, it is common to develop a sequence of system models of different fidelity and complexity, each appropriate for a particular design or verification task. In such a sequence, one model is often derived from the other by a process of … Read more

Directional Sensor Control: Heuristic Approaches

We study the problem of controlling multiple 2-D directional sensors while maximizing an objective function based on the information gain corresponding to multiple target locations. We assume a joint prior Gaussian distribution for the target locations. A sensor generates a (noisy) measurement of a target only if the target lies within the field-of-view of the … Read more

On Solving a Hard Quadratic 3-Dimensional Assignment Problem

We address the exact solution of a very challenging (and previously unsolved) instance of the quadratic 3-dimensional assignment problem, arising in digital wireless communications. The paper describes the techniques developed to solve this instance to proven optimality, from the choice of an appropriate mixed-integer programming formulation, to cutting planes and symmetry handling. Using these techniques … Read more

Exact and Heuristic Approaches for Directional Sensor Control

Directional sensors are gaining importance due to applications, in- cluding surveillance, detection, and tracking. Such sensors have a limited fi eld-of-view and a discrete set of directions they can be pointed to. The Directional Sensor Control problem (DSCP) consists in assigning a direction of view to each sensor. The location of the targets is known with … Read more

A new formulation of protein evolutionary models that account for structural constraints

Despite the importance of a thermodynamically stable structure with a conserved fold for protein function, almost all evolutionary models neglect site-site correlations that arise from physical interactions between neighboring amino acid sites. This is mainly due to the difficulty in formulating a computationally tractable model since rate matrices can no longer be used. Here we … Read more

Transmission Expansion Planning Using an AC Model: Formulations and Possible Relaxations

Transmission expansion planning (TEP) is a rather complicated process which requires extensive studies to determine when, where and how many transmission facilities are needed. A well planned power system will not only enhance the system reliability, but also tend to contribute positively to the overall system operating efficiency. Starting with two mixed-integer nonlinear programming (MINLP) … Read more