Marek Perkowski - Academia.edu (original) (raw)

Marek Perkowski

I am working on Quantum Computing, Reversible Logic, Quantum Circuits and Algorithms, Machine Learning, Intelligent Robotics, Multiple-Valued Logic, Logic Synthesis and Human-Robot Interaction.

less

Uploads

Papers by Marek Perkowski

Research paper thumbnail of Evolutionary Quantum Logic Synthesis of Boolean Reversible Logic Circuits Embedded in Ternary Quantum Space using Heuristics

arXiv (Cornell University), Jul 18, 2011

Research paper thumbnail of Efficient Implementation of Controlled Operations for Multivalued Quantum Logic

Research paper thumbnail of Genetic programming and its applications to the synthesis of digital logic

Research paper thumbnail of A Novel Weighted Hierarchical Adaptive Voting Ensemble Machine Learning Method for Breast Cancer Detection

A novel Weighted Hierarchical Adaptive Voting Ensemble (WHAVE) machine learning (ML) method was d... more A novel Weighted Hierarchical Adaptive Voting Ensemble (WHAVE) machine learning (ML) method was developed for breast cancer detection. It was constructed using three individual ML methods based on Multiple-Valued Logic: Disjunctive Normal Form (DNF) rule based method, Decision Trees, Naïve Bays, and one method based on continuous representation: Support Vector Machines (SVM). Results were compared with other methods and show that the WHAVE method accuracy was noticeably higher than the individual ML methods tested. This paper demonstrates that the WHAVE method proposed outperforms all methods researched, and shows the advantage of using WHAVE method for ML in breast cancer detection.

Research paper thumbnail of A new approach to the decomposition of incompletely specified multi-output functions based on graph coloring and local transformations and its application to FPGA mapping

Proceedings EURO-DAC '92: European Design Automation Conference, Jan 2, 2003

Research paper thumbnail of Circuit optimization of Grover quantum search algorithm

Quantum Information Processing, Jan 18, 2023

Research paper thumbnail of Image Processing and Machine Learning for the Diagnosis of Melanoma Cancer

Research paper thumbnail of Synthesis of Permutative Quantum Circuits with Toffoli and TISC Gates

ABSTRACT We present a new concept of TISC (2-interval symmetric controlled) quantum per mutative ... more ABSTRACT We present a new concept of TISC (2-interval symmetric controlled) quantum per mutative gates and how per mutative quantum circuits with no ancilla bits can be built using a combination of Toffoli and TISC gates.

Research paper thumbnail of The encoding program for concurrent finite state machines realized using PLD devices

Research paper thumbnail of A Cost Minimization Approach to Synthesis of Linear Reversible Circuits

arXiv (Cornell University), Jun 30, 2014

Research paper thumbnail of Quantum Algorithm for Mining Frequent Patterns for Association Rule Mining

Journal of quantum information science, 2023

Research paper thumbnail of Multi-valued Quantum Cascade Realization with Group Decomposition

This paper introduces a method for realizing binary controlled inputs to p-valued single output f... more This paper introduces a method for realizing binary controlled inputs to p-valued single output functions (where p is prime, multi-valued logic state, in particular p=2, 3, or 5) by using a canonical (reversible, quantum) cascade of quantum logic blocks derived from decomposed group functions and the Walsh spectrum. The first part of our method is based on a publication by T. Sasao in [4] and is then extended to classical reversible logic and quantum cascades optimized for ion trap and quantum dot technologies.

Research paper thumbnail of Quantum-based algorithm and circuit design for bounded Knapsack optimization problem

Quantum Information & Computation, Aug 1, 2020

Research paper thumbnail of Comparative Analysis of Full Adder Custom Design Circuit using Two Regular Structures in Quantum-Dot Cellular Automata (QCA)

