arXiv Computer Science @arxiv_cs@qoto.org

Evo* 2020 -- Late-Breaking Abstracts Volume. (arXiv:2005.07235v1 [cs.NE]) http://arxiv.org/abs/2005.07235

Autonomous Planning for Multiple Aerial Cinematographers. (arXiv:2005.07237v1 [cs.RO]) http://arxiv.org/abs/2005.07237

Unsupervised Severe Weather Detection Via Joint Representation Learning Over Textual and Weather Data. (arXiv:2005.07243v1 [cs.LG]) http://arxiv.org/abs/2005.07243

Practice and Experience in Advanced Research Computing. (arXiv:2005.07252v1 [cs.CY]) http://arxiv.org/abs/2005.07252

Information Design for Congested Social Services: Optimal Need-Based Persuasion. (arXiv:2005.07253v1 [cs.GT]) http://arxiv.org/abs/2005.07253

Temporal Poisson Square Root Graphical Models. (arXiv:2005.06462v1 [cs.LG]) http://arxiv.org/abs/2005.06462

Boom, Bust, and Bitcoin: Bitcoin-Bubbles As Innovation Accelerators. (arXiv:2005.06464v1 [cs.CY]) http://arxiv.org/abs/2005.06464

MosMedData: Chest CT Scans With COVID-19 Related Findings Dataset. (arXiv:2005.06465v1 [cs.CY]) http://arxiv.org/abs/2005.06465

Optimizing Quantum Search Using a Generalized Version of Grover's Algorithm. (arXiv:2005.06468v1 [quant-ph]) http://arxiv.org/abs/2005.06468

Representing Whole Slide Cancer Image Features with Hilbert Curves. (arXiv:2005.06469v1 [cs.GR]) http://arxiv.org/abs/2005.06469

FlowCFL: A Framework for Type-based Reachability Analysis in the Presence of Mutable Data. (arXiv:2005.06496v1 [cs.PL]) http://arxiv.org/abs/2005.06496

Genome-Wide Epigenetic Modifications as a Shared Memory Consensus Problem. (arXiv:2005.06502v1 [cs.DC]) http://arxiv.org/abs/2005.06502

Generating collection queries from proofs. (arXiv:2005.06503v1 [cs.LO]) http://arxiv.org/abs/2005.06503

A Hellan-Herrmann-Johnson-like method for the stream function formulation of the Stokes equations in two and three space dimensions. (arXiv:2005.06506v1 [math.NA]) http://arxiv.org/abs/2005.06506

Electricity as a Service: Cost Causation-based Utility Rate Model in the Future Distribution Grid. (arXiv:2005.06507v1 [eess.SY]) http://arxiv.org/abs/2005.06507

Continuation Method with the Trust-region Time-stepping Scheme for Linearly Constrained Optimization with Noise Data. (arXiv:2005.05965v1 [math.NA]) http://arxiv.org/abs/2005.05965

Sampling discretization of integral norms of the hyperbolic cross polynomials. (arXiv:2005.05967v1 [math.NA]) http://arxiv.org/abs/2005.05967

Centaur: A Chiplet-based, Hybrid Sparse-Dense Accelerator for Personalized Recommendations. (arXiv:2005.05968v1 [cs.DC]) http://arxiv.org/abs/2005.05968

Session Types with Arithmetic Refinements. (arXiv:2005.05970v1 [cs.PL]) http://arxiv.org/abs/2005.05970

Towards Memory Safe Python Enclave for Security Sensitive Computation. (arXiv:2005.05996v1 [cs.CR]) http://arxiv.org/abs/2005.05996