Computer Science

Authors and titles for January 2011

[101] arXiv:1101.1045 [pdf, other]

Title: Beating the Gilbert-Varshamov Bound for Online Channels

Ishay Haviv, Michael Langberg

Comments: 14 pages, 1 figure

Subjects: Information Theory (cs.IT)

[102] arXiv:1101.1070 [pdf, other]

Title: From joint convexity of quantum relative entropy to a concavity theorem of Lieb

Joel A. Tropp

Comments: 3 pages

Journal-ref: Proc. Amer. Math. Soc., Vol. 140, num. 5, pp. 1757-1760, May 2012

Subjects: Information Theory (cs.IT)

[103] arXiv:1101.1071 [pdf, other]

Title: On the Non-Termination of Ruppert's Algorithm

Alexander Rand

Comments: 4 pages, 5 figures

Subjects: Computational Geometry (cs.CG)

[104] arXiv:1101.1075 [pdf, other]

Title: Cryptolysis v.0.0.1 - A Framework for Automated Cryptanalysis of Classical Ciphers

Serguei A. Mokhov, Marc-André Laverdière, Nader Hatami, Ali Benssam

Comments: 27 pages; 4 figures; preliminary results in aux; index; a 2005 report; v2 fixes name spelling and revisions

Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[105] arXiv:1101.1110 [pdf, other]

Title: Provenance for Aggregate Queries

Yael Amsterdamer, Daniel Deutch, Val Tannen

Subjects: Databases (cs.DB)

[106] arXiv:1101.1118 [pdf, other]

Title: Towards Decentralized Trading: A Topological Investigation of the Dutch Medium and Low Voltage Grids

Giuliano Andrea Pagani, Marco Aiello

Subjects: Computational Engineering, Finance, and Science (cs.CE); Discrete Mathematics (cs.DM); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)

[107] arXiv:1101.1169 [pdf, other]

Title: Almost Settling the Hardness of Noncommutative Determinant

Steve Chien, Prahladh Harsha, Alistair Sinclair, Srikanth Srinivasan

Comments: 20 pages, 3 figures

Journal-ref: In Proc. 43rd ACM Symp. on Theory of Computing (STOC), pages 499-508, 2011

Subjects: Computational Complexity (cs.CC)

[108] arXiv:1101.1213 [pdf, other]

Title: Uniform convergence and a posteriori error estimation for assumed stress hybrid finite element methods

Guozhu Yu, Xiaoping Xie, Carsten Carstensen

Subjects: Numerical Analysis (math.NA)

[109] arXiv:1101.1218 [pdf, other]

Title: Uniformly stable rectangular elements for fourth order elliptic singular perturbation problems

Li Wang, Xiaoping Xie

Subjects: Numerical Analysis (math.NA)

[110] arXiv:1101.1224 [pdf, other]

Title: Quasi-optimal convergence rate for adaptive mixed finite element methods

Shaohong Du, Xiaoping Xie

Subjects: Numerical Analysis (math.NA)

[111] arXiv:1101.1231 [pdf, other]

Title: The SDA Method for Numerical Solution of Lur'e Equations

Federico Poloni, Timo Reis

Subjects: Numerical Analysis (math.NA)

[112] arXiv:1101.1232 [pdf, other]

Title: Levenshtein Distance Technique in Dictionary Lookup Methods: An Improved Approach

Rishin Haldar, Debajyoti Mukhopadhyay

Comments: 5 pages, 1 figure

Subjects: Information Theory (cs.IT)

[113] arXiv:1101.1237 [pdf, other]

Title: Statistical Analysis of Link Scheduling on Long Paths

Yashar Ghiassi-Farrokhfal, Jorg Liebeherr, Almut Burchard

Comments: 20 pages, 6 figures

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

[114] arXiv:1101.1240 [pdf, other]

Title: Chameleon: A Color-Adaptive Web Browser for Mobile OLED Displays

Mian Dong, Lin Zhong

Subjects: Graphics (cs.GR); Human-Computer Interaction (cs.HC)

