70 citations · 80 across the 6 of their papers we have counts for
7 papers
A bootstrap proof of Bohr's theorem
Ole Fredrik Brevig
Let be an analytic function in the unit disc whose modulus is bounded by . We present a new proof of Bohr's theorem, which asserts that its majorant function is boun…
Fried Parameter Estimation from Single Wavefront Sensor Image with Artificial Neural Networks
Jeffrey Smith, Taisei Fujii, Jesse Cranney +1
Atmospheric turbulence degrades the quality of astronomical observations in ground-based telescopes, leading to distorted and blurry images. Adaptive Optics (AO) systems are design…
Computer Assisted Composition in Continuous Time
Chamin Hewa Koneputugodage, Rhys Healy, Sean Lamont +9
We address the problem of combining sequence models of symbolic music with user defined constraints. For typical models this is non-trivial as only the conditional distribution of…
A Study of Proxies for Shapley Allocations of Transport Costs
Haris Aziz, Casey Cahan, Charles Gretton +3
We propose and evaluate a number of solutions to the problem of calculating the cost to serve each location in a single-vehicle transport setting. Such cost to serve analysis has a…
Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards
Charles Gretton, David Price, Sylvie Thiebaux
This paper examines a number of solution methods for decision processes with non-Markovian rewards (NMRDPs). They all exploit a temporal logic specification of the reward function…
Exploiting First-Order Regression in Inductive Policy Selection
Charles Gretton, Sylvie Thiebaux
We consider the problem of computing optimal generalised policies for relational Markov decision processes. We describe an approach combining some of the benefits of purely inducti…