Computer Science

Authors and titles for July 2019

[1] arXiv:1907.00025 [pdf, other]

Title: Angular separability of data clusters or network communities in geometrical space and its relevance to hyperbolic embedding

Alessandro Muscoloni, Carlo Vittorio Cannistraci

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

Subjects: Machine Learning (cs.LG); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph); Machine Learning (stat.ML)

[2] arXiv:1907.00031 [pdf, other]

Title: The Thermodynamic Variational Objective

Vaden Masrani, Tuan Anh Le, Frank Wood

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

[3] arXiv:1907.00033 [pdf, other]

Title: Algorithms for weighted independent transversals and strong colouring

Alessandra Graf, David G. Harris, Penny Haxell

Journal-ref: ACM Transactions on Algorithms 18(1), Article #1 (2021)

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[4] arXiv:1907.00038 [pdf, other]

Title: The Practical Challenges of Active Learning: Lessons Learned from Live Experimentation

Jean-François Kagy, Tolga Kayadelen, Ji Ma, Afshin Rostamizadeh, Jana Strnadova

Comments: Presented at 2019 ICML Workshop on Human in the Loop Learning (HILL 2019), Long Beach, USA

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

[5] arXiv:1907.00039 [pdf, other]

Title: The Branching-Course MPC Algorithm for Maritime Collision Avoidance

Bjørn-Olav H. Eriksen, Morten Breivik, Erik F. Wilthil, Andreas L. Flåten, Edmund F. Brekke

Comments: Submitted to Journal of Field Robotics

Journal-ref: Journal of Field Robotics 36 (2019) 1222-1249

Subjects: Systems and Control (eess.SY)

[6] arXiv:1907.00042 [pdf, other]

Title: Rhythm Dungeon: A Blockchain-based Music Roguelike Game

Tengfei Wang, Shuyi Zhang, Xiao Wu, Wei Cai

Journal-ref: 2019 Foundation of Digital Games Demos (FDG 2019 DEMO), San Luis Obispo, California, USA, August 26-30, 2019

Subjects: Multimedia (cs.MM); Human-Computer Interaction (cs.HC)

[7] arXiv:1907.00048 [pdf, other]

Title: Bridging the Architecture Gap: Abstracting Performance-Relevant Properties of Modern Server Processors

Johannes Hofmann, Christie L. Alappat, Georg Hager, Dietmar Fey, Gerhard Wellein

Comments: 12 pages, 7 figures

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Hardware Architecture (cs.AR); Performance (cs.PF)

[8] arXiv:1907.00050 [pdf, other]

Title: State-of-the-Art on Query & Transaction Processing Acceleration

Bernd Amann, Youry Khmelevsky, Gaetan Hains

Comments: 7 pages, 4 tables

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Databases (cs.DB); Performance (cs.PF)

[9] arXiv:1907.00053 [pdf, other]

Title: Composable Rate-Independent Computation in Continuous Chemical Reaction Networks

Cameron Chalk, Niels Kornerup, Wyatt Reeves, David Soloveichik

Comments: Appeared at Computational Methods in Systems Biology (CMSB) 2018 (best paper award) To appear in IEEE/ACM Transactions on Computational Biology and Bioinformatics

Journal-ref: Computational Methods in Systems Biology 1 (2018) 256-273

Subjects: Emerging Technologies (cs.ET); Distributed, Parallel, and Cluster Computing (cs.DC)

[10] arXiv:1907.00056 [pdf, other]

Title: Extending de Bruijn sequences to larger alphabets

Verónica Becher, Lucas Cortés

Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[11] arXiv:1907.00061 [pdf, other]

Title: Complexity of acyclic colorings of graphs and digraphs with degree and girth constraints

Tom\' as Feder, Pavol Hell, Carlos Subi

Comments: With new abstract

Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[12] arXiv:1907.00062 [pdf, other]

Title: DIEL: Interactive Visualization Beyond the Here and Now

Yifan Wu, Remco Chang, Joseph Hellerstein, Arvind Satyanarayan, Eugene Wu