[115] arXiv:1101.1252 [pdf, other]

Title: Scientific data searching, sharing and retrieval

Ranjeet Devarakonda, Giri Palanisamy

Subjects: Information Theory (cs.IT)

[116] arXiv:1101.1256 [pdf, other]

Title: Non-clairvoyant Scheduling Games

Johanne Cohen, Christoph Durr, Nguyen Kim Thang

Subjects: Data Structures and Algorithms (cs.DS)

[117] arXiv:1101.1266 [pdf, other]

Title: Extending Bron Kerbosch for Solving the Maximum Weight Clique Problem

Brijnesh Jain, Klaus Obermayer

Subjects: Data Structures and Algorithms (cs.DS); Computer Vision and Pattern Recognition (cs.CV)

[118] arXiv:1101.1291 [pdf, other]

Title: Bounding the Feedback Vertex Number of Digraphs in Terms of Vertex Degrees

Hermann Gruber

Comments: preprint submitted to Discrete Applied Mathematics; minor corrections, added doi (v2)

Journal-ref: Discrete Applied Mathematics, 159(8):872-875, 2011

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

[119] arXiv:1101.1310 [pdf, other]

Title: Bounds on the Capacity of Random Insertion and Deletion-Additive Noise Channels

Mojtaba Rahmati, Tolga M. Duman

Comments: Accepted for publication in IEEE Transactions on Information Theory

Journal-ref: IEEE Transactions on Information Theory, vol.59, no.9, pp.5534,5546, Sept. 2013

Subjects: Information Theory (cs.IT)

[120] arXiv:1101.1321 [pdf, other]

Title: Anisotropic smoothness classes : from finite element approximation to image models

Jean-Marie Mirebeau, Albert Cohen

Comments: 24 pages, 2 figures

Journal-ref: Journal of Mathematical Imaging and Vision, Vol 38 n 1, pages 52-69, 2010

Subjects: Numerical Analysis (math.NA)

[121] arXiv:1101.1345 [pdf, other]

Title: Linear Precoding for Relay Networks with Finite-Alphabet Constraints

Weiliang Zeng, Chengshan Xiao, Mingxi Wang, Jianhua Lu

Comments: Accepted by IEEE Int. Conf. Commun. (ICC), Kyoto, Japan, 2011

Subjects: Information Theory (cs.IT)

[122] arXiv:1101.1346 [pdf, other]

Title: Fast Approximation Algorithms for Art Gallery Problems in Simple Polygons

Dae-Sung Jang, Sun-Il Kwon

Subjects: Computational Geometry (cs.CG)

[123] arXiv:1101.1350 [pdf, other]

Title: Time-Out Lattice Sequential Decoding for the MIMO ARQ Channel

Walid Abediseid, Mohamed Oussama Damen

Comments: 30 pages, 5 figures, submitted to IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[124] arXiv:1101.1379 [pdf, other]

Title: A Probabilistic Variant of Projection Temporal Logic

Xiaoxiao Yang

Subjects: Logic in Computer Science (cs.LO)

[125] arXiv:1101.1449 [pdf, other]

Title: Formal Theories for Linear Algebra

Stephen A Cook (University of Toronto), Lila A Fontes (University of Toronto)

Comments: This is a revised journal version of the paper "Formal Theories for Linear Algebra" (Computer Science Logic) for the journal Logical Methods in Computer Science

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 1 (March 16, 2012) lmcs:716

Subjects: Logic in Computer Science (cs.LO)

[126] arXiv:1101.1452 [pdf, other]

Title: Greedy bisection generates optimally adapted triangulations

Jean-Marie Mirebeau, Albert Cohen

Comments: 24 pages

Subjects: Numerical Analysis (math.NA)

[127] arXiv:1101.1466 [pdf, other]

Title: Comparison of Loss ratios of different scheduling algorithms

Sudipta Das, Lawrence Jenkins, Debasis Sengupta

Comments: 8 pages, 10 figures

Subjects: Operating Systems (cs.OS)

