Progress in applications of Boolean functions /
Saved in:
| Imprint: | San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan and Claypool Publishers, c2010. |
|---|---|
| Description: | 1 electronic text (xiv, 139 pages : illustrations) : digital file. |
| Language: | English |
| Series: | Synthesis lectures on digital circuits and systems, 1932-3174 ; # 26 Synthesis lectures on digital circuits and systems (Online), # 26. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/8512848 |
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 8512848 | ||
| 005 | 20111017161100.0 | ||
| 006 | m e d | ||
| 007 | cr cn |||m|||a | ||
| 008 | 091104s2010 caua fsab 001 0 eng d | ||
| 003 | ICU | ||
| 020 | |a 9781608451821 (electronic bk.) | ||
| 020 | |z 9781608451814 (pbk.) | ||
| 024 | 7 | |a 10.2200/S00243ED1V01Y200912DCS026 |2 doi | |
| 035 | |a MC200912DCS026 | ||
| 035 | |a (CaBNvSL)gtp00537698 | ||
| 040 | |a CaBNvSL |c CaBNvSL |d CaBNvSL | ||
| 050 | 4 | |a QA10.3 |b .P763 2010 | |
| 082 | 0 | 4 | |a 511.324 |2 22 |
| 245 | 0 | 0 | |a Progress in applications of Boolean functions / |c Tsutomu Sasao, Jon T. Butler [editors]. |
| 260 | |a San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : |b Morgan and Claypool Publishers, |c c2010. | ||
| 300 | |a 1 electronic text (xiv, 139 pages : illustrations) : |b digital file. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a computer |b c |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/c | ||
| 338 | |a online resource |b cr |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/cr | ||
| 490 | 1 | |a Synthesis lectures on digital circuits and systems, |x 1932-3174 ; |v # 26 | |
| 538 | |a Mode of access: World Wide Web. | ||
| 538 | |a System requirements: Adobe Acrobat reader. | ||
| 500 | |a Title from PDF t.p. (viewed on January 11, 2010). | ||
| 500 | |a Series from website. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Preface -- 1. Equivalence classes of Boolean functions / Radomir S. Stanković, Stanislav Stanković, Helena Astola, and Jaakko T. Astola: Chapter summary; 1.1. Introduction; 1.2. Classification of switching functions; 1.3. NPN-classification; 1.4. LP-classification; 1.5. SD-classification; 1.6. Classification bywalsh coefficients; 1.7. Classification using decision diagrams; 1.8. Closing remarks; Acknowldegments; 1.9. Exercises; Bibliography -- 2. Boolean functions for cryptography / Jon T. Butler and Tsutomu Sasao: Chapter summary; 2.1. Introduction; 2.2. Properties of bent functions; 2.3. Properties of symmetric bent functions; 2.4. The strict avalanche criterion; 2.5. The propagation criterion; 2.6. Correlation immunity; 2.7. Concluding remarks; 2.8. Exercises; Bibliography -- 3. Boolean differential calculus / Bernd Steinbach and Christian Posthoff: Chapter summary; 3.1. Introduction; 3.2. Preliminaries; 3.3. Simple derivative operations; 3.4. Vectorial derivative operations; 3.5. m-fold derivative operations; 3.6. Applications to hazard detection; 3.7. Applications to decomposition; 3.8. Application to test pattern generation; 3.9. Generalization to differential operations; 3.10. Summary; 3.11. Exercises; Bibliography -- 4. Synthesis of Boolean functions in reversible logic / Robert Wille and Rolf Drechsler: Chapter summary; 4.1. Introduction; 4.2. Reversible logic; 4.3. Embedding irreversible functions; 4.4. Exact synthesis; 4.5. Heuristic synthesis; 4.6. BDD-based synthesis for large functions; 4.7. Conclusions and futurework; 4.8. Exercises; Bibliography -- 5. Data mining using binary decision diagrams / Shin-ichi Minato: Chapter summary; 5.1. Introduction; 5.2. BDD-based database representation; 5.3. LCM over ZDDs for large-scale itemset mining; 5.4. Application of LCM over ZDDs for finding distinctive itemsets; 5.5. Conclusion; 5.6. Exercises; Bibliography -- A. Solutions -- Index -- Authors' biographies. | |
| 506 | |a Abstract freely available; full-text restricted to subscribers or individual document purchasers. | ||
| 520 | 3 | |a 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 its 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. | |
| 530 | |a Also available in printing. | ||
| 650 | 0 | |a Algebra, Boolean. |0 http://id.loc.gov/authorities/subjects/sh85003429 | |
| 650 | 0 | |a Cryptography. |0 http://id.loc.gov/authorities/subjects/sh85034453 | |
| 650 | 0 | |a Quantum computers. |0 http://id.loc.gov/authorities/subjects/sh98002795 | |
| 650 | 0 | |a Data mining. |0 http://id.loc.gov/authorities/subjects/sh97002073 | |
| 650 | 0 | |a Logic design |x Data processing. |0 http://id.loc.gov/authorities/subjects/sh85078119 | |
| 650 | 7 | |a Algebra, Boolean. |2 fast |0 http://id.worldcat.org/fast/fst00804924 |0 http://id.worldcat.org/fast/804924 | |
| 650 | 7 | |a Cryptography |x Mathematics. |2 fast |0 http://id.worldcat.org/fast/fst00884558 |0 http://id.worldcat.org/fast/884558 | |
| 700 | 1 | |a Sasao, Tsutomu, |d 1950- |0 http://id.loc.gov/authorities/names/n92101863 |1 http://viaf.org/viaf/108137958/ | |
| 700 | 1 | |a Butler, Jon T. |0 http://id.loc.gov/authorities/names/n91032549 |1 http://viaf.org/viaf/41015047/ | |
| 830 | 0 | |a Synthesis lectures on digital circuits and systems (Online), |x 1932-3174 ; |v # 26. |0 http://id.loc.gov/authorities/names/no2006069481 | |
| 856 | 4 | 2 | |3 Abstract with links to full text |u http://dx.doi.org/10.2200/S00243ED1V01Y200912DCS026 |
| 035 | |a (OCoLC)495483391 | ||
| 903 | |a HeVa | ||
| 929 | |a eresource | ||
| 999 | f | f | |i 07bfbc0d-e7e5-5a83-b68e-a689811b3dcc |s 86335288-9c67-5869-be58-9193e69978fe |
| 928 | |t Library of Congress classification |a QA10.3.P763 2010 |l Online |c UC-Related |u http://dx.doi.org/10.2200/S00243ED1V01Y200912DCS026 |m Abstract with links to full text: |i 7626120 | ||