Computer Science

Authors and titles for January 2008

[26] arXiv:0801.0534 [pdf, other]

Title: On the Length of the Wadge Hierarchy of Omega Context Free Languages

Olivier Finkel (ELM)

Journal-ref: Journal of Automata, Languages and Combinatorics 10 (4) (2005) 439-464

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Computer Science and Game Theory (cs.GT); Logic (math.LO)

[27] arXiv:0801.0535 [pdf, other]

Title: An omega-Power of a Finitary Language Which is a Borel Set of Infinite Rank

Olivier Finkel (ELM)

Journal-ref: Fundamenta Informaticae 62 (3-4) (2004) 333-342

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[28] arXiv:0801.0537 [pdf, other]

Title: On Infinite Real Trace Rational Languages of Maximum Topological Complexity

Olivier Finkel (ELM), Jean-Pierre Ressayre (ELM), Pierre Simonnet (SPE)

Journal-ref: Zapiski Nauchnyh Seminarov POMI 316 (2004) 205-223

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[29] arXiv:0801.0540 [pdf, other]

Title: Blind decoding of Linear Gaussian channels with ISI, capacity, error exponent, universality

Lóránt Farkas

Comments: 7 pages, 1 figure

Subjects: Information Theory (cs.IT)

[30] arXiv:0801.0575 [pdf, other]

Title: A Flexible and Secure Remote Systems Authentication Scheme Using Smart Cards

Manik Lal Das

Journal-ref: Published in the Transactions on Electronics, Computer and Communication, 1(2):78-82, 2006

Subjects: Cryptography and Security (cs.CR)

[31] arXiv:0801.0581 [pdf, other]

Title: Capacity of The Discrete-Time Non-Coherent Memoryless Rayleigh Fading Channels at Low SNR

Z. Rezki, David Haccoun, François Gagnon

Comments: 26 pages, 5 figues, submitted to IEEE Trans. on Information Theory, Septembre 2007

Subjects: Information Theory (cs.IT)

[32] arXiv:0801.0590 [pdf, other]

Title: An algorithm for finding the Independence Number of a graph

Omar Kettani

Comments: 15 pages; a corrected proof for the second method is added

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

[33] arXiv:0801.0597 [pdf, other]

Title: Distributed Power Allocation Strategies for Parallel Relay Networks

Min Chen, Semih Serbetli, Aylin Yener

Comments: IEEE Transactions on Wireless Communications, accepted for publication. 10 pages, 7 figures

Subjects: Information Theory (cs.IT)

[34] arXiv:0801.0609 [pdf, other]

Title: Applying the CobiT Control Framework to Spreadsheet Developments

Raymond J. Butler

Comments: 6 Pages

Journal-ref: Proc. European Spreadsheet Risks Int. Grp. 2001 7-13 ISBN:1 86166 179 7

Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)

[35] arXiv:0801.0625 [pdf, other]

Title: On the Robustness of the Delay-Based Fingerprint Embedding Scheme

Shiguo Lian

Comments: 9 pages,6 figures

Subjects: Multimedia (cs.MM); Sound (cs.SD)

[36] arXiv:0801.0649 [pdf, other]

Title: A logical analysis of entanglement and separability in quantum higher-order functions

F. Prost, C. Zerrari

Comments: 19 pages

Subjects: Logic in Computer Science (cs.LO)

[37] arXiv:0801.0672 [pdf, other]

Title: On Multipath Fading Channels at High SNR

Tobias Koch, Amos Lapidoth

Comments: To be presented at the 2008 IEEE Symposium on Information Theory (ISIT), Toronto, Canada; replaced with version that appears in the proceedings

Subjects: Information Theory (cs.IT)

[38] arXiv:0801.0677 [pdf, other]

Title: Finite-state concurrent programs can be expressed pairwise

Paul C. Attie

Comments: 14 pages

Subjects: Logic in Computer Science (cs.LO)

[39] arXiv:0801.0678 [pdf, other]

Title: Implementation of perception and action at nanoscale

Sylvain Marlière (ICA), Jean Loup Florens (ICA), Florence Marchi (ESRF, NEEL), Annie Luciani (ICA), Joel Chevrier (ESRF, NEEL)

Comments: Proceedings of ENACTIVE/07 4th International Conference on Enactive Interfaces Grenoble, France, November 19th-22nd, 2007

