Computer Science

Authors and titles for July 2017

[451] arXiv:1707.01836 [pdf, other]

Title: Cardiologist-Level Arrhythmia Detection with Convolutional Neural Networks

Pranav Rajpurkar, Awni Y. Hannun, Masoumeh Haghpanahi, Codie Bourn, Andrew Y. Ng

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

[452] arXiv:1707.01846 [pdf, other]

Title: On User Pairing in NOMA Uplink

Mohammad A. Sedaghat, Ralf R. Müller

Comments: Submitted to Transaction on Wireless Communications

Subjects: Information Theory (cs.IT)

[453] arXiv:1707.01848 [pdf, other]

Title: A Location-Based Game for Two Generations: Teaching Mobile Technology to the Elderly with the Support of Young Volunteers

Wiesław Kopeć, Katarzyna Abramczuk, Bartłomiej Balcerzak, Marta Juźwin Katarzyna Gniadzik, Grzegorz Kowalik, Radosław Nielek

Comments: The final publication is available at Springer via this http URL

Subjects: Human-Computer Interaction (cs.HC); Computers and Society (cs.CY)

[454] arXiv:1707.01859 [pdf, other]

Title: Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes

Jan Křetínský, Tobias Meggendorfer

Subjects: Performance (cs.PF); Logic in Computer Science (cs.LO)

[455] arXiv:1707.01865 [pdf, other]

Title: An Online Development Environment for Answer Set Programming

Elias Marcopoulos, Christian Reotutar, Yuanlin Zhang

Comments: Proceedings of the 2nd International Workshop on User-Oriented Logic Paradigms(IULP 2017), Editors: Claudia Schulz and Stefan Ellmauthaler

Subjects: Other Computer Science (cs.OH); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)

[456] arXiv:1707.01869 [pdf, other]

Title: A Survey on Geographically Distributed Big-Data Processing using MapReduce

Shlomi Dolev, Patricia Florissi, Ehud Gudes, Shantanu Sharma, Ido Singer

Comments: IEEE Transactions on Big Data; Accepted June 2017. 20 pages

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

[457] arXiv:1707.01870 [pdf, other]

Title: Finite model reasoning over existential rules

Giovanni Amendola, Nicola Leone, Marco Manna

Comments: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 16 pages, LaTeX, 3 PDF figures

Subjects: Logic in Computer Science (cs.LO)

[458] arXiv:1707.01871 [pdf, other]

Title: Achieving Secure and Differentially Private Computations in Multiparty Settings

Abbas Acar, Z. Berkay Celik, Hidayet Aksu, A. Selcuk Uluagac, Patrick McDaniel

Subjects: Cryptography and Security (cs.CR)

[459] arXiv:1707.01873 [pdf, other]

Title: Blockchain Consensus Protocols in the Wild

Christian Cachin, Marko Vukolić

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

[460] arXiv:1707.01875 [pdf, other]

Title: Calibrated Fairness in Bandits

Yang Liu, Goran Radanovic, Christos Dimitrakakis, Debmalya Mandal, David C. Parkes

Comments: To be presented at the FAT-ML'17 workshop

Subjects: Machine Learning (cs.LG)

[461] arXiv:1707.01879 [pdf, other]

Title: Internet of Things: Survey on Security and Privacy

Diego M. Mendez, Ioannis Papapanagiotou, Baijian Yang (Purdue University)

Comments: 16 pages, 3 figures

Journal-ref: Information Security Journal: A Global Perspective (2018)

Subjects: Cryptography and Security (cs.CR)

[462] arXiv:1707.01880 [pdf, other]

Title: Project Makespan Estimation: Computational Load of Interval and Point Estimates

Maurizio Naldi, Marta Flamini

Subjects: Other Computer Science (cs.OH)

[463] arXiv:1707.01886 [pdf, other]

Title: Buildup of Speaking Skills in an Online Learning Community: A Network-Analytic Exploration

