49 citations
5 papers
Language embeddings that preserve staging and safety
Todd L. Veldhuizen
We study embeddings of programming languages into one another that preserve what reductions take place at compile-time, i.e., staging. A certain condition -- what we call a `Turing…
Random Walk in Dynamic Markovian Random Environment
Antar Bandyopadhyay, Ofer Zeitouni
We consider a model, introduced by Boldrighini, Minlos and Pellegrinotti, of random walks in dynamical random environments on the integer lattice Z^d with d>=1. In this model, the…
Direct observation of time correlated single-electron tunneling
Jonas Bylander, Tim Duty, Per Delsing
We report a direct detection of time correlated single-electron tunneling oscillations in a series array of small tunnel junctions. Here the current, I, is made up of a lattice of…
Beurling-Pollard type theorems
Victor Shulman, Lyudmila Turowska
We establish a version of the Beurling-Pollard theorem for operator synthesis and apply it to derive some results on linear operator equations and to prove a Beurling-Pollard type…
Permutation Tableaux and Permutation Patterns
Einar Steingrimsson, Lauren K. Williams
In this paper we introduce and study a class of tableaux which we call permutation tableaux; these tableaux are naturally in bijection with permutations, and they are a distinguish…