arXiv Computer Science @arxiv_cs@qoto.org

Universal Transformers. (arXiv:1807.03819v1 [cs.CL]) http://arxiv.org/abs/1807.03819

Verification of Uncertain POMDPs Using Barrier Certificates. (arXiv:1807.03823v1 [cs.SY]) http://arxiv.org/abs/1807.03823

Improved Time and Space Bounds for Dynamic Range Mode. (arXiv:1807.03827v1 [cs.DS]) http://arxiv.org/abs/1807.03827

BAD: Blockchain Anomaly Detection. (arXiv:1807.03833v1 [cs.CR]) http://arxiv.org/abs/1807.03833

Understanding Differences among Executions with Variational Traces. (arXiv:1807.03837v1 [cs.SE]) http://arxiv.org/abs/1807.03837

Online Facility Location with Deletions. (arXiv:1807.03839v1 [cs.DS]) http://arxiv.org/abs/1807.03839

Model-based free-breathing cardiac MRI reconstruction using deep learned \& STORM priors: MoDL-STORM. (arXiv:1807.03845v1 [cs.LG]) http://arxiv.org/abs/1807.03845

Scalable Katz Ranking Computation in Large Static and Dynamic Graphs. (arXiv:1807.03847v1 [cs.DS]) http://arxiv.org/abs/1807.03847

Big-Little Net: An Efficient Multi-Scale Feature Representation for Visual and Speech Recognition. (arXiv:1807.03848v1 [cs.CV]) http://arxiv.org/abs/1807.03848