Computer Science

Authors and titles for January 2008

[251] arXiv:0801.4746 [pdf, other]

Title: Concerning Olga, the Beautiful Little Street Dancer (Adjectives as Higher-Order Polymorphic Functions)

Walid S. Saba

Comments: 6 pages

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

[252] arXiv:0801.4750 [pdf, other]

Title: Graceful Degradation of Air Traffic Operations

Maxime Gariel, Eric Feron

Subjects: Other Computer Science (cs.OH)

[253] arXiv:0801.4774 [pdf, other]

Title: Source Code Protection for Applications Written in Microsoft Excel and Google Spreadsheet

Thomas A. Grossman

Comments: 11 pages

Journal-ref: Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2007 81-91 ISBN 978-905617-58-6

Subjects: Software Engineering (cs.SE)

[254] arXiv:0801.4775 [pdf, other]

Title: Spreadsheet Assurance by "Control Around" is a Viable Alternative to the Traditional Approach

Harmen Ettema, Paul Janssen, Jacques de Swart

Comments: 9 pages, one colour diagram and a client case study

Journal-ref: Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2001 107-116 ISBN:1 86166 179 7

Subjects: Software Engineering (cs.SE)

[255] arXiv:0801.4777 [pdf, other]

Title: Non-Deterministic Communication Complexity of Regular Languages

Anil Ada

Comments: Master's thesis, 93 pages

Subjects: Computational Complexity (cs.CC)

[256] arXiv:0801.4790 [pdf, other]

Title: Information Width

Joel Ratsaby

Comments: Typo error in eq. (13)

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

[257] arXiv:0801.4794 [pdf, other]

Title: On the Complexity of Binary Samples

Joel Ratsaby

Subjects: Discrete Mathematics (cs.DM); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[258] arXiv:0801.4802 [pdf, other]

Title: Investigating the Potential of Test-Driven Development for Spreadsheet Engineering

Alan Rust, Brian Bishop, Kevin McDaid

Comments: 11 pages, 5 colour figures, 2 case studies

Journal-ref: Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2006 95-105 ISBN:1-905617-08-9

Subjects: Software Engineering (cs.SE)

[259] arXiv:0801.4807 [pdf, other]

Title: Automatic Text Area Segmentation in Natural Images

Syed Ali Raza Jafri, Mireille Boutin, Edward J. Delp

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[260] arXiv:0801.4817 [pdf, other]

Title: The REESSE2+ Public-key Encryption Scheme

Shenghui Su, Shuwang Lv

Comments: 11 pages, 2 tables

Subjects: Cryptography and Security (cs.CR); Computational Complexity (cs.CC)

[261] arXiv:0801.4845 [pdf, other]

Title: Improved lower bound for deterministic broadcasting in radio networks

Carlos Brito, Shailesh Vaya

Comments: 13 pages

Subjects: Discrete Mathematics (cs.DM); Distributed, Parallel, and Cluster Computing (cs.DC)

[262] arXiv:0801.4851 [pdf, other]

Title: Bicretieria Optimization in Routing Games

Costas Busch, Rajgopal Kannan

Comments: 15 pages, submitted to SPAA

Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS)

[263] arXiv:0801.4911 [pdf, other]

Title: On the Double Coset Membership Problem for Permutation Groups

Oleg Verbitsky

Comments: 14 pages

Journal-ref: Algebraic structures and their applications, pp. 351--363 (2002)

Subjects: Computational Complexity (cs.CC)

[264] arXiv:0801.4917 [pdf, other]

Title: Zero-Knowledge Proofs of the Conjugacy for Permutation Groups

Oleg Verbitsky

Comments: 12 pages

Journal-ref: Bulletin of the Lviv University, Series in Mechanics and Mathematics. Vol. 61, pp. 195--205 (2003)

Subjects: Computational Complexity (cs.CC)

[265] arXiv:0801.0184 (cross-list from math.OC) [pdf, other]

Title: The Existence of Strongly-MDS Convolutional Codes

Ryan Hutchinson

Comments: 17 pages

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

[266] arXiv:0801.0209 (cross-list from math.DS) [pdf, other]

