Computer Science

Authors and titles for January 2008

[101] arXiv:0801.1783 [pdf, other]

Title: An omega-power of a context-free language which is Borel above Delta^0_omega

Jacques Duparc (UNIL), Olivier Finkel (LIP)

Comments: To appear in the Proceedings of the International Conference Foundations of the Formal Sciences V : Infinite Games, November 26th to 29th, 2004, Bonn, Germany, Stefan Bold, Benedikt Löwe, Thoralf Räsch, Johan van Benthem (eds.), College Publications at King's College (Studies in Logic), 2007

Journal-ref: Dans Proceedings of the International Conference on Foundations of the Formal Sciences V : Infinite Games - Foundations of the Formal Sciences V : Infinite Games, November 26-29, 2004, Bonn : Allemagne

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

[102] arXiv:0801.1784 [pdf, other]

Title: Ideal synchronizer for marked pairs in fork-join network

S. V. Vyshenski, P. V. Grigoriev, Yu. Yu. Dubenskaya

Comments: 18 pages, 3 figures, in Russian, typos fixed

Subjects: Discrete Mathematics (cs.DM)

[103] arXiv:0801.1856 [pdf, other]

Title: Interpretation as a factor in understanding flawed spreadsheets

David A. Banks, Ann Monday

Comments: 9 pages incuding references

Journal-ref: Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2002 13 21 ISBN 1 86166 182 7

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

[104] arXiv:0801.1883 [pdf, other]

Title: D-optimal Bayesian Interrogation for Parameter and Noise Identification of Recurrent Neural Networks

Barnabas Poczos, Andras Lorincz

Subjects: Neural and Evolutionary Computing (cs.NE); Information Theory (cs.IT)

[105] arXiv:0801.1925 [pdf, other]

Title: A Framework for Designing Teleconsultation Systems in Africa

Rowena Luk, Melissa Ho, Paul M. Aoki

Comments: 5 pages

Journal-ref: Proc. Int'l Conf. on Health Informatics in Africa (HELINA), Bamako, Mali, Jan. 2007, 28(1-5)

Subjects: Human-Computer Interaction (cs.HC)

[106] arXiv:0801.1927 [pdf, other]

Title: Asynchronous Remote Medical Consultation for Ghana

Rowena Luk, Melissa Ho, Paul M. Aoki

Comments: 10 pages

Subjects: Human-Computer Interaction (cs.HC)

[107] arXiv:0801.1979 [pdf, other]

Title: Minimum Leaf Out-branching and Related Problems

G. Gutin, I. Razgon, E.J. Kim

Comments: The main change is a quadratic kernel derivation

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM)

[108] arXiv:0801.1987 [pdf, other]

Title: A Nearly Linear-Time PTAS for Explicit Fractional Packing and Covering Linear Programs

Christos Koufogiannakis, Neal E. Young

Comments: corrected version of FOCS 2007 paper: https://doi.org/10.1109/FOCS.2007.62. Accepted to Algorithmica, 2013

Journal-ref: Algorithmica 70(4):648-674(2014)

Subjects: Data Structures and Algorithms (cs.DS)

[109] arXiv:0801.1988 [pdf, other]

Title: Online variants of the cross-entropy method

Istvan Szita, Andras Lorincz

Comments: 8 pages

Subjects: Machine Learning (cs.LG)

[110] arXiv:0801.2034 [pdf, other]

Title: On the Boundedness of the Support of Optimal Input Measures for Rayleigh Fading Channels

Jochen Sommerfeld, Igor Bjelakovic, Holger Boche

Comments: 5 pages, submitted to ISIT 2008

Subjects: Information Theory (cs.IT)

[111] arXiv:0801.2069 [pdf, other]

Title: Factored Value Iteration Converges

Istvan Szita, Andras Lorincz

Comments: 17 pages, 1 figure

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

[112] arXiv:0801.2092 [pdf, other]

Title: Model for synchronizer of marked pairs in fork-join network

S. V. Vyshenski, P. V. Grigoriev, Yu. Yu. Dubenskaya

Comments: 15 pages, 3 figures, in Russian

Subjects: Discrete Mathematics (cs.DM)

[113] arXiv:0801.2175 [pdf, other]

Title: MathPSfrag 2: Convenient LaTeX Labels in Mathematica

