English
Related papers

Related papers: Effects for Efficiency: Asymptotic Speedup with Fi…

200 papers

The performance, reliability, cost, size and energy usage of computing systems can be improved by one or more orders of magnitude by the systematic use of modern control and optimization methods. Computing systems rely on the use of…

Systems and Control · Computer Science 2017-10-13 Eric C. Kerrigan

In this paper, we present the asymptotic theory for integrated functions of increments of Brownian local times in space. Specifically, we determine their first-order limit, along with the asymptotic distribution of the fluctuations. Our key…

Probability · Mathematics 2023-11-03 Simon Campese , Nicolas Lengert , Mark Podolskij

There exist many techniques for automatically deriving parametric resource (or cost) bounds by analyzing the source code of a program. These techniques work effectively for a large class of programs and language features. However, non-local…

Programming Languages · Computer Science 2026-03-04 Ethan Chu , Yiyang Guo , Jan Hoffmann

If the prime numbers are pseudo-randomly distributed, then analogy with quantum systems suggests that counting primes might be modeled by a non-homogeneous Poisson process. Consequently, postulating underlying gamma statistics, more-or-less…

Number Theory · Mathematics 2014-11-19 J. LaChapelle

In a recent paper, a realizability technique has been used to give a semantics of a quantum lambda calculus. Such a technique gives rise to an infinite number of valid typing rules, without giving preference to any subset of those. In this…

Logic in Computer Science · Computer Science 2023-06-22 Alejandro Díaz-Caro , Octavio Malherbe

Understanding the effect of a particular treatment or a policy pertains to many areas of interest, ranging from political economics, marketing to healthcare. In this paper, we develop a non-parametric algorithm for detecting the effects of…

Methodology · Statistics 2022-08-24 Davide Viviano , Jelena Bradic

The remarkable capabilities of Large Language Model (LLM)-driven agents have enabled sophisticated systems to tackle complex, multi-step tasks, but their escalating costs threaten scalability and accessibility. This work presents the first…

In this paper, we tackle the problem of incrementally learning a classifier, one example at a time, directly on chip. To this end, we propose an efficient hardware implementation of a recently introduced incremental learning procedure that…

Computer Vision and Pattern Recognition · Computer Science 2020-08-10 Ghouthi Boukli Hacene , Vincent Gripon , Nicolas Farrugia , Matthieu Arzel , Michel Jezequel

Product formulas can be used to simulate Hamiltonian dynamics on a quantum computer by approximating the exponential of a sum of operators by a product of exponentials of the individual summands. This approach is both straightforward and…

Quantum Physics · Physics 2019-09-04 Andrew M. Childs , Aaron Ostrander , Yuan Su

In the field of quantum control, effective Hamiltonian engineering is a powerful tool that utilises perturbation theory to mitigate or enhance the effect that a variation in the Hamiltonian has on the evolution of the system. Here, we…

Quantum Physics · Physics 2020-09-11 Holger Haas , Daniel Puzzuoli , Feihao Zhang , David G. Cory

This paper presents several results on performance analysis for a class of uncertain linear quantum systems subject to either quadratic or non-quadratic perturbations in the system Hamiltonian. Also, coherent guaranteed cost controllers are…

Quantum Physics · Physics 2014-04-16 Chengdi Xiang , Ian R. Petersen , Daoyi Dong

In the realm of quantum computing, circuit description languages represent a valid alternative to traditional QRAM-style languages. They indeed allow for finer control over the output circuit, without sacrificing flexibility nor modularity.…

Programming Languages · Computer Science 2022-02-16 Andrea Colledan , Ugo Dal Lago

It has previously been shown that by using reinforcement learning (RL), agents can derive simple approximate and exact-restricted numeral systems that are similar to human ones (Carlsson, 2021). However, it is a major challenge to show how…

Computation and Language · Computer Science 2025-05-20 Andrea Silvi , Jonathan Thomas , Emil Carlsson , Devdatt Dubhashi , Moa Johansson

Recent advances have resulted in queue-based algorithms for medium access control which operate in a distributed fashion, and yet achieve the optimal throughput performance of centralized scheduling algorithms. However, fundamental…

Networking and Internet Architecture · Computer Science 2013-05-24 Florian Simatos , Niek Bouman , Sem Borst

Standard maximum likelihood estimation cannot be applied to discrete energy-based models in the general case because the computation of exact model probabilities is intractable. Recent research has seen the proposal of several new…

Machine Learning · Computer Science 2012-02-20 Benjamin Marlin , Nando de Freitas

This article considers Hamiltonian mechanical systems with potential functions admitting jump discontinuities. The focus is on accurate and efficient numerical approximations of their solutions, which will be defined via the laws of…

Numerical Analysis · Mathematics 2022-01-05 Molei Tao , Shi Jin

The effectiveness of model-based versus model-free methods is a long-standing question in reinforcement learning (RL). Motivated by recent empirical success of RL on continuous control tasks, we study the sample complexity of popular…

Machine Learning · Computer Science 2019-02-05 Stephen Tu , Benjamin Recht

In observational studies with time-to-event outcomes, the g-formula can be used to estimate a treatment effect in the presence of confounding factors. However, the asymptotic distribution of the corresponding stochastic process is…

Statistics Theory · Mathematics 2024-04-26 Jasmin Rühl , Sarah Friedrich

Learning models or control policies from data has become a powerful tool to improve the performance of uncertain systems. While a strong focus has been placed on increasing the amount and quality of data to improve performance, data can…

Systems and Control · Electrical Eng. & Systems 2024-10-02 Ralf Römer , Lukas Brunke , Siqi Zhou , Angela P. Schoellig

Reinforcement learning (RL) has become widely adopted in robot control. Despite many successes, one major persisting problem can be very low data efficiency. One solution is interactive feedback, which has been shown to speed up RL…

Robotics · Computer Science 2026-04-29 Daniel Harnack , Julie Pivin-Bachler , Nicolás Navarro-Guerrero