Computer Science

Authors and titles for January 2008

[176] arXiv:0801.3654 [pdf, other]

Title: A path following algorithm for the graph matching problem

Mikhail Zaslavskiy, Francis Bach, Jean-Philippe Vert

Comments: 23 pages, 13 figures,typo correction, new results in sections 4,5,6

Subjects: Computer Vision and Pattern Recognition (cs.CV); Discrete Mathematics (cs.DM)

[177] arXiv:0801.3669 [pdf, other]

Title: Merkle's Key Agreement Protocol is Optimal: An $O(n^2)$ Attack on any Key Agreement from Random Oracles

Boaz Barak, Mohammad Mahmoody

Comments: This version fixes a bug in the proof of the previous version of this paper, see "Correction of Error" paragraph and Appendix A

Subjects: Computational Complexity (cs.CC)

[178] arXiv:0801.3678 [pdf, other]

Title: Regulation and the Integrity of Spreadsheets in the Information Supply Chain

Ralph Baxter

Comments: 7 Pages including references and diagrams in colour

Journal-ref: Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2005 95-101 ISBN:1-902724-16-X

Subjects: Computers and Society (cs.CY); Cryptography and Security (cs.CR)

[179] arXiv:0801.3680 [pdf, other]

Title: Lower Bounds on Signatures from Symmetric Primitives

Boaz Barak, Mohammad Mahmoody

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

[180] arXiv:0801.3690 [pdf, other]

Title: Ensuring Spreadsheet Integrity with Model Master

Jocelyn Paine

Comments: 15 pages; substantive references; code examples

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

Subjects: Programming Languages (cs.PL); Human-Computer Interaction (cs.HC)

[181] arXiv:0801.3702 [pdf, other]

Title: Joint source and channel coding for MIMO systems: Is it better to be robust or quick?

Tim Holliday, Andrea J. Goldsmith, H. Vincent Poor

Comments: To appear in the IEEE Transactions on Information Theory, Vol. 54, No. 4, April 2008

Journal-ref: IEEE Transactions on Information Theory, Vol. 54, No. 4, April 2008

Subjects: Information Theory (cs.IT)

[182] arXiv:0801.3703 [pdf, other]

Title: On minimality of convolutional ring encoders

Margreta Kuijper, Raquel Pinto

Comments: 13 pages in v1, submitted; 8 pages in revision v2

Journal-ref: IEEE Trans. Information Theory, Vol. 55, No. 11, pp. 4890-4897, November 2009

Subjects: Information Theory (cs.IT)

[183] arXiv:0801.3710 [pdf, other]

Title: Picking up the Pieces: Self-Healing in Reconfigurable Networks

Jared Saia, Amitabh Trehan

Comments: To be presented at IPDPS (IEEE International Parallel & Distributed Processing Symposium) 2008

Subjects: Data Structures and Algorithms (cs.DS); Distributed, Parallel, and Cluster Computing (cs.DC); Networking and Internet Architecture (cs.NI)

[184] arXiv:0801.3711 [pdf, other]

Title: 3D-Ultrasound probe calibration for computer-guided diagnosis and therapy

Michael Baumann (TIMC), Vincent Daanen (TIMC), Antoine Leroy (TIMC), Jocelyne Troccaz (TIMC)

Journal-ref: Dans Proceedings of CVAMIA'06 - 2nd International workshop on Computer Vision Approaches to Medical Image Analysis - CVAMIA'06, Graz : Autriche (2006)

Subjects: Other Computer Science (cs.OH)

[185] arXiv:0801.3714 [pdf, other]

Title: 5-cycles and the Petersen graph

Matt DeVos, Vahan V. Mkrtchyan, Samvel S. Petrosyan

Comments: 6 pages

Subjects: Discrete Mathematics (cs.DM)

[186] arXiv:0801.3715 [pdf, other]

Title: Modular Compilation of a Synchronous Language

Annie Ressouche, Daniel Gaffé (LEAT), Valérie Roy

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

[187] arXiv:0801.3773 [pdf, other]

Title: Graph-Based Classification of Self-Dual Additive Codes over Finite Fields

Lars Eirik Danielsen

Comments: 20 pages, 13 figures

Journal-ref: Adv. Math. Commun. 3(4), pp. 329-348, 2009

Subjects: Information Theory (cs.IT); Combinatorics (math.CO); Quantum Physics (quant-ph)

[188] arXiv:0801.3790 [pdf, other]

Title: Characterization of the Vertices and Extreme Directions of the Negative Cycles Polyhedron and Hardness of Generating Vertices of 0/1-Polyhedra

