The first paper, Decision Diagrams - from A Mathematical Notion to Engineering Applications, provides a historic perspective on selected types of decision diagrams, and highlights their relationships to some basic mathematical notions. The second paper, Overview about Low-Level and High-Level Decision Diagrams for Diagnostic Modeling of Digital Systems, presents a discussion of SSBDDs, a particular type of decision with applications in testing digital devices. This is followed by the paper Linear Algorithms for Testing and Parsing Superpositional Graphs which discusses linear algorithms for testing superpositional graphs which are skeletons of SSBDDs.
The decision diagram theme carries into the next paper, BDD Based Con- struction of Resilient Functions, and the attention to specific classes of functions is carried into the paper, Classes of Bent Functions Identified by Specific Normal Forms and Generated Using Boolean Differential Equations.
The papers A Shared-cube Approach to ESOP-based Synthesis of Reversible Logic and Decomposition of Reversible Logic Function Based on Cube-Reordering address the synthesis of reversible circuits. They are followed by Using Negated Control Signals in Quantum Computing Circuits which considers the optimization of Reed-Muller expressions for quantum computing circuits.
Rule-Based Optimization of AND-XOR Expressions and The EXOR gate Under Uncertainty: A Case Study examine issues involving the EXOR opera- tion. The issue concludes with a paper addressing computational aspects, GPU Accelerated Computation of Fast Spectral Transforms.
All submissions for this issue were refereed in full by at least three referees. We thank the anonymous referees for their rigor and detailed comments and the authors for addressing the referees issues in the preparation of their final submissions.
Finally, we express our sincere gratitude to Prof. Vidosav Stojanović, former Editor-in-Chief of Facta Universitatis series Electronics and Energetic, for accepting our proposal for this special issue and for his excellent work on the preparation of the final manuscripts Guest Editors
Guest Editors
Elena Dubrova
D. Michael Miller
Radomir S. Stanković