Regular structures in Quantum-dot Cellular Automata (QCA) allow for ease of design and uniform cl... more Regular structures in Quantum-dot Cellular Automata (QCA) allow for ease of design and uniform clocking structure. The paper presents a comparative analysis of QCA realization using regular structures: Shannon-Lattices and Programmable Logic Arrays (PLAs). A software tool was developed that generates complete QCA-Shannon-Lattice and QCA-PLA Layouts for Boolean functions based on an input characterized macro-cell library. The correctness of equations were verified by performing simulations of the generated layouts. It is shown that the new regular lattices outperform PLAs and are closer to full custom design on Full Adders.

Research paper thumbnail of An Improved Factorization Approach to Reversible Circuit Synthesis Based on EXORs of Products of EXORs

This paper introduces new algorithms to synthesize reversible functions using EXOR-sum of Product... more This paper introduces new algorithms to synthesize reversible functions using EXOR-sum of Products-of-EXOR-sums (EPOE) structures. The motivation for using these structures is to reduce the number of as well as the sizes of multiple controlled Toffoli gates, and thus the quantum cost. To achieve these reductions the paper generalizes from existing 2-level AND-EXOR structures (ESOP) commonly used in reversible logic to a mixture of 3-level EXOR-AND-EXOR structures and ESOPs. Our approach can be applied to reversible and permutative quantum circuits to synthesize single output functions on to an output line, with no additional ancilla bits. A comparison of the ESOP minimizer EXORCISM-4 and two variants of the EPOE minimizer, called EPOEM-1s and EPOEM-2, is presented. The results show that EPOE circuits do in fact achieve the above-stated cost reductions, in particular when expressed in terms of Maslov's quantum cost, the metric commonly used in quantum circuit synthesis.

Research paper thumbnail of A program for exact synthesis of three-level NAND networks

Research paper thumbnail of A New Design Methodology for Two-Dimensional Logic Arrays

Research paper thumbnail of On the calculation of generalized Reed-Muller canonical expansions from disjoint cube representation of Boolean functions

Research paper thumbnail of Ordered and shared, linearly-independent, variable-pair decision diagrams

Research paper thumbnail of Walsh type transforms for completely and incompletely specified multiple-valued input binary functions

Research paper thumbnail of Evolutionary Quantum Logic Synthesis of Boolean Reversible Logic Circuits Embedded in Ternary Quantum Space using Heuristics

arXiv (Cornell University), Jul 18, 2011

Research paper thumbnail of Efficient Implementation of Controlled Operations for Multivalued Quantum Logic

Research paper thumbnail of Genetic programming and its applications to the synthesis of digital logic

Research paper thumbnail of A Novel Weighted Hierarchical Adaptive Voting Ensemble Machine Learning Method for Breast Cancer Detection

A novel Weighted Hierarchical Adaptive Voting Ensemble (WHAVE) machine learning (ML) method was d... more A novel Weighted Hierarchical Adaptive Voting Ensemble (WHAVE) machine learning (ML) method was developed for breast cancer detection. It was constructed using three individual ML methods based on Multiple-Valued Logic: Disjunctive Normal Form (DNF) rule based method, Decision Trees, Naïve Bays, and one method based on continuous representation: Support Vector Machines (SVM). Results were compared with other methods and show that the WHAVE method accuracy was noticeably higher than the individual ML methods tested. This paper demonstrates that the WHAVE method proposed outperforms all methods researched, and shows the advantage of using WHAVE method for ML in breast cancer detection.

Research paper thumbnail of A new approach to the decomposition of incompletely specified multi-output functions based on graph coloring and local transformations and its application to FPGA mapping

Proceedings EURO-DAC '92: European Design Automation Conference, Jan 2, 2003

Research paper thumbnail of Circuit optimization of Grover quantum search algorithm

Quantum Information Processing, Jan 18, 2023

Research paper thumbnail of Image Processing and Machine Learning for the Diagnosis of Melanoma Cancer

