Computer Science

Authors and titles for January 2008

[51] arXiv:0801.0949 [pdf, other]

Title: On the Refinement of Liveness Properties of Distributed Systems

Paul C. Attie

Comments: 54 pages, 12 figures

Subjects: Logic in Computer Science (cs.LO)

[52] arXiv:0801.0996 [pdf, other]

Title: Hamilton-Pontryagin Integrators on Lie Groups: Introduction and Structure-Preserving Properties

Nawaf Bou-Rabee, Jerrold E. Marsden

Comments: 26 pages, 4 figures

Subjects: Numerical Analysis (math.NA)

[53] arXiv:0801.1002 [pdf, other]

Title: Capacity Bounds for Peak-Constrained Multiantenna Wideband Channels

Ulrich G. Schuster, Giuseppe Durisi, Helmut Bölcskei, H. Vincent Poor

Comments: Submitted to the IEEE Transactions on Communications

Subjects: Information Theory (cs.IT)

[54] arXiv:0801.1033 [pdf, other]

Title: The What, Who, Where, When, Why and How of Context-Awareness

George Tsibidis, Theodoros N. Arvanitis, Chris Baber

Comments: Accepted manuscript at the CHI 2000, April 3-2000, The Hague, The Netherlands

Subjects: Human-Computer Interaction (cs.HC)

[55] arXiv:0801.1060 [pdf, other]

Title: On the Period of a Periodic-Finite-Type Shift

Akiko Manada, Navin Kashyap

