Imagen de Portada

An Algorithm for Reversible Logic Circuit Synthesis Based on Tensor Decomposition

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Lee, Hochang, Jeong, Kyung Chul, Han, Daewan, Kim, Panjin
Formato:	Preprint
Publicado:	2021
Materias:	Logic in Computer Science Emerging Technologies Quantum Physics 03G12, 68W99 F.m; F.2.m
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Certified Knowledge Compilation with Application to Formally Verified Model Counting
por: Bryant, Randal E., et al.
Publicado: (2025)

Cogent argument extensions are weakly admissible but not vice versa
por: Bodanza, Gustavo
Publicado: (2025)

Varieties of quantitative algebras as categories
por: Adamek, Jiri
Publicado: (2024)

Drawing Planar Graphs and 1-Planar Graphs Using Cubic Bézier Curves with Bounded Curvature
por: Eppstein, David, et al.
Publicado: (2024)

Graded Differential Categories and Graded Differential Linear Logic
por: Lemay, Jean-Simon Pacaud, et al.
Publicado: (2023)

Implications of computer science theory for the simulation hypothesis
por: Wolpert, David H.
Publicado: (2024)

Taking Complete Finite Prefixes To High Level, Symbolically
por: Würdemann, Nick, et al.
Publicado: (2023)

Computationally efficient orthogonalization for pairwise comparisons method
por: Benitez, Julio, et al.
Publicado: (2024)

Proof complexity of universal algebra in a CSP dichotomy proof
por: Gaysin, Azza
Publicado: (2024)

What Makes a Model Breathe? Understanding Reinforcement Learning Reward Function Design in Biomechanical User Simulation
por: Selder, Hannah, et al.
Publicado: (2025)

Visual Bias in Simulated Users: The Impact of Luminance and Contrast on Reinforcement Learning-based Interaction
por: Selder, Hannah, et al.
Publicado: (2026)

Mind & Motion: Opportunities and Applications of Integrating Biomechanics and Cognitive Models in HCI
por: Fleig, Arthur, et al.
Publicado: (2025)

A Retrospective on Ultrasound Mid-Air Haptics in HCI
por: Fleig, Arthur
Publicado: (2025)

Typed Topological Structures Of Datasets
por: Hu, Wanjun
Publicado: (2025)

Demystifying Reward Design in Reinforcement Learning for Upper Extremity Interaction: Practical Guidelines for Biomechanical Simulations in HCI
por: Selder, Hannah, et al.
Publicado: (2025)

On finite-energy solutions of Kazan-Warner equations on the lattice graph
por: Chen, Huyuan, et al.
Publicado: (2025)

Eigenvalue Bounds for Symmetric Markov Chains on Multislices With Applications
por: Amireddy, Prashanth, et al.
Publicado: (2025)

A Mathematical Framework for the Problem of Security for Cognition in Neurotechnology
por: Bagley, Bryce Allen, et al.
Publicado: (2024)

Experiments with an oscillator based Ising machine
por: Roy, Shrish, et al.
Publicado: (2025)

Provability in BI's Sequent Calculus is Decidable
por: Gheorghiu, Alexander, et al.
Publicado: (2021)

Prism-based compensation of group delay dispersion in the components of a femtosecond laser resonator and analysis of the influence of prism configuration on laser radiation parameters
por: Beznosenko, I. V., et al.
Publicado: (2025)

Egalitarian Price of Fairness for Indivisible Goods
por: Celine, Karen Frilya, et al.
Publicado: (2024)

Quantum Circuit Optimization by Graph Coloring
por: Lee, Hochang, et al.
Publicado: (2025)

Towards a quantum synapse for quantum sensing
por: Pau, L-F
Publicado: (2025)

A Mechanism for Optimizing Media Recommender Systems
por: McFadden, Brian
Publicado: (2024)

Exploring Entanglement and Parameter Sensitivity in QAOA through Quantum Fisher Information
por: Sarmina, Brian García, et al.
Publicado: (2025)

Geometry of Arrangements that Determine Shapes
por: Haridis, Alexandros
Publicado: (2020)

Reversible computations are computations
por: Aubert, Clément, et al.
Publicado: (2025)

An ordinal analysis of a single stable ordinal
por: Arai, Toshiyasu
Publicado: (2022)

An ordinal analysis of $Π_{N}$-Collection
por: Arai, Toshiyasu
Publicado: (2023)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
por: Japaridze, Giorgi
Publicado: (2026)

A propositional cirquent calculus for computability logic
por: Japaridze, Giorgi
Publicado: (2024)

Vagueness and the Connectives
por: Holliday, Wesley H.
Publicado: (2024)

On solution of Diffusion Equation using Conformable Laplace Transform
por: Sarate, Somnath, et al.
Publicado: (2026)

The Countable Reals
por: Bauer, Andrej, et al.
Publicado: (2024)

Algebraic Proof Theory for Infinitary Action Logic
por: Fussner, Wesley, et al.
Publicado: (2025)

Fields with Lie-commuting and iterative operators
por: Dobrowolski, Jan, et al.
Publicado: (2025)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
por: Park, Sewon, et al.
Publicado: (2016)

Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation
por: Santacana, Andreu Ballus
Publicado: (2025)

Domains, Information Frames, Rough Sets: An Equivalence of Categories
por: Spreen, Dieter
Publicado: (2025)