Abstract: A multi-rank beamforming (MRBF) scheme in which the downlink channel is estimated and an optimal precoding matrix to be used by the MRBF transmitter is determined accordingly. The optimal precoding matrix is selected from a codebook of matrices having a recursive structure which allows for efficient computation of the optimal precoding matrix and corresponding Signal to Interference and Noise Ratio (SINR). The codebook also enjoys a small storage footprint. Due to the computational efficiency and modest memory requirements, the optimal precoding determination can be made at user equipment (UE) and communicated to a transmitting base station over a limited uplink channel for implementation over the downlink channel.

Abstract: A system and method for program verification by model checking in concurrent programs includes modeling each of a plurality of program threads as a circuit model, and generating a full circuit for an entire program by combining the circuit models including constraints which enforce synchronous execution of the program threads. The program is verified using the synchronous execution to reduce an amount of memory needed to verify the program and a number of steps taken to uncover an error.

Abstract: In a dense wavelength division multiplexed optical network, an upgradeable, modular, colorless, directionless, reconfigurable add/drop multiplexer having a small form factor. By using wavelength selective switches and couplers, the above features are achieved without the need for photonic cross connects.

Abstract: An interference relay channel (IRC) utilizes a single relay to assist communications between multiple source-destination links under the half-duplex (HD) constraint. It is assumed that each source has an independent message and its transmitted signal may cause interference at the other destinations. It is also assumed that each node only estimates its backward channels and has no knowledge of its forward channels as well as the other links. The role of the relay is to generate signals to cooperate with the intended signal and mitigate the interference at all destinations.

Abstract: A quantized multi-rank beamforming scheme for multiple-antenna systems such as a multiple-input-multiple-output (MIMO) wireless downlink User equipment (UE) estimates downlink channel and transmit power and determines rank and power allocations. A quantized beamforming matrix is then determined by the UE using successive beamforming. The UE also determines channel quality indices (CQI) which it feeds-back to the wireless downlink base station along with the index of the quantized beamforming matrix. The base station uses the CQI information to select a UE for scheduling of downlink transmission and the quantized beamforming matrix index received from the selected UE to beamform the downlink transmission to the UE. Base station overhead and is minimized while providing near-optimal performance given the constraints of a limited feed-back channel and computational complexity of the UE.

Abstract: A quantized multi-rank beamforming scheme for multiple-antenna systems such as a multiple-input-multiple-output (MIMO) wireless downlink User equipment (UE) estimates downlink channel and transmit power and determines rank and power allocations. A quantized beamforming matrix is then determined by the UE using successive beamforming. The UE also determines channel quality indices (CQI) which it feeds-back to the wireless downlink base station along with the index of the quantized beamforming matrix. The base station uses the CQI information to select a UE for scheduling of downlink transmission and the quantized beamforming matrix index received from the selected UE to beamform the downlink transmission to the UE. Base station overhead and is minimized while providing near-optimal performance given the constraints of a limited feed-back channel and computational complexity of the UE.

Abstract: A system to communicate optical data signals in parallel includes an optical splitter to split the data signals into two polarization multiplexed (PM) signals; and two reception channels coupled to the optical splitter, where each reception channel tracks and isolates a PM signal independently.

Abstract: A method for training a learning machine for use in discriminative classification and regression includes randomly selecting, in a first computer process, an unclassified datapoint associated with a phenomenon of interest; determining, in a second computer process, a set of datapoints associated with the phenomenon of interest that is likely to be in the same class as the selected unclassified datapoint; predicting, in a third computer process, a class label for the selected unclassified datapoint in a third computer process; predicting a class label for the set of datapoints in a fourth computer process; combining the predicted class labels in a fifth computer process, to predict a composite class label that describes the selected unclassified datapoint and the set of datapoints; and using the combined class label to adjust at least one parameter of the learning machine in a sixth computer process.

Abstract: A quantized multi-rank beamforming scheme for multiple-antenna systems such as a multiple-input-multiple-output (MIMO) wireless downlink. User equipment (UE) estimates downlink channel and transmit power and determines rank and power allocations. A quantized beamforming matrix is then determined by the UE using successive beamforming. The UE also determines channel quality indices (CQI) which it feeds-back to the wireless downlink base station along with the index of the quantized beamforming matrix. The base station uses the CQI information to select a UE for scheduling of downlink transmission and the quantized beamforming matrix index received from the selected UE to beamform the downlink transmission to the UE. Base station overhead and is minimized while providing near-optimal performance given the constraints of a limited feed-back channel and computational complexity of the UE.

Abstract: A technique for model checking of multi-threaded software is herein disclosed which advantageously can be used to verify correctness properties expressed using temporal logic, e.g., linear time temporal logic and branching time temporal logic. The model checking problem of a concurrent system is decomposed into a plurality of model checking problems on individual threads of the multi-threaded software.