Johannes Große

Comments: 9 pages, package can be found at this http URL

Subjects: Graphics (cs.GR)

[114] arXiv:0801.2185 [pdf, other]

Title: New Outer Bounds on the Capacity Region of Gaussian Interference Channels

Xiaohu Shang, Gerhard Kramer, Biao Chen

Comments: 5 pages, 2 figures, submitted to ISIT 2008

Subjects: Information Theory (cs.IT)

[115] arXiv:0801.2187 [pdf, other]

Title: A One-Way Function Based On The Extended Euclidean Algorithm

Ephraim Feig, Vivian Feig

Comments: 2-page correspondence

Subjects: Cryptography and Security (cs.CR)

[116] arXiv:0801.2201 [pdf, other]

Title: Policies of System Level Pipeline Modeling

Ed Harcourt

Subjects: Hardware Architecture (cs.AR); Programming Languages (cs.PL)

[117] arXiv:0801.2226 [pdf, other]

Title: Programming an interpreter using molecular dynamics

J. A. Bergstra, C. A. Middelburg

Comments: 27 pages

Journal-ref: Scientific Annals of Computer Science, 17:47--81, 2007. http://www.infoiasi.ro/bin/download/Annals/XVII/XVII_2.pdf

Subjects: Programming Languages (cs.PL)

[118] arXiv:0801.2233 [pdf, other]

Title: Analysis of Non-binary Hybrid LDPC Codes

Lucile Sassatelli, David Declercq

Comments: in the proceedings of IEEE International Symposium on Information Theory, June 2007, Nice, France

Subjects: Information Theory (cs.IT)

[119] arXiv:0801.2242 [pdf, other]

Title: Information Spectrum Approach to Second-Order Coding Rate in Channel Coding

Masahito Hayashi

Journal-ref: IEEE Transactions on Information Theory Volume 55, Issue 11, 4947 - 4966 (2009)

Subjects: Information Theory (cs.IT)

[120] arXiv:0801.2248 [pdf, other]

Title: Free-energy-dissipative schemes for the Oldroyd-B model

Sébastien Boyaval (INRIA Rocquencourt, CERMICS), Tony Lelièvre (INRIA Rocquencourt, CERMICS), Claude Mangoubi (INRIA Rocquencourt, CERMICS)

Subjects: Numerical Analysis (math.NA)

[121] arXiv:0801.2284 [pdf, other]

Title: Le probleme de l'isomorphisme de graphes est dans P

Omar Kettani

Comments: This paper has been withdrawn

Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

[122] arXiv:0801.2323 [pdf, other]

Title: Decentralized Two-Hop Opportunistic Relaying With Limited Channel State Information

Shengshan Cui, Alexander M. Haimovich, Oren Somekh, H. Vincent Poor

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

Subjects: Information Theory (cs.IT)

[123] arXiv:0801.2345 [pdf, other]

Title: On the relationship between the structural and socioacademic communities of a coauthorship network

Marko A. Rodriguez, Alberto Pepe

Journal-ref: Journal of Informetrics, volume 2, issue 3, pages 195-201, ISSN: 1751-1577, Elsevier, July 2008

Subjects: Digital Libraries (cs.DL); Physics and Society (physics.soc-ph)

[124] arXiv:0801.2347 [pdf, other]

Title: On the Minimum Spanning Tree for Directed Graphs with Potential Weights

V. A. Buslov, V. A. Khudobakhshov

Comments: 3 pages

Subjects: Discrete Mathematics (cs.DM)

[125] arXiv:0801.2378 [pdf, other]

Title: String algorithms and data structures

Paolo Ferragina

Subjects: Data Structures and Algorithms (cs.DS); Information Retrieval (cs.IR)

[126] arXiv:0801.2398 [pdf, other]

Title: Removing the Stiffness of Elastic Force from the Immersed Boundary Method for the 2D Stokes Equations

Thomas Y. Hou, Zuoqiang Shi

Comments: 40 pages with 8 figures

Subjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA)

[127] arXiv:0801.2423 [pdf, other]

Title: Design and Analysis of LDGM-Based Codes for MSE Quantization

Qingchuan Wang, Chen He

Comments: Submitted to IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[128] arXiv:0801.2480 [pdf, other]

Title: Asynchronous Iterative Waterfilling for Gaussian Frequency-Selective Interference Channels

