Binary Functions and their Applications
Binary Functions and their Applications

Author: Horand Störmer

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 160

ISBN-13: 3642615198

DOWNLOAD EBOOK

In this book binary functions and their representation by implicants or implicates are described. In particular minimal representations by prime implicants or prime implicates are given. Such representations generalize the minimal representations of the usual Boolean functions. It is shown that implicants (implicates) of discrete functions may be constructed with the help of implicants (implicates) of binary functions. One substantial application is the description of the reliability structure of technical systems, another is the use of binary respectively discrete functions to classify objects which are described by the grades of certain attributes. Finally a class of Boolean algebras of practical importance (set algebras, indicator algebras, algebras of classes of propositions) are considered. The elements of such algebras have representations which are strongly connected with the representations of binary functions.

Binary Functions and their Applications
Binary Functions and their Applications

Author: Horand Störmer

Publisher: Springer Science & Business Media

Published: 1990-08-08

Total Pages: 168

ISBN-13: 9783540528128

DOWNLOAD EBOOK

In this book binary functions and their representation by implicants or implicates are described. In particular minimal representations by prime implicants or prime implicates are given. Such representations generalize the minimal representations of the usual Boolean functions. It is shown that implicants (implicates) of discrete functions may be constructed with the help of implicants (implicates) of binary functions. One substantial application is the description of the reliability structure of technical systems, another is the use of binary respectively discrete functions to classify objects which are described by the grades of certain attributes. Finally a class of Boolean algebras of practical importance (set algebras, indicator algebras, algebras of classes of propositions) are considered. The elements of such algebras have representations which are strongly connected with the representations of binary functions.

Binary Decision Diagrams and Applications for VLSI CAD
Binary Decision Diagrams and Applications for VLSI CAD

Author: Shin-ichi Minato

Publisher: Springer Science & Business Media

Published: 1995-11-30

Total Pages: 170

ISBN-13: 9780792396529

DOWNLOAD EBOOK

Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD). The concept of decision graphs as an abstract representation of Boolean functions dates back to the early work by Lee and Akers. In the last ten years, BDDs have found widespread use as a concrete data structure for symbolic Boolean manipulation. With BDDs, functions can be constructed, manipulated, and compared by simple and efficient graph algorithms. Since Boolean functions can represent not just digital circuit functions, but also such mathematical domains as sets and relations, a wide variety of CAD problems can be solved using BDDs. `Binary Decision Diagrams and Applications for VLSI CAD provides valuable information for both those who are new to BDDs as well as to long time aficionados.' -from the Foreword by Randal E. Bryant. `Over the past ten years ... BDDs have attracted the attention of many researchers because of their suitability for representing Boolean functions. They are now widely used in many practical VLSI CAD systems. ... this book can serve as an introduction to BDD techniques and ... it presents several new ideas on BDDs and their applications. ... many computer scientists and engineers will be interested in this book since Boolean function manipulation is a fundamental technique not only in digital system design but also in exploring various problems in computer science.' - from the Preface by Shin-ichi Minato.

Hadamard Matrices and Their Applications
Hadamard Matrices and Their Applications

Author: K. J. Horadam

Publisher: Princeton University Press

Published: 2007

Total Pages: 277

ISBN-13: 069111921X

DOWNLOAD EBOOK

In Hadamard Matrices and Their Applications, K. J. Horadam provides the first unified account of cocyclic Hadamard matrices and their applications in signal and data processing. This original work is based on the development of an algebraic link between Hadamard matrices and the cohomology of finite groups that was discovered fifteen years ago. The book translates physical applications into terms a pure mathematician will appreciate, and theoretical structures into ones an applied mathematician, computer scientist, or communications engineer can adapt and use. The first half of the book explains the state of our knowledge of Hadamard matrices and two important generalizations: matrices with group entries and multidimensional Hadamard arrays. It focuses on their applications in engineering and computer science, as signal transforms, spreading sequences, error-correcting codes, and cryptographic primitives. The book's second half presents the new results in cocyclic Hadamard matrices and their applications. Full expression of this theory has been realized only recently, in the Five-fold Constellation. This identifies cocyclic generalized Hadamard matrices with particular "stars" in four other areas of mathematics and engineering: group cohomology, incidence structures, combinatorics, and signal correlation. Pointing the way to possible new developments in a field ripe for further research, this book formulates and discusses ninety open questions.

Sociative Logics and Their Applications: Essays by the Late Richard Sylvan
Sociative Logics and Their Applications: Essays by the Late Richard Sylvan

Author: Dominic Hyde

Publisher: Routledge

Published: 2017-11-01

Total Pages: 441

ISBN-13: 1351723723

DOWNLOAD EBOOK