Subjects: Databases (cs.DB); Human-Computer Interaction (cs.HC)

[13] arXiv:1907.00068 [pdf, other]

Title: On Reducing Negative Jacobian Determinant of the Deformation Predicted by Deep Registration Networks

Dongyang Kuang

Subjects: Computer Vision and Pattern Recognition (cs.CV); Image and Video Processing (eess.IV)

[14] arXiv:1907.00069 [pdf, other]

Title: A 1d convolutional network for leaf and time series classification

Dongyang Kuang

Subjects: Computer Vision and Pattern Recognition (cs.CV); Image and Video Processing (eess.IV)

[15] arXiv:1907.00072 [pdf, other]

Title: Polynomial Preconditioned GMRES to Reduce Communication in Parallel Computing

Jennifer A. Loe, Heidi K. Thornquist, Erik G. Boman

Subjects: Numerical Analysis (math.NA)

[16] arXiv:1907.00074 [pdf, other]

Title: Forensic Analysis of Third Party Location Applications in Android and iOS

Jason Bays, Umit Karabiyik

Subjects: Cryptography and Security (cs.CR)

[17] arXiv:1907.00075 [pdf, other]

Title: Programming with Timespans in Interactive Visualizations

Yifan Wu, Remco Chang, Eugene Wu, Joe Hellerstein

Subjects: Human-Computer Interaction (cs.HC); Databases (cs.DB)

[18] arXiv:1907.00082 [pdf, other]

Title: Millemeter-Wave Fixed Wireless Access Using IEEE 802.11ay

Cheng Chen, Oren Kedem, Claudio R. C. M. da Silva, Carlos Cordeiro

Comments: 7 pages, 4 figures, 1 table, accepted by IEEE Communications Magazine

Subjects: Networking and Internet Architecture (cs.NI)

[19] arXiv:1907.00083 [pdf, other]

Title: Extracting Novel Facts from Tables for Knowledge Graph Completion (Extended version)

Benno Kruit, Peter Boncz, Jacopo Urbani

Subjects: Information Retrieval (cs.IR); Databases (cs.DB)

[20] arXiv:1907.00084 [pdf, other]

Title: Constraint-preserving hybrid finite element methods for Maxwell's equations

Yakov Berchenko-Kogan, Ari Stern

Comments: 19 pages, 2 figures, 1 table

Journal-ref: Found. Comput. Math. 21 (2021), no. 4, 1075-1098

Subjects: Numerical Analysis (math.NA)

[21] arXiv:1907.00087 [pdf, other]

Title: DRAT-based Bit-Vector Proofs in CVC4

Alex Ozdemir, Aina Niemetz, Mathias Preiner, Yoni Zohar, Clark Barrett

Subjects: Logic in Computer Science (cs.LO)

[22] arXiv:1907.00089 [pdf, other]

Title: Learning to Identify Patients at Risk of Uncontrolled Hypertension Using Electronic Health Records Data

Ramin Mohammadi, Sarthak Jain, Stephen Agboola, Ramya Palacholla, Sagar Kamarthi, Byron C. Wallace

Comments: Accepted at The AMIA informatics summit 2019

Subjects: Computers and Society (cs.CY); Machine Learning (cs.LG); Machine Learning (stat.ML)

[23] arXiv:1907.00091 [pdf, other]

Title: Quadrature by Two Expansions: Evaluating Laplace Layer Potentials using Complex Polynomial and Plane Wave Expansions

Lingyun Ding, Jingfang Huang, Jeremy L. Marzuola

Comments: 20 pages

Subjects: Numerical Analysis (math.NA)

[24] arXiv:1907.00096 [pdf, other]

Title: Solving Polynomial Systems with phcpy

Jasmine Otto, Angus Forbes, Jan Verschelde

Comments: Accepted for publication in the SciPy 2019 proceedings

Subjects: Mathematical Software (cs.MS); Distributed, Parallel, and Cluster Computing (cs.DC); Symbolic Computation (cs.SC); Algebraic Geometry (math.AG)

