Computer Science

Authors and titles for May 2012

[1] arXiv:1205.0003 [pdf, other]

Title: Indices to Quantify the Ranking of Arabic Journals and Research Output

Mahmoud Abdel-Aty

Comments: 4 pages, 3 figures

Journal-ref: Inf. Sci. Lett. 1, (2012)

Subjects: Digital Libraries (cs.DL)

[2] arXiv:1205.0030 [pdf, other]

Title: A Market for Unbiased Private Data: Paying Individuals According to their Privacy Attitudes

Christina Aperjis, Bernardo A. Huberman

Subjects: Computers and Society (cs.CY); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)

[3] arXiv:1205.0038 [pdf, other]

Title: Percolation Computation in Complex Networks

Fergal Reid, Aaron McDaid, Neil Hurley

Comments: 12 pages, 8 figures. Supporting source code available: this http URL

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

[4] arXiv:1205.0040 [pdf, other]

Title: Optical Solver of Combinatorial Problems: Nano-Technological Approach

Eyal Cohen, Shlomi Dolev, Sergey Frenkel, Boris Kryzhanovsky, Alexandr Palagushkin, Michael Rosenblit, Victor Zakharov

Subjects: Emerging Technologies (cs.ET)

[5] arXiv:1205.0042 [pdf, other]

Title: jpf-concurrent: An extension of Java PathFinder for java.util.concurrent

Mateusz Ujma, Nastaran Shafiei

Subjects: Software Engineering (cs.SE)

[6] arXiv:1205.0044 [pdf, other]

Title: A Singly-Exponential Time Algorithm for Computing Nonnegative Rank

Ankur Moitra

Comments: 16 pages

Subjects: Data Structures and Algorithms (cs.DS); Information Retrieval (cs.IR); Machine Learning (cs.LG)

[7] arXiv:1205.0076 [pdf, other]

Title: Robust Distributed Routing in Dynamical Networks with Cascading Failures

Giacomo Como, Ketan Savla, Daron Acemoglu, Munther A. Dahleh, Emilio Frazzoli

Subjects: Systems and Control (eess.SY); Dynamical Systems (math.DS)

[8] arXiv:1205.0085 [pdf, other]

Title: Spectrum Leasing via Cooperation for Enhanced Physical-Layer Secrecy

Keonkook Lee, Chan-Byoung Chae, Joonhyuk Kang

Comments: 12 pages, 6 figures, Part of this work was presented at the ICC 2011

Subjects: Information Theory (cs.IT)

[9] arXiv:1205.0088 [pdf, other]

Title: ProPPA: A Fast Algorithm for $\ell_1$ Minimization and Low-Rank Matrix Completion

Ranch Y.Q. Lai, Pong C. Yuen

Comments: update needed

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

[10] arXiv:1205.0103 [pdf, other]

Title: Using parallel processing for file carving

Nebojša Škrbina, Toni Stojanovski

Comments: CIIT Conference, April 2012, Bitola Macedonia

Subjects: Cryptography and Security (cs.CR)

[11] arXiv:1205.0104 [pdf, other]

Title: Migration of data for iKnow application at EURM - a case study

Marko Vučković, Toni Stojanovski

Comments: CIIT Conference, April 2012, Bitola Macedonia

Subjects: Software Engineering (cs.SE)

[12] arXiv:1205.0106 [pdf, other]

Title: Using high performance computing and Monte Carlo simulation for pricing american options

Verche Cvetanoska, Toni Stojanovski

Comments: CIIT Conference, April 2012, Bitola Macedonia

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Finance (q-fin.CP)

[13] arXiv:1205.0110 [pdf, other]

Title: Modelling spatial patterns of economic activity in the Netherlands

Jung-Hun Yang, Dick Ettema, Koen Frenken, Frank Van Oort, Evert-Jan Visser

Comments: 16 pages

Journal-ref: Proceedings of Computers on Urban Planning and Urban Management, HongKong, 2009

Subjects: Multiagent Systems (cs.MA)

[14] arXiv:1205.0124 [pdf, other]

Title: Schedulability Test for Soft Real-Time Systems under Multiprocessor Environment by using an Earliest Deadline First Scheduling Algorithm

Jagbeer Singh, Satyendra Prasad Singh

Comments: 14 pages, 5 figures

Subjects: Operating Systems (cs.OS)

[15] arXiv:1205.0125 [pdf, other]

Title: On the parameter $\mu_{21}$ of a complete bipartite graph

A.M. Khachatryan, R.R. Kamalian

Comments: 5 pages, no figures

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

[16] arXiv:1205.0126 [pdf, other]

Title: On the equivalence of game and denotational semantics for the probabilistic mu-calculus

Matteo Mio (LIX, Ecole Polytechnique)

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 2 (June 1, 2012) lmcs:787

Subjects: Logic in Computer Science (cs.LO)

[17] arXiv:1205.0128 [pdf, other]

Title: It was not known about simple cycles

R.R. Kamalian

