Computer Science

Authors and titles for February 2018

[151] arXiv:1802.00573 [pdf, other]

Title: Secure Detection of Image Manipulation by means of Random Feature Selection

Zhipeng Chen, Benedetta Tondi, Xiaolong Li, Rongrong Ni, Yao Zhao, Mauro Barni

Subjects: Cryptography and Security (cs.CR)

[152] arXiv:1802.00574 [pdf, other]

Title: Fast Influence Maximization in Dynamic Graphs: A Local Updating Approach

Vijaya Krishna Yalavarthi, Arijit Khan

Comments: 14 pages, 10 figures

Subjects: Social and Information Networks (cs.SI)

[153] arXiv:1802.00575 [pdf, other]

Title: Preserving Patient-centred Controls in Electronic Health Record Systems: A Reliance-based Model Implication

Pasupathy Vimalachandran, Hua Wang, Yanchun Zhang, Ben Heyward, Yueai Zhao

Comments: 8 pages for ICOT2017: this http URL

Subjects: Computers and Society (cs.CY)

[154] arXiv:1802.00577 [pdf, other]

Title: Ensuring Data Integrity in Electronic Health Records: A Quality Health Care Implication

P. Vimalachandran, H. Wang, Y. Zhang, B. Heyward, F. Whittaker

Comments: 8 pages, ICOT2016: this http URL

Subjects: Computers and Society (cs.CY); Cryptography and Security (cs.CR)

[155] arXiv:1802.00580 [pdf, other]

Title: A Multi-Kernel Multi-Code Polar Decoder Architecture

Gabriele Coppolino, Carlo Condo, Guido Masera, Warren J. Gross

Subjects: Hardware Architecture (cs.AR)

[156] arXiv:1802.00588 [pdf, other]

Title: When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise

Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Théo Laurent, Benjamin C. Pierce, Marco Stronati, Jérémy Thibault, Andrew Tolmach

Comments: CCS paper with significant improvement of the proofs, first step towards a journal version

Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL)

[157] arXiv:1802.00595 [pdf, other]

Title: Least Angle Regression Coarsening in Bootstrap Algebraic Multigrid

Karsten Kahl, Matthias Rottmann

Subjects: Numerical Analysis (math.NA)

[158] arXiv:1802.00597 [pdf, other]

Title: Isogeometric spectral approximation for elliptic differential operators

Quanling Deng, Vladimir Puzyrev, Victor Calo

Subjects: Numerical Analysis (math.NA)

[159] arXiv:1802.00602 [pdf, other]

Title: Approximating smooth, multivariate functions on irregular domains

Ben Adcock, Daan Huybrechs

Journal-ref: Forum of Mathematics, Sigma 8 (2020) e26

Subjects: Numerical Analysis (math.NA)

[160] arXiv:1802.00603 [pdf, other]

Title: Explainable Software Analytics

Hoa Khanh Dam, Truyen Tran, Aditya Ghose

Comments: 4 pages, to appear in ICSE'18 New Ideas and Emerging Results Track

Subjects: Software Engineering (cs.SE)

[161] arXiv:1802.00604 [pdf, other]

Title: Monaural Speech Enhancement using Deep Neural Networks by Maximizing a Short-Time Objective Intelligibility Measure

Morten Kolbæk, Zheng-Hua Tan, Jesper Jensen

Comments: To appear in ICASSP 2018

Subjects: Sound (cs.SD); Audio and Speech Processing (eess.AS)

[162] arXiv:1802.00606 [pdf, other]

Title: Allegation of scientific misconduct increases Twitter attention

Lutz Bornmann, Robin Haunschild

Journal-ref: Scientometrics, 115(2), 1097-1100 (2018)

Subjects: Digital Libraries (cs.DL)

[163] arXiv:1802.00613 [pdf, other]

Title: Effects of Hand Representations for Typing in Virtual Reality

Jens Grubert, Lukas Witzani, Eyal Ofek, Michel Pahud, Matthias Kranz, Per Ola Kristensson

Comments: IEEE VR 2018 publication

Subjects: Human-Computer Interaction (cs.HC)

[164] arXiv:1802.00614 [pdf, other]

Title: Visual Interpretability for Deep Learning: a Survey

