Computer Science

Authors and titles for May 2020

[801] arXiv:2005.02247 [pdf, other]

Title: A Linear Algebra Approach to Linear Metatheory

James Wood (University of Strathclyde), Robert Atkey (University of Strathclyde)

Comments: In Proceedings Linearity&TLLA 2020, arXiv:2112.14305

Journal-ref: EPTCS 353, 2021, pp. 195-212

Subjects: Programming Languages (cs.PL)

[802] arXiv:2005.02248 [pdf, other]

Title: Error bounds for dynamical spectral estimation

Robert J. Webber, Erik H. Thiede, Douglas Dow, Aaron R. Dinner, Jonathan Weare

Comments: 34 pages, 7 figures

Subjects: Numerical Analysis (math.NA); Chemical Physics (physics.chem-ph)

[803] arXiv:2005.02249 [pdf, other]

Title: A robust algorithm for explaining unreliable machine learning survival models using the Kolmogorov-Smirnov bounds

Maxim S. Kovalev, Lev V. Utkin

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[804] arXiv:2005.02258 [pdf, other]

Title: AGE Challenge: Angle Closure Glaucoma Evaluation in Anterior Segment Optical Coherence Tomography

Huazhu Fu, Fei Li, Xu Sun, Xingxing Cao, Jingan Liao, Jose Ignacio Orlando, Xing Tao, Yuexiang Li, Shihao Zhang, Mingkui Tan, Chenglang Yuan, Cheng Bian, Ruitao Xie, Jiongcheng Li, Xiaomeng Li, Jing Wang, Le Geng, Panming Li, Huaying Hao, Jiang Liu, Yan Kong, Yongyong Ren, Hrvoje Bogunovic, Xiulan Zhang, Yanwu Xu

Comments: Accepted to Medical Image Analysis (MedIA). AGE Challenge website at: this https URL

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[805] arXiv:2005.02259 [pdf, other]

Title: Learning programs by learning from failures

Andrew Cropper, Rolf Morel

Comments: Accepted for the machine learning journal

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[806] arXiv:2005.02262 [pdf, other]

Title: PolymoRF: Polymorphic Wireless Receivers Through Physical-Layer Deep Learning

Francesco Restuccia, Tommaso Melodia

Comments: to appear in ACM MobiHoc 2020

Subjects: Networking and Internet Architecture (cs.NI)

[807] arXiv:2005.02264 [pdf, other]

Title: LandCover.ai: Dataset for Automatic Mapping of Buildings, Woodlands, Water and Roads from Aerial Imagery

Adrian Boguszewski, Dominik Batorski, Natalia Ziemba-Jankowska, Tomasz Dziedzic, Anna Zambrzycka

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[808] arXiv:2005.02269 [pdf, other]

Title: Towards explainable classifiers using the counterfactual approach -- global explanations for discovering bias in data

Agnieszka Mikołajczyk, Michał Grochowski, Arkadiusz Kwasigroch

Comments: Accepted for publication in Journal of Artificial Intelligence and Soft Computing Research; 12 pages, 4 figures, code available, 8-pages appendix

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (stat.ML)

[809] arXiv:2005.02270 [pdf, other]

Title: Hacking the Waveform: Generalized Wireless Adversarial Deep Learning

Francesco Restuccia, Salvatore D'Oro, Amani Al-Shawabka, Bruno Costa Rendon, Kaushik Chowdhury, Stratis Ioannidis, Tommaso Melodia

Comments: submitted for publication, IEEE Transactions on Wireless Communications

Subjects: Networking and Internet Architecture (cs.NI); Signal Processing (eess.SP)

[810] arXiv:2005.02287 [pdf, other]

Title: Convergence analysis of the scaled boundary finite element method for the Laplace equation

Fleurianne Bertrand, Daniele Boffi, Gonzalo G. de Diego

Comments: 15 pages, 3 figures

Subjects: Numerical Analysis (math.NA)

[811] arXiv:2005.02295 [pdf, other]

Title: Code-switching patterns can be an effective route to improve performance of downstream NLP applications: A case study of humour, sarcasm and hate speech detection

Srijan Bansal, Vishal Garimella, Ayush Suhane, Jasabanta Patro, Animesh Mukherjee

Comments: This work is accepted as a short paper in the proceedings of ACL 2020

Subjects: Computation and Language (cs.CL)

[812] arXiv:2005.02300 [pdf, other]

Title: When Votes Change and Committees Should (Not)