Comments: 7 pages, no figures

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

[18] arXiv:1205.0130 [pdf, other]

Title: On one-sided interval edge colorings of biregular bipartite graphs

R.R. Kamalian

Comments: 6 pages, no figures

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

[19] arXiv:1205.0131 [pdf, other]

Title: Estimates for the number of vertices with an interval spectrum in proper edge colorings of some graphs

R.R. Kamalian

Comments: 10 pages, no figures

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

[20] arXiv:1205.0139 [pdf, other]

Title: $\lambda$-Scale, a lambda calculus for spaces with dilations

Marius Buliga

Comments: massively re-written version, condensed, relative calculus introduced

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO); Metric Geometry (math.MG); Rings and Algebras (math.RA)

[21] arXiv:1205.0144 [pdf, other]

Title: Everywhere-Sparse Spanners via Dense Subgraphs

Eden Chlamtac, Michael Dinitz, Robert Krauthgamer

Comments: 39 pages

Subjects: Data Structures and Algorithms (cs.DS)

[22] arXiv:1205.0157 [pdf, other]

Title: A Secret Sharing Scheme Based on Group Presentations and the Word Problem

Maggie Habeeb, Delaram Kahrobaei, Vladimir Shpilrain

Comments: 8 pages

Subjects: Cryptography and Security (cs.CR); Group Theory (math.GR)

[23] arXiv:1205.0159 [pdf, other]

Title: A posteriori error analysis for a continuous space-time finite element method for a hyperbolic integro-differential equation

Fardin Saedpanah

Comments: 30 pages

Subjects: Numerical Analysis (math.NA)

[24] arXiv:1205.0162 [pdf, other]

Title: Joint Power and Resource Allocation for Block-Fading Relay-Assisted Broadcast Channels

Mohammad Shaqfeh, Hussein Alnuweiri

Comments: IEEE Transactions on Wireless Communications, June 2011

Subjects: Information Theory (cs.IT); Optimization and Control (math.OC)

[25] arXiv:1205.0170 [pdf, other]

Title: New developments in parsing Mizar

Czeslaw Bylinski, Jesse Alama

Comments: 5 pages. Accepted at Mathematical Knowledge Management 2012 Track D (Systems and Projects), Bremen, Germany, July 2012

Subjects: Programming Languages (cs.PL); Logic (math.LO)

[26] arXiv:1205.0175 [pdf, other]

Title: Approximating Sparse Covering Integer Programs Online

Anupam Gupta, Viswanath Nagarajan

Comments: 16 pages

Subjects: Data Structures and Algorithms (cs.DS)

[27] arXiv:1205.0178 [pdf, other]

Title: A Survey of Multi-Tape Automata

Carlo A. Furia

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

[28] arXiv:1205.0181 [pdf, other]

Title: Distributed Linear Precoder Optimization and Base Station Selection for an Uplink Heterogeneous Network

Mingyi Hong, Zhi-Quan Luo

Subjects: Information Theory (cs.IT)

[29] arXiv:1205.0192 [pdf, other]

Title: Large-scale compression of genomic sequence databases with the Burrows-Wheeler transform

Anthony J. Cox, Markus J. Bauer, Tobias Jakobi, Giovanna Rosone

Comments: Version here is as submitted to Bioinformatics and is same as the previously archived version. This submission registers the fact that the advanced access version is now available at this http URL . Bioinformatics should be considered as the original place of publication of this article, please cite accordingly

Subjects: Data Structures and Algorithms (cs.DS); Genomics (q-bio.GN)

[30] arXiv:1205.0193 [pdf, other]

Title: On cyclically-interval edge colorings of trees

R.R. Kamalian

Comments: 9 pages, no figures

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

[31] arXiv:1205.0207 [pdf, other]

Title: Shortest Path Set Induced Vertex Ordering and its Application to Distributed Distance Optimal Multi-agent Formation Path Planning

Jingjin Yu

Comments: Extended the earlier version to 8 Pages, complete with literature review. One additional section on a distributed scheduling algorithm is added

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

[32] arXiv:1205.0243 [pdf, other]

Title: Poultry Diseases Expert System using Dempster-Shafer Theory

Andino Maseleno, Md. Mahmud Hasan

Comments: Brunei International Conference and Engineering Technology 2012

Subjects: Artificial Intelligence (cs.AI); Applications (stat.AP)

[33] arXiv:1205.0263 [pdf, other]

Title: An Entropic Proof of Chang's Inequality

Russell Impagliazzo, Cristopher Moore, Alexander Russell

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

[34] arXiv:1205.0273 [pdf, other]

Title: Geometric Computations on Indecisive and Uncertain Points

Allan Jorgensen, Maarten Löffler, Jeff M. Phillips

