Vlad Shmerko

Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook

FUNDAMENTALS OF DECISION DIAGRAM TECHNIQUES Introduction Data Structures Graphical Data Structures AND-EXOR Expressions, Trees, and Diagrams Arithmetic Representations Word-Level Representations Spectral Techniques Information-Theoretical Measures Event-Driven Analysis DECISION DIAGRAM TECHNIQUES FOR SWITCHING FUNCTIONS Introduction Classification of Decision Diagrams Variable Ordering in Decision Diagrams Spectral Decision Diagrams Linearly Transformed Decision Diagrams Decision Diagrams for Arithmetic Circuits Edge-Valued Decision Diagrams Word-Level Decision Diagrams Minimization via Decision Diagrams Decision Diagrams for Incompletely Specified Functions Probabilistic Decision Diagram Techniques Power Consumption Analysis using Decision Diagrams Formal Verification of Circuits Ternary Decision Diagrams Information-Theoretical Measures in Decision Diagrams Decomposition Using Decision Diagrams Complexity of Decision Diagrams Programming of Decision Diagrams DECISION DIAGRAM TECHNIQUES FOR MULTIVALUED FUNCTIONS Introduction Multivalued Functions Spectral Transforms of Multivalued Functions Classification of Multivalued Decision Diagrams Event-Driven Analysis in Multivalued Systems SELECTED TOPICS OF DECISION DIAGRAM TECHNIQUES Introduction Three-Dimensional Techniques Decision Diagrams in Reversible Logic Decision Diagrams on Quaternion Groups Linear Word-Level Decision Diagrams Fibonacci Decision Diagrams Techniques of Computing via Taylor-Like Expansions Developing New Decision Diagrams Historical Perspectives and Open Problems APPENDICES Appendix A: Algebraic Structures for the Fourier Transform on Finite Groups Appendix B: Fourier Analysis on Groups Appendix C: Discrete Walsh Functions Appendix D: The Basic Operations for Ternary and Quaternary Logic INDEX

Biometric-Based Decision Support Assistance in Physical Access Control Systems

This paper aims to contribute to the design of decision support for the physical access security systems. We address the problem of extracting information helpful for early detection of physiological and psycho-emotional data linked to situational awareness. Face images in visible and infrared bands acquired by the system constitute the input of the module for hyper-spectral face analysis and synthesis. The corresponding 3D models, one for video images and one for infrared, are generated by fitting the generic model onto images. The texture maps representing the hemoglobin and melanin content of the facial skin, as well as the temperature distribution, constitutes the output of the face analysis and modeling module. This information is used for evaluating the physiological and psycho-emotional states of a person.

Two-stage exact detection of symmetries

We propose an approach to exact detection of symmetries in multiple-valued logic (MVL) functions based on two-stage strategy. First, we reduce the search space by using information measures and then apply an exact method to find symmetry. The efficiency of the approach is evaluated by experimental study.