Advances in the Boolean Domain. (2022)

• Record Type: Book
• Other Names: Steinbach, Bernd
• Contents: Intro -- Contents -- List of Figures -- List of Tables -- Foreword -- Preface -- Acronyms -- Cyber Security -- 1. Computing the Reed-Muller Spectrum / Algebraic Normal Form -- 2. Extracting the Reed-Muller Spectrum / Algebraic Normal Form from a Circuit Specification -- 3. Construction of Plateaued Functions by FFT-like Permutation Matrices -- Complexity -- 4. Polynomial Formal Verification of Carry Look-Ahead Adders -- Application for Renewable Energy -- 5. Distributed Reliable Power Management for Intraday and Day-Ahead Planning using Ternary Vector Lists -- Future Technologies 6. Analysis of Reversible Circuits Using XBOOLE -- 7. Analysis of Quantum Circuits with Boolean Inputs Using XBOOLE -- List of Authors -- Index of Authors -- Index
• Publisher Details: Newcastle-upon-Tyne : Cambridge Scholars Publishing
• Publication Date: 2022
• Extent: 1 online resource
• Subjects: 511.324; Algebra, Boolean; Electronic books
• Languages: English
• ISBNs: 9781527588738; 1527588734
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.