Computer Science

Authors and titles for May 2016, skipping first 75

[76]  arXiv:1605.00347 [pdf, other]

Title: Parameter estimation for linear control valve with hysteresis

Authors: Li Liang, Liu Jiannan, Wan Huaqing

Comments: 7pages, 8figures

Subjects: Systems and Control (eess.SY)

[77]  arXiv:1605.00354 [pdf, other]

Title: Morphological and Embedded Computation in a Self-contained Soft Robotic Hand

Authors: Nicholas Farrow, Yang Li, Nikolaus Correll

Subjects: Robotics (cs.RO)

[78]  arXiv:1605.00358 [pdf, other]

Title: Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection (Extended Version)

Authors: Federico De Meo, Marco Rocchetto, Luca Viganò

Subjects: Cryptography and Security (cs.CR)

[79]  arXiv:1605.00362 [pdf, ps, other]

Title: An optimized round robin cpu scheduling algorithm with dynamic time quantum

Authors: Amar Ranjan Dash, Sandipta kumar Sahu, Sanjay Kumar Samantra

Comments: 20 pages, 7 figures, 16 Tables. arXiv admin note: text overlap with arXiv:1511.02498

Journal-ref: International Journal of Computer Science, Engineering and Information Technology (IJCSEIT), Vol. 5,No.1, February 2015

Subjects: Operating Systems (cs.OS)

[80]  arXiv:1605.00366 [pdf, other]

Title: Compression Artifacts Removal Using Convolutional Neural Networks

Authors: Pavel Svoboda, Michal Hradis, David Barina, Pavel Zemcik

Comments: To be published in WSCG 2016

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

[81]  arXiv:1605.00371 [pdf, ps, other]

Title: The Diagonal Problem for Higher-Order Recursion Schemes is Decidable

Authors: Lorenzo Clemente, Paweł Parys, Sylvain Salvati, Igor Walukiewicz

Comments: technical report; to appear in LICS'16

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[82]  arXiv:1605.00372 [pdf, ps, other]

Title: A Linear-Time Algorithm for the Weighted Paired-Domination Problem on Block Graphs

Authors: Ching-Chi Lin, Cheng-Yu Hsieh

Subjects: Data Structures and Algorithms (cs.DS)

[83]  arXiv:1605.00381 [pdf, ps, other]

Title: Healthiness from Duality

Authors: Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo, Bart Jacobs

Comments: 13 pages, Extended version with appendices of a paper accepted to LICS 2016

Subjects: Logic in Computer Science (cs.LO)

[84]  arXiv:1605.00382 [pdf, other]

Title: Hybrid Spectrum Access for mmWave Networks

Authors: Mattia Rebato, Federico Boccardi, Marco Mezzavilla, Sundeep Rangan, Michele Zorzi

Comments: Accepted at 15th Annual Mediterranean Ad Hoc Networking Workshop (MED-HOC-NET), 2016

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

[85]  arXiv:1605.00390 [pdf, ps, other]

Title: A New NOMA Approach for Fair Power Allocation

Authors: Jose Armando Oviedo, Hamid R. Sadjadpour

Comments: This paper is published in IEEE INFOCOM 2016 Workshop on 5G & Beyond - Enabling Technologies and Applications; 5 pages, 3 figures

Subjects: Information Theory (cs.IT)

[86]  arXiv:1605.00392 [pdf, other]

Title: Revisiting Human Action Recognition: Personalization vs. Generalization

Authors: Andrea Zunino, Jacopo Cavazza, Vittorio Murino

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

[87]  arXiv:1605.00398 [pdf, ps, other]

Title: Dynamic Address Allocation Algorithm for Mobile Ad hoc Networks

Authors: Akshay Khatri, Sankalp Kolhe, Nupur Giri

Subjects: Networking and Internet Architecture (cs.NI)

[88]  arXiv:1605.00402 [pdf, ps, other]

Title: Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables

Authors: Stephen Melczer, Bruno Salvy

Comments: As accepted to proceedings of ISSAC 2016

Subjects: Symbolic Computation (cs.SC); Combinatorics (math.CO)