Subjects: Robotics (cs.RO); Human-Computer Interaction (cs.HC)

[40] arXiv:0801.0701 [pdf, other]

Title: Adversarial Models and Resilient Schemes for Network Coding

Leah Nutman, Michael Langberg

Comments: Second version includes minor editing

Subjects: Information Theory (cs.IT); Distributed, Parallel, and Cluster Computing (cs.DC); Networking and Internet Architecture (cs.NI)

[41] arXiv:0801.0714 [pdf, other]

Title: Regular Expression Subtyping for XML Query and Update Languages

James Cheney

Comments: ESOP 2008. Companion technical report with proofs

Subjects: Programming Languages (cs.PL); Databases (cs.DB)

[42] arXiv:0801.0715 [pdf, other]

Title: Impact of Errors in Operational Spreadsheets

Stephen G. Powell, Barry Lawson, Kenneth R. Baker

Comments: 12 pages including references

Journal-ref: Proc. European Spreadsheet Risks Int. Grp. 2007 57-68 ISBN 978-905617-58-6

Subjects: Computers and Society (cs.CY)

[43] arXiv:0801.0756 [pdf, other]

Title: Distributed Source Coding for Interactive Function Computation

Nan Ma, Prakash Ishwar

Comments: 30 pages, 6 figures. This work has been submitted to the IEEE for possible publication. Parts of this work were presented at 2008 IEEE International Symposium on Information Theory (ISIT'08)

Subjects: Information Theory (cs.IT)

[44] arXiv:0801.0813 [pdf, other]

Title: A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)

Peter Selinger (1), Benoît Valiron (2) ((1) Dalhousie University, (2) University of Ottawa)

Comments: 15 pages. Preprint, to appear in the proceedings of FOSSACS'08

Subjects: Logic in Computer Science (cs.LO)

[45] arXiv:0801.0815 [pdf, other]

Title: Joint Wyner-Ziv/Dirty Paper coding by modulo-lattice modulation

Yuval Kochman, Ram Zamir

Comments: Submitted to IEEE Transactions on Information Theory. Presented in part in ISIT-2006, Seattle. New version after review

Subjects: Information Theory (cs.IT)

[46] arXiv:0801.0830 [pdf, other]

Title: Evolution of central pattern generators for the control of a five-link bipedal walking mechanism

Atilim Gunes Baydin

Comments: 11 pages, 9 figures; substantial revision of content, organization, and quantitative results

Journal-ref: Paladyn. Journal of Behavioral Robotics 3(1), 45-53 (2012)

Subjects: Neural and Evolutionary Computing (cs.NE); Robotics (cs.RO)

[47] arXiv:0801.0857 [pdf, other]

Title: Period-Different $m$-Sequences With At Most A Four-Valued Cross Correlation

Lei Hu, Xiangyong Zeng, Nian Li, Wenfeng Jiang

Comments: 9 pages

Subjects: Information Theory (cs.IT); Discrete Mathematics (cs.DM)

[48] arXiv:0801.0882 [pdf, other]

Title: Call-by-value Termination in the Untyped lambda-calculus

Neil D. Jones, Nina Bohr

Journal-ref: Logical Methods in Computer Science, Volume 4, Issue 1 (March 17, 2008) lmcs:915

Subjects: Programming Languages (cs.PL)

[49] arXiv:0801.0931 [pdf, other]

Title: The Asymptotic Bit Error Probability of LDPC Codes for the Binary Erasure Channel with Finite Iteration Number

Ryuhei Mori, Kenta Kasai, Tomoharu Shibuya, Kohichi Sakaniwa

Comments: 5 pages, 6 figures, correcting errors in Theorem 1 and poor English

Subjects: Information Theory (cs.IT)

[50] arXiv:0801.0938 [pdf, other]

Title: Cognitive Networks Achieve Throughput Scaling of a Homogeneous Network

Sang-Woon Jeon, Natasha Devroye, Mai Vu, Sae-Young Chung, Vahid Tarokh

Comments: 28 pages, 12 figures, submitted to IEEE Trans. on Information Theory

Journal-ref: IEEE Transactions on Information Theory, vol. 57, no. 8, pp. 5103-5115, Aug. 2011

Subjects: Information Theory (cs.IT)