Robert Bredereck, Till Fluschnik, Andrzej Kaczmarczyk

Comments: Published in the Proceedings of IJCAI-22

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[813] arXiv:2005.02304 [pdf, other]

Title: Resonating Experiences of Self and Others enabled by a Tangible Somaesthetic Design

Ilhan Aslan, Andreas Seiderer, Chi Tai Dang, Simon Rädler, Elisabeth André

Comments: 18 pages

Subjects: Human-Computer Interaction (cs.HC)

[814] arXiv:2005.02305 [pdf, other]

Title: Generalized Planning With Deep Reinforcement Learning

Or Rivlin, Tamir Hazan, Erez Karpas

Comments: 13 pages

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[815] arXiv:2005.02308 [pdf, other]

Title: Precoder Design and Statistical Power Allocation for MIMO-NOMA via User-Assisted Simultaneous Diagonalization

Aravindh Krishnamoorthy, Zhiguo Ding, Robert Schober

Comments: Accepted by the IEEE Transactions on Communications, see DOI. 32 pages, 8 figures, for associated code, see this https URL

Journal-ref: IEEE Transactions on Communications, 2020

Subjects: Information Theory (cs.IT)

[816] arXiv:2005.02310 [pdf, other]

Title: Testing Compilers for Programmable Switches Through Switch Hardware Simulation

Michael D. Wong, Aatish Kishan Varma, Anirudh Sivaraman

Comments: 7 pages, 4 figures

Subjects: Hardware Architecture (cs.AR)

[817] arXiv:2005.02313 [pdf, other]

Title: Adversarial Training against Location-Optimized Adversarial Patches

Sukrut Rao, David Stutz, Bernt Schiele

Comments: 20 pages, 6 tables, 4 figures, 2 algorithms, European Conference on Computer Vision Workshops 2020

Journal-ref: Bartoli, A., Fusiello, A. (eds) Computer Vision - ECCV 2020 Workshops. ECCV 2020. Lecture Notes in Computer Science, vol 12539. Springer, Cham

Subjects: Computer Vision and Pattern Recognition (cs.CV); Cryptography and Security (cs.CR); Machine Learning (cs.LG); Machine Learning (stat.ML)

[818] arXiv:2005.02315 [pdf, other]

Title: Multi-interactive Dual-decoder for RGB-thermal Salient Object Detection

Zhengzheng Tu, Zhun Li, Chenglong Li, Yang Lang, Jin Tang

Comments: Accepted by IEEE TIP

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[819] arXiv:2005.02317 [pdf, other]

Title: Construction of Modern Robust Nodal Discontinuous Galerkin Spectral Element Methods for the Compressible Navier-Stokes Equations

Andrew R. Winters, David A. Kopriva, Gregor J. Gassner, Florian Hindenlang

Comments: 85 pages, 2 figures, book chapter

Subjects: Numerical Analysis (math.NA)

[820] arXiv:2005.02319 [pdf, other]

Title: Tuning Rules for a Class of Port-Hamiltonian Mechanical Systems

Carmen Chan-Zheng, Pablo Borja, Jacquelien M.A. Scherpen

Comments: This work is accepted as a Late-Breaking result at the IFAC World Congress 2020 Version 2 changes: -Corrected minor typos -Corrected equation 21 and 27

Subjects: Systems and Control (eess.SY)

[821] arXiv:2005.02324 [pdf, other]

Title: Neural CRF Model for Sentence Alignment in Text Simplification

Chao Jiang, Mounica Maddela, Wuwei Lan, Yang Zhong, Wei Xu

Comments: The paper has been accepted to ACL 2020

Subjects: Computation and Language (cs.CL)

[822] arXiv:2005.02325 [pdf, other]

Title: Digraph of Senegal s local languages: issues, challenges and prospects of their transliteration

Elhadji Mamadou Nguer, Diop Sokhna Bao, Yacoub Ahmed Fall, Mouhamadou Khoule

Journal-ref: LTC 2015

Subjects: Computation and Language (cs.CL)

[823] arXiv:2005.02329 [pdf, other]

Title: Many visits TSP revisited

Łukasz Kowalik, Shaohua Li, Wojciech Nadara, Marcin Smulewicz, Magnus Wahlström

Subjects: Data Structures and Algorithms (cs.DS)

[824] arXiv:2005.02330 [pdf, other]

Title: Secure Single-Server Nearly-Identical Image Deduplication

Jonathan Takeshita, Ryan Karl, Taeho Jung

Subjects: Cryptography and Security (cs.CR)

