22 papers · ranked by Valyu relevance
Andreas Blass, Yuri Gurevich
Boolean and quantum circuits have commonalities and differences. To formalize the syntactical commonality we introduce syntactic circuits where the gates are black boxes. Syntactic circuits support various semantics. One semantics is provided by Boolean circuits, another by quantum circuits. Quantum semantics is a…
Chuyu Xiong
In this article, we continue our study on universal learning machine by introducing new tools. We first discuss boolean function and boolean circuit, and we establish one set of tools, namely, fitting extremum and proper sampling set. We proved the fundamental relationship between proper sampling set and complexity of…
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…
Mario A. Marchisio, Jörg Stelling, Jason A. Papin
De novo computational design of synthetic gene circuits that achieve well-defined target functions is a hard task. Existing, brute-force approaches run optimization algorithms on the structure and on the kinetic parameter values of the network. However, more direct rational methods for automatic circuit design are…
Mario A Marchisio
In our previous computational work, we showed that gene digital circuits can be automatically designed in an electronic fashion. This demands, first, a conversion of the truth table into Boolean formulas with the Karnaugh map method and, then, the translation of the Boolean formulas into circuit schemes organized into…
Shuang Gao, Fei Zeng, Minjuan Wang, Guangyue Wang + 2 more
'Feng Pan'] The unique complementary switching behaviour of complementary resistive switches (CRSs) makes them very attractive for logic applications. The implementation of complete Boolean logic functions in a single CRS cell is certainly an extremely important step towards the commercialisation of related 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…
Issam Damaj
This is the peer reviewed version of the following article: [I. Damaj, Programmable Logic Arrays, in Wiley Encyclopedia of Computer Science and Engineering, Benjamin Wah (Editor), Hoboken: John Wiley & Sons, Inc, New Jersey, January 15, 2008. V 4 P 2272 – 2280.], which has been published in final form at…
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…
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…
Shuai Li, Weijun Su, Chunze Zhang
Synthetic biology employs engineering principles to re-design biological systems for biomedical or industrial purposes. Innovation and application of original biological parts for genetic circuit construction will significantly facilitate and expedite the development of synthetic biology. Here, we built two- or…
Tai-Yin Chiu, Jie-Hong R. Jiang
A synthetic approach to biology is a promising technique for various applications. Recent advancements have demonstrated the feasibility of constructing synthetic two-input logic gates in Escherichia coli cells with long-term memory based on DNA inversion induced by recombinases. On the other hand, recent evidences…
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…
Panagiotis Mougkogiannis, Andrew Adamatzky
Proteinoid are thermal proteins which swell into microspheres in aqueous solution. Ensembles of proteinoids produce electrical spiking activity similar to that of neurons. We introduce a novel method for implementing logical gates in the ensembles of proteinoid microspheres using chronoamperometry. Chronoamperometry is…
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…
Thomas C. Draper, Claire Fullarton, Neil Phillips, Ben P. J. De Lacy Costello + 1 more
Liquid marbles are microlitre droplets of liquid, encapsulated by self-organised hydrophobic particles at the liquid/air interface. They offer an efficient approach for manipulating liquid droplets and compartmentalising reactions in droplets. Digital fluidic devices employing liquid marbles might benefit from having…
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.…
Authors not listed
RNA molecules fold into complex three-dimensional structures that determine their function. A wide range of mathematical frameworks, such as chord diagrams, fatgraphs, and context-free grammars, have been used to represent these structures; however, these models have largely been developed from mathematical motivations…