Representations of Discrete Functions
Representations of Discrete Functions

Author: Tsutomu Sasao

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 344

ISBN-13: 1461313856

DOWNLOAD EBOOK

Representations of Discrete Functions is an edited volume containing 13 chapter contributions from leading researchers with a focus on the latest research results. The first three chapters are introductions and contain many illustrations to clarify concepts presented in the text. It is recommended that these chapters are read first. The book then deals with the following topics: binary decision diagrams (BDDs), multi-terminal binary decision diagrams (MTBDDs), edge-valued binary decision diagrams (EVBDDs), functional decision diagrams (FDDs), Kronecker decision diagrams (KDDs), binary moment diagrams (BMDs), spectral transform decision diagrams (STDDs), ternary decision diagrams (TDDs), spectral transformation of logic functions, other transformations oflogic functions, EXOR-based two-level expressions, FPRM minimization with TDDs and MTBDDs, complexity theories on FDDs, multi-level logic synthesis, and complexity of three-level logic networks. Representations of Discrete Functions is designed for CAD researchers and engineers and will also be of interest to computer scientists who are interested in combinatorial problems. Exercises prepared by the editors help make this book useful as a graduate level textbook.

Representations of Discrete Functions
Representations of Discrete Functions

Author: Tsutomu Sasao

Publisher: Springer Science & Business Media

Published: 1996-04-30

Total Pages: 360

ISBN-13: 9780792397205

DOWNLOAD EBOOK

Representations of Discrete Functions is an edited volume containing 13 chapter contributions from leading researchers with a focus on the latest research results. The first three chapters are introductions and contain many illustrations to clarify concepts presented in the text. It is recommended that these chapters are read first. The book then deals with the following topics: binary decision diagrams (BDDs), multi-terminal binary decision diagrams (MTBDDs), edge-valued binary decision diagrams (EVBDDs), functional decision diagrams (FDDs), Kronecker decision diagrams (KDDs), binary moment diagrams (BMDs), spectral transform decision diagrams (STDDs), ternary decision diagrams (TDDs), spectral transformation of logic functions, other transformations oflogic functions, EXOR-based two-level expressions, FPRM minimization with TDDs and MTBDDs, complexity theories on FDDs, multi-level logic synthesis, and complexity of three-level logic networks. Representations of Discrete Functions is designed for CAD researchers and engineers and will also be of interest to computer scientists who are interested in combinatorial problems. Exercises prepared by the editors help make this book useful as a graduate level textbook.

Branching Programs and Binary Decision Diagrams
Branching Programs and Binary Decision Diagrams

Author: Ingo Wegener

Publisher: SIAM

Published: 2000-01-01

Total Pages: 418

ISBN-13: 9780898719789

DOWNLOAD EBOOK

Finite functions (in particular, Boolean functions) play a fundamental role in computer science and discrete mathematics. This book describes representations of Boolean functions that have small size for many important functions and which allow efficient work with the represented functions. The representation size of important and selected functions is estimated, upper and lower bound techniques are studied, efficient algorithms for operations on these representations are presented, and the limits of those techniques are considered. This book is the first comprehensive description of theory and applications. Research areas like complexity theory, efficient algorithms, data structures, and discrete mathematics will benefit from the theory described in this book. The results described within have applications in verification, computer-aided design, model checking, and discrete mathematics. This is the only book to investigate the representation size of Boolean functions and efficient algorithms on these representations.

Discrete Groups, Expanding Graphs and Invariant Measures
Discrete Groups, Expanding Graphs and Invariant Measures

Author: Alex Lubotzky

Publisher: Springer Science & Business Media

Published: 2010-02-17

Total Pages: 201

ISBN-13: 3034603320

DOWNLOAD EBOOK

In the last ?fteen years two seemingly unrelated problems, one in computer science and the other in measure theory, were solved by amazingly similar techniques from representation theory and from analytic number theory. One problem is the - plicit construction of expanding graphs («expanders»). These are highly connected sparse graphs whose existence can be easily demonstrated but whose explicit c- struction turns out to be a dif?cult task. Since expanders serve as basic building blocks for various distributed networks, an explicit construction is highly des- able. The other problem is one posed by Ruziewicz about seventy years ago and studied by Banach [Ba]. It asks whether the Lebesgue measure is the only ?nitely additive measure of total measure one, de?ned on the Lebesgue subsets of the n-dimensional sphere and invariant under all rotations. The two problems seem, at ?rst glance, totally unrelated. It is therefore so- what surprising that both problems were solved using similar methods: initially, Kazhdan’s property (T) from representation theory of semi-simple Lie groups was applied in both cases to achieve partial results, and later on, both problems were solved using the (proved) Ramanujan conjecture from the theory of automorphic forms. The fact that representation theory and automorphic forms have anything to do with these problems is a surprise and a hint as well that the two questions are strongly related.

Discrete Mathematics
Discrete Mathematics

Author: Oscar Levin