[128] arXiv:1101.1477 [pdf, other]

Title: Asynchronous Code-Division Random Access Using Convex Optimization

Lorne Applebaum, Waheed U. Bajwa, Marco F. Duarte, Robert Calderbank

Comments: Journal version of work presented at 2010 Allerton Conference on Communication, Control and Computing. Version 2 includes additional analysis of randomly distributed user delays as well as a comparison with a matched filter receiver

Journal-ref: Elsevier Phy. Commun., vol. 5, no. 2, pp. 129-147, Jun. 2012

Subjects: Information Theory (cs.IT)

[129] arXiv:1101.1507 [pdf, other]

Title: A PSPACE-complete Graph Nim

Kyle Burke, Olivia George

Comments: 14 pages, 3 figures

Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC); Combinatorics (math.CO)

[130] arXiv:1101.1512 [pdf, other]

Title: Adaptive multiresolution analysis based on anisotropic triangulations

Albert Cohen, Nira Dyn, Frédéric Hecht, Jean-Marie Mirebeau

Comments: 19 pages, 7 figures

Subjects: Numerical Analysis (math.NA)

[131] arXiv:1101.1515 [pdf, other]

Title: On the Achievable Rates of the Diamond Relay Channel with Conferencing Links

Chuan Huang, Jinhua Jiang, Shuguang Cui

Subjects: Information Theory (cs.IT)

[132] arXiv:1101.1547 [pdf, other]

Title: On the expressiveness of Parikh automata and related models

Michaël Cadilhac, Alain Finkel, Pierre McKenzie

Comments: 16 pages, in NCMA11

Subjects: Formal Languages and Automata Theory (cs.FL)

[133] arXiv:1101.1555 [pdf, other]

Title: Adaptive and anisotropic finite element approximation : Theory and algorithms

Jean-Marie Mirebeau

Comments: PhD dissertation. 448 pages. Change in version 2 : compiled with hyperref for better on screen reading

Subjects: Numerical Analysis (math.NA)

[134] arXiv:1101.1577 [pdf, other]

Title: Sharp Support Recovery from Noisy Random Measurements by L1 minimization

Charles Dossal (IMB), Marie-Line Chabanol (IMB), Gabriel Peyré (CEREMADE), Jalal Fadili (GREYC)

Comments: Applied and Computational Harmonic Analysis (2011)

Subjects: Information Theory (cs.IT); Numerical Analysis (math.NA)

[135] arXiv:1101.1587 [pdf, other]

Title: Adaptive and anisotropic piecewise polynomial approximation

Albert Cohen, Jean-Marie Mirebeau

Comments: 40 pages, 9 figures

Journal-ref: Chapter of the book : Multiscale, Nonlinear and Adaptive Approximation, editors R. Devore, A. Kunoth, Springer, 2009

Subjects: Numerical Analysis (math.NA)

[136] arXiv:1101.1602 [pdf, other]

Title: Application of Freeman Chain Codes: An Alternative Recognition Technique for Malaysian Car Plates

Nor Amizam Jusoh, Jasni Mohamad Zain

Comments: 6 pages, 8 figures

Journal-ref: International Journal of Computer Science and Network Security, Vol. 9 No. 11 pp. 222-227, November 2009, ISSN 1738-7906

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

[137] arXiv:1101.1603 [pdf, other]

Title: Reversible Region of Non-Interest (RONI) Watermarking for Authentication of DICOM Images

Jasni Mohamad Zain, Malcolm Clarke

Comments: 9 pages, 13 figures

Journal-ref: International Journal of Computer Science and Network Security, Vol. 7 No. 9 pp. 19-27 September 2007, ISSN 1738-7906

Subjects: Cryptography and Security (cs.CR)

[138] arXiv:1101.1606 [pdf, other]

Title: Probing a Self-Developed Aesthetics Measurement Application (SDA) in Measuring Aesthetics of Mandarin Learning Web Page Interfaces

Jasni Mohamad Zain, Mengkar Tey, Yingsoon Goh

