Computer Science

Authors and titles for November 2015

[51] arXiv:1511.00322 [pdf, other]

Title: Five Constructions of Permutation Polynomials over $\gf(q^2)$

Cunsheng Ding, Pingzhi Yuan

Subjects: Information Theory (cs.IT)

[52] arXiv:1511.00328 [pdf, other]

Title: Integration and approximation in cosine spaces of smooth functions

Christian Irrgeher, Peter Kritzer, Friedrich Pillichshammer

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

Subjects: Numerical Analysis (math.NA)

[53] arXiv:1511.00329 [pdf, other]

Title: Privacy Preserving Driving Style Recognition

Nicholas Rizzo, Ethan Sprissler, Yuan Hong, Sanjay Goel

Comments: International Conference on Connected Vehicles and Expo 2015

Subjects: Cryptography and Security (cs.CR)

[54] arXiv:1511.00341 [pdf, other]

Title: TLS in the wild: an Internet-wide analysis of TLS-based protocols for electronic communication

Ralph Holz, Johanna Amann, Olivier Mehani, Matthias Wachs, Mohamed Ali Kaafar

Comments: NDSS 2016

Subjects: Cryptography and Security (cs.CR)

[55] arXiv:1511.00346 [pdf, other]

Title: Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices)

Ichiro Hasuo, Shunsuke Shimizu, Corina Cirstea

Comments: 24 pages, Extended version with appendices of a paper accepted to POPL 2016

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[56] arXiv:1511.00347 [pdf, other]

Title: Robust Temporal Logic Model Predictive Control

Sadra Sadraddini, Calin Belta

Comments: This work has been accepted to appear in the proceedings of 53rd Annual Allerton Conference on Communication, Control and Computing, Urbana-Champaign, IL (2015)

Subjects: Systems and Control (eess.SY)

[57] arXiv:1511.00352 [pdf, other]

Title: Spatial Semantic Scan: Jointly Detecting Subtle Events and their Spatial Footprint

Abhinav Maurya

Comments: 26 pages

Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL); Machine Learning (stat.ML)

[58] arXiv:1511.00353 [pdf, other]

Title: Universally Near Optimal Online Power Control for Energy Harvesting Nodes

Dor Shaviv, Ayfer Özgür

Comments: the proposed scheme is shown to be optimal both within constant additive and multiplicative gaps; submitted to Journal on Selected Areas in Communications - Series on Green Communications and Networking (Issue 3); revised following reviewers' comments

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

[59] arXiv:1511.00360 [pdf, other]

Title: Automatic Prosody Prediction for Chinese Speech Synthesis using BLSTM-RNN and Embedding Features

Chuang Ding, Lei Xie, Jie Yan, Weini Zhang, Yang Liu

Comments: 5 pages, 4 figures, ASRU 2015

Subjects: Computation and Language (cs.CL); Sound (cs.SD)

[60] arXiv:1511.00363 [pdf, other]

Title: BinaryConnect: Training Deep Neural Networks with binary weights during propagations

Matthieu Courbariaux, Yoshua Bengio, Jean-Pierre David

Comments: Accepted at NIPS 2015, 9 pages, 3 figures

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

[61] arXiv:1511.00367 [pdf, other]

Title: I/O Efficient Core Graph Decomposition at Web Scale

Dong Wen, Lu Qin, Ying Zhang, Xuemin Lin, Jeffrey Xu Yu

Subjects: Databases (cs.DB)

[62] arXiv:1511.00378 [pdf, other]

Title: Subcarrier grouping with environmental sensing for MIMO-OFDM systems over correlated double-selective fading channels

Jiaxun Lu, Zhengchuan Chen, Pingyi Fan, Khaled B. Letaief

Comments: 30 pages, 9 figures, journal version

Subjects: Information Theory (cs.IT)

[63] arXiv:1511.00379 [pdf, other]

Title: A Functional Composition Approach to Filter Sharpening and Modular Filter Design

Sefa Demirtas, Alan V. Oppenheim

Subjects: Systems and Control (eess.SY)

[64] arXiv:1511.00384 [pdf, other]

Title: Z Specification for the W3C Editor's Draft Core SHACL Semantics

Arthur Ryman

Comments: 57 pages, Invited Expert contribution to the W3C RDF Data Shapes Working Group

Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[65] arXiv:1511.00393 [pdf, other]

Title: Detection of Faults in Rotating Machinery Using Periodic Time-Frequency Sparsity

Yin Ding, Wangpeng He, Binqiang Chen, Yanyang Zi, Ivan W. Selesnick

Subjects: Sound (cs.SD)

[66] arXiv:1511.00394 [pdf, other]

Title: Submodular Functions: from Discrete to Continous Domains

Francis Bach (LIENS, SIERRA)

Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC)

[67] arXiv:1511.00412 [pdf, other]

Title: Evaluating Model Checking Approaches to Verify Stability of Control Systems in Simulink

Dejanira Araiza-Illan, Kerstin Eder

Comments: Submitted for review to European Control Conference 2016

Subjects: Systems and Control (eess.SY)