Quanshi Zhang, Song-Chun Zhu

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

[165] arXiv:1802.00617 [pdf, other]

Title: Advanced Symbolic Time Series Analysis in Cyber Physical Systems

Roland Ritt, Paul O'Leary, Christopher Josef Rothschedl, Matthew Harker

Comments: Conference: International Work-Conference on TImeSEries Analysis (ITISE 2017)

Journal-ref: Ritt, R. et al., 2017. Advanced Symbolic Time Series Analysis In Cyber Physical Systems. In O. Valenzuela et al., eds. Proceedings - International work-conference on Time Series, ITISE 2017. Granada: University of Granada, pp. 155-160

Subjects: Computational Engineering, Finance, and Science (cs.CE)

[166] arXiv:1802.00624 [pdf, other]

Title: When can $l_p$-norm objective functions be minimized via graph cuts?

Filip Malmberg, Robin Strand

Comments: In proceedings of the 19th international workshop on combinatorial image analysis (IWCIA), 2018

Subjects: Data Structures and Algorithms (cs.DS); Computer Vision and Pattern Recognition (cs.CV)

[167] arXiv:1802.00626 [pdf, other]

Title: Text Entry in Immersive Head-Mounted Display-based Virtual Reality using Standard Keyboards

Jens Grubert, Lukas Witzani, Eyal Ofek, Michel Pahud, Matthias Kranz, Per Ola Kristensson

Comments: IEEE VR 2018. arXiv admin note: text overlap with arXiv:1802.00613

Subjects: Human-Computer Interaction (cs.HC)

[168] arXiv:1802.00634 [pdf, other]

Title: Activity-conditioned continuous human pose estimation for performance analysis of athletes using the example of swimming

Moritz Einfalt, Dan Zecha, Rainer Lienhart

Comments: 10 pages, 9 figures, accepted at WACV 2018

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

[169] arXiv:1802.00635 [pdf, other]

Title: Generic Evolving Self-Organizing Neuro-Fuzzy Control of Bio-inspired Unmanned Aerial Vehicles

MD. Meftahul Ferdaus, Mahardhika Pratama, Sreenatha G Anavatti, Matthew A Garratt, Yongping Pan

Comments: this paper is currently under review at IEEE Transactions on Fuzzy Systems

Subjects: Systems and Control (eess.SY)

[170] arXiv:1802.00640 [pdf, other]

Title: On the enumeration of closures and environments with an application to random generation

Maciej Bendkowski, Pierre Lescanne

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 4 (October 17, 2019) lmcs:4998

Subjects: Logic in Computer Science (cs.LO); Combinatorics (math.CO)

[171] arXiv:1802.00649 [pdf, other]

Title: On the complexity of the outer-connected bondage and the outer-connected reinforcement problems

M. Hashemipour, M. R. Hooshmandasl, A. Shakiba

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

[172] arXiv:1802.00659 [pdf, other]

Title: On the Complexity of the Cayley Semigroup Membership Problem

Lukas Fleischer

Subjects: Computational Complexity (cs.CC)

[173] arXiv:1802.00662 [pdf, other]

Title: Dual Memory Neural Computer for Asynchronous Two-view Sequential Learning

Hung Le, Truyen Tran, Svetha Venkatesh

Comments: 22 pages, 4 figures

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

[174] arXiv:1802.00664 [pdf, other]

Title: Convolutional neural network-based regression for depth prediction in digital holography

Tomoyoshi Shimobaba, Takashi Kakue, Tomoyoshi Ito

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

[175] arXiv:1802.00671 [pdf, other]

Title: Handwritten Isolated Bangla Compound Character Recognition: a new benchmark using a novel deep learning approach

Saikat Roy, Nibaran Das, Mahantapas Kundu, Mita Nasipuri

Journal-ref: Pattern Recognition Letters, Elsevier, Vol. 90, Pages 15-21, 2017

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

[176] arXiv:1802.00673 [pdf, other]

Title: Representation Learning for Resource Usage Prediction

Florian Schmidt, Mathias Niepert, Felipe Huici

Comments: 3 pages, 2 figures, SysML 2018

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Operating Systems (cs.OS)

[177] arXiv:1802.00678 [pdf, other]