Rasoul Shafipour, Raiyan Abdul Baten, Md Kamrul Hasan, Gourab Ghoshal, Gonzalo Mateos, Mohammed Ehsan Hoque

Journal-ref: Palgrave Communications, vol. 4, June 2018

Subjects: Social and Information Networks (cs.SI); Human-Computer Interaction (cs.HC)

[464] arXiv:1707.01888 [pdf, other]

Title: Batch Informed Trees (BIT*): Informed Asymptotically Optimal Anytime Search

Jonathan D. Gammell, Timothy D. Barfoot, Siddhartha S. Srinivasa

Comments: International Journal of Robotics Research (IJRR). 32 Pages. 16 Figures

Journal-ref: The International Journal of Robotics Research (IJRR), 39(5): 543-567, 2020

Subjects: Robotics (cs.RO)

[465] arXiv:1707.01890 [pdf, other]

Title: An Interactive Tool for Natural Language Processing on Clinical Text

Gaurav Trivedi, Phuong Pham, Wendy Chapman, Rebecca Hwa, Janyce Wiebe, Harry Hochheiser

Comments: 8 pages, 2 figures, 2 tables, Presented at IUI TextVis 2015 Workshop

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

[466] arXiv:1707.01891 [pdf, other]

Title: Trust-PCL: An Off-Policy Trust Region Method for Continuous Control

Ofir Nachum, Mohammad Norouzi, Kelvin Xu, Dale Schuurmans

Comments: ICLR 2018

Subjects: Artificial Intelligence (cs.AI)

[467] arXiv:1707.01895 [pdf, other]

Title: Adaptive user support in educational environments: A Bayesian Network approach

Adrian Stoica, Nikolaos Tselios, Christos Fidas

Subjects: Human-Computer Interaction (cs.HC)

[468] arXiv:1707.01898 [pdf, other]

Title: Adaptive Modular Exponentiation Methods v.s. Python's Power Function

Shiyu Ji, Kun Wan

Comments: 4 pages

Subjects: Data Structures and Algorithms (cs.DS); Mathematical Software (cs.MS)

[469] arXiv:1707.01899 [pdf, other]

Title: On Calculation of Bounds for Greedy Algorithms when Applied to Sensor Selection Problems

Jingyuan Liu

Subjects: Data Structures and Algorithms (cs.DS)

[470] arXiv:1707.01917 [pdf, other]

Title: Higher-order Relation Schema Induction using Tensor Factorization with Back-off and Aggregation

Madhav Nimishakavi, Partha Talukdar

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

[471] arXiv:1707.01921 [pdf, other]

Title: A Visual Narrative Path from Switching to Resuming a Requirements Engineering Task

Zahra Shakeri Hossein Abad, Alex Shymka, Jenny Le, Noor Hammad, Guenther Ruhe