[89]  arXiv:1605.00404 [pdf, ps, other]

Title: Simple2Complex: Global Optimization by Gradient Descent

Authors: Ming Li

Subjects: Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)

[90]  arXiv:1605.00406 [pdf, other]

Title: A Tight Lower Bound for the Weights of Maximum Weight Matching in Bipartite Graphs

Authors: Shibsankar Das

Comments: 10 pages, 3 figures

Subjects: Discrete Mathematics (cs.DM)

[91]  arXiv:1605.00409 [pdf, ps, other]

Title: Fair Coexistence of Scheduled and Random Access Wireless Networks: Unlicensed LTE/WiFi

Authors: Cristina Cano, Douglas J. Leith, Andres Garcia-Saavedra, Pablo Serrano

Comments: 14 pages, 8 figures, journal

Subjects: Networking and Internet Architecture (cs.NI)

[92]  arXiv:1605.00410 [pdf, other]

Title: Computing Real Roots of Real Polynomials ... and now For Real!

Authors: Alexander Kobel, Fabrice Rouillier, Michael Sagraloff

Comments: Accepted for presentation at the 41st International Symposium on Symbolic and Algebraic Computation (ISSAC), July 19--22, 2016, Waterloo, Ontario, Canada

Subjects: Mathematical Software (cs.MS); Symbolic Computation (cs.SC); Numerical Analysis (math.NA)

[93]  arXiv:1605.00414 [pdf, ps, other]

Title: On sampling theorem with sparse decimated samples: exploring branching spectrum degeneracy

Authors: Nikolai Dokuchaev

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

Subjects: Information Theory (cs.IT); Statistics Theory (math.ST)

[94]  arXiv:1605.00419 [pdf, other]

Title: Well-Rounded Lattices for Reliability and Security in Rayleigh Fading SISO Channels

Authors: Oliver Wilhelm Gnilke, Ha Thanh Nguyen Tran, Alex Karrila, Camilla Hollanti

Comments: 6 pages, presented at ITW 2016

Subjects: Information Theory (cs.IT)

[95]  arXiv:1605.00420 [pdf, ps, other]

Title: An Enhanced Harmony Search Method for Bangla Handwritten Character Recognition Using Region Sampling

Authors: Ritesh Sarkhel, Amit K Saha, Nibaran Das

Comments: 2nd IEEE International Conference on Recent Trends in Information Systems, 2015

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

[96]  arXiv:1605.00422 [pdf, other]

Title: Munchausen Iteration

Authors: Roland Meyer, Sebastian Muskalla

Subjects: Symbolic Computation (cs.SC); Data Structures and Algorithms (cs.DS)

[97]  arXiv:1605.00423 [pdf, other]

Title: Isogeometric analysis using manifold-based smooth basis functions

Authors: Musabbir Majeed, Fehmi Cirak

Comments: 27 pages, 25 figures

Subjects: Numerical Analysis (math.NA); Graphics (cs.GR)

[98]  arXiv:1605.00425 [pdf, other]

Title: When Theory and Reality Collide: Demystifying the Effectiveness of Ambient Sensing for NFC-based Proximity Detection by Applying Relay Attack Data

Authors: Iakovos Gurulian, Carlton Shepherd, Konstantinos Markantonakis, Raja Naeem Akram, Keith Mayes

Comments: 20 pages, 7 figures, 5 tables, Analysis of 7 Ambient Sensors

Subjects: Cryptography and Security (cs.CR)

[99]  arXiv:1605.00434 [pdf, ps, other]

Title: An Electric Vehicle Charging Management Scheme Based on Publish/Subscribe Communication Framework

Authors: Yue Cao, Ning Wang, George Kamel, Young-jin Kim

Comments: IEEE Systems Journal 2016

Subjects: Networking and Internet Architecture (cs.NI)

[100]  arXiv:1605.00442 [pdf, other]

Title: Token Sliding on Chordal Graphs

Authors: Marthe Bonamy, Nicolas Bousquet

Comments: 21 pages

