arXiv Computer Science @arxiv_cs@qoto.org

On Non-Elitist Evolutionary Algorithms Optimizing Fitness Functions with a Plateau. (arXiv:2004.09491v1 [cs.NE]) http://arxiv.org/abs/2004.09491

Demonstrating a Pre-Exascale, Cost-Effective Multi-Cloud Environment for Scientific Computing. (arXiv:2004.09492v1 [cs.PF]) http://arxiv.org/abs/2004.09492

Consensus for Crosschain Communications. (arXiv:2004.09494v1 [cs.CR]) http://arxiv.org/abs/2004.09494

A Study of Knowledge Sharing related to Covid-19 Pandemic in Stack Overflow. (arXiv:2004.09495v1 [cs.SE]) http://arxiv.org/abs/2004.09495

Anomaly Detection in Connected and Automated Vehicles using an Augmented State Formulation. (arXiv:2004.09496v1 [cs.RO]) http://arxiv.org/abs/2004.09496

Scale-free Collaborative Protocol Design for Synchronization of Homogeneous and Heterogeneous Discrete-time Multi-agent Systems. (arXiv:2004.09498v1 [eess.SY]) http://arxiv.org/abs/2004.09498

Multi-Scale Thermal to Visible Face Verification via Attribute Guided Synthesis. (arXiv:2004.09502v1 [cs.CV]) http://arxiv.org/abs/2004.09502

On Verifying Designs With Incomplete Specification. (arXiv:2004.09503v1 [cs.LO]) http://arxiv.org/abs/2004.09503

Space-time finite element discretization of parabolic optimal control problems with energy regularization. (arXiv:2004.09504v1 [math.NA]) http://arxiv.org/abs/2004.09504

Revisiting Initialization of Neural Networks. (arXiv:2004.09506v1 [cs.LG]) http://arxiv.org/abs/2004.09506

Completeness of Nominal PROPs. (arXiv:2004.08380v1 [cs.LO]) http://arxiv.org/abs/2004.08380

Enumerating Chemical Graphs with Two Disjoint Cycles Satisfying Given Path Frequency Specifications. (arXiv:2004.08381v1 [cs.DS]) http://arxiv.org/abs/2004.08381

From Horseback Riding to Changing the World: UX Competence as a Journey. (arXiv:2004.08382v1 [cs.HC]) http://arxiv.org/abs/2004.08382

Knowledge-Based Visual Question Answering in Videos. (arXiv:2004.08385v1 [cs.CV]) http://arxiv.org/abs/2004.08385

Multi-Modal Face Anti-Spoofing Based on Central Difference Networks. (arXiv:2004.08388v1 [cs.CV]) http://arxiv.org/abs/2004.08388

Gauss-Markov Source Tracking with Side Information: Lower Bounds. (arXiv:2004.08409v1 [cs.IT]) http://arxiv.org/abs/2004.08409

Deep Reinforcement Learning for Adaptive Learning Systems. (arXiv:2004.08410v1 [cs.LG]) http://arxiv.org/abs/2004.08410

POD-(H)DG Method for Incompressible Flow Simulations. (arXiv:2004.08411v1 [math.NA]) http://arxiv.org/abs/2004.08411

Advanced Equivalence Checking for Quantum Circuits. (arXiv:2004.08420v1 [quant-ph]) http://arxiv.org/abs/2004.08420

Fitting the Search Space of Weight-sharing NAS with Graph Convolutional Networks. (arXiv:2004.08423v1 [cs.LG]) http://arxiv.org/abs/2004.08423