Comments: 7 Pages, the 25th IEEE International Conference on Requirements Engineering (RE'17)

Subjects: Software Engineering (cs.SE)

[472] arXiv:1707.01922 [pdf, other]

Title: Zero-Shot Deep Domain Adaptation

Kuan-Chuan Peng, Ziyan Wu, Jan Ernst

Comments: This paper is accepted to the European Conference on Computer Vision (ECCV), 2018

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

[473] arXiv:1707.01926 [pdf, other]

Title: Diffusion Convolutional Recurrent Neural Network: Data-Driven Traffic Forecasting

Yaguang Li, Rose Yu, Cyrus Shahabi, Yan Liu

Comments: Published as a conference paper at ICLR 2018

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

[474] arXiv:1707.01927 [pdf, other]

Title: Let's hear it from RETTA: A Requirements Elicitation Tool for TrAffic management systems

Mohammad Noaeen, Zahra Shakeri Hossein Abad, Behrouz Homayoun Far

Comments: 3 pages, the 25th IEEE International Conference on Requirements Engineering (RE'17)

Subjects: Software Engineering (cs.SE)

[475] arXiv:1707.01932 [pdf, other]

Title: End-to-End Learning of Semantic Grasping

Eric Jang, Sudheendra Vijayanarasimhan, Peter Pastor, Julian Ibarz, Sergey Levine

Comments: 14 pages

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

[476] arXiv:1707.01939 [pdf, other]

Title: High-Performance FPGA Implementation of Equivariant Adaptive Separation via Independence Algorithm for Independent Component Analysis

Mahdi Nazemi, Shahin Nazarian, Massoud Pedram

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

[477] arXiv:1707.01941 [pdf, other]

Title: MPG - A Framework for Reasoning on 6 DOF Pose Uncertainty

Wendelin Feiten, Muriel Lang

Comments: ICRA 2011 Workshop on Manipulation Under Uncertainty

Subjects: Robotics (cs.RO)

[478] arXiv:1707.01943 [pdf, other]

Title: A causal framework for explaining the predictions of black-box sequence-to-sequence models

David Alvarez-Melis, Tommi S. Jaakkola

Comments: 12 Pages, EMNLP 2017

Subjects: Machine Learning (cs.LG)

[479] arXiv:1707.01945 [pdf, other]

Title: Simple Classification using Binary Data

Deanna Needell, Rayan Saab, Tina Woolf

Subjects: Machine Learning (cs.LG); Numerical Analysis (math.NA); Machine Learning (stat.ML)

[480] arXiv:1707.01947 [pdf, other]

Title: Efficient simulation of DC-DC switch-mode power converters by multirate partial differential equations

Andreas Pels, Johan Gyselinck, Ruth V. Sabariego, Sebastian Schöps

Journal-ref: IEEE Journal on Multiscale and Multiphysics Computational Techniques, vol. 4, pp. 64-75, 2019

Subjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA)

[481] arXiv:1707.01952 [pdf, other]

Title: Significance of Disk Failure Prediction in Datacenters

Jayanta Basak, Randy H. Katz

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

[482] arXiv:1707.01954 [pdf, other]

Title: Convergence and normal continuity analysis of non-stationary subdivision schemes near extraordinary vertices and faces

Costanza Conti, Marco Donatelli, Lucia Romani, Paola Novara

Subjects: Numerical Analysis (math.NA)

[483] arXiv:1707.01955 [pdf, other]

Title: Renormalized Reduced Order Models with Memory for Long Time Prediction

Jacob Price, Panos Stinis

Comments: 19 pages plus appendices, four figures, software used to reach results available upon request, approved for release by PNNL (IR number PNNL-SA-127388)

Subjects: Numerical Analysis (math.NA); Analysis of PDEs (math.AP)

[484] arXiv:1707.01959 [pdf, other]

Title: Well-Founded Operators for Normal Hybrid MKNF Knowledge Bases

Jianmin Ji, Fangfang Liu, Jia-Huai You

Comments: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017. Total 20 pages, Main part 16 pages, LaTeX

Subjects: Artificial Intelligence (cs.AI)

[485] arXiv:1707.01961 [pdf, other]

Title: Long-Term Memory Networks for Question Answering

Fenglong Ma, Radha Chitta, Saurabh Kataria, Jing Zhou, Palghat Ramesh, Tong Sun, Jing Gao

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

[486] arXiv:1707.01968 [pdf, other]

Title: An IMEX Finite Element Method for a linearized Cahn-Hilliard-Cook equation driven by the space derivative of a space-time white noise

Georgios E. Zouraris

Subjects: Numerical Analysis (math.NA)

[487] arXiv:1707.01971 [pdf, other]

Title: Algorithms for zero-dimensional ideals using linear recurrent sequences

Vincent Neiger, Hamid Rahkooy, Éric Schost

Comments: LNCS, Computer Algebra in Scientific Computing CASC 2017

Subjects: Symbolic Computation (cs.SC)

[488] arXiv:1707.01972 [pdf, other]

Title: Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets

Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva

Subjects: Logic in Computer Science (cs.LO)

[489] arXiv:1707.01976 [pdf, other]

Title: A Generalised Seizure Prediction with Convolutional Neural Networks for Intracranial and Scalp Electroencephalogram Data Analysis

Nhan Duy Truong, Anh Duy Nguyen, Levin Kuhlmann, Mohammad Reza Bonyadi, Jiawei Yang, Omid Kavehei

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

[490] arXiv:1707.01978 [pdf, other]

Title: Local Large deviation: A McMillian Theorem for Coloured Random Graph Processes

Kwabena Doku-Amponsah

Comments: 8 pages

Journal-ref: Journal of Mathematics and Statistics 13(4) (2017) 347-352

Subjects: Information Theory (cs.IT)

[491] arXiv:1707.01989 [pdf, other]

Title: Cooperative Kernels: GPU Multitasking for Blocking Algorithms (Extended Version)

Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson

Subjects: Programming Languages (cs.PL)

[492] arXiv:1707.01992 [pdf, other]

Title: On the Compactness, Efficiency, and Representation of 3D Convolutional Networks: Brain Parcellation as a Pretext Task

Wenqi Li, Guotai Wang, Lucas Fidon, Sebastien Ourselin, M. Jorge Cardoso, Tom Vercauteren

Comments: Paper accepted at IPMI 2017

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

[493] arXiv:1707.01996 [pdf, other]

Title: Capacity of Wireless Distributed Storage Systems with Broadcast Repair

Ping Hu, Chi Wan Sung, Terence H. Chan

Comments: 28 pages, 7 figures

Subjects: Information Theory (cs.IT)

[494] arXiv:1707.02000 [pdf, other]

Title: Shared-memory Graph Truss Decomposition

Humayun Kabir, Kamesh Madduri

Comments: 10 pages, conference submission

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS); Social and Information Networks (cs.SI)

