Computer Science

Authors and titles for May 2013

[91] arXiv:1305.0648 [pdf, other]

Title: On Guarded Transformation In The Modal Mu-Calculus

Florian Bruse, Oliver Friedmann, Martin Lange

Comments: Expanded version, submitted to: Logic Journal of the IGPL

Subjects: Logic in Computer Science (cs.LO)

[92] arXiv:1305.0649 [pdf, other]

Title: Minimum Common String Partition Parameterized by Partition Size is Fixed-Parameter Tractable

Laurent Bulteau, Christian Komusiewicz

Subjects: Data Structures and Algorithms (cs.DS)

[93] arXiv:1305.0664 [pdf, other]

Title: Practical Implementation of Spatial Modulation

N. Serafimovski, A. Younis, R. Mesleh, P. Chambers, M. Di Renzo, C. X. Wang, P. M. Grant, M. A. Beach, H. Haas

Comments: IEEE Transactions on Vehicular Technology, accepted

Subjects: Information Theory (cs.IT)

[94] arXiv:1305.0665 [pdf, other]

Title: Spectral Classification Using Restricted Boltzmann Machine

Fuqiang Chen, Yan Wu, Yude Bu, Guodong Zhao

Comments: 8 pages, 2 figures, Accepted in PASA for publication

Subjects: Machine Learning (cs.LG)

[95] arXiv:1305.0668 [pdf, other]

Title: GUI Based Automatic Remote Control of Gas Reduction System using PIC Microcontroller

Ayad Ghany Ismaeel, Raghad Zuhair Yousif, Essa F. Abdallh

Comments: 11 pages, 25 figures, Tables 4, and this research obtained certificate from Erbil Power Station, which is the beneficiary company of it. Available at this http URL, 2013

Subjects: Other Computer Science (cs.OH)

[96] arXiv:1305.0669 [pdf, other]

Title: Relative Interval Analysis of Paging Algorithms on Access Graphs

Joan Boyar, Sushmita Gupta, Kim S. Larsen

Comments: IMADA-preprint-cs

Subjects: Data Structures and Algorithms (cs.DS)

[97] arXiv:1305.0673 [pdf, other]

Title: Optimal Productivity of Succoring Patients System using Mobile GIS Based on WCF Technology

Ayad Ghany Ismaeel, Sanaa Enwaya Rizqo

Comments: 10 pages, 5 figures, 2 tables. Available at this http URL, 2013

Subjects: Computers and Society (cs.CY)

[98] arXiv:1305.0674 [pdf, other]

Title: LZ-Compressed String Dictionaries

Julian Arz, Johannes Fischer

Subjects: Data Structures and Algorithms (cs.DS)

[99] arXiv:1305.0688 [pdf, other]

Title: On Flexible Web Services Composition Networks

Chantal Cherifi, Vincent Labatut, Jean-François Santucci

Journal-ref: In: International Conference on Digital Information and Communication Technology and its Applications (DICTAP), Springer CCIS, Dijon, France (2011)

Subjects: Software Engineering (cs.SE); Information Retrieval (cs.IR)

[100] arXiv:1305.0698 [pdf, other]

Title: Learning from Imprecise and Fuzzy Observations: Data Disambiguation through Generalized Loss Minimization

Eyke Hüllermeier

Journal-ref: International Journal of Approximate Reasoning, 55(7):1519-1534, 2014

Subjects: Machine Learning (cs.LG)

[101] arXiv:1305.0699 [pdf, other]

Title: Fast, Incremental Inverted Indexing in Main Memory for Web-Scale Collections

Nima Asadi, Jimmy Lin

Subjects: Information Retrieval (cs.IR); Databases (cs.DB)

[102] arXiv:1305.0711 [pdf, other]

Title: New hybrid distributed voting algorithm

Nina Evseenko

Comments: 3 pages, 2 figures, ICCAT 2013 conference

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

[103] arXiv:1305.0715 [pdf, other]

Title: On the convergence of the Gaver-Stehfest algorithm

Alexey Kuznetsov

Comments: 16 pages, 1 figure