Publisher: Createspace Independent Publishing Platform

Published: 2016-08-16

Total Pages: 342

ISBN-13: 9781534970748

DOWNLOAD EBOOK

This gentle introduction to discrete mathematics is written for first and second year math majors, especially those who intend to teach. The text began as a set of lecture notes for the discrete mathematics course at the University of Northern Colorado. This course serves both as an introduction to topics in discrete math and as the "introduction to proof" course for math majors. The course is usually taught with a large amount of student inquiry, and this text is written to help facilitate this. Four main topics are covered: counting, sequences, logic, and graph theory. Along the way proofs are introduced, including proofs by contradiction, proofs by induction, and combinatorial proofs. The book contains over 360 exercises, including 230 with solutions and 130 more involved problems suitable for homework. There are also Investigate! activities throughout the text to support active, inquiry based learning. While there are many fine discrete math textbooks available, this text has the following advantages: It is written to be used in an inquiry rich course. It is written to be used in a course for future math teachers. It is open source, with low cost print editions and free electronic editions.

Representations of Multiple-Valued Logic Functions
Representations of Multiple-Valued Logic Functions

Author: Radomir S. Stankovic

Publisher: Springer Nature

Published: 2022-06-01

Total Pages: 154

ISBN-13: 303179852X

DOWNLOAD EBOOK

Compared to binary switching functions, the multiple-valued functions (MV) offer more compact representations of the information content of signals modeled by logic functions and, therefore, their use fits very well in the general settings of data compression attempts and approaches. The first task in dealing with such signals is to provide mathematical methods for their representation in a way that will make their application in practice feasible. Representation of Multiple-Valued Logic Functions is aimed at providing an accessible introduction to these mathematical techniques that are necessary for application of related implementation methods and tools. This book presents in a uniform way different representations of multiple-valued logic functions, including functional expressions, spectral representations on finite Abelian groups, and their graphical counterparts (various related decision diagrams). Three-valued, or ternary functions, are traditionally used as the first extension from the binary case. They have a good feature that the ratio between the number of bits and the number of different values that can be encoded with the specified number of bits is favourable for ternary functions. Four-valued functions, also called quaternary functions, are particularly attractive, since in practical realization within today prevalent binary circuits environment, they may be easy coded by binary values and realized with two-stable state circuits. At the same time, there is much more considerable advent in design of four-valued logic circuits than for other $p$-valued functions. Therefore, this book is written using a hands-on approach such that after introducing the general and necessarily abstract background theory, the presentation is based on a large number of examples for ternary and quaternary functions that should provide an intuitive understanding of various representation methods and the interconnections among them. Table of Contents: Multiple-Valued Logic Functions / Functional Expressions for Multiple-Valued Functions / Spectral Representations of Multiple-Valued Functions / Decision Diagrams for Multiple-Valued Functions / Fast Calculation Algorithms

Signals & Systems
Signals & Systems

Author: Alan V. Oppenheim

Publisher: Pearson Educación

Published: 1997

Total Pages: 994

ISBN-13: 9789701701164

DOWNLOAD EBOOK

Exploring signals and systems, this work develops continuous-time and discrete-time concepts, highlighting the differences and similarities. Two chapters deal with the Laplace transform and the Z-transform. Basic methods such as filtering, communication an

Representation of Lie Groups and Special Functions
Representation of Lie Groups and Special Functions

Author: N.Ja. Vilenkin

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 635

ISBN-13: 940113538X

DOWNLOAD EBOOK

This is the first of three major volumes which present a comprehensive treatment of the theory of the main classes of special functions from the point of view of the theory of group representations. This volume deals with the properties of classical orthogonal polynomials and special functions which are related to representations of groups of matrices of second order and of groups of triangular matrices of third order. This material forms the basis of many results concerning classical special functions such as Bessel, MacDonald, Hankel, Whittaker, hypergeometric, and confluent hypergeometric functions, and different classes of orthogonal polynomials, including those having a discrete variable. Many new results are given. The volume is self-contained, since an introductory section presents basic required material from algebra, topology, functional analysis and group theory. For research mathematicians, physicists and engineers.

Representation of Lie Groups and Special Functions
Representation of Lie Groups and Special Functions

Author: Naum I︠A︡kovlevich Vilenkin

Publisher: Springer Science & Business Media

Published: 1992-09-30

Total Pages: 670

ISBN-13: 9780792314936

DOWNLOAD EBOOK

This is the last of three major volumes which present a comprehensive treatment of the theory of the main classes of special functions from the point of view of the theory of group representations. This volume deals with q-analogs of special functions, quantum groups and algebras (including Hopf algebras), and (representations of) semi-simple Lie groups. Also treated are special functions of a matrix argument, representations in the Gel'fand-Tsetlin basis, and, finally, modular forms, theta-functions and affine Lie algebras. The volume builds upon results of the previous two volumes, and presents many new results. Subscribers to the complete set of three volumes will be entitled to a discount of 15%.