Computer Science

Authors and titles for Jun 2005, skipping first 50

[51]  arXiv:cs/0506051 [pdf, ps, other]

Title: Comparison of two different implementations of a finite-difference-method for first-order pde in mathematica and matlab

Authors: Heiko Herrmann, Gunnar Rueckner

Comments: LaTeX, 6 pages, 9 eps-figures, v2: minor additions/corrections

Subjects: Computational Engineering, Finance, and Science (cs.CE); Discrete Mathematics (cs.DM)

[52]  arXiv:cs/0506052 [pdf, ps, other]

Title: Comments on `Bit Interleaved Coded Modulation'

Authors: Vignesh Sethuraman, Bruce Hajek

Comments: This is the version after review (shorter, better etc)

Subjects: Information Theory (cs.IT)

[53]  arXiv:cs/0506053 [pdf, ps, other]

Title: Analysis on Transmit Antenna Selection for Spatial Multiplexing Systems: A Geometrical Approach

Authors: Hongyuan Zhang, Huaiyu Dai, Quan Zhou, Brian L. Hughes

Comments: 28 Pages, Submitted IEEE Trans. Info. Theory

Subjects: Information Theory (cs.IT)

[54]  arXiv:cs/0506054 [pdf, ps, other]

Title: Efficiency Loss in a Network Resource Allocation Game: The Case of Elastic Supply

Authors: Ramesh Johari (Stanford University), Shie Mannor (McGill University), John N. Tsitsiklis (MIT)

Comments: Originally Laboratory for Information and Decision Systems (MIT) Publication 2605

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

[55]  arXiv:cs/0506055 [pdf, ps, other]

Title: The Complexity of Kings

Authors: Edith Hemaspaandra, Lane A. Hemaspaandra, Osamu Watanabe

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)

[56]  arXiv:cs/0506056 [pdf, ps, other]

Title: Large Alphabets and Incompressibility

Authors: Travis Gagie

Subjects: Information Theory (cs.IT)

[57]  arXiv:cs/0506057 [pdf, ps, other]

Title: About one 3-parameter Model of Testing

Authors: Kromer Victor

Comments: 9 pages; in Russian; Paper with changed content

Subjects: Machine Learning (cs.LG)

[58]  arXiv:cs/0506058 [pdf, ps, other]

Title: An MSE Based Ttransfer Chart to Analyze Iterative Decoding Schemes

Authors: Kapil Bhattad, Krishna Narayanan

Subjects: Information Theory (cs.IT)

[59]  arXiv:cs/0506059 [pdf, ps, other]

Title: Existentially Restricted Quantified Constraint Satisfaction

Authors: Hubie Chen

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

[60]  arXiv:cs/0506060 [pdf, ps, other]

Title: Yet another normalisation proof for Martin-Lof's logical framework--Terms with correct arities are strongly normalising

Authors: Yong Luo

Comments: 19 pages

Subjects: Logic in Computer Science (cs.LO)

[61]  arXiv:cs/0506061 [pdf, ps, other]

Title: Security Policies as Membranes in Systems for Global Computing

Authors: Daniele Gorla, Matthew Hennessy, Vladimiro Sassone

Comments: 23 pages; to appear in Logical Methods in Computer Science

Journal-ref: Logical Methods in Computer Science, Volume 1, Issue 3 (December 20, 2005) lmcs:2262

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

[62]  arXiv:cs/0506062 [pdf, ps, other]

Title: A CDMA multiuser detection algorithm based on survey propagation

Authors: Yoshiyuki Kabashima

Comments: Abstract for my presentation at Randomness and Computation Joint Workshop ``New Horizons in Computing'' and ``Statistical Mechanical Approach to Probabilistic Information Processing'' (18-21 July, 2005, Sendai, Japan)

Subjects: Information Theory (cs.IT)

[63]  arXiv:cs/0506063 [pdf, ps, other]

Title: Priority-Based Conflict Resolution in Inconsistent Relational Databases

Authors: Slawomir Staworko, Jan Chomicki

Subjects: Databases (cs.DB)

[64]  arXiv:cs/0506064 [pdf, ps, other]

Title: Optimal multiple assignments based on integer programming in secret sharing schemes with general access structures

Authors: Mitsugu Iwamoto, Hirosuke Yamamoto, Hirohisa Ogawa

Subjects: Cryptography and Security (cs.CR); Information Theory (cs.IT)

[65]  arXiv:cs/0506065 [pdf, ps, other]

Title: Strongly secure ramp secret sharing schemes for general access structures

Authors: Mitsugu Iwamoto, Hirosuke Yamamoto

Subjects: Cryptography and Security (cs.CR); Information Theory (cs.IT)

[66]  arXiv:cs/0506066 [pdf, ps, other]

Title: Impersonation with the Echo Protocol

Authors: Yoo Chung, Dongman Lee

Comments: submitted to ACM Workshop on Wireless Security (2005)

Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)

[67]  arXiv:cs/0506067 [pdf, ps, other]

Title: Measuring Woody: The Size of Debian 3.0

Authors: Juan Jose Amor, Gregorio Robles, Jesus Gonzalez-Barahona

Subjects: Software Engineering (cs.SE)

[68]  arXiv:cs/0506068 [pdf, ps, other]

Title: Quantum Arthur-Merlin Games

Authors: Chris Marriott, John Watrous

Comments: 22 pages

Journal-ref: Computational Complexity, 14(2): 122 - 152, 2005

Subjects: Computational Complexity (cs.CC); Quantum Physics (quant-ph)

[69]  arXiv:cs/0506069 [pdf, ps, other]

Title: A generating function method for the average-case analysis of DPLL

Authors: Remi Monasson (LPTENS)

Comments: RANDOM 2005, Berkeley, August 22-24

Journal-ref: RANDOM 2005, Berkeley, CA, \'Etats-Unis d'Am\'erique, p.402-413

Subjects: Computational Complexity (cs.CC); Disordered Systems and Neural Networks (cond-mat.dis-nn)

[70]  arXiv:cs/0506070 [pdf, ps, other]

Title: Data Visualization on Shared Usage Multi-Screen Environment

Authors: Ph.D. Yuriy A. Chashkov

Comments: 4 pages, 1 figure

Subjects: Multimedia (cs.MM)

[71]  arXiv:cs/0506071 [pdf, ps, other]

Title: Signal transmission on lossy lines as a dissipative quantum state propagation

Authors: Yu. Reznykov

Comments: 6 pages, revtex4

Subjects: Networking and Internet Architecture (cs.NI)

[72]  arXiv:cs/0506072 [pdf, ps, other]

Title: Performance Analysis of Algebraic Soft Decoding of Reed-Solomon Codes over Binary Symmetric and Erasure Channels

Authors: Jing Jiang, Krishna R. Narayanan

Comments: 5 pages, 3 figures

Subjects: Information Theory (cs.IT)

[73]  arXiv:cs/0506073 [pdf, ps, other]

Title: Iterative Soft Input Soft Output Decoding of Reed-Solomon Codes by Adapting the Parity Check Matrix

Authors: Jing Jiang, Krishna R. Narayanan

Comments: 10 pages, 10 figures, final version accepted by IEEE Trans. on Information Theory

Subjects: Information Theory (cs.IT)

[74]  arXiv:cs/0506074 [pdf, ps, other]

Title: Redundancy in Logic II: 2CNF and Horn Propositional Formulae

Authors: Paolo Liberatore

Comments: Corrected figures on Theorem 10; added and modified some references

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

[75]  arXiv:cs/0506075 [pdf, ps, other]

Title: Seeing stars: Exploiting class relationships for sentiment categorization with respect to rating scales

Authors: Bo Pang, Lillian Lee

Comments: To appear, Proceedings of ACL 2005

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