Computer Science

Authors and titles for May 2018

[451] arXiv:1805.01681 [pdf, other]

Title: Encoding fairness in a synchronous concurrent program algebra: extended version with proofs

Ian J. Hayes, Larissa A. Meinicke

Comments: Formal Methods 2018

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC)

[452] arXiv:1805.01684 [pdf, other]

Title: Lower and Upper Bound for Computing the Size of All Second Neighbourhoods

Gregory Gutin, George B. Mertzios, Felix Reidl

Subjects: Data Structures and Algorithms (cs.DS)

[453] arXiv:1805.01685 [pdf, other]

Title: Combinatorial Pure Exploration with Continuous and Separable Reward Functions and Its Applications (Extended Version)

Weiran Huang, Jungseul Ok, Liang Li, Wei Chen

Comments: conference version accepted by IJCAI-ECAI-18

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

[454] arXiv:1805.01687 [pdf, other]

Title: Strong subgraph $k$-arc-connectivity

Yuefang Sun, Gregory Gutin

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

[455] arXiv:1805.01690 [pdf, other]

Title: A Distributed Routing Algorithm for Internet-wide Geocast

Bernd Meijerink, Mitra Baratchi, Geert Heijenk

Subjects: Networking and Internet Architecture (cs.NI)

[456] arXiv:1805.01692 [pdf, other]

Title: A Convex Approximation of the Relaxed Binaural Beamforming Optimization Problem

Andreas I. Koutrouvelis, Richard C. Hendriks, Richard Heusdens, Jesper Jensen

Journal-ref: IEEE/ACM Transactions on Audio, Speech and Language Processing, 27(2), 321-331, 2019

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

[457] arXiv:1805.01702 [pdf, other]

Title: Beyond the Click-Through Rate: Web Link Selection with Multi-level Feedback

Kun Chen, Kechao Cai, Longbo Huang, John C.S. Lui

Comments: 8 pages, 12 figures

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

[458] arXiv:1805.01706 [pdf, other]

Title: Analysis and approximation of a vorticity-velocity-pressure formulation for the Oseen equations

Veronica Anaya, Afaf Bouharguane, David Mora, Carlos Reales, Ricardo Ruiz Baier, Nour Seloula, Hector Torres

Journal-ref: Journal of Scientific Computing, 2019

Subjects: Numerical Analysis (math.NA)

[459] arXiv:1805.01715 [pdf, other]

Title: 5G Island for Network Resilience and Autonomous Failsafe Operations

Bin Han, Marcos Rates Crippa, Hans D. Schotten

Comments: Extended abstract, to appear in the 2018 European Conference on Networks and Communications (EuCNC), Special Session: 5G Mobile Network Architecture and New Radio Advances (5GMoNANeRA)

Subjects: Networking and Internet Architecture (cs.NI)

[460] arXiv:1805.01717 [pdf, other]

Title: Feature extraction with regularized siamese networks for outlier detection: application to lesion screening in medical imaging

Z. Alaverdyan, C. Lartizien

Comments: Accepted to Conférence sur l'Apprentissage automatique (CAp) 2017

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

[461] arXiv:1805.01722 [pdf, other]

Title: Regularization of ill-posed problems with non-negative solutions

Christian Clason, Barbara Kaltenbacher, Elena Resmerita

Comments: survey article

Subjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)

[462] arXiv:1805.01725 [pdf, other]

Title: eDisco: Discovering Edge Nodes Along the Path

Aleksandr Zavodovski, Nitinder Mohan, Jussi Kangasharju

Comments: eDisco enables service providers and clients to discover edge servers, and determine the optimal edge deployment configuration

Subjects: Networking and Internet Architecture (cs.NI)

[463] arXiv:1805.01727 [pdf, other]

Title: Mixed aggregated finite element methods for the unfitted discretization of the Stokes problem

Santiago Badia, Alberto F. Martín, Francesc Verdugo

Subjects: Numerical Analysis (math.NA)

[464] arXiv:1805.01730 [pdf, other]

Title: On the Secrecy Performance of SWIPT Receiver Architectures with Multiple Eavesdroppers