[495] arXiv:1707.02011 [pdf, other]

Title: Lifting CDCL to Template-based Abstract Domains for Program Verification

Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham

Subjects: Logic in Computer Science (cs.LO)

[496] arXiv:1707.02022 [pdf, other]

Title: Automatic Classification of Bright Retinal Lesions via Deep Network Features

Ibrahim Sadek, Mohamed Elawady, Abd El Rahman Shabayek

Comments: Preprint submitted to Journal of Medical Imaging | SPIE (Tue, Jul 28, 2017)

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

[497] arXiv:1707.02024 [pdf, other]

Title: Comparison of Flow Scheduling Policies for Mix of Regular and Deadline Traffic in Datacenter Environments

Mohammad Noormohammadpour, Cauligi S. Raghavendra

Comments: Technical Report

Subjects: Networking and Internet Architecture (cs.NI)

[498] arXiv:1707.02026 [pdf, other]

Title: A Nested Attention Neural Hybrid Model for Grammatical Error Correction

Jianshu Ji, Qinlong Wang, Kristina Toutanova, Yongen Gong, Steven Truong, Jianfeng Gao

Subjects: Computation and Language (cs.CL)

[499] arXiv:1707.02027 [pdf, other]

Title: DDCCast: Meeting Point to Multipoint Transfer Deadlines Across Datacenters using ALAP Scheduling Policy

Mohammad Noormohammadpour, Cauligi S. Raghavendra

Comments: Technical Report

Subjects: Networking and Internet Architecture (cs.NI)

[500] arXiv:1707.02029 [pdf, other]

Title: LoopInvGen: A Loop Invariant Generator based on Precondition Inference

Saswat Padhi, Rahul Sharma, Todd Millstein

Comments: Tool Description ( for technical details, see our PLDI paper at this https URL ), SyGuS-COMP'19 Competition Contribution, 4 pages

Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)