Learn More
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evaluated. Performance properties, for instance, can be annotated on UML designs by using the "UML Profile for Schedulability, Performance and Time (SPT)". However the communication(More)
Recently, a functional disconnectivity hypothesis of schizophrenia has been proposed for the physiological explanation of behavioral syndromes of this complex mental disorder. In this paper, we aim at further examining whether syndromes of schizophrenia could be decoded by some special spatiotemporal patterns of resting-state functional connectivity. We(More)
—Interference alignment (IA) has evolved as a powerful technique in the information theoretic framework for achieving the optimal degrees of freedom of interference channel. In practical systems, the design of specific interference alignment schemes is subject to various criteria and constraints. In this paper, we propose novel transceiver schemes for the(More)
– The Object Management Group (OMG) is in the process of defining a UML Profile for Schedulability, Performance and Time that will enable the construction of models for making quantitative predictions regarding these characteristics. The paper proposes a graph-grammar based method for transforming automatically a UML model annotated with performance(More)
—In this letter, we propose an adaptive SC (Successive Cancellation)-List decoder for polar codes with CRC. This adaptive SC-List decoder iteratively increases the list size until at least one survival path can pass CRC. Simulation shows that the adaptive SC-List decoder provides significant complexity reduction. We also demonstrate that polar code (2048,(More)
There has been growing interest recently in the use of multivariate pattern analysis (MVPA) to decode information from high-dimensional neuroimaging data. The present study employed a support vector machine-based MVPA approach to identify the complex patterns of sex differences in brain structure and resting-state function. We also aimed to assess the role(More)
—In this letter, we propose parallel SC (Successive Cancellation) decoder and parallel SC-List decoder for polar codes. The parallel decoder is composed of) 1 (2   m M m component decoders working in parallel and each component decoder decodes a Polar code of a block size of M / 1 of the original Polar code. Therefore the parallel decoder has M times(More)
—In this paper, we propose a new interference alignment (IA) scheme designing jointly the linear transmitter and receiver for the MIMO interference channel system, using minimum total mean square error criterion, subject to individual transmit power constraints. We show that transmitter and receiver under such criterion could be realized through a joint(More)
For polar codes with short-to-medium code length, list successive cancellation decoding is used to achieve a good error-correcting performance. However, list pruning in the current list decoding is based on the sorting strategy and its timing complexity is high. This results in a long decoding latency for large list size. In this work, aiming at a(More)
—Polar codes under cyclic redundancy check aided successive cancellation list (CA-SCL) decoding can outperform the turbo codes and the LDPC codes when code lengths are configured to be several kilobits. In order to reduce the decoding complexity, a novel tree-pruning scheme for the SCL/CA-SCL decoding algorithms is proposed in this paper. In each step of(More)