22 papers · ranked by Valyu relevance
Antoine Amarilli, Marcelo Arenas, YooJung Choi, Mikaël Monet + 2 more
and Automata Authors: ['Antoine Amarilli' 'Marcelo Arenas' 'YooJung Choi' 'Mikaël Monet' 'Guy Van den Broeck' 'Benjie Wang'] This document is an introduction to two related formalisms to define Boolean functions: binary decision diagrams, and Boolean circuits. It presents these formalisms and several of their variants…
Damian Arellanes
Boolean circuits abstract away from physical details to focus on the logical structure and computational behaviour of digital components. Although such circuits have been studied for many decades, compositionality has been widely ignored or examined in an informal manner, which is a property for combining circuits…
Bao Gia Bach, Akash Kundu, Tamal Acharya, Aritra Sarkar + 2 more
'Andrei Khrennikov' 'Karl Svozil'] This work applies concepts from algorithmic probability to Boolean and quantum combinatorial logic circuits. The relations among the statistical, algorithmic, computational, and circuit complexities of states are reviewed. Thereafter, the probability of states in the circuit model of…
Taghreed Ahmed, Ahmed Younes, and Islam Elkabani
The construction of quantum computers is based on the synthesis of low-cost quantum circuits. The quantum circuit of any Boolean function expressed in a Positive Polarity Reed-Muller P P RM expansion can be synthesized using Multiple-Control Toffoli (MCT) gates. This paper proposes two algorithms to construct a quantum…
Aadarsh G. Goenka, Shyamali Mitra, Mrinal Kanti Naskar, Nibaran Das
—In literature, NAND and NOR are two logic gates that display functional completeness, hence regarded as Universal gates. So, the present effort is focused on exploring a library of universal gates in binary that are still unexplored in literature along with a broad and systematic approach to classify the logic…
Andrea C. Bardales, Quynh Vo, Dmitry M. Kolpashchikov, Alexander B. Kotlyar
'Alexander B. Kotlyar'] A functionally complete Boolean operator is sufficient for computational circuits of arbitrary complexity. We connected YES (buffer) with NOT (inverter) and two NOT four-way junction (4J) DNA gates to obtain IMPLY and NAND Boolean functions, respectively, each of which represents a functionally…
Rojoba Yasmin, Russell Deaton, Slavisa Jovanovic
Inspired by self-assembled biological growth, the Circuit Tile Assembly Model (cTAM) was developed to provide insights into signal propagation, information processing, and computation in bioelectric networks. The cTAM is an abstract model that produces a family of circuits of different sizes that is amenable to exact…
Pablo Concha-Vega
This article introduces the Local Complementation Problem, a decision problem that captures the complexity of applying a sequence of local complementations. Given a graph G, a sequence of vertices s, and a pair of vertices u, v, the problem asks whether the edge (u, v) is present in the graph obtained after applying…
Alexander Khitun, Michael Balinskiy
In this work, we describe a logic device in which an act of computation is associated with finding a path connecting input and output ports. The device is based on an active ring circuit comprising electric and magnetic parts. The electric part includes an amplifier, a phase shifter, and an attenuator. The magnetic…
Jingyao Chen, Aviva Borison, Douglas Densmore, Wilson W. Wong
Cell-free gene expression systems are increasingly important in fundamental research and biomanufacturing, offering a versatile platform for studying gene circuits and bio-computation. We present the Cell-Free Recombinase Integrated Boolean Output System (CRIBOS), a site-specific recombinase-based multiplex genetic…
Qingxin Chen, Lin Lu, Jialin Meng, Mingsheng Xu + 1 more
The memristor, as an emerging nonvolatile device, has garnered considerable attention due to its low power consumption, high density, and multifunctionality. This review summarizes recent advances in the application of memristors for logic gates, with a focus on key breakthroughs and challenges in material design…
Gina Partipilo, Sarah M. Coleman, Yang Gao, Ismar E. Miniel Mahfoud + 3 more
A significant advancement in synthetic biology is the development of synthetic gene circuits with predictive Boolean logic. However, there is no universally accepted or applied statistical test to analyze the performance of these circuits. Many basic statistical tests fail to capture the predicted logic (OR, AND, etc.)…
Anh Phong Tran, Dhruv D. Jatkar, M. Ali Al-Radhawi, Elizabeth A. Ernst + 1 more
Minimal synthesis of Boolean functions is an NP-hard problem, and heuristic approaches typically give suboptimal circuits. However, in the emergent field of synthetic biology, genetic logic designs that use even a single additional Boolean gate can render a circuit unimplementable in a cell. This has led to a renewed…
V. Vyas, Joseph S. Friedman
Logic Functions Authors: ['V. Vyas' 'Joseph S. Friedman'] Abstract—The increasing advancement of emerging device technologies that provide alternative basis logic sets necessitates the exploration of innovative logic design automation methodologies. Specifically, emerging computing architectures based on the memristor…
Erik Kubaczka, Maximilian Gehri, Jérémie J. M. Marlhens, Tobias Schwarz + 5 more
Energy and its dissipation are fundamental to all living systems, including cells. Insufficient abundance of energy carriers -as caused by the additional burden of artificial genetic circuits-shifts a cell’s priority to survival, also impairing the functionality of the genetic circuit. Moreover, recent works have shown…
Timothy J. Rudge, Gonzalo Vidal
Bio-computation is the implementation of computational operations using biological substrates, such as cells engineered with synthetic genetic circuits. These genetic circuits can be composed of DNA parts with specific functions, such as promoters that initiate transcription, ribosome binding sites that initiate…
Andrew Adamatzky, Nic Roberts, Raphael Fortulan, Noushin Raeisi Kheirabadi + 5 more
'Noushin Raeisi Kheirabadi' 'Panagiotis Mougkogiannis' 'Michail-Antisthenis Tsompanas' 'Genaro J. Martínez' 'Georgios Ch. Sirakoulis' 'Alessandro Chiolerio'] The colloid cellular automata do not imitate the physical structure of colloids but are governed by logical functions derived from them. We analyze the space-time…
Swaraj Biswas, Santanu K. Maiti
We propose a scheme for realizing thermal logic gates at the nanoscale using a phononic ring system. Two atomic sites, placed in close proximity to the ring, serve as the inputs for two-input logic operations, while a single proximity site is employed for single-input logic functionality. The logic output is encoded in…
Han Xiao, Ruiyong Zhao, Yulan Liu, Yuanzhen Liu + 3 more
'Qilin Hua' 'Tao Zeng'] The von Neumann architecture is no longer sufficient for handling large-scale data. In-memory computing has emerged as the potent method for breaking through the memory bottleneck. A new 10T SRAM bitcell with row and column control lines called RC-SRAM is proposed in this article. The…
Edward Otieno, Katarzyna Matczyszyn, Nelson Mokaya
Quantum computing promises exponential advances in information processing, necessitating the development of appropriate materials for implementing quantum qubits and gates. Liquid crystals, known for their electro-optical characteristics and use in displays, have recently received attention as prospective candidates…
Richard Winpenny, Edmund Little, Jacob Mrozek, Ciaran J Rogers + 4 more
Quantum information processing promises to revolutionise computing; quantum algorithms have been discovered that address common tasks significantly more efficiently than their classical counterparts. For a physical system to be a viable quantum computer it must be possible to initialise its quantum state, to realise a…
Authors not listed
Iontronics can improve soft robotics, like wearable devices and environmental sensors, by replacing rigid electronics with viscoelastic materials that mimic biological tissue. Circuit components, including diodes, transistors, and power sources, have been fabricated with soft materials that utilize ionic current.…