Gesualdo Scutari, Daniel P. Palomar, Sergio Barbarossa

Comments: Submitted to IEEE Transactions on Information Theory, August 22, 2006. Revised September 25, 2007. Accepted January 14, 2008. To appear on IEEE Transactions on Information Theory, 2008

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

[129] arXiv:0801.2498 [pdf, other]

Title: An Application of the Feferman-Vaught Theorem to Automata and Logics for<br> Words over an Infinite Alphabet

Alexis Bès

Comments: 24 pages

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

Subjects: Logic in Computer Science (cs.LO)

[130] arXiv:0801.2510 [pdf, other]

Title: A Comparison of natural (english) and artificial (esperanto) languages. A Multifractal method based analysis

J. Gillet, M. Ausloos

Comments: 7 pages, 4 double figures, 45 references

Subjects: Computation and Language (cs.CL); Data Analysis, Statistics and Probability (physics.data-an)

[131] arXiv:0801.2588 [pdf, other]

Title: Coding and Decoding for the Dynamic Decode and Forward Relay Protocol

K. Raj Kumar, Giuseppe Caire

Comments: Submitted to the IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[132] arXiv:0801.2618 [pdf, other]

Title: Survey of Technologies for Web Application Development

Barry Doyle (University of California, Irvine), Cristina Videira Lopes (University of California, Irvine)

Comments: 43 pages

Subjects: Software Engineering (cs.SE); Information Retrieval (cs.IR); Networking and Internet Architecture (cs.NI)

[133] arXiv:0801.2666 [pdf, other]

Title: MRI/TRUS data fusion for prostate brachytherapy. Preliminary results

Christophe Reynier (TIMC), Jocelyne Troccaz (TIMC), Philippe Fourneret (TIMC), André Dusserre, Cécile Gay-Jeune (CHU-Grenoble radio), Jean-Luc Descotes, Michel Bolla, Jean-Yves Giraud

Journal-ref: Medical Physics 31, 6 (2004) 1568-75

Subjects: Other Computer Science (cs.OH)

[134] arXiv:0801.2793 [pdf, other]

Title: Algorithms for eps-approximations of Terrains

Jeff M. Phillips

Comments: 24 pages. Long version to supplement conference version to appear in ICALP in May 2008

Subjects: Computational Geometry (cs.CG)

[135] arXiv:0801.2823 [pdf, other]

Title: 3D/4D ultrasound registration of bone

Jonathan Schers (TIMC), Jocelyne Troccaz (TIMC), Vincent Daanen (TIMC), Céline Fouard (TIMC), Christopher Plaskos, Pascal Kilian

Journal-ref: Dans IEEE International Ultrasonic Symposium, 2007 - IEEE International Ultrasonic Symposium, 2007, New-York : \'Etats-Unis d'Am\'erique (2007)

Subjects: Other Computer Science (cs.OH); Medical Physics (physics.med-ph)

[136] arXiv:0801.2838 [pdf, other]

Title: An Algorithm for Road Coloring

A.N. Trahtman

Comments: 10 pages

Subjects: Discrete Mathematics (cs.DM)

[137] arXiv:0801.2931 [pdf, other]

Title: A Truthful Mechanism for Offline Ad Slot Scheduling

Jon Feldman, S. Muthukrishnan, Evdokia Nikolova, Martin Pal

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

[138] arXiv:0801.3024 [pdf, other]

Title: Construction of Z4-linear Reed-Muller codes

J. Pujol, J. Rifá, F. I. Solov'eva

Comments: Paper submitted to IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[139] arXiv:0801.3042 [pdf, other]

Title: Performance Analysis of a Cross-layer Collaborative Beamforming Approach in the Presence of Channel and Phase Errors

Lun Dong, Athina P. Petropulu, H. Vincent Poor

Comments: 4 pages, 3 figures, To appear in the Proceedings of the 2008 IEEE International Conference on Acoustics, Speech and Signal Processing, Las Vegas, NV, March 30 - April 4, 2008

Subjects: Information Theory (cs.IT)

[140] arXiv:0801.3046 [pdf, other]

Title: A model for reactive porous transport during re-wetting of hardened concrete

Michael Chapwanya, Wentao Liu, John M. Stockie

Comments: 30 pages