Comments: 10 pages, 6 figures

Journal-ref: International Journal of Computer Science and Network Security, Vol. 8 No. 1 pp. 31-40 January 2008, ISSN 1738-7906

Subjects: Human-Computer Interaction (cs.HC); Computers and Society (cs.CY)

[139] arXiv:1101.1608 [pdf, other]

Title: Does Aesthetics of Web Page Interface Matters to Mandarin Learning?

Jasni Mohamad Zain, Mengkar Tey, Yingsoon Goh

Comments: 9 pages, 1 figure, 9 tables

Journal-ref: International Journal of Computer Science and Network Security, Vol. 7 No. 8 pp. 43-51 August 2007, ISSN 1738-7906

Subjects: Human-Computer Interaction (cs.HC); Computers and Society (cs.CY)

[140] arXiv:1101.1633 [pdf, other]

Title: On the Windfall and Price of Friendship: Inoculation Strategies on Social Networks

Dominic Meier, Yvonne Anne Pignolet, Stefan Schmid, Roger Wattenhofer

Comments: Preliminary version appeared at ACM EC conference

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

[141] arXiv:1101.1637 [pdf, other]

Title: A Science Model Driven Retrieval Prototype

Philipp Mayr, Philipp Schaer, Peter Mutschke

Comments: 8 pages, 4 figures, Cologne Conference on Interoperability and Semantics in Knowledge Organization

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

[142] arXiv:1101.1639 [pdf, other]

Title: Applying Science Models for Search

Philipp Mayr, Peter Mutschke, Vivien Petras, Philipp Schaer, York Sure

Comments: 14 pages, 3 figures, ISI 2011

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

[143] arXiv:1101.1640 [pdf, other]

Title: Restarting Automata with Auxiliary Symbols and Small Lookahead

Natalie Schluter

Comments: Full version of the paper accepted to LATA 2011

Subjects: Formal Languages and Automata Theory (cs.FL)

[144] arXiv:1101.1643 [pdf, other]

Title: Multi-Relay Selection Design and Analysis for Multi-Stream Cooperative Communications

Shunqing Zhang, Vincent K. N. Lau

Subjects: Information Theory (cs.IT)

[145] arXiv:1101.1667 [pdf, other]

Title: Finite Orbits of Language Operations

E. Charlier, M. Domaratzki, T. Harju, J. Shallit

Subjects: Formal Languages and Automata Theory (cs.FL)

[146] arXiv:1101.1680 [pdf, other]

Title: Safe Register Token Transfer in a Ring

Ted Herman

Comments: 22 pages

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

[147] arXiv:1101.1682 [pdf, other]

Title: Detecting gross alignment errors in the Spoken British National Corpus

Ladan Baghai-Ravary, Sergio Grau, Greg Kochanski

Comments: Four pages, 3 figures. Presented at "New Tools and Methods for Very-Large-Scale Phonetics Research", University of Pennsylvania, January 28-31, 2011

Subjects: Sound (cs.SD)

[148] arXiv:1101.1688 [pdf, other]

Title: Secret Writing on Dirty Paper: A Deterministic View

Mustafa El-Halabi, Tie Liu, Costas Georghiades, Shlomo Shamai (Shitz)

Comments: Removed the section on writing on fading paper; improved the gap result from $(1/2)\log3$ bits to half a bit; added a section on secret-key agreement via dirty-paper coding; revised version submitted to the IEEE Transaction on Information Theory

Subjects: Information Theory (cs.IT)

[149] arXiv:1101.1710 [pdf, other]

Title: On Quadratic Programming with a Ratio Objective

Aditya Bhaskara, Moses Charikar, Rajsekar Manokaran, Aravindan Vijayaraghavan

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[150] arXiv:1101.1712 [pdf, other]

Title: Network Capacity Region and Minimum Energy Function for a Delay-Tolerant Mobile Ad Hoc Network

Rahul Urgaonkar, Michael J. Neely

Comments: Extended version of IEEE/ACM Transactions on Networking article

Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)