Rolf Drechsler,
Daniel Große
Recent Findings in Boolean Techniques
Selected Papers from the 14th International Workshop on Boolean Problems
Paperback Engels 2022 9783030680732
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 14th annual International Workshop on Boolean Problems.
Specificaties
ISBN13:9783030680732
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
<p>Formal Verification of Integer Multiplier Circuits using Algebraic Reasoning - A Survey.-The Vital Role of Machine Learning in Developing Emerging Technologies.-Fast Optimal Synthesis of Symmetric Index Generation Functions.-Axiomatizing Boolean Differentiation.-Construction of Binary Bent Functions by FFT-like Permutation Algorithms.-Nonlinear codes for test patterns compression: the old school way.-Translation Techniques for Reversible Circuit Synthesis with Positive and Negative Controls.-Hybrid Control of Toffoli and Peres Gates.-GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools.</p>
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan