Computer Science

Authors and titles for January 2008

[1] arXiv:0801.0061 [pdf, other]

Title: Security for Wiretap Networks via Rank-Metric Codes

Danilo Silva, Frank R. Kschischang

Comments: 5 pages, to be published at the 2008 IEEE International Symposium on Information Theory

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

[2] arXiv:0801.0092 [pdf, other]

Title: Nash bargaining with a nondeterministic threat

Kerry Michael Soileau

Comments: Added solution algorithm

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

[3] arXiv:0801.0102 [pdf, other]

Title: Reserved-Length Prefix Coding

Michael B. Baer

Comments: 5 pages, submitted to ISIT 2008

Subjects: Information Theory (cs.IT); Data Structures and Algorithms (cs.DS)

[4] arXiv:0801.0131 [pdf, other]

Title: Two-Level Concept-Oriented Data Model

Alexandr Savinov

Journal-ref: Institute of Mathematics and Computer Science, Academy of Sciences of Moldova, Technical Report RT0006, 2007

Subjects: Databases (cs.DB)

[5] arXiv:0801.0133 [pdf, other]

Title: An Approach to Programming Based on Concepts

Alexandr Savinov

Comments: 49 pages. Related papers: this http URL

Journal-ref: Institute of Mathematics and Computer Science, Academy of Sciences of Moldova, Technical Report RT0005, 2007

Subjects: Programming Languages (cs.PL)

[6] arXiv:0801.0135 [pdf, other]

Title: Concepts and their Use for Modelling Objects and References in Programming Languages

Alexandr Savinov

Comments: 43 pages. Related papers: this http URL

Journal-ref: Institute of Mathematics and Computer Science, Academy of Sciences of Moldova, Technical Report RT0004, 2007

Subjects: Programming Languages (cs.PL)

[7] arXiv:0801.0136 [pdf, other]

Title: Indirect Object Representation and Access by Means of Concepts

Alexandr Savinov

Comments: 8 pages. Related papers: this http URL

Journal-ref: Institute of Mathematics and Computer Science, Academy of Sciences of Moldova, Technical Report, 2006

Subjects: Programming Languages (cs.PL)

[8] arXiv:0801.0139 [pdf, other]

Title: Principles of the Concept-Oriented Data Model

Alexandr Savinov

Comments: 54 pages. Related papers: this http URL

Journal-ref: Institute of Mathematics and Computer Science, Academy of Sciences of Moldova, Technical Report, 2004

Subjects: Databases (cs.DB)

[9] arXiv:0801.0159 [pdf, other]

Title: Interval Edge Colorings of Mobius Ladders

P.A. Petrosyan

Comments: 5 pages (in Russian)

Journal-ref: Proceedings of the CSIT Conference, Yerevan, 2005, 146-149

Subjects: Discrete Mathematics (cs.DM)

[10] arXiv:0801.0232 [pdf, other]

Title: Does intelligence imply contradiction?

Patrizio Frosini

Comments: 39 pages, 6 figures; added Remark 9 (page 19) and Remark 12 (page 25); changed some comments after Definition 13 and in Section 5; some minor changes

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

[11] arXiv:0801.0249 [pdf, other]

Title: A mathematical formalism for agent-based modeling

Reinhard Laubenbacher, Abdul S. Jarrah, Henning Mortveit, S.S. Ravi

Comments: Prepared for the Encyclopedia of Complexity and System Science, Springer Verlag, 2008

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

[12] arXiv:0801.0258 [pdf, other]

Title: On the Maximum Span of Fixed-Angle Chains

Nadia Benbernou, Joseph O'Rourke

Comments: 28 pages, 21 figures. Preliminary version appeared in Proc. 18th Canad. Conf. Comput. Geom., pages 93-96, 2006. This paper has been withdrawn by the authors. Lemma 15 as stated is incorrect, and although we believe the main theorems following (Thms. 17 & 18) are true, the proofs relying on Lem.15 are not valid

Subjects: Computational Geometry (cs.CG)

[13] arXiv:0801.0337 [pdf, other]

Title: The Physical World as a Virtual Reality

Brian Whitworth

Comments: The argument that virtual reality information simulations may be relevant to modern physics theory is a little outside the mainstream, but even people in Physics now consider this possibility, e.g. Svozil

Subjects: Other Computer Science (cs.OH)

[14] arXiv:0801.0340 [pdf, other]

Title: Sum Rate Maximization using Linear Precoding and Decoding in the Multiuser MIMO Downlink

Adam J. Tenenbaum, Raviraj S. Adve

Comments: 6 pages, 4 figures, uses this http URL

Subjects: Information Theory (cs.IT)

[15] arXiv:0801.0352 [pdf, other]

Title: The price of certainty: "waterslide curves" and the gap to capacity

Anant Sahai, Pulkit Grover

Comments: 37 pages, 13 figures. Submitted to IEEE Transactions on Information Theory. This version corrects a subtle bug in the proofs of the original submission and improves the bounds significantly

Subjects: Information Theory (cs.IT)

[16] arXiv:0801.0386 [pdf, other]

Title: Spam: It's Not Just for Inboxes and Search Engines! Making Hirsch h-index Robust to Scientospam

Dimitrios Katsaros, Leonidas Akritidis, Panayiotis Bozanis

Comments: 2 figures, 3 tables

Subjects: Digital Libraries (cs.DL); Information Retrieval (cs.IR)

[17] arXiv:0801.0390 [pdf, other]

Title: Staring at Economic Aggregators through Information Lenses

Richard Nock, Nicolas Sanz, Fred Celimene, Frank Nielsen

Comments: 18 pages, 2 tables, 3 figures

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

[18] arXiv:0801.0398 [pdf, other]

Title: On the graph isomorphism problem

Shmuel Friedland

Comments: 12 pages

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

[19] arXiv:0801.0426 [pdf, other]

Title: On the Relationship between Transmission Power and Capacity of an Underwater Acoustic Communication Channel

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

Comments: 6 pages, 9 Figures, Awaiting acceptance to IEEE Oceans 08 (Conference), Kobe, Japan

Subjects: Information Theory (cs.IT)

[20] arXiv:0801.0452 [pdf, other]

Title: Sum Capacity of the Gaussian Interference Channel in the Low Interference Regime

V. Sreekanth Annapureddy, Venugopal V. Veeravalli

Comments: 6 pages, 4 figures, Proceedings of ITA Workshop, San Diego, CA, Jan-Feb, 2008

Subjects: Information Theory (cs.IT)

[21] arXiv:0801.0455 [pdf, other]

Title: A System Theoretic Approach to Bandwidth Estimation

Jorg Liebeherr, Markus Fidler, Shahrokh Valaee

Comments: 23 pages

Subjects: Networking and Internet Architecture (cs.NI); Performance (cs.PF)

[22] arXiv:0801.0474 [pdf, other]

Title: Analysis and Counterexamples Regarding Yatsenko's Polynomial-Time Algorithm for Solving the Traveling Salesman Problem

Christopher Clingerman, Jeremiah Hemphill, Corey Proscia

Comments: 10 pages, 8 figures, references arXiv:cs/0702133

Subjects: Computational Complexity (cs.CC)

[23] arXiv:0801.0514 [pdf, other]

Title: New results on Noncommutative and Commutative Polynomial Identity Testing

V. Arvind, Partha Mukhopadhyay, Srikanth Srinivasan

Comments: 23 pages, no figure

Subjects: Computational Complexity (cs.CC)

[24] arXiv:0801.0523 [pdf, other]

Title: Certifying floating-point implementations using Gappa

Florent De Dinechin (LIP), Christoph Quirin Lauter (LIP), Guillaume Melquiond (LIP)

Subjects: Numerical Analysis (math.NA); Mathematical Software (cs.MS)

[25] arXiv:0801.0533 [pdf, other]

Title: Topology and Ambiguity in Omega Context Free Languages

Olivier Finkel (ELM), Pierre Simonnet (SPE)

Journal-ref: Bulletin of the Belgian Mathematical Society 10 (5) (2003) 707-722

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

[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)