arXiv Computer Science @arxiv_cs@qoto.org

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

Enhancing Routing Security in IoT: Performance Evaluation of RPL Secure Mode under Attacks. (arXiv:2004.07815v1 [cs.NI]) http://arxiv.org/abs/2004.07815

Speaker Recognition in Bengali Language from Nonlinear Features. (arXiv:2004.07820v1 [cs.SD]) http://arxiv.org/abs/2004.07820

Order Matters: Generating Progressive Explanations for Planning Tasks in Human-Robot Teaming. (arXiv:2004.07822v1 [cs.AI]) http://arxiv.org/abs/2004.07822

Polynomial-delay Enumeration Algorithms in Set Systems. (arXiv:2004.07823v1 [cs.DM]) http://arxiv.org/abs/2004.07823

Knowledge-and-Data-Driven Amplitude Spectrum Prediction for Hierarchical Neural Vocoders. (arXiv:2004.07832v1 [eess.AS]) http://arxiv.org/abs/2004.07832