[25] arXiv:1907.00097 [pdf, other]

Title: Parallel Performance of Molecular Dynamics Trajectory Analysis

Mahzad Khoshlessan, Ioannis Paraskevakos, Geoffrey C. Fox, Shantenu Jha, Oliver Beckstein

Comments: accepted manuscript, to appear in 'Concurrency and Computation: Practice and Experience'

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Quantitative Methods (q-bio.QM)

[26] arXiv:1907.00098 [pdf, other]

Title: Robustness Guarantees for Deep Neural Networks on Videos

Min Wu, Marta Kwiatkowska

Comments: To appear in 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Image and Video Processing (eess.IV)

[27] arXiv:1907.00102 [pdf, other]

Title: The Complexity of Tiling Problems

François Schwarzentruber

Subjects: Computational Complexity (cs.CC)

[28] arXiv:1907.00103 [pdf, other]

Title: Learning Effective Loss Functions Efficiently

Matthew Streeter

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

[29] arXiv:1907.00106 [pdf, other]

Title: Smart Charging Benefits in Autonomous Mobility on Demand Systems

Berkay Turan, Nathaniel Tucker, Mahnoosh Alizadeh

Comments: 9 pages, 1 figure, ITSC 2019

Subjects: Systems and Control (eess.SY)

[30] arXiv:1907.00107 [pdf, other]

Title: Adaptive Sequential Experiments with Unknown Information Arrival Processes

Yonatan Gur, Ahmadreza Momeni

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

[31] arXiv:1907.00109 [pdf, other]

Title: SetGAN: Improving the stability and diversity of generative models through a permutation invariant architecture

Alessandro Ferrero, Shireen Elhabian, Ross Whitaker

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

[32] arXiv:1907.00112 [pdf, other]

Title: Leveraging Acoustic Cues and Paralinguistic Embeddings to Detect Expression from Voice

Vikramjit Mitra, Sue Booker, Erik Marchi, David Scott Farrar, Ute Dorothea Peitz, Bridget Cheng, Ermine Teves, Anuj Mehta, Devang Naik

Comments: 5 pages, 6 figures

Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Sound (cs.SD); Audio and Speech Processing (eess.AS)

[33] arXiv:1907.00117 [pdf, other]

Title: Min-Max Correlation Clustering via MultiCut

Saba Ahmadi, Sainyam Galhotra, Samir Khuller, Barna Saha, Roy Schwartz

Subjects: Data Structures and Algorithms (cs.DS)

[34] arXiv:1907.00119 [pdf, other]

Title: One Size Does Not Fit All: Modeling Users' Personal Curiosity in Recommender Systems

Fakhri Abbas, Xi Niu

Comments: Not satisfied with the current version. Needs a lot of improvement

Subjects: Information Retrieval (cs.IR)

[35] arXiv:1907.00123 [pdf, other]

Title: Deep Reinforcement Learning for 5G Networks: Joint Beamforming, Power Control, and Interference Coordination

Faris B. Mismar, Brian L. Evans, Ahmed Alkhateeb

Comments: (c) 2019 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works

Journal-ref: 2019 IEEE Transactions on Communications

Subjects: Networking and Internet Architecture (cs.NI)

[36] arXiv:1907.00124 [pdf, other]

Title: Helion: Enabling a Natural Perspective of Home Automation

Sunil Manandhar, Kevin Moran, Kaushal Kafle, Ruhao Tang, Denys Poshyvanyk, Adwait Nadkarni

Subjects: Cryptography and Security (cs.CR)

[37] arXiv:1907.00135 [pdf, other]

Title: RFBNet: Deep Multimodal Networks with Residual Fusion Blocks for RGB-D Semantic Segmentation

Liuyuan Deng, Ming Yang, Tianyi Li, Yuesheng He, Chunxiang Wang

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

[38] arXiv:1907.00138 [pdf, other]

Title: Approximate matrix completion based on cavity method