Title: A Simple Object that Spans the Whole Consensus Hierarchy

Achour Mostéfaoui, Matthieu Perrin, Michel Raynal

Comments: 7 pages

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

[178] arXiv:1802.00680 [pdf, other]

Title: A Generative Model for Natural Sounds Based on Latent Force Modelling

William J. Wilkinson, Joshua D. Reiss, Dan Stowell

Comments: 10 pages, 5 figures

Subjects: Machine Learning (cs.LG); Sound (cs.SD); Audio and Speech Processing (eess.AS); Machine Learning (stat.ML)

[179] arXiv:1802.00682 [pdf, other]

Title: How do Humans Understand Explanations from Machine Learning Systems? An Evaluation of the Human-Interpretability of Explanation

Menaka Narayanan, Emily Chen, Jeffrey He, Been Kim, Sam Gershman, Finale Doshi-Velez

Subjects: Artificial Intelligence (cs.AI)

[180] arXiv:1802.00688 [pdf, other]

Title: Hierarchical Aggregation Approach for Distributed clustering of spatial datasets

Malika Bendechache, Nhien-An Le-Khac, M-Tahar Kechadi

Comments: 6 pages. arXiv admin note: substantial text overlap with arXiv:1704.03421

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

[181] arXiv:1802.00689 [pdf, other]

Title: TikZ-FeynHand: Basic User Guide

Max Dohse

Comments: 12 pages, many figures

Subjects: Other Computer Science (cs.OH); High Energy Physics - Phenomenology (hep-ph); High Energy Physics - Theory (hep-th)

[182] arXiv:1802.00690 [pdf, other]

Title: Modelling contextuality by probabilistic programs with hypergraph semantics

Peter D. Bruza

Comments: Accepted for "Theoretical Computer Science"

Subjects: Artificial Intelligence (cs.AI)

[183] arXiv:1802.00695 [pdf, other]

Title: AN-aided Secure Transmission in Multi-user MIMO SWIPT Systems

Zhengyu Zhu, Ning Wang, Zheng Chu, Zhongyong Wang, Inkyu Lee

Comments: in Proc. IEEE WCNC 2018. (6 pages, 3 figures). arXiv admin note: substantial text overlap with arXiv:1703.04711

Subjects: Information Theory (cs.IT)

[184] arXiv:1802.00696 [pdf, other]

Title: Size-aware Sharding For Improving Tail Latencies in In-memory Key-value Stores

Diego Didona, Willy Zwaenepoel

Subjects: Databases (cs.DB); Operating Systems (cs.OS)

[185] arXiv:1802.00699 [pdf, other]

Title: Data Dwarfs: A Lens Towards Fully Understanding Big Data and AI Workloads

Wanling Gao, Jianfeng Zhan, Lei Wang, Chunjie Luo, Daoyi Zheng, Fei Tang, Biwei Xie, Chen Zheng, Qiang Yang

Comments: 19 pages, 16 figures and 2 tables

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

[186] arXiv:1802.00703 [pdf, other]

Title: From Clustering Supersequences to Entropy Minimizing Subsequences for Single and Double Deletions

Arash Atashpendar, Marc Beunardeau, Aisling Connolly, Rémi Géraud, David Mestel, A. W. Roscoe, Peter Y. A. Ryan

Comments: 25 pages, 2 figures, submitted to IEEE Transactions on Information Theory; added references, minor writing improvements, fixed a minor flaw in section 5, improved notation, added proof of entropy minimization for the Rényi entropy for the case of single deletions, improved the presentation of the proofs in the appendix, added more details to the framework section, results unchanged

Subjects: Information Theory (cs.IT); Discrete Mathematics (cs.DM)

[187] arXiv:1802.00706 [pdf, other]

Title: Extending Causal Consistency to any Object Defined by a Sequential Specification

Achour Mostéfaoui, Matthieu Perrin, Michel Raynal

Comments: 9 pages

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

[188] arXiv:1802.00708 [pdf, other]

Title: Numerical methods for conservation laws with rough flux

Håkon Hoel, Kenneth Hvistendahl Karlsen, Nils Henrik Risebro, Erlend Briseid Storrøsten

Comments: 58 pages, 12 figures

Subjects: Numerical Analysis (math.NA)