Endre Boros, Khaled Elbassioni, Vladimir Gurvich, Hans Raj Tiwary

Comments: Title typo fixed

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

[189] arXiv:0801.3802 [pdf, other]

Title: Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems

Sven Kosub

Comments: 17 pages; this version corrects an error/typo in the 2008/01/24 version

Journal-ref: Mathematics in Computer Science, 1(3):487-505, 2008, special issue on Modeling and Analysis of Complex Systems

Subjects: Computational Complexity (cs.CC); Disordered Systems and Neural Networks (cond-mat.dis-nn); Discrete Mathematics (cs.DM); Adaptation and Self-Organizing Systems (nlin.AO); Cellular Automata and Lattice Gases (nlin.CG)

[190] arXiv:0801.3817 [pdf, other]

Title: Robustness Evaluation of Two CCG, a PCFG and a Link Grammar Parsers

Tuomo Kakkonen

Journal-ref: Proceedings of the 3rd Language & Technology Conference: Human Language Technologies as a Challenge for Computer Science and Linguistics. Poznan, Poland, 2007

Subjects: Computation and Language (cs.CL)

[191] arXiv:0801.3837 [pdf, other]

Title: Universal Fingerprinting: Capacity and Random-Coding Exponents

Pierre Moulin

Comments: 69 pages, revised

Subjects: Information Theory (cs.IT)

[192] arXiv:0801.3841 [pdf, other]

Title: Analysis of Prime Reciprocal Sequences in Base 10

Sumanth Kumar Reddy Gangasani

Comments: 12 pages, 1 figure

Subjects: Cryptography and Security (cs.CR)

[193] arXiv:0801.3853 [pdf, other]

Title: Comparison of Spreadsheets with other Development Tools (limitations, solutions, workarounds and alternatives)

Simon Murphy

Comments: 9 pages including references, colour diagrams and comparison tables

Journal-ref: Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2005 201208 ISBN:1-902724-16-X

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

[194] arXiv:0801.3864 [pdf, other]

Title: Between conjecture and memento: shaping a collective emotional perception of the future

Alberto Pepe, Johan Bollen

Comments: 6 pages. AAAI Spring Symposium on Emotion, Personality, and Social Behavior

Subjects: Computation and Language (cs.CL); General Literature (cs.GL)

[195] arXiv:0801.3865 [pdf, other]

Title: Simultaneous preconditioning and symmetrization of non-symmetric linear systems

Nassif Ghoussoub, Amir Moradifam

Comments: 14 pages. Updated versions --if any-- of this author's papers can be downloaded at this http URL

Subjects: Numerical Analysis (math.NA)

[196] arXiv:0801.3871 [pdf, other]

Title: On the Scaling Window of Model RB

Chunyan Zhao, Ke Xu, Zhiming Zheng

Subjects: Computational Complexity (cs.CC); Statistical Mechanics (cond-mat.stat-mech); Artificial Intelligence (cs.AI)

[197] arXiv:0801.3878 [pdf, other]

Title: Hash Property and Coding Theorems for Sparse Matrices and Maximum-Likelihood Coding

Jun Muramatsu, Shigeki Miyake

Comments: This manuscript has been submitted to IEEE Transactions on Information Theory and a part of this manuscript has been submitted to IEEE International Symposium on Information Theory (ISIT2008,ISIT2009). 55 pages v2: major changes

Journal-ref: IEEE Transactions on Information Theory, vol 56, no. 5, pp.2143-2167, May 2010; Corrections: IEEE Transactions on Information Theory, vol. 56, no.9, p. 4762, Sep. 2010. Corrections: vol.56, no.9, p.4762, 2010

Subjects: Information Theory (cs.IT)

[198] arXiv:0801.3880 [pdf, other]

Title: Spectral efficiency and optimal medium access control of random access systems over large random spreading CDMA

Yi Sun

Comments: To appear in IEEE Trans. on Communications

Subjects: Information Theory (cs.IT)

[199] arXiv:0801.3908 [pdf, other]

Title: Encoding changing country codes for the Semantic Web with ISO 3166 and SKOS

Jakob Voss

Comments: Accepted to appear in the proceedings of the 2nd International Con- ference on Metadata and Semantics Research (MTSR 2007)

Subjects: Information Retrieval (cs.IR)

[200] arXiv:0801.3912 [pdf, other]

Title: On the Continuity Set of an omega Rational Function

Olivier Carton (LIAFA), Olivier Finkel (LIP), Pierre Simonnet (SPE)

Comments: Dedicated to Serge Grigorieff on the occasion of his 60th Birthday

Journal-ref: Theoretical Informatics and Applications (1), 42 (2008) 183-196

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