Reversible Logic Synthesis Methodologies with Application to Quantum Computing

Reversible Logic Synthesis Methodologies with Application to Quantum Computing
Author: Saleem Mohammed Ridha Taha
Publisher: Springer
Total Pages: 185
Release: 2015-09-24
Genre: Technology & Engineering
ISBN: 331923479X

This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. It presents the state of the art required to travel around that world safely. Top world universities, companies and government institutions are in a race of developing new methodologies, algorithms and circuits on reversible logic, quantum logic, reversible and quantum computing and nano-technologies. In this book, twelve reversible logic synthesis methodologies are presented for the first time in a single literature with some new proposals. Also, the sequential reversible logic circuitries are discussed for the first time in a book. Reversible logic plays an important role in quantum computing. Any progress in the domain of reversible logic can be directly applied to quantum logic. One of the goals of this book is to show the application of reversible logic in quantum computing. A new implementation of wavelet and multiwavelet transforms using quantum computing is performed for this purpose. Researchers in academia or industry and graduate students, who work in logic synthesis, quantum computing, nano-technology, and low power VLSI circuit design, will be interested in this book.

Reversible Logic Synthesis

Reversible Logic Synthesis
Author: Anas N. Al-Rabadi
Publisher: Springer Science & Business Media
Total Pages: 448
Release: 2012-12-06
Genre: Technology & Engineering
ISBN: 3642188532

For the first time in book form, this comprehensive and systematic monograph presents methods for the reversible synthesis of logic functions and circuits. It is illustrated with a wealth of examples and figures that describe in detail the systematic methodologies of synthesis using reversible logic.

Towards a Design Flow for Reversible Logic

Towards a Design Flow for Reversible Logic
Author: Robert Wille
Publisher: Springer Science & Business Media
Total Pages: 192
Release: 2010-07-28
Genre: Technology & Engineering
ISBN: 9048195799

The development of computing machines found great success in the last decades. But the ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking transistor sizes and power dissipation are the major barriers in the development of smaller and more powerful circuits. Reversible logic p- vides an alternative that may overcome many of these problems in the future. For low-power design, reversible logic offers signi?cant advantages since zero power dissipation will only be possible if computation is reversible. Furthermore, quantum computation pro?ts from enhancements in this area, because every quantum circuit is inherently reversible and thus requires reversible descriptions. However, since reversible logic is subject to certain restrictions (e.g. fanout and feedback are not directly allowed), the design of reversible circuits signi?cantly differs from the design of traditional circuits. Nearly all steps in the design ?ow (like synthesis, veri?cation, or debugging) must be redeveloped so that they become applicable to reversible circuits as well. But research in reversible logic is still at the beginning. No continuous design ?ow exists so far. Inthisbook,contributionstoadesign?owforreversiblelogicarepresented.This includes advanced methods for synthesis, optimization, veri?cation, and debugging.

Advances in Computation and Intelligence

Advances in Computation and Intelligence
Author: Zhihua Cai
Publisher: Springer Science & Business Media
Total Pages: 566
Release: 2009-10-05
Genre: Computers
ISBN: 3642048420

Volumes CCIS 51 and LNCS 5812 constitute the proceedings of the Fourth Interational Symposium on Intelligence Computation and Applications, ISICA 2009, held in Huangshi, China, during October 23-25. ISICA 2009 attracted over 300 submissions. Through rigorous reviews, 58 papers were included in LNCS 5821,and 54 papers were collected in CCIS 51. ISICA conferences are one of the first series of international conferences on computational intelligence that combine elements of learning, adaptation, evolution and fuzzy logic to create programs as alternative solutions to artificial intelligence.

Smart Solutions in Today’s Transport

Smart Solutions in Today’s Transport
Author: Jerzy Mikulski
Publisher: Springer
Total Pages: 519
Release: 2017-09-08
Genre: Computers
ISBN: 3319662511

This book constitutes the thoroughly refereed proceedings of the 17th International Conference on Transport Systems Telematics, TST 2017, held in Katowice-Ustrón, Poland, in April 2017. The 40 full papers presented in this volume were carefully reviewed and selected from 128 submissions. They present and organize the knowledge from within the field of intelligent transportation systems, the specific solutions applied in it and their influence on improving efficiency of transport systems.

Nature-Inspired Computing: Concepts, Methodologies, Tools, and Applications

