1: Efficient Construction of Spanners in $d$-Dimensions
2: Operational Concurrency Control in the Face of Arbitrary Scale and Latency
3: Wang’s B machines are efficiently universal, as is Hasenjaeger’s small universal electromechanical toy
4: Faster Algorithms for Markov Decision Processes with Low Treewidth