Computer Science

Authors and titles for September 2008

[1] arXiv:0809.0009 [pdf, other]

Title: Distributed Parameter Estimation in Sensor Networks: Nonlinear Observation Models and Imperfect Communication

Soummya Kar, Jose M.F.Moura, Kavita Ramanan

Comments: IEEE Transactions On Information Theory, Vol. 58, No. 6, June 2012

Subjects: Multiagent Systems (cs.MA); Information Theory (cs.IT)

[2] arXiv:0809.0016 [pdf, other]

Title: An overview of the transmission capacity of wireless networks

Steven Weber, Jeffrey G. Andrews, Nihar Jindal

Comments: Submitted August 13, 2009 to IEEE Transactions on Communications. Revisions submitted December 14, 2009 and February 26, 2010.

Subjects: Information Theory (cs.IT)

[3] arXiv:0809.0021 [pdf, other]

Title: A spectral method for elliptic equations: the Dirichlet problem

Kendall Atkinson (University of Iowa), David Chien (California State University - San Marcos), Olaf Hansen (California State University - San Marcos)

Comments: This is latex with the standard article style, produced using Scientific Workplace in a portable format. The paper is 22 pages in length with 8 figures

Journal-ref: Advances in Computational Mathematics, 33 (2010), pp. 169-189

Subjects: Numerical Analysis (math.NA)

[4] arXiv:0809.0024 [pdf, other]

Title: Game Theory with Costly Computation

Joseph Y. Halpern, Rafael Pass

Subjects: Computer Science and Game Theory (cs.GT); Cryptography and Security (cs.CR)

[5] arXiv:0809.0032 [pdf, other]

Title: A Variational Inference Framework for Soft-In-Soft-Out Detection in Multiple Access Channels

D. D. Lin, T. J. Lim

Comments: Submitted to Transactions on Information Theory

Subjects: Information Theory (cs.IT); Machine Learning (cs.LG)

[6] arXiv:0809.0060 [pdf, other]

Title: Model Checking Probabilistic Timed Automata with One or Two Clocks

Marcin Jurdzinski, Francois Laroussinie, Jeremy Sproston

Journal-ref: Logical Methods in Computer Science, Volume 4, Issue 3 (September 26, 2008) lmcs:988

Subjects: Logic in Computer Science (cs.LO)

[7] arXiv:0809.0062 [pdf, other]

Title: The Stochastic Logarithmic Norm for Stability Analysis of Stochastic Differential Equations

Sk. Safique Ahmad, Nagalinga Rajan, Soumyendu Raha

Comments: 19 pages

Subjects: Numerical Analysis (math.NA)

[8] arXiv:0809.0063 [pdf, other]

Title: Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields

Jean-Guillaume Dumas (LJK), Laurent Fousse (LJK), Bruno Salvy (INRIA Rocquencourt)

Subjects: Symbolic Computation (cs.SC); Number Theory (math.NT)

[9] arXiv:0809.0070 [pdf, other]

Title: Underwater Acoustic Networks: Channel Models and Network Coding based Lower Bound to Transmission Power for Multicast

Daniel E. Lucani, Muriel Médard, Milica Stojanovic

Comments: 12 pages, 10 figures, 2 Tables, Accepted to Journal on Selected Areas in Communications (Underwater Communications and Wireless Networks)

Subjects: Information Theory (cs.IT)

[10] arXiv:0809.0091 [pdf, other]

Title: A functional view of upper bounds on codes

Alexander Barg, Dmitry Nogin

Comments: 10 pages

Journal-ref: " Coding and Cryptography," Proceedings of the First International Workshop, Wuyi Mountain, Fujian, China, 11 - 15 June 2007, edited by Yongqing Li et al., World Scientific, 2008, pp. 15--24

Subjects: Information Theory (cs.IT)

[11] arXiv:0809.0099 [pdf, other]

Title: Degrees of Freedom of the $K$ User $M \times N$ MIMO Interference Channel

Tiangao Gou, Syed A. Jafar

Subjects: Information Theory (cs.IT)

[12] arXiv:0809.0103 [pdf, other]

Title: On the nature of long-range letter correlations in texts

Dmitrii Y. Manin

Comments: 14 pages, 5 figures, unpublished

Subjects: Computation and Language (cs.CL); Information Theory (cs.IT)

[13] arXiv:0809.0116 [pdf, other]

Title: Toward Expressive and Scalable Sponsored Search Auctions

