Conservative logic

DOI10.1007/BF01857727zbMath0496.94015OpenAlexW4251109627WikidataQ56228175 ScholiaQ56228175MaRDI QIDQ1170163

Publication date: 1982

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01857727

zbMATH Keywords

perfect gas binary variables model of computation conservation of certain additive quantities conservative-logic counterpart of switching theory correspondence between computation and physics elastic collisions of identical balls realization of high-performance computing systems reversibility of the dynamical laws

Mathematics Subject Classification ID

Kinetic theory of gases in equilibrium statistical mechanics (82B40) Theory of computing (68Q99)

Related Items

Predictability in deterministic theories, Entropy and computation: the Landauer-Bennett thesis reexamined, Highlighting the mechanism of the quantum speedup by time-symmetric and relational quantum mechanics, From reversible programs to univalent universes and back, How to turn a second-order cellular automaton into a lattice gas: a new inversion scheme, Cellular automata for nanometer-scale computation, Quantum conservative many-valued computing, Optimization approaches for designing quantum reversible arithmetic logic unit, Boolean delay equations. II: Periodic and aperiodic solutions, The 50\% advanced information rule of the quantum algorithms, User authentication based on quantum-dot cellular automata using reversible logic for secure nanocommunication, Modular adder designs using optimal reversible and fault tolerant gates in field-coupled QCA nanocomputing, Universality of a reversible two-counter machine, Universal computation and physical dynamics, Completing the physical representation of quantum algorithms provides a quantitative explanation of their computational speedup, Cellular automata as a paradigm for ecological modeling, Multi-qubit non-adiabatic holonomic controlled quantum gates in decoherence-free subspaces, Intractable problems in reversible cellular automata, Holistic and compositional logics based on the Bertini gate, ``Superconducting causal nets, Fuzzy representation of finite-valued quantum gates, Improving the quantum cost of reversible Boolean functions using reorder algorithm, Single-photon controlled multi-photon polarization unitary gate based on weak cross-Kerr nonlinearities, Reversible and endoreversible computing, Co-evolving non-uniform cellular automata to perform computations, Three ``quantum algorithms to solve 3-SAT, Physical versus computational complementarity. I, Collision-based implementation of a two-bit adder in excitable cellular automaton, Phenomenlogy of nonlocal cellular automata, An order-preserving property of additive invariants for Takesue-type reversible cellular automata, Information dissipation in quantum-chaotic systems: Computational view and measurement induction, Thermodynamic aspects of confidentiality, Reversible circuit synthesis by genetic programming using dynamic gate libraries, Operating binary strings using gliders and eaters in reaction-diffusion cellular automaton, Finite generating sets for reversible gate sets under general conservation laws, Quantum theory, namely the pure and reversible theory of information, Fundamentals of reversible flowchart languages, Heralded quantum gates for atomic systems assisted by the scattering of photons off single emitters, Fast synthesis of the Fredkin gate via quantum Zeno dynamics, Explicit construction of single input-single output logic gates from three soliton solution of Manakov system, Optimized 4-bit quantum reversible arithmetic logic unit, The computational complexity of generating random fractals, Realization and synthesis of reversible functions, Compact quantum gates for hybrid photon-atom systems assisted by Faraday rotation, Uncertainty principle and minimal energy dissipation in the computer, Physics of selective systems: Computation and biology, An algorithm for minimization of Boolean functions in the class of Toffoli reversible logic circuits, Novel parity-preserving designs of reversible 4-bit comparator, Reversible computing and cellular automata -- a survey, Cellular vacuum, Nonlinearity and computation: Implementing logic as a nonlinear dynamical system, Artificial life with autonomously emerging boundaries, Physical limits of inference, Novel designs of nanometric parity preserving reversible compressor, The form of life. I: It is possible but not necessary, Reversible simulation of one-dimensional irreversible cellular automata, The mechanism of quantum computation, New design of reversible full adder/subtractor using \(R\) gate, Theory of reaction automata: a survey, High-fidelity hybrid universal quantum controlled gates on photons and quantum-dot spins, Designing of parity preserving reversible vedic multiplier, Memory systems, computation, and the second law of thermodynamics, Emergence of universal global behavior from reversible local transitions in asynchronous systems, Minimal universal library for \(n\times n\) reversible circuits, Join inverse categories and reversible recursion, Computation-universality of one-dimensional one-way reversible cellular automata, Mapping from multiple-control Toffoli circuits to linear nearest neighbor quantum circuits, Forms of life: Unprogrammability constitutes the outside of a system and its autonomy, One-way permutations, computational asymmetry and distortion., Design of 1-tape 2-symbol reversible Turing machines based on reversible logic elements, Logic circuits from zero forcing, Sequential and maximally parallel multiset rewriting: reversibility and determinism, The physics of implementing logic: Landauer's principle and the multiple-computations theorem, The Higgs-physical and number theoretical arguments for the necessity of a triple elementary particle in super symmetric spacetime, Collision-based computing in Belousov--Zhabotinsky medium, Controlled gates for multi-level quantum computation, The diagonalization method in quantum recursion theory, The logic of optics and the optics of logic, Majority-based reversible logic gates, Maxwell's demon and the thermodynamics of computation, On quantum jumps, events, and spontaneous localization models, Notes on Landauer's principle, reversible computation, and Maxwell's demon, Computational complexity and 3-manifolds and zombies, The quantum speed up as advanced cognition of the solution, An instruction set for reversible Turing machines, Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics, On figures of merit in reversible and quantum logic designs, A computation-universal two-dimensional 8-state triangular reversible cellular automaton, Gliders in the game of life and in a reversible cellular automaton, Reversible elementary triangular partitioned cellular automata and their complex behavior, On the mathematical treatment of the Fredkin-Toffoli-Milburn gate., Quantum computation based on retarded and advanced propagation., PhysComp96. Proceedings of the 4th workshop on physics and computation, Boston, MA, USA, November 22--24, 1996, Quantum statistical mechanics of encryption: reaching the speed limit of classical block ciphers, Minimum energy requirements of information transfer and computing, PSPACE-completeness of reversible deterministic systems, Invertible cellular automata: A review, Glider-based computing in reaction-diffusion hexagonal cellular automata, Computing with planar toppling domino arrangements, Optimal designs of reversible/quantum decoder circuit using new quantum gates, Remote Implementation of a Fredkin Gate via Virtual Excitation of an Atom‐Cavity‐Fiber System, Framework for learning and control in the classical and quantum domains, The Elliptic Integral Machine: A Collision-based Model of Computation, Generation of Perfectly Entangled Two and Three Qubits States by Classical Random Interaction, An all-optical soliton FFT computational arrangement in the 3NLSE-domain, Towards a taxonomy for reversible computation approaches, Improved synthesis of Toffoli-Hadamard circuits, Particle computation: complexity, algorithms, and logic, A survey of cellular automata: types, dynamics, non-uniformity and applications, Second Thoughts on the Second Law, About reversibility in sP colonies and reaction systems, Exact Synthesis of ESOP Forms, A universal non-conservative reversible elementary triangular partitioned cellular automaton that shows complex behavior, Realization of the quantum Toffoli gate based on a six-level atomic system, Reversible modified reconstructability analysis of Boolean circuits and its quantum computation, Novel quaternary quantum decoder, multiplexer and demultiplexer circuits, The Classification of Reversible Bit Operations, On cellular automata rules of molecular arrays, Efficient algorithms for optimal 4-bit reversible logic system synthesis, The stochastic thermodynamics of computation, Properties of Quantum Templates, Garbageless Reversible Implementation of Integer Linear Transformations, Algorithmic arguments in physics of computation, Reversible Binary Coded Decimal Adders using Toffoli Gates, Digital mechanics. An information process based on reversible universal cellular automata, An 8-State Simple Reversible Triangular Cellular Automaton that Exhibits Complex Behavior, Strongly Universal Reversible Gate Sets, Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization, More really is different, Introduction: computability of the physical, Algorithmic thermodynamics, Spatial/kinematic domain and lattice computers, On design of parity preserving reversible adder circuits, On logical universality of Belousov-Zhabotinsky vesicles, Universality of 8-State Reversible and Conservative Triangular Partitioned Cellular Automata, Undecidability of the Spectral Gap, How Can We Construct Reversible Machines Out of Reversible Logic Element with Memory?, Reversible cellular automaton able to simulate any other reversible one using partitioning automata, A mathematical method for control problems on cellular automata models, Reversible spiking neural P systems, Optically controlled quantum gates for three spin qubits in quantum dot-microcavity coupled systems, The Category TOF, Programming Experimental Procedures for Newtonian Kinematic Machines, Toffoli gate with photonic qubits based on weak cross-Kerr nonlinearities, Invertible Construction of Decimal-to-Binary Converter Using Reversible Elements, Logical Gates via Gliders Collisions, Clean Reversible Simulations of Ranking Binary Trees, The Computing Power of Determinism and Reversibility in Chemical Reaction Automata, Design of a fault-tolerant reversible control unit in molecular quantum-dot cellular automata, Reversible computing from a programming language perspective, FACTORIZATIONS OF THE THOMPSON–HIGMAN GROUPS, AND CIRCUIT COMPLEXITY, EVOLVING LOCALIZATIONS IN REACTION-DIFFUSION CELLULAR AUTOMATA, A proposal for the realization of universal quantum gates via superconducting qubits inside a cavity, Efficient designs of reversible BCD to EX-3 Converter with low quantum cost in nanoscale, Design of BCD to Excess-3 code converter circuit with optimized quantum cost, garbage output and constant input using reversible gate, THE CNOT QUANTUM LOGIC GATE USING q-DEFORMED OSCILLATORS, Fredkin and Toffoli Gates Implemented in Oregonator Model of Belousov–Zhabotinsky Medium, Universal quantum computation by scattering in the Fermi–Hubbard model, An All-or-Nothing Flavor to the Church-Turing Hypothesis, COLLISION-BASED COMPUTING IN BIOPOLYMERS AND THEIR AUTOMATA MODELS, An Asynchronous Cellular Automaton Implementing 2-State 2-Input 2-Output Reversed-Twin Reversible Elements, Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder, EFFICIENT QUANTUM CIRCUITS FOR NON-QUBIT QUANTUM ERROR-CORRECTING CODES, The complexity of N-body simulation, Considering nearest neighbor constraints of quantum circuits at the reversible circuit level, Constructing quantum logic gates using \(q\)-deformed harmonic oscillator algebras, Design of quantum dot cellular automata based fault tolerant convolution encoders for secure nanocomputing, Translation Techniques for Reversible Circuit Synthesis with Positive and Negative Controls, Unnamed Item, NOVEL REVERSIBLE FAULT TOLERANT ERROR CODING AND DETECTION CIRCUITS, Reversible time travel with freedom of choice, Reversible dynamics with closed time-like curves and freedom of choice, How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton?, Unnamed Item, On synthesis of 3 × 3 reversible logic functions, The NEGATOR as a Basic Building Block for Quantum Circuits, Computational universes, Experimental implementation of collision-based gates in Belousov-Zhabotinsky medium, The Arrow of Time through the Lens of Computing, Number-Conserving Reversible Cellular Automata and Their Computation-Universality, MULTISCALE COMPLEXITY/ENTROPY, Quantum one go computation and the physical computation level of biological information processing, Towards a theory of conservative computing, What can we do with a linear optical logic gate?, IMPLEMENTING AN n-QUBIT FREDKIN GATE WITH SUPERCONDUCTING QUANTUM-INTERFERENCE DEVICES IN CAVITY QED, Universality of Reversible Hexagonal Cellular Automata, Computing with energy and chemical reactions, A relational time-symmetric framework for analyzing the quantum computational speedup, General design of reversible sequential machines based on reversible logic elements, Computing with Semirings and Weak Rig Groupoids, A Natural Axiomatization of Computability and Proof of Church's Thesis, Information and computation: Classical and quantum aspects, Quantum computation and quantum information†, Join Inverse Categories as Models of Reversible Recursion, NOVEL QUANTUM COMPRESSOR DESIGNS USING NEW GENETIC ALGORITHM-BASED SIMULATOR, ANALYZER AND SYNTHESIZER SOFTWARE IN NANOTECHNOLOGY, CIRCUITS, THE GROUPS OF RICHARD THOMPSON, AND coNP-COMPLETENESS, Binary-decision-diagram-based decomposition of Boolean functions into reversible logic elements, An All-Optical Soliton FFT Computational Arrangement in the 3NLSE-Domain, The word problem of the Brin-Thompson group is \textsf{coNP}-complete, Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits, Circuits form‐valued classical, reversible and quantum optical computing with application to regular logic design, Shift-symmetric configurations in two-dimensional cellular automata: Irreversibility, insolvability, and enumeration, QUANTUM LOGIC GATES USING q-DEFORMED OSCILLATORS, TWO-PHOTON NONLINEAR INTERACTION MEDIATED BY CAVITY QUANTUM ELECTRODYNAMICS SYSTEMS, An improved design of \(n\)-bit universal reversible gate library, Effective designs of reversible Vedic multiplier, ONE-DIMENSIONAL CELLULAR AUTOMATA WITH MEMORY: PATTERNS FROM A SINGLE SITE SEED, IMPLEMENTATION OF SWAP GATE AND FREDKIN GATE USING LINEAR OPTICAL ELEMENTS, Necessary and Sufficient Conditions for Quantum Computation, The parts and the whole: inquiring how the interaction of simple subsystems generates complexity, Unpredictability and undecidability in dynamical systems, Realizable Universal Quantum Logic Gates, Unusual area-law violation in random inhomogeneous systems, A Survey on Analog Models of Computation

Cites Work