Furqan Jameel, Shurjeel Wyne, Syed Junaid Nawaz, Junaid Ahmed, Kanapathippillai Cumanan

Comments: 15 pages, 7 figures, journal paper

Subjects: Information Theory (cs.IT)

[465] arXiv:1805.01742 [pdf, other]

Title: X-Search: Revisiting Private Web Search using Intel SGX

Sonia Ben Mokhtar, Antoine Boutet, Pascal Felber, Marcelo Pasin, Rafael Pires, Valerio Schiavoni

Comments: Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference. Las Vegas, NV, USA, December 11-15, 2017, 11 pages

Journal-ref: 2017 In Proceedings of Middleware '17

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Cryptography and Security (cs.CR)

[466] arXiv:1805.01752 [pdf, other]

Title: SecureStreams: A Reactive Middleware Framework for Secure Data Stream Processing

Aurélien Havet, Rafael Pires, Pascal Felber, Marcelo Pasin, Romain Rouvoy, Valerio Schiavoni

Comments: Barcelona, Spain, June 19-23, 2017, 10 pages

Journal-ref: In Proceedings of DEBS 2017

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Cryptography and Security (cs.CR)

[467] arXiv:1805.01754 [pdf, other]

Title: Continuum limit of the nonlocal p-Laplacian evolution problem on random inhomogeneous graphs

Yosra Hafiene, Jalal Fadini, Christophe Chesneau, Abderrahim Elmoataz

Subjects: Numerical Analysis (math.NA)

[468] arXiv:1805.01755 [pdf, other]

Title: Two theorems about the P versus NP problem

Tianheng Tsui

Subjects: Computational Complexity (cs.CC); Logic (math.LO)

[469] arXiv:1805.01760 [pdf, other]

Title: Facial Landmarks Localization using Cascaded Neural Networks

Shahar Mahpod, Rig Das, Emanuele Maiorana, Yosi Keller, Patrizio Campisi

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

[470] arXiv:1805.01763 [pdf, other]

Title: Virtual Reality Wireless Mobile Walkthrough Framework

Ghada Mohammed Fathy

Subjects: Networking and Internet Architecture (cs.NI)

[471] arXiv:1805.01765 [pdf, other]

Title: Sustainable Cloud Computing: Foundations and Future Directions

Rajkumar Buyya, Sukhpal Singh Gill

Comments: 7 Pages, 4 Figures. arXiv admin note: substantial text overlap with arXiv:1712.02899

Journal-ref: Business Technology & Digital Transformation Strategies, Cutter Consortium, EXECUTIVE UPDATE, Vol. 21, no. 6, Pages 1-9, 2018

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

[472] arXiv:1805.01767 [pdf, other]

Title: GETMe.anis: On geometric polygon transformations leading to anisotropy

Dimitris Vartziotis, Juri Merger

Comments: 8 pages

Subjects: Numerical Analysis (math.NA)

[473] arXiv:1805.01768 [pdf, other]

Title: Work Stealing with latency

Mohammed Khatiri, Denis Trystram, Frederic Wagner

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

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

[474] arXiv:1805.01772 [pdf, other]

Title: Dynamic Control Flow in Large-Scale Machine Learning

Yuan Yu, Martín Abadi, Paul Barham, Eugene Brevdo, Mike Burrows, Andy Davis, Jeff Dean, Sanjay Ghemawat, Tim Harley, Peter Hawkins, Michael Isard, Manjunath Kudlur, Rajat Monga, Derek Murray, Xiaoqiang Zheng

Comments: Appeared in EuroSys 2018. 14 pages, 16 figures

Journal-ref: EuroSys 2018: Thirteenth EuroSys Conference, April 23-26, 2018, Porto, Portugal. ACM, New York, NY, USA

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

[475] arXiv:1805.01783 [pdf, other]

Title: SecureCloud: Secure Big Data Processing in Untrusted Clouds

Florian Kelbert, Franz Gregor, Rafael Pires, Stefan Köpsell, Marcelo Pasin, Aurélien Havet, Valerio Schiavoni, Pascal Felber, Christof Fetzer, Peter Pietzuch