David J. Martin, Johannes Gehrke, Joseph Y. Halpern

Comments: 10 pages, 13 figures, ICDE 2008

Journal-ref: David J. Martin, Johannes Gehrke, and Joseph Y. Halpern. Toward Expressive and Scalable Sponsored Search Auctions. In Proceedings of the 24th IEEE International Conference on Data Engineering, pages 237--246. April 2008

Subjects: Databases (cs.DB)

[14] arXiv:0809.0124 [pdf, other]

Title: A Uniform Approach to Analogies, Synonyms, Antonyms, and Associations

Peter D. Turney (National Research Council of Canada)

Comments: related work available at this http URL

Journal-ref: Proceedings of the 22nd International Conference on Computational Linguistics (Coling 2008), August 2008, Manchester, UK, Pages 905-912

Subjects: Computation and Language (cs.CL); Information Retrieval (cs.IR); Machine Learning (cs.LG)

[15] arXiv:0809.0158 [pdf, other]

Title: Network Tomography Based on Additive Metrics

Jian Ni, Sekhar Tatikonda

Comments: 35 pages

Journal-ref: IEEE Transactions on Information Theory, 57(12), December 2011

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

[16] arXiv:0809.0159 [pdf, other]

Title: Improved Approximations for Guarding 1.5-Dimensional Terrains

K. Elbassioni, D. Matijevic, J. Mestre, D. Severdija

Comments: 10 pages, 1 Postscript figure, uses this http URL

Subjects: Computational Geometry (cs.CG)

[17] arXiv:0809.0188 [pdf, other]

Title: Approximating Transitivity in Directed Networks

Piotr Berman, Bhaskar DasGupta, Marek Karpinski

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

[18] arXiv:0809.0195 [pdf, other]

Title: Light Logics and the Call-by-Value Lambda Calculus

Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca

Comments: 28 pages

Journal-ref: Logical Methods in Computer Science, Volume 4, Issue 4 (November 7, 2008) lmcs:820

Subjects: Logic in Computer Science (cs.LO)

[19] arXiv:0809.0199 [pdf, other]

Title: Dense Error Correction via L1-Minimization

John Wright, Yi Ma

Comments: 40 pages, 9 figures

Subjects: Information Theory (cs.IT)

[20] arXiv:0809.0216 [pdf, other]

Title: Colliding Message Pairs for 23 and 24-step SHA-512

Somitra Kumar Sanadhya, Palash Sarkar

Comments: 2 pages, 2 Tables

Subjects: Cryptography and Security (cs.CR)

[21] arXiv:0809.0257 [pdf, other]

Title: Linear Kernelizations for Restricted 3-Hitting Set Problems

Xuan Cai

Comments: 12 pages

Subjects: Computational Complexity (cs.CC)

[22] arXiv:0809.0271 [pdf, other]

Title: Randomised Variable Neighbourhood Search for Multi Objective Optimisation

Martin Josef Geiger

Journal-ref: Proceedings of the 4th EU/ME Workshop: Design and Evaluation of Advanced Hybrid Meta-Heuristics, November 4--5, Nottingham, United Kingdom, pp. 34-42

Subjects: Artificial Intelligence (cs.AI)

[23] arXiv:0809.0352 [pdf, other]

Title: Instruction sequences and non-uniform complexity theory

J. A. Bergstra, C. A. Middelburg

Comments: 31 pages; 31 pages, improvements of several proof outlines; 33 pages, presentation of section 7 improved

Subjects: Computational Complexity (cs.CC)

[24] arXiv:0809.0355 [pdf, other]

Title: Simulations between triangular and hexagonal number-conserving cellular automata

Katsunobu Imai (I3S, IEC), Bruno Martin (I3S)

Comments: 11 pages; International Workshop on Natural Computing, Yokohama : Japon (2008)

Subjects: Discrete Mathematics (cs.DM)

[25] arXiv:0809.0360 [pdf, other]

Title: The Complexity of Enriched Mu-Calculi

Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi

Comments: A preliminary version of this paper appears in the Proceedings of the 33rd International Colloquium on Automata, Languages and Programming (ICALP), 2006. This paper has been selected for a special issue in LMCS

Journal-ref: Logical Methods in Computer Science, Volume 4, Issue 3 (September 22, 2008) lmcs:993

Subjects: Logic in Computer Science (cs.LO); Computation and Language (cs.CL)