Research paper thumbnail of Synthesis of Permutative Quantum Circuits with Toffoli and TISC Gates

ABSTRACT We present a new concept of TISC (2-interval symmetric controlled) quantum per mutative ... more ABSTRACT We present a new concept of TISC (2-interval symmetric controlled) quantum per mutative gates and how per mutative quantum circuits with no ancilla bits can be built using a combination of Toffoli and TISC gates.

Research paper thumbnail of The encoding program for concurrent finite state machines realized using PLD devices

Research paper thumbnail of A Cost Minimization Approach to Synthesis of Linear Reversible Circuits

arXiv (Cornell University), Jun 30, 2014

Research paper thumbnail of Quantum Algorithm for Mining Frequent Patterns for Association Rule Mining

Journal of quantum information science, 2023

Research paper thumbnail of Multi-valued Quantum Cascade Realization with Group Decomposition

This paper introduces a method for realizing binary controlled inputs to p-valued single output f... more This paper introduces a method for realizing binary controlled inputs to p-valued single output functions (where p is prime, multi-valued logic state, in particular p=2, 3, or 5) by using a canonical (reversible, quantum) cascade of quantum logic blocks derived from decomposed group functions and the Walsh spectrum. The first part of our method is based on a publication by T. Sasao in [4] and is then extended to classical reversible logic and quantum cascades optimized for ion trap and quantum dot technologies.

Research paper thumbnail of Quantum-based algorithm and circuit design for bounded Knapsack optimization problem

Quantum Information & Computation, Aug 1, 2020

Research paper thumbnail of Comparative Analysis of Full Adder Custom Design Circuit using Two Regular Structures in Quantum-Dot Cellular Automata (QCA)

Regular structures in Quantum-dot Cellular Automata (QCA) allow for ease of design and uniform cl... more Regular structures in Quantum-dot Cellular Automata (QCA) allow for ease of design and uniform clocking structure. The paper presents a comparative analysis of QCA realization using regular structures: Shannon-Lattices and Programmable Logic Arrays (PLAs). A software tool was developed that generates complete QCA-Shannon-Lattice and QCA-PLA Layouts for Boolean functions based on an input characterized macro-cell library. The correctness of equations were verified by performing simulations of the generated layouts. It is shown that the new regular lattices outperform PLAs and are closer to full custom design on Full Adders.

Research paper thumbnail of An Improved Factorization Approach to Reversible Circuit Synthesis Based on EXORs of Products of EXORs

This paper introduces new algorithms to synthesize reversible functions using EXOR-sum of Product... more This paper introduces new algorithms to synthesize reversible functions using EXOR-sum of Products-of-EXOR-sums (EPOE) structures. The motivation for using these structures is to reduce the number of as well as the sizes of multiple controlled Toffoli gates, and thus the quantum cost. To achieve these reductions the paper generalizes from existing 2-level AND-EXOR structures (ESOP) commonly used in reversible logic to a mixture of 3-level EXOR-AND-EXOR structures and ESOPs. Our approach can be applied to reversible and permutative quantum circuits to synthesize single output functions on to an output line, with no additional ancilla bits. A comparison of the ESOP minimizer EXORCISM-4 and two variants of the EPOE minimizer, called EPOEM-1s and EPOEM-2, is presented. The results show that EPOE circuits do in fact achieve the above-stated cost reductions, in particular when expressed in terms of Maslov's quantum cost, the metric commonly used in quantum circuit synthesis.

Research paper thumbnail of A program for exact synthesis of three-level NAND networks

Research paper thumbnail of A New Design Methodology for Two-Dimensional Logic Arrays

Research paper thumbnail of On the calculation of generalized Reed-Muller canonical expansions from disjoint cube representation of Boolean functions

Research paper thumbnail of Ordered and shared, linearly-independent, variable-pair decision diagrams

Research paper thumbnail of Walsh type transforms for completely and incompletely specified multiple-valued input binary functions

Log In