[825] arXiv:2005.02335 [pdf, other]

Title: Don't Explain without Verifying Veracity: An Evaluation of Explainable AI with Video Activity Recognition

Mahsan Nourani, Chiradeep Roy, Tahrima Rahman, Eric D. Ragan, Nicholas Ruozzi, Vibhav Gogate

Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[826] arXiv:2005.02339 [pdf, other]

Title: A Hierarchical Approach to Multi-Energy Demand Response: From Electricity to Multi-Energy Applications

Ali Hassan, Samrat Acharya, Michael Chertkov, Deepjyoti Deka, Yury Dvorkin

Subjects: Systems and Control (eess.SY); Machine Learning (cs.LG)

[827] arXiv:2005.02341 [pdf, other]

Title: Coverage and Deployment Analysis of Narrowband Internet of Things in the Wild

Konstantinos Kousias, Giuseppe Caso, Özgü Alay, Anna Brunstrom, Luca De Nardis, Maria-Gabriella Di Benedetto, Marco Neri

Comments: Accepted for publication in IEEE Communications Magazine (Internet of Things and Sensor Networks Series)

Subjects: Networking and Internet Architecture (cs.NI)

[828] arXiv:2005.02342 [pdf, other]

Title: Heuristic-Based Weak Learning for Automated Decision-Making

Ryan Steed, Benjamin Williams

Comments: 5 pages, 3 figures. Camera-ready version for Participatory Approaches to Machine Learning @ ICML 2020. Last updated Dec. 2020: fixed bug in Figure 3 - "always intervene" heuristic should be "never intervene."

Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[829] arXiv:2005.02348 [pdf, other]

Title: A Redundancy-Guided Approach for the Hazard Analysis of Digital Instrumentation and Control Systems in Advanced Nuclear Power Plants

Tate Shorthill, Han Bao, Hongbin Zhang, Heng Ban

Subjects: Systems and Control (eess.SY)

[830] arXiv:2005.02354 [pdf, other]

Title: It's Easier to Translate out of English than into it: Measuring Neural Translation Difficulty by Cross-Mutual Information

Emanuele Bugliarello, Sabrina J. Mielke, Antonios Anastasopoulos, Ryan Cotterell, Naoaki Okazaki

Comments: Accepted at ACL 2020

Subjects: Computation and Language (cs.CL)

[831] arXiv:2005.02357 [pdf, other]

Title: Sub-Image Anomaly Detection with Deep Pyramid Correspondences

Niv Cohen, Yedid Hoshen

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[832] arXiv:2005.02359 [pdf, other]

Title: Classification-Based Anomaly Detection for General Data

Liron Bergman, Yedid Hoshen

Comments: ICLR'20

Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (stat.ML)

[833] arXiv:2005.02365 [pdf, other]

Title: SLEDGE: A Simple Yet Effective Baseline for COVID-19 Scientific Knowledge Search

Sean MacAvaney, Arman Cohan, Nazli Goharian

Subjects: Information Retrieval (cs.IR); Computation and Language (cs.CL)

[834] arXiv:2005.02367 [pdf, other]

Title: CODA-19: Using a Non-Expert Crowd to Annotate Research Aspects on 10,000+ Abstracts in the COVID-19 Open Research Dataset

Ting-Hao 'Kenneth' Huang, Chieh-Yang Huang, Chien-Kuang Cornelia Ding, Yen-Chia Hsu, C. Lee Giles

Comments: Accepted by the NLP COVID-19 Workshop at ACL 2020. (The data, code, and model are available at: this https URL)

Subjects: Computation and Language (cs.CL); Human-Computer Interaction (cs.HC)

[835] arXiv:2005.02368 [pdf, other]

Title: Fast Dynamic Cuts, Distances and Effective Resistances via Vertex Sparsifiers

Li Chen, Gramoz Goranci, Monika Henzinger, Richard Peng, Thatchaphol Saranurak

Subjects: Data Structures and Algorithms (cs.DS)

[836] arXiv:2005.02369 [pdf, other]

Title: The Expander Hierarchy and its Applications to Dynamic Graph Algorithms

Gramoz Goranci, Harald Räcke, Thatchaphol Saranurak, Zihan Tan

Subjects: Data Structures and Algorithms (cs.DS)

[837] arXiv:2005.02372 [pdf, other]

Title: Community Detection Clustering via Gumbel Softmax

Deepak Bhaskar Acharya, Huaming Zhang

Comments: 9 Pages, previous title was Clustering for Graph Datasets via Gumbel Softmax