Abstract: A quantized multi-rank beamforming scheme for multiple-antenna systems such as a multiple-input-multiple-output (MIMO) wireless downlink. User equipment (UE) estimates downlink channel and transmit power and determines rank and power allocations. A quantized beamforming matrix is then determined by the UE using successive beamforming. The UE also determines channel quality indices (CQI) which it feeds-back to the wireless downlink base station along with the index of the quantized beamforming matrix. The base station uses the CQI information to select a UE for scheduling of downlink transmission and the quantized beamforming matrix index received from the selected UE to beamform the downlink transmission to the UE. Base station overhead and is minimized while providing near-optimal performance given the constraints of a limited feed-back channel and computational complexity of the UE.

Abstract: A quantized multi-rank beamforming scheme for multiple-antenna systems such as a multiple-input-multiple-output (MIMO) wireless downlink. User equipment (UE) estimates downlink channel and transmit power and determines rank and power allocations. A quantized beamforming matrix is then determined by the UE using successive beamforming. The UE also determines channel quality indices (CQI) which it feeds-back to the wireless downlink base station along with the index of the quantized beamforming matrix. The base station uses the CQI information to select a UE for scheduling of downlink transmission and the quantized beamforming matrix index received from the selected UE to beamform the downlink transmission to the UE. Base station overhead and is minimized while providing near-optimal performance given the constraints of a limited feed-back channel and computational complexity of the UE.

Abstract: A method for decoding of multiple wireless signals by a chase combining hybrid-automatic-repeat-request CC-HARQ receiver includes demodulating wireless signals received from respective mobile sources using an effective channel matrix and decision statistics; updating log-likelihood-ratios LLRs and decoding the received codewords using the corresponding updated LLRs; determining set of correctly decoded codewords using a cyclic redundancy check; updating the effective channel matrix and decision statistics responsive to the step of determining; and resetting the effective channel matrix and decision statistics in the event that the number of decoding errors for a codeword exceeds its maximum limit after storing the updated LLRs of all remaining erroneously decoded codewords for which the number of decoding errors is below the respective maximum limit.

Abstract: A quantized multi-rank beamforming scheme for multiple-antenna systems such as a multiple-input-multiple-output (MIMO) wireless downlink. User equipment (UE) estimates downlink channel and transmit power and determines rank and power allocations. A quantized beamforming matrix is then determined by the UE using successive beamforming. The UE also determines channel quality indices (CQI) which it feeds-back to the wireless downlink base station along with the index of the quantized beamforming matrix. The base station uses the CQI information to select a UE for scheduling of downlink transmission and the quantized beamforming matrix index received from the selected UE to beamform the downlink transmission to the UE. Base station overhead and is minimized while providing near-optimal performance given the constraints of a limited feed-back channel and computational complexity of the UE.

Abstract: The invention provides a sequential rate allocation process which assigns excess rates to variable-rate users in a sequential fashion according to specified priorities and yields a strongly pare-to-optimal rate allocation. The invention also provides two parallel rate allocation techniques for where all variable-rate users have the same priority. The first is a parallel symmetric rate and the second is an iterative rate allocation.

Abstract: Methods and apparatus are disclosed for applying successive multi-rank beamforming strategies (e.g., successive precoding strategies) for the design of precoders over a set of parallel channels. Successive beamforming is applied to a narrow band channel model and is also applied for finer quantization of a single beamforming vector (e.g., recursive beamforming). A first embodiment provides the optimal approach with high complexity. An alternative embodiment provides successive beamforming for near optimal precoding selection with medium complexity. A low complexity method for precoder selection is also provided wherein a channel representative matrix for the set of parallel channels is determined and successive beamforming on the calculated channel representative is applied.

Abstract: A method includes estimating quadrature amplitude modulated QAM symbols in an LDPC encoded OFDM signal for transmission, performing channel estimation by training sequence to determine channel coefficients in reception of the LDPC encoded OFDM signal; and obtaining channel information detection and decoding of the LDPC encoded signal.

Abstract: A method for the polarization independent frequency domain equalization (FDE) chromatic dispersion compensation on polarization multiplexing (POLMUX) coherent systems. Operationally, time domain signals are converted to frequency domain signals such that time domain convolution can be done as simple multiplications in the frequency domain. These frequency domain signals then converted back to time domain for subsequent use. The input signal size and FFT size are advantageously designed so that the output signals can be continuous with some overlap between two successive frames.

Abstract: The invention includes a method for training a learning machine having a deep multi-layered network, with labeled and unlabeled training data. The deep multi-layered network is a network having multiple layers of non-linear mapping. The method generally includes applying unsupervised embedding to any one or more of the layers of the deep network. The unsupervised embedding is operative as a semi-supervised regularizer in the deep network.

Abstract: Methods and apparatus are disclosed for applying successive multi-rank beamforming strategies (e.g., successive precoding strategies) for the design of precoders over a set of parallel channels. Successive beamforming is applied to a narrow band channel model and is also applied for finer quantization of a single beamforming vector (e.g., recursive beamforming). A first embodiment provides the optimal approach with high complexity. An alternative embodiment provides successive beamforming for near optimal precoding selection with medium complexity. A low complexity method for precoder selection is also provided wherein a channel representative matrix for the set of parallel channels is determined and successive beamforming on the calculated channel representative is applied.