Chihiro Noguchi, Yoshiyuki Kabashima

Comments: 20 pages, 11 figures

Subjects: Numerical Analysis (math.NA); Statistical Mechanics (cond-mat.stat-mech); Machine Learning (cs.LG)

[39] arXiv:1907.00139 [pdf, other]

Title: Fast Convolutive Nonnegative Matrix Factorization Through Coordinate and Block Coordinate Updates

Anthony Degleris, Ben Antin, Surya Ganguli, Alex H Williams

Comments: 10 pages, 5 figures

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

[40] arXiv:1907.00140 [pdf, other]

Title: Planting Trees for scalable and efficient Canonical Hub Labeling

Kartik Lakhotia, Qing Dong, Rajgopal Kannan, Viktor Prasanna

Comments: 14 pages, 9 figures, 4 tables

Journal-ref: Proceedings of the VLDB Endowment, 2020

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[41] arXiv:1907.00141 [pdf, other]

Title: Approximate Inference in Structured Instances with Noisy Categorical Observations

Alireza Heidari, Ihab F. Ilyas, Theodoros Rekatsinas

Comments: UAI 2019, 33 pages

Subjects: Machine Learning (cs.LG); Data Structures and Algorithms (cs.DS); Machine Learning (stat.ML)

[42] arXiv:1907.00143 [pdf, other]

Title: Análise Estática de Código-Fonte

Joenio Marques da Costa

Comments: 13 pages, in Portuguese, 1 figure, software tools, not submitted to any congress or journal

Subjects: Software Engineering (cs.SE)

[43] arXiv:1907.00146 [pdf, other]

Title: DataPop: Knowledge Base Population using Distributed Voice Enabled Devices

Elena Montes, Monique Shotande, Daniel Helm, Christan Grant

Comments: 7 pages, 2 references, unsubmitted

Subjects: Databases (cs.DB); Human-Computer Interaction (cs.HC)

[44] arXiv:1907.00148 [pdf, other]

Title: Improved ICH classification using task-dependent learning

Amir Bar, Michal Mauda, Yoni Turner, Michal Safadi, Eldad Elnekave

Comments: IEEE International Symposium on Biomedical Imaging (ISBI) 2019

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

[45] arXiv:1907.00151 [pdf, other]

Title: GPT-based Generation for Classical Chinese Poetry

Yi Liao, Yasheng Wang, Qun Liu, Xin Jiang

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

[46] arXiv:1907.00157 [pdf, other]

Title: Progressive Fashion Attribute Extraction

Sandeep Singh Adhikari, Sukhneer Singh, Anoop Rajagopal, Aruna Rajan

Comments: 6 pages, 6 figures, AI for fashion : KDD 2019 Workshop, August 2019, Anchorage, Alaska - USA

Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV); Information Retrieval (cs.IR)

[47] arXiv:1907.00164 [pdf, other]

Title: On the Privacy Risks of Model Explanations

Reza Shokri, Martin Strobel, Yair Zick

Comments: 19 pages, 13 figures

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

[48] arXiv:1907.00167 [pdf, other]

Title: A linearly implicit structure-preserving scheme for the Camassa-Holm equation based on multiple scalar auxiliary variables approach

Chaolong Jiang, Yuezheng Gong, Wenjun Cai, Yushun Wang

Comments: 21 pages, 13 figures

Subjects: Numerical Analysis (math.NA)

[49] arXiv:1907.00168 [pdf, other]

Title: The CUED's Grammatical Error Correction Systems for BEA-2019

Felix Stahlberg, Bill Byrne

Comments: BEA-2019 (ACL2019 workshop) shared task system description

Subjects: Computation and Language (cs.CL)

[50] arXiv:1907.00172 [pdf, other]

Title: Model Checking a C++ Software Framework, a Case Study

John Lång, I.S.W.B. Prasetya

Comments: In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '19), August 26-30, 2019, Tallinn, Estonia. ACM, New York, NY, USA, 11 pages

Subjects: Software Engineering (cs.SE)