12 citations · 48 across the 17 of their papers we have counts for
4 papers · 1 filter
Trimmed sums for observables on the doubling map
Tanja Schindler
We establish a strong law of large numbers under intermediate trimming for a particular example of Birkhoff sums of a non-integrable observable over the doubling map. It has been s…
Scaling properties of the Thue--Morse measure
Michael Baake, Philipp Gohlke, Marc Kesseböhmer +1
The classic Thue--Morse measure is a paradigmatic example of a purely singular continuous probability measure on the unit interval. Since it has a representation as an infinite Rie…
Small Time Convergence of Subordinators with Regularly or Slowly Varying Canonical Measure
Ross Maller, Tanja Schindler
We consider subordinators in the domain of attraction at 0 of a stable subordinator (where ); thus, with the property that $\…
Efficient Interpolation for the Theory of Arrays
Jochen Hoenicke, Tanja Schindler
Existing techniques for Craig interpolation for the quantifier-free fragment of the theory of arrays are inefficient for computing sequence and tree interpolants: the solver needs…