Comments: 26 pages, 30 figures. This replaces a paper here (https://arxiv.org/abs/0812.2967) that was split, extended, and published in two venues (ESA 2009 and WADS 2011); although the old version contains some minor content that was omitted to make a more coherent story

Subjects: Computational Geometry (cs.CG)

[35] arXiv:1205.0281 [pdf, other]

Title: Improving Achievable Rate for the Two-User SISO Interference Channel with Improper Gaussian Signaling

Yong Zeng, Cenk M. Yetis, Erry Gunawan, Yong Liang Guan, Rui Zhang

Comments: Version 2, Invited paper, submitted to Asilomar 2012

Subjects: Information Theory (cs.IT)

[36] arXiv:1205.0288 [pdf, other]

Title: A Randomized Mirror Descent Algorithm for Large Scale Multiple Kernel Learning

Arash Afkanpour, András György, Csaba Szepesvári, Michael Bowling

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

[37] arXiv:1205.0312 [pdf, other]

Title: Least Information Modeling for Information Retrieval

Weimao Ke

Comments: 10 pages, 3 figures

Subjects: Information Retrieval (cs.IR); Information Theory (cs.IT)

[38] arXiv:1205.0314 [pdf, other]

Title: Analysis of Boolean Functions

Li-Yang Tan

Comments: 43 pages

Subjects: Computational Complexity (cs.CC)

[39] arXiv:1205.0325 [pdf, other]

Title: Energy-Efficient Delay-Constrained Transmission and Sensing for Cognitive Radio Systems

Yuan Wu, Vincent K. N. Lau, Danny H. K. Tsang, Liping Qian

Comments: waiting for the agreements from all the coauthors

Subjects: Networking and Internet Architecture (cs.NI)

[40] arXiv:1205.0326 [pdf, other]

Title: Performance Analysis of Decode-and-Forward Relaying in Gamma-Gamma Fading Channels

Manav R. Bhatnagar

Comments: 3 pages, 1 figure, journal

Journal-ref: IEEE Photonics Technology Letters, volume 24, number 7, pages 545-547, April 2012

Subjects: Information Theory (cs.IT)

[41] arXiv:1205.0329 [pdf, other]

Title: An Adaptive Conditional Zero-Forcing Decoder with Full-diversity, Least Complexity and Essentially-ML Performance for STBCs

Lakshmi Prasad Natarajan, B. Sundar Rajan

Comments: 11 pages, 4 figures. Corrected a minor typographical error

Subjects: Information Theory (cs.IT)

[42] arXiv:1205.0337 [pdf, other]

Title: Stochastic TCO minimization for Video Transmission over IP Networks

Pejman Goudarzi

Subjects: Networking and Internet Architecture (cs.NI)

[43] arXiv:1205.0343 [pdf, other]

Title: Signed and Minus Domination in Complete Multipartite Graphs

Hongyu Liang

Comments: Accepted to Ars Combinatoria

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

[44] arXiv:1205.0345 [pdf, other]

Title: Bounds on List Decoding Gabidulin Codes

Antonia Wachter-Zeh (NT, IRMAR)

Comments: Thirteenth International Workshop on Algebraic and Combinatorial Coding Theory (ACCT 2012), Pomorie : Bulgaria (2012)

Subjects: Information Theory (cs.IT)

[45] arXiv:1205.0357 [pdf, other]

Title: Modes of Convergence for Term Graph Rewriting

Patrick Bahr (Department of Computer Science, University of Copenhagen)

Comments: arXiv admin note: substantial text overlap with arXiv:1107.0666

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 2 (June 1, 2012) lmcs:935

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

[46] arXiv:1205.0368 [pdf, other]

Title: A time-splitting spectral scheme for the Maxwell-Dirac system

Zhongyi Huang, Shi Jin, Peter Markowich, Christof Sparber, Chunxiong Zheng

Comments: 29 pages, 119 figures

Journal-ref: J. Comput. Phys, 208 (2): 761-789, 2005

Subjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph); Quantum Physics (quant-ph)

[47] arXiv:1205.0376 [pdf, other]

Title: Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time

Holger Hermanns, Andrea Turrini

Comments: Polished version with a more complete running example and typo fixes

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

[48] arXiv:1205.0393 [pdf, other]

Title: A Bloch decomposition based split-step pseudo spectral method for quantum dynamics with periodic potentials

Zhongyi Huang, Shi Jin, Peter Markowich, Christof Sparber

Comments: 26 pages, 50 figures

Journal-ref: SIAM J Sci. Comput., 29 (2): 515-538, 2007

Subjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph); Quantum Physics (quant-ph)

[49] arXiv:1205.0406 [pdf, other]

Title: Minimax Classifier for Uncertain Costs

Rui Wang, Ke Tang

Comments: 6 pages, more materials will be added into the manuscript

Subjects: Machine Learning (cs.LG)

[50] arXiv:1205.0411 [pdf, other]

Title: Hypothesis testing using pairwise distances and associated kernels (with Appendix)

Dino Sejdinovic, Arthur Gretton, Bharath Sriperumbudur, Kenji Fukumizu

Comments: Appearing in Proceedings of the 29th International Conference on Machine Learning, Edinburgh, Scotland, UK, 2012

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