Comments: revised version; 5 pages; to appear in the Proceedings of the 2008 IEEE International Symposium on Information Theory (ISIT'08), Toronto, Canada

Subjects: Information Theory (cs.IT)

[56] arXiv:0801.1063 [pdf, other]

Title: Modeling Online Reviews with Multi-grain Topic Models

Ivan Titov, Ryan McDonald

Subjects: Information Retrieval (cs.IR); Databases (cs.DB)

[57] arXiv:0801.1067 [pdf, other]

Title: The lowest-possible BER and FER for any discrete memoryless channel with given capacity

Johannes B. Huber, Thorsten Hehn

Comments: Accepted as a Transactions on Communications Letter,9 Pages, 4 Figures

Subjects: Information Theory (cs.IT)

[58] arXiv:0801.1126 [pdf, other]

Title: Concave Programming Upper Bounds on the Capacity of 2-D Constraints

Ido Tal, Ron M. Roth

Subjects: Information Theory (cs.IT)

[59] arXiv:0801.1136 [pdf, other]

Title: A Constrained Channel Coding Approach to Joint Communication and Channel Estimation

Wenyi Zhang, Satish Vedantam, Urbashi Mitra

Comments: Submitted to ISIT 2008

Subjects: Information Theory (cs.IT)

[60] arXiv:0801.1138 [pdf, other]

Title: An Addendum to "How Good is PSK for Peak-Limited Fading Channels in the Low-SNR Regime?"

Wenyi Zhang

Comments: Submitted as an addendum to the paper appearing in the title

Subjects: Information Theory (cs.IT)

[61] arXiv:0801.1141 [pdf, other]

Title: Coding Strategies for Noise-Free Relay Cascades with Half-Duplex Constraint

Tobias Lutz, Christoph Hausl, Ralf Kötter

Comments: Proceedings of the 2008 IEEE International Symposium on Information Theory, Toronto, ON, Canada, July 6 - 11, 2008

Subjects: Information Theory (cs.IT)

[62] arXiv:0801.1179 [pdf, other]

Title: Corpus sp{\'e}cialis{\'e} et ressource de sp{\'e}cialit{\'e}

Bernard Jacquemin (ISC, UMR 7044, GERIICO), Sabine Ploux (ISC)

Comments: 16 pages, in French

Journal-ref: Appears in Fran\c{c}ois Maniez; Pascaline Dury; Nathalie Arlin; Claire Rougemont. Corpus et dictionnaires de langues de sp{\'e}cialit{\'e}, Presses Universitaires de Granoble, pp.197-212, 2008

Subjects: Information Retrieval (cs.IR); Computation and Language (cs.CL)

[63] arXiv:0801.1185 [pdf, other]

Title: Capacity of the Discrete-Time AWGN Channel Under Output Quantization

Jaspreet Singh, Onkar Dabeer, Upamanyu Madhow

Comments: To appear at ISIT 2008. (Some changes in the content (in Section IV) compared to the first version uploaded on Jan 08, 2008.)

Subjects: Information Theory (cs.IT)

[64] arXiv:0801.1208 [pdf, other]

Title: Hybrid Decoding of Finite Geometry LDPC Codes

Guangwen Li, Dashe Li, Yuling Wang, Wenyan Sun

Comments: 19 pages, 5 figures, 5 tables

Subjects: Information Theory (cs.IT)

[65] arXiv:0801.1210 [pdf, other]

Title: Increasing GP Computing Power via Volunteer Computing

Daniel Lombrana Gonzalez, Francisco Fernandez de Vega, L. Trujillo, G. Olague, F. Chavez de la O, M. Cardenas, L. Araujo, P. Castillo, K. Sharman

Comments: First draft, preparing for PPSN 2008

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[66] arXiv:0801.1219 [pdf, other]

Title: DSL development based on target meta-models. Using AST transformations for automating semantic analysis in a textual DSL framework

Andrey Breslav

Comments: 15 pages, 3 figures

Subjects: Programming Languages (cs.PL)

[67] arXiv:0801.1245 [pdf, other]

Title: Matrix Graph Grammars

Pedro Pablo Perez Velasco

Comments: 321 pages, 75 figures. This book has is publisehd by VDM verlag, ISBN 978-3639212556

Subjects: Discrete Mathematics (cs.DM)

[68] arXiv:0801.1251 [pdf, other]

Title: Generative Unbinding of Names

Andrew M. Pitts, Mark R. Shinwell

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

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

[69] arXiv:0801.1253 [pdf, other]

Title: Linear Logic by Levels and Bounded Time Complexity

Patrick Baillot, Damiano Mazza

Comments: 63 pages. To appear in Theoretical Computer Science. This version corrects minor fonts problems from v2

Journal-ref: Theoretical Computer Science 411 (2010) 470-503

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

[70] arXiv:0801.1275 [pdf, other]

Title: Le terme et le concept : fondements d'une ontoterminologie

Christophe Roche (LISTIC)

Comments: 22 pages

Journal-ref: Dans TOTh 2007 : Terminologie et Ontologie : Th\'eories et Applications - TOTh 2007 : Terminologie et Ontologie : Th\'eories et Applications, Annecy : France (2007)

Subjects: Artificial Intelligence (cs.AI)

[71] arXiv:0801.1276 [pdf, other]

Title: On the guaranteed error correction capability of LDPC codes

Shashi Kiran Chilappagari, Dung Viet Nguyen, Bane Vasic, Michael Marcellin

Comments: 5 pages, submitted to IEEE International Symposium on Information Theory (ISIT), 2008

Subjects: Information Theory (cs.IT)

[72] arXiv:0801.1282 [pdf, other]

Title: LDPC Codes Which Can Correct Three Errors Under Iterative Decoding

Shashi Kiran Chilappagari, Anantha Raman Krishnan, Bane Vasic

Comments: 5 pages, 3 figures, submitted to IEEE Information Theory Workshop (ITW), 2008

Subjects: Information Theory (cs.IT)

[73] arXiv:0801.1300 [pdf, other]

Title: Almost 2-SAT is Fixed-Parameter Tractable

Igor Razgon, Barry O'Sullivan

Comments: This new version fixes the bug found by Somnath Sikdar in the proof of Claim 8. In the repaired version the modification of the Almost 2-SAT problem called 2-SLASAT is no longer needed and only the modification called 2-ASLASAT remains relevant. Hence the whole manuscript is updated so that the 2-SLASAT problem is not mentioned there anymore

Subjects: Data Structures and Algorithms (cs.DS); Computational Geometry (cs.CG); Logic in Computer Science (cs.LO)

[74] arXiv:0801.1306 [pdf, other]

Title: Capacity Bounds for the Gaussian Interference Channel

Abolfazl S. Motahari, Amir K. Khandani

Comments: 35 pages, 14 figures, submitted to IEEE Trans. on Inf. Theory

Subjects: Information Theory (cs.IT)

[75] arXiv:0801.1307 [pdf, other]

Title: Alternating Hierarchies for Time-Space Tradeoffs

Chris Pollett, Eric Miles

Comments: 14 pages

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

[76] arXiv:0801.1336 [pdf, other]

Title: Stream Computing

Subhash Kak

Comments: 7 pages, 4 figures

Subjects: Artificial Intelligence (cs.AI)

[77] arXiv:0801.1341 [pdf, other]

Title: Factorization in categories of systems of linear partial differential equations

S.P. Tsarev

Comments: LaTeX, 23 pages

Subjects: Symbolic Computation (cs.SC)

[78] arXiv:0801.1362 [pdf, other]

Title: A new key exchange cryptosystem

An-Ping Li

Comments: A revision

Subjects: Cryptography and Security (cs.CR)

[79] arXiv:0801.1364 [pdf, other]

Title: An Algorithm to Compute the Nearest Point in the Lattice $A_{n}^*$

Robby G. McKilliam, I. Vaughan L. Clarkson, Barry G. Quinn

Comments: 3 pages

Journal-ref: IEEE Transactions on Information Theory, Vol. 54, No. 9, pp 4378-4381, Sept. 2008

Subjects: Information Theory (cs.IT)

[80] arXiv:0801.1410 [pdf, other]

Title: Two graph isomorphism polytopes

Shmuel Onn

Journal-ref: Discrete Mathematics, 309:2934--2936, 2009

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Combinatorics (math.CO); Optimization and Control (math.OC)

[81] arXiv:0801.1415 [pdf, other]

Title: The emerging field of language dynamics

S. Wichmann

Subjects: Computation and Language (cs.CL); Physics and Society (physics.soc-ph)

[82] arXiv:0801.1416 [pdf, other]

Title: Fast Integer Multiplication using Modular Arithmetic

Anindya De, Piyush P Kurur, Chandan Saha, Ramprasad Saptharishi

Comments: fixed some typos and references

Subjects: Symbolic Computation (cs.SC); Data Structures and Algorithms (cs.DS)

[83] arXiv:0801.1419 [pdf, other]

Title: Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime

Vincent Gramoli (IRISA), Anne-Marie Kermarrec (IRISA), Achour Mostefaoui (IRISA), Michel Raynal (IRISA), Bruno Sericola (IRISA)

Journal-ref: Dans Proceedings of the Workshop on Reliability in Decentralized Distributed Systems 4278 (2006) 1470--1479

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[84] arXiv:0801.1430 [pdf, other]

Title: Discretisation of heterogeneous and anisotropic diffusion problems on general non-conforming meshes. SUSHI: a scheme using stabilisation and hybrid interfaces

Robert Eymard (LETEM), Thierry Gallouët (LATP), Raphaele Herbin (LATP)

Subjects: Numerical Analysis (math.NA)

[85] arXiv:0801.1495 [pdf, other]

Title: Solving One Dimensional Scalar Conservation Laws by Particle Management

Yossi Farjoun, Benjamin Seibold

Comments: 15 pages, 6 figures. Submitted to proceedings of the Fourth International Workshop Meshfree Methods for Partial Differential Equations

Journal-ref: Meshfree Methods for Partial Differential Equations IV, Lecture Notes in Computational Science and Engineering, Vol. 65, Springer, 2009, pp. 95-109

Subjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph)

[86] arXiv:0801.1500 [pdf, other]

Title: Toward the Graphics Turing Scale on a Blue Gene Supercomputer

Michael McGuigan

Comments: 9 pages, 4 figures, 6 tables

Subjects: Graphics (cs.GR)

[87] arXiv:0801.1514 [pdf, other]

Title: Teaching spreadsheet development using peer audit and self-audit methods for reducing error

David Chadwick, Rodney E. Sue

Comments: 9 Pages, includes references

Journal-ref: European Spreadsheet Risks Int. Grp. (EuSpRIG) 2001 95-105 ISBN:1 86166 179 7

Subjects: Computers and Society (cs.CY)

[88] arXiv:0801.1516 [pdf, other]

Title: An Evaluation of a Structured Spreadsheet Development Methodology

Kamalasen Rajalingham, David Chadwick, Brian Knight

Comments: 17 pages including references

Journal-ref: European Spreadsheet Risks Int. Grp. (EuSpRIG) 2001 39-59 ISBN:1 86166 179

Subjects: Computers and Society (cs.CY)

[89] arXiv:0801.1524 [pdf, other]

Title: Sparse Fourier Transform via Butterfly Algorithm

Lexing Ying

Subjects: Numerical Analysis (math.NA)

[90] arXiv:0801.1630 [pdf, other]

Title: Computational Solutions for Today's Navy

Frank W. Bentrem, John T. Sample, Michael M. Harris (Naval Research Laboratory)

Comments: This is a work of the U.S. Government

Journal-ref: Scientific Computing, vol. 25, no. 2, pp. 30-32 (March 2008)

Subjects: Multiagent Systems (cs.MA); General Literature (cs.GL)

[91] arXiv:0801.1674 [pdf, other]

Title: A combined space discrete algorithm with a Taylor series by time for CFD

Ivan Kazachkov

Comments: 17 pages

Subjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph)

[92] arXiv:0801.1676 [pdf, other]

Title: Analyzing the Topology Types arising in a Family of Algebraic Curves Depending On Two Parameters

Juan Gerardo Alcazar

Comments: 8 pages, 4 figures

Subjects: Symbolic Computation (cs.SC)

[93] arXiv:0801.1687 [pdf, other]

Title: Synthesis of Large Dynamic Concurrent Programs from Dynamic Specifications

Paul C. Attie

Comments: 46 pages

Subjects: Logic in Computer Science (cs.LO)

[94] arXiv:0801.1703 [pdf, other]

Title: The Quadratic Gaussian Rate-Distortion Function for Source Uncorrelated Distortions

Milan S. Derpich, Jan Ostergaard, Graham C. Goodwin

Comments: Revised version, to be presented at the Data Compression Conference 2008

Subjects: Information Theory (cs.IT)

[95] arXiv:0801.1715 [pdf, other]

Title: On Breaching Enterprise Data Privacy Through Adversarial Information Fusion

Srivatsava Ranjit Ganta, Raj Acharya

Subjects: Databases (cs.DB); Cryptography and Security (cs.CR); Other Computer Science (cs.OH)

[96] arXiv:0801.1718 [pdf, other]

Title: Achieving the Quadratic Gaussian Rate-Distortion Function for Source Uncorrelated Distortions

Milan S. Derpich, Jan Ostergaard, Daniel E. Quevedo

Comments: Technical report, January 2008. Other papers available from this http URL

Subjects: Information Theory (cs.IT)

[97] arXiv:0801.1736 [pdf, other]

Title: A Central Limit Theorem for the SNR at the Wiener Filter Output for Large Dimensional Signals

Abla Kammoun, Malika Kharouf, Walid Hachem, Jamal Najim

Subjects: Information Theory (cs.IT)

[98] arXiv:0801.1737 [pdf, other]

Title: Extensions to Network Flow Interdiction on Planar Graphs

Rico Zenklusen

Comments: 16 pages, 3 figures

Subjects: Discrete Mathematics (cs.DM)

[99] arXiv:0801.1766 [pdf, other]

Title: A Family of Counter Examples to an Approach to Graph Isomorphism

Jin-Yi Cai, Pinyan Lu, Mingji Xia

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

[100] arXiv:0801.1772 [pdf, other]

Title: Bi-criteria Pipeline Mappings for Parallel Image Processing

Anne Benoit (INRIA Rhône-Alpes, LIP), Harald Kosch, Veronika Rehn-Sonigo (INRIA Rhône-Alpes, LIP), Yves Robert (INRIA Rhône-Alpes, LIP)

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)