English
Related papers

Related papers: Techniques for the Synthesis of Reversible Toffoli…

200 papers

The question of finding a lower bound on the number of Toffoli gates in a classical reversible circuit is addressed. A method based on quantum information concepts is proposed. The method involves solely concepts from quantum information -…

Quantum Physics · Physics 2007-05-23 Sandu Popescu , Berry Groisman , Serge Massar

The synthesis of reactive systems aims for the automated construction of strategies for systems that interact with their environment. Whereas the synthesis approach has the potential to change the development of reactive systems…

Logic in Computer Science · Computer Science 2026-04-01 Linda Feeken , Martin Fränzle

Reversible circuits for SR flip flop, JK flip flop, D flip flop, T flip flop, Master Slave D flip flop and Master Slave JK flip flop have been provided with three different logical approaches. All the circuits have been optimized with the…

Quantum Physics · Physics 2007-07-31 Anindita Banerjee , Anirban Pathak

This PhD dissertation investigates garbage-free reversible computing systems from abstract design to physical gate-level implementation. Designed in reversible logic, we propose a ripple-block carry adder and work towards a reversible…

Programming Languages · Computer Science 2023-09-22 Michael Kirkedal Thomsen

Retrosynthesis plays a crucial role in the fields of organic synthesis and drug development, where the goal is to identify suitable reactants that can yield a target product molecule. Although existing methods have achieved notable success,…

Machine Learning · Computer Science 2025-10-20 Jiaxi Zhuang , Yu Zhang , Yan Zhang , Ying Qian , Aimin Zhou

The synthesis of reactive systems aims for the automated construction of strategies for systems that interact with their environment. Whereas the synthesis approach has the potential to change the development of reactive systems…

Logic in Computer Science · Computer Science 2024-11-04 Linda Feeken , Martin Fränzle

Generative Flow Networks (GFlowNets), a new family of probabilistic samplers, have demonstrated remarkable capabilities to generate diverse sets of high-reward candidates, in contrast to standard return maximization approaches (e.g.,…

Machine Learning · Computer Science 2025-02-25 Haoran He , Can Chang , Huazhe Xu , Ling Pan

For universal quantum computation, a major challenge to overcome for practical implementation is the large amount of resources required for fault-tolerant quantum information processing. An important aspect is implementing arbitrary unitary…

Quantum Physics · Physics 2021-02-17 Gary J. Mooney , Charles D. Hill , Lloyd C. L. Hollenberg

Phase retrieval is a nonlinear inverse problem that arises in a wide range of imaging modalities, from electron microscopy to Fourier ptychography. In particular, the reconstruction is facilitated when the sensing matrix is i.i.d. random,…

We present a novel architecture-aware transpilation method for exact general unitary gate synthesis on superconducting quantum hardware. Our approach is tightly integrated with the optimized block-ZXZ decomposition, exploiting its recursive…

Quantum Physics · Physics 2026-04-29 Frans Perkkola , Arianne Meijer-van de Griend , Jukka K. Nurminen

Reversible circuits form the backbone for many promising emerging technologies such as quantum computing, low power/adiabatic design, encoder/decoder devices, and several other applications. In the recent years, the scalable synthesis of…

Hardware Architecture · Computer Science 2022-12-13 Smaran Adarsh , Lukas Burgholzer , Tanmay Manjunath , Robert Wille

New technologies such as Quantum-dot Cellular Automata (QCA), Single Electron Tunneling (SET), Tunneling Phase Logic (TPL) and all-spin logic (ASL) devices have been widely advocated in nanotechnology as a response to the physical limits…

Emerging Technologies · Computer Science 2016-11-16 Moein Sarvaghad-Moghaddam , Ali A. Orouji , Monireh Houshmand

The disconnect between AI-generated molecules with desirable properties and their synthetic feasibility remains a critical bottleneck in computational discovery of drugs and materials. While generative AI has accelerated the proposal of…

Chemical Physics · Physics 2025-11-25 Shuan Chen , Gunwook Nam , Alan Aspuru-Guzik , Yousung Jung

Residue Number System (RNS), which originates from the Chinese Remainder Theorem, offers a promising future in VLSI because of its carry-free operations in addition, subtraction and multiplication. This property of RNS is very helpful to…

Hardware Architecture · Computer Science 2012-11-26 Chaitali Biswas Dutta , Partha Garai , Amitabha Sinha

Reversible computation is an emerging computing paradigm that allows any sequence of operations to be executed in reverse order at any point during computation. Its appeal lies in its potential for lowpower computation and its relevance to…

Logic in Computer Science · Computer Science 2023-11-02 Kamila Barylska , Anna Gogolinska , Lukasz Mikulski , Anna Philippou , Marcin Piatkowski , Kyriaki Psara

Magnetic Tunnel Junctions (MTJs) are of great interest for non-conventional computing applications. The Toffoli gate is a universal reversible logic gate, enabling the construction of arbitrary boolean circuits. Here, we present a…

We show that a common language can be used to unify the description of parametrically-coupled circuits--parametric amplifiers, frequency converters, and parametric nonreciprocal devices--with that of band-pass filter and impedance matching…

Applied Physics · Physics 2022-05-19 Ofer Naaman , Jose Aumentado

Deep metric learning aims to learn embeddings that contain semantic similarity information among data points. To learn better embeddings, methods to generate synthetic hard samples have been proposed. Existing methods of synthetic hard…

Computer Vision and Pattern Recognition · Computer Science 2020-04-24 Geonmo Gu , Byungsoo Ko

In previous studies, several methods have been developed to synthesise Petri nets from labelled transition systems (LTS), often with structural constraints on the net and on the LTS. In this paper, we focus on Weighted Marked Graphs (WMGs)…

Data Structures and Algorithms · Computer Science 2019-11-01 Raymond Devillers , Evgeny Erofeev , Thomas Hujsa

In this paper we show that it is possible to adapt a qudit scheme for creating a controlled-Toffoli created by Ralph et al. [Phys. Rev. A 75 011213] to be applicable to qubits. While this scheme requires more gates than standard schemes for…

Quantum Physics · Physics 2013-04-23 Katherine L. Brown , Anmer Daskin , Sabre Kais , Jonathan P. Dowling
‹ Prev 1 4 5 6 7 8 10 Next ›