Subjects: Discrete Mathematics (cs.DM)

[101]  arXiv:1605.00446 [pdf, other]

Title: Challenges of Security and Trust of Mobile Devices as Digital Avionics Component

Authors: Raja Naeem Akram, Konstantinos Markantonakis

Comments: 11 pages, 3 figures, 1 table

Subjects: Cryptography and Security (cs.CR)

[102]  arXiv:1605.00448 [pdf, other]

Title: Follow Spam Detection based on Cascaded Social Information

Authors: Sihyun Jeong, Giseop Noh, Hayoung Oh, Chong-kwon Kim

Comments: 34 pages,10 figures, Preprint submitted to Elsevier Information Sciences

Subjects: Social and Information Networks (cs.SI); Information Retrieval (cs.IR)

[103]  arXiv:1605.00451 [pdf, other]

Title: Towards a characterization of the uncertainty curve for graphs

Authors: Bastien Pasdeloup, Vincent Gripon, Grégoire Mercier, Dominique Pastor

Comments: ICASSP 2016 : 41st IEEE International Conference on Acoustics, Speech and Signal Processing, 20-25 march 2016, Shanghai, China, 2016

Subjects: Other Computer Science (cs.OH); Systems and Control (eess.SY)

[104]  arXiv:1605.00452 [pdf, other]

Title: Fourier Analysis and q-Gaussian Functions: Analytical and Numerical Results

Authors: Paulo Sérgio Silva Rodrigues, Gilson Antonio Giraldi

Comments: 31 pages, 6 figures

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

[105]  arXiv:1605.00459 [pdf, ps, other]

Title: Multi30K: Multilingual English-German Image Descriptions

Authors: Desmond Elliott, Stella Frank, Khalil Sima'an, Lucia Specia

Subjects: Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV)

[106]  arXiv:1605.00462 [pdf, ps, other]

Title: Sharper Upper Bounds for Unbalanced Uniquely Decodable Code Pairs

Authors: Per Austrin, Petteri Kaski, Mikko Koivisto, Jesper Nederlof

Comments: 11 pages; to appear at ISIT 2016

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

[107]  arXiv:1605.00474 [pdf, ps, other]

Title: On Reductions from Multi-Domain Noninterference to the Two-Level Case

Authors: Oliver Woizekowski, Ron van der Meyden

Comments: changed title, abstract; reordered introduction; added some clarifying figures; merged two main results into one

Subjects: Cryptography and Security (cs.CR)

[108]  arXiv:1605.00475 [pdf, other]

Title: Rolling Shutter Camera Relative Pose: Generalized Epipolar Geometry

Authors: Yuchao Dai, Hongdong Li, Laurent Kneip

Comments: Accepted by CVPR 2016, this is an extended version

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

[109]  arXiv:1605.00480 [pdf, ps, other]

Title: Scalable Device-to-Device Communications For Frequency Reuse >> 1

Authors: Daniel Verenzuela, Guowang Miao

Comments: to be published

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

[110]  arXiv:1605.00482 [pdf, ps, other]

Title: Compositional Sentence Representation from Character within Large Context Text

Authors: Geonmin Kim, Hwaran Lee, Jisu Choi, Soo-young Lee

Comments: 13pages

Subjects: Computation and Language (cs.CL)

[111]  arXiv:1605.00492 [pdf, other]

Title: High level implementation of geometric multigrid solvers for finite element problems: applications in atmospheric modelling

Authors: Lawrence Mitchell, Eike Hermann Müller

Comments: 22 pages, 5 figures, 9 tables. Submitted to JCP

Journal-ref: Journal of Computational Physics 327:1-18 (2016)

Subjects: Mathematical Software (cs.MS); Numerical Analysis (math.NA); Fluid Dynamics (physics.flu-dyn)

[112]  arXiv:1605.00495 [pdf, other]

Title: Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments

Authors: Ryuta Arisaka, Ken Satoh

Subjects: Artificial Intelligence (cs.AI)

[113]  arXiv:1605.00498 [pdf, ps, other]

Title: Inspector: A Data Provenance Library for Multithreaded Programs

