arXiv Computer Science @arxiv_cs@qoto.org

Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory. (arXiv:2004.01709v1 [cs.LO]) http://arxiv.org/abs/2004.01709

Characterizing Halloumi cheese bacterial communities through metagenomic analysis. (arXiv:2004.01710v1 [q-bio.GN]) http://arxiv.org/abs/2004.01710

RAPPER: Ransomware Prevention via Performance Counters. (arXiv:2004.01712v1 [cs.CR]) http://arxiv.org/abs/2004.01712

Leveraging Multi-Source Weak Social Supervision for Early Detection of Fake News. (arXiv:2004.01732v1 [cs.LG]) http://arxiv.org/abs/2004.01732

Unsupervised Domain Adaptation with Progressive Domain Augmentation. (arXiv:2004.01735v1 [cs.LG]) http://arxiv.org/abs/2004.01735

Data-driven Solution of Stochastic Differential Equations Using Maximum Entropy Basis Functions. (arXiv:2004.01736v1 [math.NA]) http://arxiv.org/abs/2004.01736

Detection of Coronavirus (COVID-19) Associated Pneumonia based on Generative Adversarial Networks and a Fine-Tuned Deep Transfer Learning Model using Chest X-ray Dataset. (arXiv:2004.01184v1 [eess.IV]) http://arxiv.org/abs/2004.01184

Introducing Anisotropic Minkowski Functionals and Quantitative Anisotropy Measures for Local Structure Analysis in Biomedical Imaging. (arXiv:2004.01185v1 [eess.IV]) http://arxiv.org/abs/2004.01185

Predicting the outputs of finite networks trained with noisy gradients. (arXiv:2004.01190v1 [stat.ML]) http://arxiv.org/abs/2004.01190

Event structures for the reversible early internal Pi-calculus. (arXiv:2004.01211v1 [cs.FL]) http://arxiv.org/abs/2004.01211

Target-Specific and Selective Drug Design for COVID-19 Using Deep Generative Models. (arXiv:2004.01215v1 [cs.LG]) http://arxiv.org/abs/2004.01215

General Identification of Dynamic Treatment Regimes Under Interference. (arXiv:2004.01218v1 [stat.ME]) http://arxiv.org/abs/2004.01218

Automated Attacker Synthesis for Distributed Protocols. (arXiv:2004.01220v1 [cs.CR]) http://arxiv.org/abs/2004.01220

Towards Relevance and Sequence Modeling in Language Recognition. (arXiv:2004.01221v1 [eess.AS]) http://arxiv.org/abs/2004.01221

Value Driven Representation for Human-in-the-Loop Reinforcement Learning. (arXiv:2004.01223v1 [cs.AI]) http://arxiv.org/abs/2004.01223

Temporal Accumulative Features for Sign Language Recognition. (arXiv:2004.01225v1 [cs.CV]) http://arxiv.org/abs/2004.01225

Bayesian ODE Solvers: The Maximum A Posteriori Estimate. (arXiv:2004.00623v1 [math.NA]) http://arxiv.org/abs/2004.00623

Background Matting: The World is Your Green Screen. (arXiv:2004.00626v1 [cs.CV]) http://arxiv.org/abs/2004.00626

Object-Centric Image Generation with Factored Depths, Locations, and Appearances. (arXiv:2004.00642v1 [cs.LG]) http://arxiv.org/abs/2004.00642

A Survey on Conversational Recommender Systems. (arXiv:2004.00646v1 [cs.HC]) http://arxiv.org/abs/2004.00646