Title: Effective symbolic dynamics, random points, statistical behavior, complexity and entropy

Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas

Subjects: Dynamical Systems (math.DS); Information Theory (cs.IT); Probability (math.PR)

[267] arXiv:0801.0253 (cross-list from q-bio.NC) [pdf, other]

Title: Toward a statistical mechanics of four letter words

Greg J. Stephens, William Bialek

Subjects: Neurons and Cognition (q-bio.NC); Computation and Language (cs.CL); Data Analysis, Statistics and Probability (physics.data-an); Physics and Society (physics.soc-ph)

[268] arXiv:0801.0275 (cross-list from stat.AP) [pdf, other]

Title: Estimating Signals with Finite Rate of Innovation from Noisy Samples: A Stochastic Algorithm

Vincent Y. F. Tan, Vivek K. Goyal

Comments: Submitted to IEEE Transactions on Signal Processing

Journal-ref: IEEE Trans. on Signal Processing, vol. 56, no. 10, pp. 5135-5146, October 2008

Subjects: Applications (stat.AP); Information Theory (cs.IT)

[269] arXiv:0801.0289 (cross-list from math.LO) [pdf, other]

Title: Is Randomness "Native" to Computer Science?

Marie Ferbus-Zanda (LIAFA), Serge Grigorieff (LIAFA)

Comments: 43 pages

Journal-ref: Current Trends in Theoretical Computer Science. Vol2, World Scientific (Ed.) (2004) 141-180

Subjects: Logic (math.LO); Computational Complexity (cs.CC)

[270] arXiv:0801.0341 (cross-list from cond-mat.stat-mech) [pdf, other]

Title: Exactness of Belief Propagation for Some Graphical Models with Loops

Michael Chertkov (Los Alamos)

Comments: 12 pages, 1 figure, submitted to JSTAT

Journal-ref: J. Stat. Mech. (2008) P10016

Subjects: Statistical Mechanics (cond-mat.stat-mech); Other Condensed Matter (cond-mat.other); Artificial Intelligence (cs.AI); Information Theory (cs.IT)

[271] arXiv:0801.0349 (cross-list from math.LO) [pdf, other]

Title: Church, Cardinal and Ordinal Representations of Integers and Kolmogorov complexity

Marie Ferbus-Zanda (LIAFA), Serge Grigorieff (LIAFA)

Comments: 16 pages

Journal-ref: Dans Denis Richard's 60th Biirthday Conference - Denis Richard's 60th Biirthday Conference, France (2002)

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

[272] arXiv:0801.0350 (cross-list from math.LO) [pdf, other]

Title: Refinment of the "up to a constant" ordering using contructive co-immunity and alike. Application to the Min/Max hierarchy of Kolmogorov complexities

Marie Ferbus-Zanda (LIAFA), Serge Grigorieff (LIAFA)

Comments: 41 pages

Subjects: Logic (math.LO); Computational Complexity (cs.CC)

[273] arXiv:0801.0351 (cross-list from math.LO) [pdf, other]

Title: Kolmogorov complexities Kmax, Kmin on computable partially ordered sets

Marie Ferbus-Zanda (LIAFA), Serge Grigorieff (LIAFA)

Comments: 35 pages

Journal-ref: Theoretical Computer Science 352 (2006) 159-180

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

[274] arXiv:0801.0353 (cross-list from math.LO) [pdf, other]

Title: Set theoretical Representations of Integers, I

Marie Ferbus-Zanda (LIAFA), Serge Grigorieff (LIAFA)

Comments: 56 pages

Journal-ref: Mathematical Logic Quaterly 52, Number 4 (2006) 375-403

Subjects: Logic (math.LO); Computational Complexity (cs.CC)

[275] arXiv:0801.0354 (cross-list from math.LO) [pdf, other]

Title: Kolmogorov complexity in perspective

Marie Ferbus-Zanda (LIAFA), Serge Grigorieff (LIAFA)

Comments: 37 pages

Subjects: Logic (math.LO); Computational Complexity (cs.CC); Information Theory (cs.IT)