This title was first published in 2003. Richard Sylvan died in 1996, he had made contributions to many areas of philosophy, such as, relevant and paraconsistent logic, Meinongianism and metaphysics and environmental ethics. One of his "trademarks" was the taking up of unpopular views and defending them. To Richard Sylvan ideas were important, wether they were his or not. This is a book of ideas, based on a collection of work found after his death, a chance for readers to see his vision of his projects. This collected works represents material drafted between 1982 and 1996, and the theme is that a small band of logics, namely pararelevant logics, offer solutions to many problems, puzzles and paradoxes in the philosophy of science.

Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005
Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005

Author: Wlodzislaw Duch

Publisher: Springer

Published: 2005-08-25

Total Pages: 1051

ISBN-13: 3540287566

DOWNLOAD EBOOK

This volume is the first part of the two-volume proceedings of the International C- ference on Artificial Neural Networks (ICANN 2005), held on September 11–15, 2005 in Warsaw, Poland, with several accompanying workshops held on September 15, 2005 at the Nicolaus Copernicus University, Toru , Poland. The ICANN conference is an annual meeting organized by the European Neural Network Society in cooperation with the International Neural Network Society, the Japanese Neural Network Society, and the IEEE Computational Intelligence Society. It is the premier European event covering all topics concerned with neural networks and related areas. The ICANN series of conferences was initiated in 1991 and soon became the major European gathering for experts in those fields. In 2005 the ICANN conference was organized by the Systems Research Institute, Polish Academy of Sciences, Warsaw, Poland, and the Nicolaus Copernicus Univ- sity, Toru , Poland. From over 600 papers submitted to the regular sessions and some 10 special c- ference sessions, the International Program Committee selected – after a thorough peer-review process – about 270 papers for publication. The large number of papers accepted is certainly a proof of the vitality and attractiveness of the field of artificial neural networks, but it also shows a strong interest in the ICANN conferences.

Skew-Elliptical Distributions and Their Applications
Skew-Elliptical Distributions and Their Applications

Author: Marc G. Genton

Publisher: CRC Press

Published: 2004-07-27

Total Pages: 417

ISBN-13: 1135437319

DOWNLOAD EBOOK

This book reviews the state-of-the-art advances in skew-elliptical distributions and provides many new developments in a single volume, collecting theoretical results and applications previously scattered throughout the literature. The main goal of this research area is to develop flexible parametric classes of distributions beyond the classical normal distribution. The book is divided into two parts. The first part discusses theory and inference for skew-elliptical distribution. The second part examines applications and case studies, including areas such as economics, finance, oceanography, climatology, environmetrics, engineering, image processing, astronomy, and biomedical science.

The Twenty-third International Symposium on Multiple-Valued Logic, May 24-27, 1993, Sacramento, California
The Twenty-third International Symposium on Multiple-Valued Logic, May 24-27, 1993, Sacramento, California

Author: IEEE Computer Society

Publisher: Los Alamitos, Calif. : IEEE Computer Society Press

Published: 1993

Total Pages: 312

ISBN-13: 9780818633508

DOWNLOAD EBOOK

The proceedings of the symposium held in Sacramento, California, May 1993, include sessions on algebra, logic, circuits, logic minimization, fuzzy logic, testing, function decomposition, learning, reasoning, logic design, and special applications. In addition to 41 contributed papers, three invited

Logic Functions and Equations
Logic Functions and Equations

Author: Christian Posthoff

Publisher: Springer Science & Business Media

Published: 2013-03-19

Total Pages: 410

ISBN-13: 1402029381

DOWNLOAD EBOOK

Logic functions and equations are (some of) the most important concepts of Computer Science with many applications such as Binary Arithmetics, Coding, Complexity, Logic Design, Programming, Computer Architecture and Artificial Intelligence. They are very often studied in a minimum way prior to or together with their respective applications. Based on our long-time teaching experience, a comprehensive presentation of these concepts is given, especially emphasising a thorough understanding as well as numerical and computer-based solution methods. Any applications and examples from all the respective areas are given that can be dealt with in a unified way. They offer a broad understanding of the recent developments in Computer Science and are directly applicable in professional life. Logic Functions and Equations is highly recommended for a one- or two-semester course in many Computer Science or computer Science-oriented programmes. It allows students an easy high-level access to these methods and enables sophisticated applications in many different areas. It elegantly bridges the gap between Mathematics and the required theoretical foundations of Computer Science.

Sequences and Their Applications
Sequences and Their Applications

Author: T. Helleseth

Publisher: Springer

Published: 2002

Total Pages: 414

ISBN-13:

DOWNLOAD EBOOK

Pseudorandom sequences have widespread applications, for instance, in spread spectrum, code division multiple access, optical and ultrawide band communication systems, as well as in ranging systems global positioning systems, circuit testing and stream ciphers. Such sequences also have strong ties to error-correcting codes. This volume contains survey and research papers on sequences and their applications. It brings together leading experts from discrete mathematics, computer science and communications engineering, and helps to bridge advances in these different areas. Papers in this volume discuss the theory of sequences and their applications in cryptography, coding theory, communications systems, numerical computation and computer simulation.