English
Related papers

Related papers: CRGC -- A Practical Framework for Constructing Reu…

200 papers

Implementing Boolean functions with circuits consisting of logic gates is fundamental in digital computer design. However, the implemented circuit must be exactly equivalent, which hinders generative neural approaches on this task due to…

Machine Learning · Computer Science 2025-02-04 Xihan Li , Xing Li , Lei Chen , Xing Zhang , Mingxuan Yuan , Jun Wang

This work studies gradient coding (GC) in the context of distributed training problems with unreliable communication. We propose cooperative GC (CoGC), a novel gradient-sharing-based GC framework that leverages cooperative communication…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-07-08 Shudi Weng , Ming Xiao , Chao Ren , Mikael Skoglund

Controllable generative models have been widely used to improve the realism of synthetic visual content. However, such models must handle control conditions and content generation computational requirements, resulting in generally low…

Computer Vision and Pattern Recognition · Computer Science 2025-11-17 Lin Liu , Huixia Ben , Shuo Wang , Jinda Lu , Junxiang Qiu , Shengeng Tang , Yanbin Hao

Quantum circuit synthesis and compilation are critical components in the quantum computing stack, both for contemporary quantum systems, where efficient use of limited resources is essential, as well as for large-scale fault-tolerant…

Quantum Physics · Physics 2025-10-21 Jonathan Nemirovsky , Maya Chuchem , Lee Peleg , Yakov Solomons , Amit Ben Kish , Yotam Shapira

In reversible computing, the management of space is subject to two broad classes of constraints. First, as with general-purpose computation, every allocation must be paired with a matching de-allocation. Second, space can only be safely…

Programming Languages · Computer Science 2020-07-17 Chao-Hong Chen , Vikraman Choudhury , Jacques Carette , Amr Sabry

We present COGNAC, a novel strategy for compiling quantum circuits based on numerical optimization algorithms from scientific computing. Observing that shorter-duration "partially entangling" gates tend to be less noisy than the typical…

Quantum Physics · Physics 2025-04-11 Finn Voichick , Leonidas Lampropoulos , Robert Rand

Manual development of automatic tests for embedded C software is a strenuous and time-consuming task that does not scale well. With the accelerating pace of software release cycles, verification increasingly becomes the bottleneck in the…

Software Engineering · Computer Science 2026-03-11 Maximilian Harnot , Sebastian Komarnicki , Michal Polok , Timo Oksanen

Semi-Private Function Evaluation (SPFE) enables joint computation while protecting both input data and the function itself. A practical instantiation is gate-hiding garbled circuits, which conceal gate functionalities while revealing…

Cryptography and Security · Computer Science 2026-05-05 Chao Yin , Zunchen Huang , Chenglu Jin , Marten van Dijk , Fabio Massacci

The inherent uncertainty of communication channels implies that any coding scheme has a non-zero probability of failing to correct errors, making retransmission mechanisms essential. To ensure message reliability and integrity, a dual-layer…

Information Theory · Computer Science 2025-11-20 Chaofeng Guan , Gaojun Luo , Lan Luo , Yangyang Fei , Hong Wang

Multi-qubit parity measurements are at the core of many quantum error correction schemes. Extracting multi-qubit parity information typically involves using a sequence of multiple two-qubit gates. In this paper, we propose a superconducting…

Quantum Physics · Physics 2023-04-11 Kasper Sangild Christensen , Nikolaj Thomas Zinner , Morten Kjaergaard

The synthesis approaches for quantum circuits typically aim at minimizing the number of lines or gates. Given the tight restrictions on those logical resources in physical implementations, we propose to view the problem fundamentally…

Emerging Technologies · Computer Science 2023-02-03 Niels Gleinig , Tobias Rohner , Torsten Hoefler

We present two Secure Two Party Computation (STPC) protocols for piecewise function approximation on private data. The protocols rely on a piecewise approximation of the to-be-computed function easing the implementation in a STPC setting.…

Cryptography and Security · Computer Science 2016-11-17 Riccardo Lazzeretti , Tommaso Pignata , Mauro Barni

In near-term quantum computing devices, connectivity between qubits remain limited by architectural constraints. A computational circuit with given connectivity requirements necessary for multi-qubit gates have to be embedded within…

Pseudo-Random Bit Generation (PRBG) is required in many aspects of cryptography as well as in other applications of modern security engineering. In this work, PRBG based on 2D symmetrical chaotic mappings of logistic type is considered. The…

Chaotic Dynamics · Physics 2008-01-28 C. Pellicer-Lostao , R. Lopez-Ruiz

Quantum computing is emerging as an important (but radical) technology that might take us beyond Moore's law for certain applications. Today, in parallel with improving quantum computers, computer scientists are relying heavily on quantum…

Hardware Architecture · Computer Science 2023-03-06 Artur Podobas

The rising energy demands of conventional AI systems underscore the need for efficient computing technologies like brain-inspired computing. Physical reservoir computing (PRC), leveraging the nonlinear dynamics of physical systems for…

Applied Physics · Physics 2025-01-07 Daiki Nishioka , Hina Kitano , Wataru Namiki , Kazuya Terabe , Takashi Tsuchiya

In this paper we present an architecture that enables the redesign of large-scale quantum circuits on quantum hardware based on the entangling quantum generative adversarial network (EQ-GAN). Specifically, by prepending a random quantum…

Quantum Physics · Physics 2025-05-19 Runhong He , Ji Guan , Xin Hong , Guolong Cui , Shengbin Wang , Shenggang Ying

Although Retrieval-Augmented Generation (RAG) systems have been widely applied, the privacy and security risks they face, such as data leakage and data poisoning, have not been systematically addressed yet. Existing defense strategies…

Cryptography and Security · Computer Science 2025-08-05 Pengcheng Zhou , Yinglun Feng , Zhongliang Yang

Reversible logic has two main properties. First, the number of inputs is equal to the number of outputs. Second, it implements a one-to-one mapping; i.e., one can reconstruct the inputs from the outputs. These properties enable its…

Cryptography and Security · Computer Science 2017-12-05 Samah Mohamed Saeed , Xiaotong Cui , Robert Wille , Alwin Zulehner , Kaijie Wu , Rolf Drechsler , Ramesh Karri

Emergence of stochastic simulations as an extensively used computational tool for scientific purposes intensified the need for more accurate ways of generating sufficiently long sequences of uncorrelated random numbers. Even though several…

Mathematical Software · Computer Science 2014-08-14 Ayse Ferhan Yesil , M. Cemal Yalabik
‹ Prev 1 3 4 5 6 7 10 Next ›