Comments: 4 pages. Lausanne, Switzerland

Journal-ref: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Cryptography and Security (cs.CR)

[476] arXiv:1805.01786 [pdf, other]

Title: To Centralize or Not to Centralize: A Tale of Swarm Coordination

Justin Hu, Ariana Bruno, Drew Zagieboylo, Mark Zhao, Brian Ritchken, Brendon Jackson, Joo Yeon Chae, Francois Mertil, Mateo Espinosa, Christina Delimitrou

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

[477] arXiv:1805.01788 [pdf, other]

Title: Equity of Attention: Amortizing Individual Fairness in Rankings

Asia J. Biega, Krishna P. Gummadi, Gerhard Weikum

Comments: Accepted to SIGIR 2018

Subjects: Information Retrieval (cs.IR); Computers and Society (cs.CY)

[478] arXiv:1805.01790 [pdf, other]

Title: Assessing Data Usefulness for Failure Analysis in Anonymized System Logs

Siavash Ghiasvand, Florina M. Ciorba

Comments: 11 pages, 3 figures, submitted to 17th IEEE International Symposium on Parallel and Distributed Computing

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Cryptography and Security (cs.CR)

[479] arXiv:1805.01803 [pdf, other]

Title: Unsupervised learning for concept detection in medical images: a comparative analysis

Eduardo Pinho, Carlos Costa

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

[480] arXiv:1805.01808 [pdf, other]

Title: Stochastic Geometry-based Uplink Analysis of Massive MIMO Systems with Fractional Pilot Reuse

Priyabrata Parida, Harpreet S. Dhillon

Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)

[481] arXiv:1805.01810 [pdf, other]

Title: Manifold Geometry with Fast Automatic Derivatives and Coordinate Frame Semantics Checking in C++

Leonid Koppel, Steven L. Waslander

Comments: 8 pages, Conference on Computer and Robot Vision (CRV) 2018

Subjects: Robotics (cs.RO)

[482] arXiv:1805.01811 [pdf, other]

Title: Failure Prediction for Autonomous Driving

Simon Hecker, Dengxin Dai, Luc Van Gool

Comments: published in IEEE Intelligent Vehicle Symposium 2018

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

[483] arXiv:1805.01812 [pdf, other]

Title: Mass Conservative Reduced Order Modeling of a Free Boundary Osmotic Cell Swelling Problem

Christoph Lehrenfeld, Stephan Rave

Subjects: Numerical Analysis (math.NA)

[484] arXiv:1805.01817 [pdf, other]

Title: Extreme Adaptation for Personalized Neural Machine Translation

Paul Michel, Graham Neubig

Comments: Accepted as a short paper at ACL 2018

Subjects: Computation and Language (cs.CL)

[485] arXiv:1805.01818 [pdf, other]

Title: Object and Text-guided Semantics for CNN-based Activity Recognition

Sungmin Eum, Christopher Reale, Heesung Kwon, Claire Bonial, Clare Voss

Comments: Submitted to ICIP 2018

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

[486] arXiv:1805.01819 [pdf, other]

Title: Time-on-Task Estimation with Log-Normal Mixture Model

Ilia Rushkin

Subjects: Human-Computer Interaction (cs.HC)

[487] arXiv:1805.01822 [pdf, other]

Title: Inductive Certificate Synthesis for Control Design

Hadi Ravanbakhsh

Comments: PhD thesis, Univ Colorado (2018)

Subjects: Systems and Control (eess.SY)

[488] arXiv:1805.01823 [pdf, other]

Title: A New Perspective on FO Model Checking of Dense Graph Classes

Jakub Gajarský, Petr Hliněný, Daniel Lokshtanov, Jan Obdržálek, M.S. Ramanujan

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

[489] arXiv:1805.01825 [pdf, other]

Title: Simplified SPARQL REST API - CRUD on JSON Object Graphs via URI Paths

Markus Schröder, Jörn Hees, Ansgar Bernardi, Daniel Ewert, Peter Klotz, Steffen Stadtmüller

Comments: 5 pages, 2 figures, ESWC 2018 demo paper