[68] arXiv:1511.00418 [pdf, other]

Title: Broadcast Coded Slotted ALOHA: A Finite Frame Length Analysis

Mikhail Ivanov, Fredrik Brannstrom, Alexandre Graell i Amat, Petar Popovski

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

Subjects: Information Theory (cs.IT)

[69] arXiv:1511.00422 [pdf, other]

Title: Abelian logic gates

Alexander E. Holroyd, Lionel Levine, Peter Winkler

Comments: 35 pages, many figures. v2 revised for referee comments, to appear in Combinatorics, Probability and Computing

Journal-ref: Combinator. Probab. Comp. 28 (2019) 388-422

Subjects: Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)

[70] arXiv:1511.00423 [pdf, other]

Title: Towards Reading Hidden Emotions: A comparative Study of Spontaneous Micro-expression Spotting and Recognition Methods

Xiaobai Li, Xiaopeng Hong, Antti Moilanen, Xiaohua Huang, Tomas Pfister, Guoying Zhao, Matti Pietikäinen

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

[71] arXiv:1511.00425 [pdf, other]

Title: Preconditioned ADMM with nonlinear operator constraint

Martin Benning, Florian Knoll, Carola-Bibiane Schönlieb, Tuomo Valkonen

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

[72] arXiv:1511.00428 [pdf, other]

Title: Geometric approach to tracking and stabilization for a spherical robot actuated by internal rotors

Sneha Gajbhiye, Ravi N. Banavar

Subjects: Systems and Control (eess.SY)

[73] arXiv:1511.00438 [pdf, other]

Title: Semantic Summarization of Egocentric Photo Stream Events

Aniol Lidon, Marc Bolaños, Mariella Dimiccoli, Petia Radeva, Maite Garolera, Xavier Giró-i-Nieto

Comments: Oral paper at the ACM Multimedia 2017 Workshop on Lifelogging Tools and Applications (LTA), Mountain View, California USA. this http URL

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

[74] arXiv:1511.00440 [pdf, other]

Title: ZenLDA: An Efficient and Scalable Topic Model Training System on Distributed Data-Parallel Platform

Bo Zhao, Hucheng Zhou, Guoqiang Li, Yihua Huang

Comments: 11 pages, 10 figures. arXiv admin note: text overlap with arXiv:1412.4986 by other authors

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

[75] arXiv:1511.00442 [pdf, other]

Title: Algorithmic information, plane Kakeya sets, and conditional dimension

Jack H. Lutz, Neil Lutz

Subjects: Computational Complexity (cs.CC)

[76] arXiv:1511.00444 [pdf, other]

Title: Autonomous smartphone apps: self-compilation, mutation, and viral spreading

Paul Brussee, Johan Pouwelse

Comments: 7 pages, 5 figures; addition section 2

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

[77] arXiv:1511.00446 [pdf, other]

Title: Saturation Power based Simple Energy Efficiency Maximization Schemes for MU-MISO Systems

Jaehoon Jung, Sang-Rim Lee, Inkyu Lee

Comments: 21 pages, 7 figures

Subjects: Information Theory (cs.IT)

[78] arXiv:1511.00449 [pdf, other]

Title: Optimal sampling patterns for Zernike polynomials

D. Ramos-Lopez, M. A. Sanchez-Granero, M. Fernandez-Martinez, A. Martinez-Finkelshtein

Comments: 21 pages, 7 figures. Submitted to Appl. Math. Comput

Subjects: Numerical Analysis (math.NA)

[79] arXiv:1511.00452 [pdf, other]

Title: Stable Matching Mechanisms are Not Obviously Strategy-Proof

Itai Ashlagi, Yannai A. Gonczarowski

Subjects: Computer Science and Game Theory (cs.GT)

[80] arXiv:1511.00457 [pdf, other]

Title: Structure theory of flip graphs with applications to Weak Symmetry Breaking

Dmitry N. Kozlov

Comments: Final version, as accepted for publication

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Combinatorics (math.CO)

[81] arXiv:1511.00461 [pdf, other]

Title: Circle detection using isosceles triangles sampling

Hanqing Zhang, Krister Wiklund, Magnus Andersson

Comments: Manuscript, 31 pages, 11 figures

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

[82] arXiv:1511.00466 [pdf, other]

Title: Multi-rate time stepping schemes for hydro-geomechanical model for subsurface methane hydrate reservoirs

Shubhangi Gupta, Barbara I. Wohlmuth, Rainer Helmig

Comments: Advances in Water Resources

Subjects: Numerical Analysis (math.NA)

[83] arXiv:1511.00471 [pdf, other]

Title: On the finite element approximation of infinity-harmonic functions

Tristan Pryer

Comments: 11 pages, 2 tables, 3 figures

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

[84] arXiv:1511.00472 [pdf, other]

Title: Water Detection through Spatio-Temporal Invariant Descriptors

Pascal Mettes, Robby T. Tan, Remco C. Veltkamp

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

[85] arXiv:1511.00486 [pdf, other]

Title: Parallel Exhaustive Search without Coordination

Pierre Fraigniaud, Amos Korman, Yoav Rodeh

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