Journal-ref: Journal of Engineering Mathematics, 65(1):53-73, 2009

Subjects: Computational Engineering, Finance, and Science (cs.CE); Fluid Dynamics (physics.flu-dyn)

[141] arXiv:0801.3048 [pdf, other]

Title: Human Heuristics for Autonomous Agents

Franco Bagnoli, Andrea Guazzini, Pietro Lio'

Comments: 12 pages

Journal-ref: P. Li\'o et al. editors, BIOWIRE 2007, LNCS 5151, pages 340-351, Springer--Verlag Berlin Heidelberg 2008

Subjects: Multiagent Systems (cs.MA); Human-Computer Interaction (cs.HC); Networking and Internet Architecture (cs.NI)

[142] arXiv:0801.3049 [pdf, other]

Title: Spatial-Spectral Joint Detection for Wideband Spectrum Sensing in Cognitive Radio Networks

Zhi Quan, Shuguang Cui, Ali. H. Sayed, H. Vincent Poor

Comments: To appear in the Proceedings of the 2008 IEEE International Conference on Acoustics, Speech and Signal Processing, Las Vegas, NV, March 30-April 4, 2008

Subjects: Information Theory (cs.IT)

[143] arXiv:0801.3065 [pdf, other]

Title: Cut Elimination for a Logic with Generic Judgments and Induction

Alwen Tiu

Subjects: Logic in Computer Science (cs.LO)

[144] arXiv:0801.3073 [pdf, other]

Title: Large Deviations Analysis for the Detection of 2D Hidden Gauss-Markov Random Fields Using Sensor Networks

Youngchul Sung, H. Vincent Poor, Heejung Yu

Comments: To appear in the Proceedings of the 2008 IEEE International Conference on Acoustics, Speech and Signal Processing, Las Vegas, NV, March 30 - April 4, 2008

Subjects: Information Theory (cs.IT)

[145] arXiv:0801.3088 [pdf, other]

Title: On Steepest-Descent-Kaczmarz Methods for Regularizing Systems of Nonlinear Ill-posed Equations

A. De Cezaro, M. Haltmeier, A. Leitao, O. Scherzer

Comments: 22 pages (8 figures). For this version we have corrected some typos and also have corrected Equation (25) in the proof of Theorem 3.3

Journal-ref: Applied Mathematics and Computation 202 (2008), pp. 596-607

Subjects: Numerical Analysis (math.NA)

[146] arXiv:0801.3097 [pdf, other]

Title: Auction-based Resource Allocation for Multi-relay Asynchronous Cooperative Networks

Jianwei Huang, Zhu Han, Mung Chiang, H. Vincent Poor

Comments: To appear in the Proceedings of the 2008 IEEE International Conference on Acoustics, Speech and Signal Processing, Las Vegas, NV, March 30 to April 4, 2008

Subjects: Information Theory (cs.IT)

[147] arXiv:0801.3099 [pdf, other]

Title: Gradient flow approach to geometric convergence analysis of preconditioned eigensolvers

Andrew V. Knyazev, Klaus Neymeyr

Comments: 8 pages, 2 figures. Accepted to SIAM J. Matrix Anal. (SIMAX)

Journal-ref: SIAM. J. Matrix Anal. & Appl. Volume 31, Issue 2, pp. 621-628 (2009)

Subjects: Numerical Analysis (math.NA); Optimization and Control (math.OC)

[148] arXiv:0801.3102 [pdf, other]

Title: Balancing transparency, efficiency and security in pervasive systems

Mark Wenstrom, Eloisa Bentivegna, Ali Hurson (Pennsylvania State University)

Comments: 52 pages, to be published in Advances in Computers

Subjects: Human-Computer Interaction (cs.HC); Information Retrieval (cs.IR)

[149] arXiv:0801.3111 [pdf, other]

Title: Analysis of Estimation of Distribution Algorithms and Genetic Algorithms on NK Landscapes

Martin Pelikan

Comments: Also available at the MEDAL web site, this http URL

Journal-ref: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO-2008), ACM Press, 1033-1040

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI)

[150] arXiv:0801.3112 [pdf, other]

Title: The Two User Gaussian Compound Interference Channel

Adnan Raja, Vinod M. Prabhakaran, Pramod Viswanath

Subjects: Information Theory (cs.IT)