Journal-ref: The Semantic Web: ESWC 2018 Satellite Events - ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers

Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI)

[490] arXiv:1805.01829 [pdf, other]

Title: Regular Expressions and Transducers over Alphabet-invariant and User-defined Labels

Stavros Konstantinidis, Nelma Moreira, Rogerio Reis, Joshua Young

Subjects: Formal Languages and Automata Theory (cs.FL)

[491] arXiv:1805.01830 [pdf, other]

Title: Positioning of High-speed Trains using 5G New Radio Synchronization Signals

Jukka Talvitie, Toni Levanen, Mike Koivisto, Kari Pajukoski, Markku Renfors, Mikko Valkama

Comments: 6 pages, 5 figures, IEEE WCNC 2018 (Wireless Communications and Networking Conference)

Subjects: Information Theory (cs.IT)

[492] arXiv:1805.01831 [pdf, other]

Title: A 64mW DNN-based Visual Navigation Engine for Autonomous Nano-Drones

Daniele Palossi, Antonio Loquercio, Francesco Conti, Eric Flamand, Davide Scaramuzza, Luca Benini

Comments: 15 pages, 13 figures, 5 tables, 2 listings, accepted for publication in the IEEE Internet of Things Journal (IEEE IOTJ)

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Signal Processing (eess.SP)

[493] arXiv:1805.01837 [pdf, other]

Title: Towards a Spectrum of Graph Convolutional Networks

Mathias Niepert, Alberto Garcia-Duran

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

[494] arXiv:1805.01844 [pdf, other]

Title: Polynomial data compression for large-scale physics experiments

Pierre Aubert, Thomas Vuillaume, Gilles Maurin, Jean Jacquemier, Giovanni Lamanna, Nahid Emad

Comments: 12 pages

Journal-ref: Computing and Software for Big Science (2018)

Subjects: Numerical Analysis (math.NA); Instrumentation and Methods for Astrophysics (astro-ph.IM); Computational Physics (physics.comp-ph)

[495] arXiv:1805.01863 [pdf, other]

Title: Verifying Handcoded Probabilistic Inference Procedures

Eric Atkinson, Cambridge Yang, Michael Carbin

Subjects: Programming Languages (cs.PL)

[496] arXiv:1805.01872 [pdf, other]

Title: Automatic Estimation of Modulation Transfer Functions

Matthias Bauer, Valentin Volchkov, Michael Hirsch, Bernhard Schölkopf

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

[497] arXiv:1805.01876 [pdf, other]

Title: Detecting Mutations by eBWT

Nicola Prezza, Nadia Pisanti, Marinella Sciortino, Giovanna Rosone

Comments: simplified Proposition 4; extended Thm 2 to ambiguous clusters

Subjects: Data Structures and Algorithms (cs.DS)

[498] arXiv:1805.01881 [pdf, other]

Title: Scheduling wireless links in the physical interference model by fractional edge coloring

Guilherme I. Ricardo, José F. de Rezende, Valmir C. Barbosa

Comments: This version updates metadata

Journal-ref: IEEE Wireless Communications Letters 9 (2020), 528-532

Subjects: Networking and Internet Architecture (cs.NI)

[499] arXiv:1805.01883 [pdf, other]

Title: The repair problem for Reed-Solomon codes: Optimal repair of single and multiple erasures, asymptotically optimal node size

Itzhak Tamo, Min Ye, Alexander Barg

Comments: Submitted to IEEE Transactions on Information Theory. This paper is a journal version of the earlier conference papers. It contains a unified presentation of the results in arXiv:1706.00112 and arXiv:1710.07216 as well as some other results. Overall it presents a solution of the optimal repair problem for Reed-Solomon codes

Subjects: Information Theory (cs.IT)

[500] arXiv:1805.01887 [pdf, other]

Title: Collaborations on YouTube: From Unsupervised Detection to the Impact on Video and Channel Popularity

Christian Koch, Moritz Lode, Denny Stohr, Amr Rizk, Ralf Steinmetz

Comments: 28 pages, 21 figures

Subjects: Computer Vision and Pattern Recognition (cs.CV); Social and Information Networks (cs.SI)