[86] arXiv:1511.00493 [pdf, other]

Title: Uniqueness, Spatial Mixing, and Approximation for Ferromagnetic 2-Spin Systems

Heng Guo, Pinyan Lu

Comments: to appear in ACM TOCT

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

[87] arXiv:1511.00509 [pdf, other]

Title: Six Potential Game-Changers in Cyber Security: Towards Priorities in Cyber Science and Engineering

Alexander Kott, Ananthram Swami, Patrick McDaniel

Comments: A version of this paper was presented as a keynote talk at the NATO Symposium on Cyber Security Science and Engineering, 13-14 October 2014, Tallinn, Estonia. A much shorter version was published in IEEE Computer (Kott, Alexander, Ananthram Swami, and Patrick McDaniel. "Security Outlook: Six Cyber Game Changers for the Next 15 Years." Computer 47.12 (2014): 104-106)

Subjects: Cryptography and Security (cs.CR)

[88] arXiv:1511.00511 [pdf, other]

Title: A Formal Model for Direct-style Asynchronous Observables

Philipp Haller, Heather Miller

Subjects: Programming Languages (cs.PL)

[89] arXiv:1511.00513 [pdf, other]

Title: Pixel-wise Segmentation of Street with Neural Networks

Sebastian Bittel, Vitali Kaiser, Marvin Teichmann, Martin Thoma

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

[90] arXiv:1511.00523 [pdf, other]

Title: Minimizing Regret in Discounted-Sum Games

Paul Hunter, Guillermo A. Pérez, Jean-François Raskin

Comments: arXiv admin note: text overlap with arXiv:1504.01708; some typos have been removed in the proof of simple strategies being sufficient to minimize regret against any adversary

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

[91] arXiv:1511.00540 [pdf, other]

Title: Spiking Analog VLSI Neuron Assemblies as Constraint Satisfaction Problem Solvers

Jonathan Binas, Giacomo Indiveri, Michael Pfeiffer

Comments: Accepted at ISCAS 2016

Subjects: Neural and Evolutionary Computing (cs.NE)

[92] arXiv:1511.00542 [pdf, other]

Title: Optimal Vector Linear Index Codes for Some Symmetric Side Information Problems

Mahesh Babu Vaddi, B. Sundar Rajan

Comments: 8 pages and 1 figure. arXiv admin note: text overlap with arXiv:1510.08592

Subjects: Information Theory (cs.IT)

[93] arXiv:1511.00544 [pdf, other]

Title: Spectrum Reservation Contract Design in TV White Space Networks

Yuan Luo, Lin Gao, Jianwei Huang

Subjects: Computer Science and Game Theory (cs.GT)

[94] arXiv:1511.00561 [pdf, other]

Title: SegNet: A Deep Convolutional Encoder-Decoder Architecture for Image Segmentation

Vijay Badrinarayanan, Alex Kendall, Roberto Cipolla

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

[95] arXiv:1511.00562 [pdf, other]

Title: Distance Spectrum of Fixed-Rate Raptor Codes with Linear Random Precoders

Francisco Lázaro, Enrico Paolini, Gianluigi Liva, Gerhard Bauch

Comments: Accepted for publication in the IEEE Journal on Selected Areas in Communications

Subjects: Information Theory (cs.IT)

[96] arXiv:1511.00567 [pdf, other]

Title: Upstream Polling Protocols for Flow Control in PON/xDSL Hybrid Access Networks

Anu Mercian, Elliot I. Gurrola, Frank Aurzada, Michael P. McGarry, Martin Reisslein

Journal-ref: IEEE Transactions on Communications, vol. 64, no. 7, pp. 2971-2984, July 2016

Subjects: Networking and Internet Architecture (cs.NI)

[97] arXiv:1511.00568 [pdf, other]

Title: Network Security Threats and Protection Models

Amit Kumar, Santosh Malhotra

Comments: 12 pages

Subjects: Cryptography and Security (cs.CR)

[98] arXiv:1511.00575 [pdf, other]

Title: Proactive Demand Response for Data Centers: A Win-Win Solution

Hao Wang, Jianwei Huang, Xiaojun Lin, Hamed Mohsenian-Rad

Journal-ref: IEEE Transactions on Smart Grid, 7(3), Pages: 1584-1596, 2016

Subjects: Systems and Control (eess.SY); Distributed, Parallel, and Cluster Computing (cs.DC)

[99] arXiv:1511.00576 [pdf, other]

Title: Sampling Geometric Inhomogeneous Random Graphs in Linear Time

Karl Bringmann, Ralph Keusch, Johannes Lengler

Comments: 25 pages

Subjects: Social and Information Networks (cs.SI); Discrete Mathematics (cs.DM); Networking and Internet Architecture (cs.NI)

[100] arXiv:1511.00577 [pdf, other]

Title: Overlapped List Successive Cancellation Approach for Hardware Efficient Polar Code Decoder

Tiben Che, Jingwei Xu, Gwan Choi

Comments: submitted to ISCAS2016

Subjects: Information Theory (cs.IT)