English
Related papers

Related papers: Efficient Local Unfolding with Ancestor Stacks

200 papers

Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it consists of a sequence of syntactic program manipulations which…

Programming Languages · Computer Science 2008-07-28 Maurizio Gabbrielli , Maria Chiara Meo , Paolo Tacchella

A number of prototypical optimization problems in multi-agent systems (e.g., task allocation and network load-sharing) exhibit a highly local structure: that is, each agent's decision variables are only directly coupled to few other agent's…

Multiagent Systems · Computer Science 2020-03-04 Robin Brown , Federico Rossi , Kiril Solovey , Michael T. Wolf , Marco Pavone

Present-day, noisy, small or intermediate-scale quantum processors---although far from fault-tolerant---support the execution of heuristic quantum algorithms, which might enable a quantum advantage, for example, when applied to…

The inherent heavy computation of deep neural networks prevents their widespread applications. A widely used method for accelerating model inference is quantization, by replacing the input operands of a network using fixed-point values.…

Computer Vision and Pattern Recognition · Computer Science 2020-05-28 Hongwei Xie , Shuo Zhang , Huanghao Ding , Yafei Song , Baitao Shao , Conggang Hu , Ling Cai , Mingyang Li

We develop several efficient algorithms for the classical \emph{Matrix Scaling} problem, which is used in many diverse areas, from preconditioning linear systems to approximation of the permanent. On an input $n\times n$ matrix $A$, this…

Data Structures and Algorithms · Computer Science 2017-04-10 Zeyuan Allen-Zhu , Yuanzhi Li , Rafael Oliveira , Avi Wigderson

In this paper, A new sixth-order weighted essentially non-oscillatory (WENO) scheme, refered as the WENO-6, is proposed in the finite volume framework for the hyperbolic conservation laws. Instead of selecting one stencil for each cell in…

Numerical Analysis · Mathematics 2017-01-24 Fengxiang Zhao , Liang Pan , Zheng Li , Shuanghu Wang

We give a polynomial-time algorithm for OnlineSetCover with a competitive ratio of $O(\log mn)$ when the elements are revealed in random order, essentially matching the best possible offline bound of $O(\log n)$ and circumventing the…

Data Structures and Algorithms · Computer Science 2024-07-09 Anupam Gupta , Gregory Kehne , Roie Levin

Zeroth-Order (ZO) optimization has emerged as a promising solution for fine-tuning LLMs under strict memory constraints, as it avoids the prohibitive memory cost of storing activations for backpropagation. However, existing ZO methods…

Machine Learning · Computer Science 2026-05-25 Wei Lin , Yining Jiang , Qingyu Song , Qiao Xiang , Hong Xu

High-frequency features are critical in multiscale phenomena such as turbulent flows and phase transitions, since they encode essential physical information. The recently proposed Wavelet Neural Operator (WNO) utilizes wavelets'…

Numerical Analysis · Mathematics 2025-06-24 Wei-Min Lei , Hou-Biao Li

With the rise of deep learning technology in practical applications, Convolutional Neural Networks (CNNs) have been able to assist humans in solving many real-world problems. To enhance the performance of CNNs, numerous network…

Machine Learning · Computer Science 2024-09-10 Qi Wang , Zijun Gao , Mingxiu Sui , Taiyuan Mei , Xiaohan Cheng , Iris Li

Efficient probabilistic inference by variable elimination in graphical models requires an optimal elimination order. However, finding an optimal order is a challenging combinatorial optimisation problem for models with a large number of…

Artificial Intelligence · Computer Science 2025-03-13 Sagad Hamid , Tanya Braun

This paper examines efficient predictive broad-coverage parsing without dynamic programming. In contrast to bottom-up methods, depth-first top-down parsing produces partial parses that are fully connected trees spanning the entire left…

Computation and Language · Computer Science 2007-05-23 Brian Roark , Mark Johnson

To solve large-scale or high-resolution topology optimization problem, a novel algorithm is developed based on modified bi-directional evolutionary structure optimization (BESO) and extended finite element method (XFEM). Within XFEM, a set…

Applied Physics · Physics 2026-04-07 Hongxin Wang , Jie Liu , Guilin Wen

Unfolding, in the context of high-energy particle physics, refers to the process of removing detector distortions in experimental data. The resulting unfolded measurements are straightforward to use for direct comparisons between…

Stacked intelligent metasurfaces (SIMs) have recently emerged as a powerful wave-domain technology that enables multi-stage manipulation of electromagnetic signals through multilayer programmable architectures. While SIMs offer…

Networking and Internet Architecture · Computer Science 2026-05-29 Le-Hung Hoang , Quang-Trung Luu , Dinh Thai Hoang , Diep N. Nguyen , Van-Dinh Nguyen

First Order Logic (FOL) is a powerful reasoning tool for program verification. Recent work on Ivy shows that FOL is well suited for verification of parameterized distributed systems. However, specifying many natural objects, such as a ring…

Logic in Computer Science · Computer Science 2019-03-11 Rylo Ashmore , Arie Gurfinkel , Richard Trefler

Samples from intimate (non-linear) mixtures are generally modeled as being drawn from a smooth manifold. Scenarios where the data contains multiple intimate mixtures with some constituent materials in common can be thought of as manifolds…

Computer Vision and Pattern Recognition · Computer Science 2017-08-15 Arun M. Saranathan , Mario Parente

A local Hamiltonian with Topological Quantum Order (TQO) has a robust ground state degeneracy that makes it an excellent quantum memory candidate. This memory can be corrupted however if part of the state leaves the protected ground state…

Strongly Correlated Electrons · Physics 2021-09-14 Luuk Coopmans , Shane Dooley , Ian Jubb , Kevin Kavanagh , Graham Kells

Backpropagation underpins modern deep learning, yet its reliance on global gradient synchronization limits scalability and incurs high memory costs. In contrast, fully local learning rules are more efficient but often struggle to maintain…

Machine Learning · Computer Science 2025-10-01 Bojian Yin , Federico Corradi

Molecular docking is an important tool for structure-based drug design, accelerating the efficiency of drug development. Complex and dynamic binding processes between proteins and small molecules require searching and sampling over a wide…

Chemical Physics · Physics 2024-02-23 Runqiu Shu , Bowen Liu , Zhaoping Xiong , Xiaopeng Cui , Yunting Li , Wei Cui , Man-Hong Yung , Nan Qiao