Authors: Jörg Thalheim, Pramod Bhatotia, Christof Fetzer

Comments: 13 pages

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

[114]  arXiv:1605.00508 [pdf, ps, other]

Title: Towards an Appropriate Beamforming Scheme for Initial Cell Discovery in mmW 5G Cellular Networks

Authors: Waqas bin Abbas, Michele Zorzi

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

[115]  arXiv:1605.00509 [pdf, ps, other]

Title: Quantifying the changing role of past publications

Authors: Katalin Orosz, Illes J. Farkas, Peter Pollner

Comments: 31 pages, 10 figures, to appear in Scientometrics

Journal-ref: Scientometrics 108, 829 (2016)

Subjects: Digital Libraries (cs.DL); Social and Information Networks (cs.SI); Data Analysis, Statistics and Probability (physics.data-an); Physics and Society (physics.soc-ph)

[116]  arXiv:1605.00526 [pdf, other]

Title: A modified sequence domain impedance definition and its equivalence to the dq-domain impedance definition for the stability analysis of AC power electronic systems

Authors: Atle Rygg, Marta Molinas, Zhang Chen, Xu Cai

Subjects: Systems and Control (eess.SY)

[117]  arXiv:1605.00532 [pdf, other]

Title: Parameterized complexity of the MINCCA problem on graphs of bounded decomposability

Authors: Didem Gözüpek, Sibel Özkan, Christophe Paul, Ignasi Sau, Mordechai Shalom

Comments: 25 pages, 11 figures

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

[118]  arXiv:1605.00558 [pdf, other]

Title: Algorithms for the Pagination Problem, a Bin Packing with Overlapping Items

Authors: Aristide Grange, Imed Kacem, Sébastien Martin

Comments: 15 pages, 8 figures, preprint

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

[119]  arXiv:1605.00559 [pdf, other]

Title: Age-of-Information in the Presence of Error

Authors: Kun Chen, Longbo Huang

Comments: 8 pages, 3 figures

Subjects: Performance (cs.PF)

[120]  arXiv:1605.00561 [pdf, other]

Title: Parallel Wavelet Schemes for Images

Authors: David Barina, Michal Kula, Pavel Zemcik

Comments: This is a preprint of the article that appeared in the Journal of Real-Time Image Processing. The final publication is available at Springer via this http URL

Journal-ref: Real-Time Image Proc (2019) 16: 1365

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

[121]  arXiv:1605.00565 [pdf, ps, other]

Title: Weaker consistency notions for all the CSPs of bounded width

Authors: Marcin Kozik

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[122]  arXiv:1605.00572 [pdf, other]

Title: Comparison of Optimization Methods in Optical Flow Estimation

Authors: Noranart Vesdapunt, Utkarsh Sinha

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

[123]  arXiv:1605.00601 [pdf, other]

Title: Distributed Inertial Best-Response Dynamics

Authors: Brian Swenson, Ceyhun Eksin, Soummya Kar, Alejandro Ribeiro

Subjects: Systems and Control (eess.SY); Computer Science and Game Theory (cs.GT)

[124]  arXiv:1605.00604 [pdf, ps, other]

Title: Formal Verification of Obstacle Avoidance and Navigation of Ground Robots

Authors: Stefan Mitsch, Khalil Ghorbal, David Vogelbacher, André Platzer

Journal-ref: International Journal of Robotics Research. 36(12), pp. 1312-1340, 2017

Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO); Robotics (cs.RO)

[125]  arXiv:1605.00609 [pdf, other]

Title: Algorithms for Learning Sparse Additive Models with Interactions in High Dimensions

Authors: Hemant Tyagi, Anastasios Kyrillidis, Bernd Gärtner, Andreas Krause

Comments: To appear in Information and Inference: A Journal of the IMA. Made following changes after review process: (a) Corrected typos throughout the text. (b) Corrected choice of sampling distribution in Section 5, see eqs. (5.2), (5.3). (c) More detailed comparison with existing work in Section 8. (d) Added Section B in appendix on roots of cubic equation

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