[189] arXiv:1802.00714 [pdf, other]

Title: Incremental Control and Guidance of Hybrid Aircraft Applied to a Tailsitter UAV

E.J.J. Smeur, M. Bronz, G.C.H.E. de Croon

Comments: 20 pages, 26 figures

Journal-ref: Journal of Guidance, Control and Dynamics, September 2019 [online]

Subjects: Robotics (cs.RO); Systems and Control (eess.SY)

[190] arXiv:1802.00721 [pdf, other]

Title: Improved Runtime Bounds for the Univariate Marginal Distribution Algorithm via Anti-Concentration

Per Kristian Lehre, Phan Trung Hai Nguyen

Comments: 19 pages, 1 figure

Journal-ref: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2017). ACM, New York, NY, USA, 1383-1390

Subjects: Neural and Evolutionary Computing (cs.NE)

[191] arXiv:1802.00724 [pdf, other]

Title: A cost effective and reliable environment monitoring system for HPC applications

Peter Bernd Otte, Dalibor Djukanovic

Subjects: Other Computer Science (cs.OH)

[192] arXiv:1802.00728 [pdf, other]

Title: Measuring Spark on AWS: A Case Study on Mining Scientific Publications with Annotation Query

Darin McBeath, Ron Daniel Jr

Comments: 19 pages, 12 figures

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

[193] arXiv:1802.00745 [pdf, other]

Title: Explaining First Impressions: Modeling, Recognizing, and Explaining Apparent Personality from Videos

Hugo Jair Escalante, Heysem Kaya, Albert Ali Salah, Sergio Escalera, Yagmur Gucluturk, Umut Guclu, Xavier Baro, Isabelle Guyon, Julio Jacques Junior, Meysam Madadi, Stephane Ayache, Evelyne Viegas, Furkan Gurpinar, Achmadnoer Sukma Wicaksana, Cynthia C. S. Liem, Marcel A. J. van Gerven, Rob van Lier

Comments: Preprint submitted to TAC

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

[194] arXiv:1802.00748 [pdf, other]

Title: Short-term Memory of Deep RNN

Claudio Gallicchio

Comments: This is a pre-print (pre-review) version of the paper accepted for presentation at the 26th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning (ESANN), Bruges (Belgium), 25-27 April 2018

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Dynamical Systems (math.DS); Machine Learning (stat.ML)

[195] arXiv:1802.00750 [pdf, other]

Title: Optimal probabilistic polynomial time compression and the Slepian-Wolf theorem: tighter version and simple proofs

Bruno Bauwens

Subjects: Information Theory (cs.IT)

[196] arXiv:1802.00752 [pdf, other]

Title: Deep Convolutional Neural Networks for Breast Cancer Histology Image Analysis

Alexander Rakhlin, Alexey Shvets, Vladimir Iglovikov, Alexandr A. Kalinin

Comments: 8 pages, 4 figures

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

[197] arXiv:1802.00754 [pdf, other]

Title: Signal Processing for MIMO-NOMA: Present and Future Challenges

Yongming Huang, Cheng Zhang, Jiaheng Wang, Yindi Jing, Luxi Yang, Xiaohu You

Comments: 14 pages (single column), 4 figures. This work has been accepted by the IEEE Wireless Communications, the special issue of non-orthogonal multiple access for 5G

Subjects: Information Theory (cs.IT)

[198] arXiv:1802.00756 [pdf, other]

Title: Infinitary and Cyclic Proof Systems for Transitive Closure Logic

Liron Cohen, Reuben N. S. Rowe

Subjects: Logic in Computer Science (cs.LO)

[199] arXiv:1802.00757 [pdf, other]

Title: Submodularity-Inspired Data Selection for Goal-Oriented Chatbot Training Based on Sentence Embeddings

Mladen Dimovski, Claudiu Musat, Vladimir Ilievski, Andreea Hossmann, Michael Baeriswyl

Subjects: Computation and Language (cs.CL)

[200] arXiv:1802.00758 [pdf, other]

Title: Strategy Representation by Decision Trees in Reactive Synthesis

Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, Viktor Toman

Comments: Full version of the paper. To appear in TACAS 2018

Subjects: Logic in Computer Science (cs.LO)