Subjects: Machine Learning (cs.LG); Social and Information Networks (cs.SI); Machine Learning (stat.ML)

[838] arXiv:2005.02373 [pdf, other]

Title: Context-Oriented Behavioral Programming

Achiya Elyasaf

Comments: Submitted to: Information and Software Technology, special issue "Bridging the gap in the engineering of context-aware software systems"

Subjects: Software Engineering (cs.SE)

[839] arXiv:2005.02380 [pdf, other]

Title: Bit-Interleaved Coded Multiple Beamforming with Perfect Coding in Massive MIMO Systems

Sadjad Sedighi, Ender Ayanoglu

Comments: arXiv admin note: text overlap with arXiv:1911.07297, arXiv:1903.04693

Subjects: Information Theory (cs.IT)

[840] arXiv:2005.02384 [pdf, other]

Title: Compositionality of the MSO+U Logic

Paweł Parys

Comments: arXiv admin note: text overlap with arXiv:1810.04763

Subjects: Logic in Computer Science (cs.LO)

[841] arXiv:2005.02387 [pdf, other]

Title: SurvLIME-Inf: A simplified modification of SurvLIME for explanation of machine learning survival models

Lev V. Utkin, Maxim S. Kovalev, Ernest M. Kasimov

Comments: arXiv admin note: substantial text overlap with arXiv:2003.08371, arXiv:2005.02249

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[842] arXiv:2005.02389 [pdf, other]

Title: Jointly Sparse Support Recovery via Deep Auto-encoder with Applications in MIMO-based Grant-Free Random Access for mMTC

Wanqing Zhang, Shuaichao Li, Ying Cui

Comments: 5 pages, 8 figures, to be publised in IEEE SPAWC 2020. arXiv admin note: text overlap with arXiv:2002.02628

Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

[843] arXiv:2005.02390 [pdf, other]

Title: Mechanism Design and Blockchains

Akaki Mamageishvili, Jan Christoph Schlegel

Subjects: Computer Science and Game Theory (cs.GT)

[844] arXiv:2005.02392 [pdf, other]

Title: Deep Constraint-based Propagation in Graph Neural Networks

Matteo Tiezzi, Giuseppe Marra, Stefano Melacci, Marco Maggini

Comments: Published in: IEEE Transactions on Pattern Analysis and Machine Intelligence. arXiv admin note: text overlap with arXiv:2002.07684

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[845] arXiv:2005.02426 [pdf, other]

Title: Communication-Efficient Distributed Stochastic AUC Maximization with Deep Neural Networks

Zhishuai Guo, Mingrui Liu, Zhuoning Yuan, Li Shen, Wei Liu, Tianbao Yang

Journal-ref: 37th International Conference on Machine Learning, 2020

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)

[846] arXiv:2005.02428 [pdf, other]

Title: Peak Power Shaving for Reduced Electricity Costs in Cloud Data Centers: Opportunities and Challenges

Mehiar Dabbagh, Bechir Hamdaoui, Ammar Rayes

Subjects: Networking and Internet Architecture (cs.NI)

[847] arXiv:2005.02431 [pdf, other]

Title: Automated Personalized Feedback Improves Learning Gains in an Intelligent Tutoring System

Ekaterina Kochmar, Dung Do Vu, Robert Belfer, Varun Gupta, Iulian Vlad Serban, Joelle Pineau

Comments: To be published in Proceedings of the the 21st International Conference on Artificial Intelligence in Education (AIED 2020)

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[848] arXiv:2005.02433 [pdf, other]

Title: Stolen Probability: A Structural Weakness of Neural Language Models

David Demeter, Gregory Kimmel, Doug Downey

Comments: Preprint of paper accepted for ACL-2020

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)

[849] arXiv:2005.02434 [pdf, other]

Title: Nanotechnology-inspired Information Processing Systems of the Future

Randy Bryant, Mark Hill, Tom Kazior, Daniel Lee, Jie Liu, Klara Nahrstedt, Vijay Narayanan, Jan Rabaey, Hava Siegelmann, Naresh Shanbhag, Naveen Verma, H.-S. Philip Wong

Comments: A Computing Community Consortium (CCC) workshop report, 18 pages

Subjects: Computers and Society (cs.CY); Emerging Technologies (cs.ET)

[850] arXiv:2005.02435 [pdf, other]

Title: Effect of The Latent Structure on Clustering with GANs

Deepak Mishra, Aravind Jayendran, Prathosh A. P

Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)