Subjects: Numerical Analysis (math.NA); Complex Variables (math.CV)

[104] arXiv:1305.0735 [pdf, other]

Title: Increasing Smart Meter Privacy Through Energy Harvesting and Storage Devices

Onur Tan, Deniz Gunduz, H. Vincent Poor

Comments: 11 pages, 8 figures, to appear in the IEEE JSAC Smart Grid Series

Subjects: Information Theory (cs.IT)

[105] arXiv:1305.0750 [pdf, other]

Title: Multi-Sided Boundary Labeling

Philipp Kindermann, Benjamin Niedermann, Ignaz Rutter, Marcus Schaefer, André Schulz, Alexander Wolff

Journal-ref: Algorithmica 76(1): 225-258 (2016)

Subjects: Computational Geometry (cs.CG)

[106] arXiv:1305.0757 [pdf, other]

Title: Hierarchies of Predominantly Connected Communities

Michael Hamann, Tanja Hartmann, Dorothea Wagner

Comments: to appear (WADS 2013)

Subjects: Data Structures and Algorithms (cs.DS); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)

[107] arXiv:1305.0763 [pdf, other]

Title: Quantifying the Impact of Parameter Tuning on Nature-Inspired Algorithms

Matthew Crossley, Andy Nisbet, Martyn Amos

Comments: 8 pages, 7 figures. Accepted at the European Conference on Artificial Life (ECAL) 2013, Taormina, Italy

Subjects: Neural and Evolutionary Computing (cs.NE)

[108] arXiv:1305.0776 [pdf, other]

Title: Mixing of the Glauber dynamics for the ferromagnetic Potts model

Magnus Bordewich, Catherine Greenhill, Viresh Patel

Comments: 35 pages. Revision addressing referees' comments

Subjects: Discrete Mathematics (cs.DM); Mathematical Physics (math-ph); Combinatorics (math.CO)

[109] arXiv:1305.0779 [pdf, other]

Title: Equations for lower bounds on border rank

Jonathan D. Hauenstein, Christian Ikenmeyer, J.M. Landsberg

Comments: 13 pages

Subjects: Computational Complexity (cs.CC); Algebraic Geometry (math.AG)

[110] arXiv:1305.0787 [pdf, other]

Title: Monitoring Student Activity in Collaborative Software Development

Daniel Dietsch, Andreas Podelski, Jaechang Nam, Pantelis M. Papadopoulos, Martin Schäf

Subjects: Computers and Society (cs.CY)

[111] arXiv:1305.0807 [pdf, other]

Title: A Novel Symmetric Key Cryptographic Technique at Bit Level Based on Spiral Matrix Concept

Manas Paul, Jyotsna Kumar Mandal

Comments: International Conference on Information Technology, Electronics and Communications (ICITEC 2013), Bangalore, India, March, 2013, 6 page

Subjects: Cryptography and Security (cs.CR)

[112] arXiv:1305.0817 [pdf, other]

Title: Optimal Relay Selection for Physical-Layer Security in Cooperative Wireless Networks

Yulong Zou, Xianbin Wang, Weiming Shen

Comments: 13 pages

Journal-ref: IEEE Journal on Selected Areas in Communications, 2013

Subjects: Information Theory (cs.IT)

[113] arXiv:1305.0842 [pdf, other]

Title: Time Invariant Error Bounds for Modified-CS based Sparse Signal Sequence Recovery

Jinchun Zhan, Namrata Vaswani

Comments: Accepted to IEEE Transaction on Information Theory. arXiv admin note: substantial text overlap with arXiv:1104.2108

Subjects: Information Theory (cs.IT)

[114] arXiv:1305.0854 [pdf, other]

Title: Off-Path Hacking: The Illusion of Challenge-Response Authentication

Yossi Gilad, Amir Herzberg, Haya Shulman

Subjects: Cryptography and Security (cs.CR)

[115] arXiv:1305.0860 [pdf, other]

Title: Nonlinearity Computation for Sparse Boolean Functions

Çağdaş Çalık

Subjects: Information Theory (cs.IT)