Nature-Inspired Computing: Concepts, Methodologies, Tools, and Applications
Author: Management Association, Information Resources
Publisher: IGI Global
Total Pages: 1810
Release: 2016-07-26
Genre: Computers
ISBN: 1522507892

As technology continues to become more sophisticated, mimicking natural processes and phenomena also becomes more of a reality. Continued research in the field of natural computing enables an understanding of the world around us, in addition to opportunities for man-made computing to mirror the natural processes and systems that have existed for centuries. Nature-Inspired Computing: Concepts, Methodologies, Tools, and Applications takes an interdisciplinary approach to the topic of natural computing, including emerging technologies being developed for the purpose of simulating natural phenomena, applications across industries, and the future outlook of biologically and nature-inspired technologies. Emphasizing critical research in a comprehensive multi-volume set, this publication is designed for use by IT professionals, researchers, and graduate students studying intelligent computing.

Reversible Computation

Reversible Computation
Author: Alexis De Vos
Publisher: Springer
Total Pages: 131
Release: 2012-04-13
Genre: Computers
ISBN: 3642295177

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. The 10 revised full papers presented were carefully reviewed and selected from 25 initial submissions for inclusion in the book. The papers are devoted to all aspects of reversible computation, ranging from theoretical and experimental aspects to various applications. Topics addressed are: functional language for reversible computations, logic design, reversible circuits designed by a software toolkit called RevKit, application of reversible computation to the domain of quantum circuits, and physical realizations of reversible circuits in CMOS technologies.

Machine Learning, Image Processing, Network Security and Data Sciences

Machine Learning, Image Processing, Network Security and Data Sciences
Author: Arup Bhattacharjee
Publisher: Springer Nature
Total Pages: 665
Release: 2020-06-24
Genre: Computers
ISBN: 9811563187

This two-volume set (CCIS 1240-1241) constitutes the refereed proceedings of the Second International Conference on Machine Learning, Image Processing, Network Security and Data Sciences, MIND 2020, held in Silchar, India. Due to the COVID-19 pandemic the conference has been postponed to July 2020. The 79 full papers and 4 short papers were thoroughly reviewed and selected from 219 submissions. The papers are organized according to the following topical sections: data science and big data; image processing and computer vision; machine learning and computational intelligence; network and cyber security.

Reversible Computation

Reversible Computation
Author: Shigeru Yamashita
Publisher: Springer
Total Pages: 240
Release: 2014-07-05
Genre: Computers
ISBN: 3319084941

This book constitutes the refereed proceedings of the 6th International Conference on Reversible Computation, RC 2014, held in Kyoto, Japan, in July 2014. The 14 contributions presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on automata for reversible computation; notation and languages for reversible computation; synthesis and optimization for reversible circuits; validation and representation of quantum logic.

Progress in Applications of Boolean Functions

Progress in Applications of Boolean Functions
Author: Tsutomu Sasao
Publisher: Springer Nature
Total Pages: 139
Release: 2022-05-31
Genre: Technology & Engineering
ISBN: 3031798120

This book brings together five topics on the application of Boolean functions. They are 1. Equivalence classes of Boolean functions: The number of n-variable functions is large, even for values as small as n = 6, and there has been much research on classifying functions. There are many classifications, each with their own distinct merit. 2. Boolean functions for cryptography: The process of encrypting/decrypting plaintext messages often depends on Boolean functions with specific properties. For example, highly nonlinear functions are valued because they are less susceptible to linear attacks. 3. Boolean differential calculus: An operation analogous to taking the derivative of a real-valued function offers important insight into the properties of Boolean functions. One can determine tests or susceptibility to hazards. 4. Reversible logic: Most logic functions are irreversible; it is impossible to reconstruct the input, given the output. However, Boolean functions that are reversible are necessary for quantum computing, and hold significant promise for low-power computing. 5. Data mining: The process of extracting subtle patterns from enormous amounts of data has benefited from the use of a graph-based representation of Boolean functions. This has use in surveillance, fraud detection, scientific discovery including bio-informatics, genetics, medicine, and education. Written by experts, these chapters present a tutorial view of new and emerging technologies in Boolean functions. Table of Contents: Equivalence Classes of Boolean Functions / Boolean Functions for Cryptography / Boolean Differential Calculus / Synthesis of Boolean Functions in Reversible Logic / Data Mining Using Binary Decision Diagrams