Swarm, Evolutionary, and Memetic Computing


Book Description

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2014, held in Bhubaneswar, India, in December 2014. The total of 96 papers presented in this volume was carefully reviewed and selected from 250 submissions for inclusion in the proceedings. The papers cover a wide range of topics in swarm, evolutionary, memetic and other intelligent computing algorithms and their real world applications in problems selected from diverse domains of science and engineering.




Algorithms—Advances in Research and Application: 2012 Edition


Book Description

Algorithms—Advances in Research and Application: 2012 Edition is a ScholarlyEditions™ eBook that delivers timely, authoritative, and comprehensive information about Algorithms. The editors have built Algorithms—Advances in Research and Application: 2012 Edition on the vast information databases of ScholarlyNews.™ You can expect the information about Algorithms in this eBook to be deeper than what you can access anywhere else, as well as consistently reliable, authoritative, informed, and relevant. The content of Algorithms—Advances in Research and Application: 2012 Edition has been produced by the world’s leading scientists, engineers, analysts, research institutions, and companies. All of the content is from peer-reviewed sources, and all of it is written, assembled, and edited by the editors at ScholarlyEditions™ and available exclusively from us. You now have a source you can cite with authority, confidence, and credibility. More information is available at http://www.ScholarlyEditions.com/.




Unconventional Computation


Book Description

This book constitutes the refereed proceedings of the 6th International Conference on Unconventional Computation, UC 2007, held in Kingston, Canada, in August 2007. The 17 revised full papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. All current aspects of unconventional computation are addressed - theory as well as experiments and applications. Typical topics are: natural computing including quantum, cellular, molecular, neural and evolutionary computing; chaos and dynamical systems based computing; and various proposals for computations that go beyond the Turing model.




Communications, Signal Processing, and Systems


Book Description

This book brings together papers presented at the 2017 International Conference on Communications, Signal Processing, and Systems (ICCSP 2017), which was held on July 14–17, 2017 in Harbin, China. Presenting the latest developments and discussing the interactions and links between these multidisciplinary fields, the book spans topics ranging from communications, signal processing and systems. It is aimed at undergraduate and graduate electrical engineering, computer science and mathematics students, researchers and engineers from academia and industry as well as government employees.




Algorithms and VLSI Implementations of MIMO Detection


Book Description

This book provides a detailed overview of detection algorithms for multiple-input multiple-output (MIMO) communications systems focusing on their hardware realisation. The book begins by analysing the maximum likelihood detector, which provides the optimal bit error rate performance in an uncoded communications system. However, the maximum likelihood detector experiences a high complexity that scales exponentially with the number of antennas, which makes it impractical for real-time communications systems. The authors proceed to discuss lower-complexity detection algorithms such as zero-forcing, sphere decoding, and the K-best algorithm, with the aid of detailed algorithmic analysis and several MATLAB code examples. Furthermore, different design examples of MIMO detection algorithms and their hardware implementation results are presented and discussed. Finally, an ASIC design flow for implementing MIMO detection algorithms in hardware is provided, including the system simulation and modelling steps and register transfer level modelling using hardware description languages. Provides an overview of MIMO detection algorithms and discusses their corresponding hardware implementations in detail; Highlights architectural considerations of MIMO detectors in achieving low power consumption and high throughput; Discusses design tradeoffs that will guide readers’ efforts when implementing MIMO algorithms in hardware; Describes a broad range of implementations of different MIMO detectors, enabling readers to make informed design decisions based on their application requirements.




OTFS Modulation


Book Description

Grasp the future of wireless communication with this groundbreaking introduction Research and development are already underway on the sixth generation (6G) of wireless communication technology. The new requirements of 6G that arise from challenging new use cases render physical layer waveforms such as CDMA and OFDM inadequate. The OTFS waveform answers these new requirements, and recent research suggests it will play a decisive role in the future of wireless communication. OTFS Modulation – Theory and Applications provides the first ever foundational textbook that introduces this growing, state-of-the-art, field of research from first principles. Beginning with a thorough discussion of the fundamental principles of OTFS, both physical and theoretical, it rigorously situates OTFS modulation in a mathematical framework analogous to more familiar waveforms. The result is a groundbreaking contribution to communication theory and a must-have volume for wireless communication researchers. OTFS Modulation – Theory and Applications readers will also find: An expert author team including the inventor of OTFS modulation Detailed discussion of topics including the Zak theory of linear time-varying systems, delay-Doppler communication and radar sensing, machine learning, and many more Matlab code for OTFS transceiver implementation. OTFS Modulation – Theory and Applications is ideal for researchers, engineers, graduate and advanced undergraduate students, and standardization professionals working with wireless communication, signal processing, and radar sensing.




Low Complexity MIMO Receivers


Book Description

Multiple-input multiple-output (MIMO) systems can increase the spectral efficiency in wireless communications. However, the interference becomes the major drawback that leads to high computational complexity at both transmitter and receiver. In particular, the complexity of MIMO receivers can be prohibitively high. As an efficient mathematical tool to devise low complexity approaches that mitigate the interference in MIMO systems, lattice reduction (LR) has been widely studied and employed over the last decade. The co-authors of this book are world's leading experts on MIMO receivers, and here they share the key findings of their research over years. They detail a range of key techniques for receiver design as multiple transmitted and received signals are available. The authors first introduce the principle of signal detection and the LR in mathematical aspects. They then move on to discuss the use of LR in low complexity MIMO receiver design with respect to different aspects, including uncoded MIMO detection, MIMO iterative receivers, receivers in multiuser scenarios, and multicell MIMO systems.




Conference Record


Book Description




Proceedings of AC 2017


Book Description

International Academic Conference in Prague 2017




Practical Design Verification


Book Description

Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors including Wayne Wolf and Dan Gajski explain both formal techniques (model checking, equivalence checking) and simulation-based techniques (coverage metrics, test generation). You get insights into practical issues including hardware verification languages (HVLs) and system-level debugging. The foundations of formal and simulation-based techniques are covered too, as are more recent research advances including transaction-level modeling and assertion-based verification, plus the theoretical underpinnings of verification, including the use of decision diagrams and Boolean satisfiability (SAT).