CoRR, June 2004

• Kim-Chi Nguyen, Gilles Van Assche, Nicolas J. Cerf:
  Side-Information Coding with Turbo Codes and its Application to Quantum Key Distribution. , (informal publication)
  [cs.IT/0406001]
• Thomas Fischbacher:
  A novel approach to symbolic algebra. , (informal publication)
  [cs.SC/0406002]
• André Kempe, Franck Guingne, Florent Nicart:
  Algorithms for weighted multi-tape automata. , (informal publication)
  [cs.CL/0406003]
• Muhammad Nadeem, Syed Ata Hussain Jaffri:
  Application of Business Intelligence In Banks (Pakistan). , (informal publication)
  [cs.DB/0406004]
• George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, Armando Fox:
  A Microrebootable System -- Design, Implementation, and Evaluation. , (informal publication)
  [cs.OS/0406005]
• Edith Hemaspaandra:
  Dichotomy Theorems for Alternation-Bounded Quantified Boolean Formulas. , (informal publication)
  [cs.CC/0406006]
• Jiri Ocenasek, Martin Pelikan:
  Parallel Mixed Bayesian Optimization Algorithm: A Scaleup Analysis. , (informal publication)
  [cs.NE/0406007]
• Vyacheslav Zavadsky:
  Image compression by rectangular wavelet transform. , (informal publication)
  [cs.CV/0406008]
• Jean-Philippe Rennard:
  Implementation of Logical Functions in the Game of Life. , (informal publication)
  [cs.CC/0406009]
• Yidong Sun:
  Another Proof of an Extension of a Curious Identity. , (informal publication)
  [cs.DM/0406010]
• Cosma Rohilla Shalizi, Kristina Lisa Shalizi:
  Blind Construction of Optimal Nonlinear Recursive Predictors for Discrete Sequences. , (informal publication)
  [cs.LG/0406011]
• Seng Wai Loke, Andrew Davison:
  Secure Prolog-Based Mobile Code. , (informal publication)
  [cs.PL/0406012]
• Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano:
  Optimization of Bound Disjunctive Queries with Constraints. , (informal publication)
  [cs.LO/0406013]
• Richard A. O'Keefe:
  O(1) Reversible Tree Navigation Without Cycles. , (informal publication)
  [cs.PL/0406014]
• Damián H. Zanette:
  Zipf's law and the creation of musical context. , (informal publication)
  [cs.CL/0406015]
• Christoph Koch, Stefanie Scherzinger, Nicole Schweikardt, Bernhard Stegmaier:
  Schema-based Scheduling of Event Processors and Buffer Minimization for Queries on Structured Data Streams. , (informal publication)
  [cs.DB/0406016]
• Stephen P. Luttrell:
  Using Self-Organising Mappings to Learn the Structure of Data Manifolds. , (informal publication)
  [cs.NE/0406017]
• A. A. Eremin:
  Effects of wireless computing technology. , (informal publication)
  [cs.OH/0406018]
• Victor Firoiu, Xiaohui Zhang, Emre Gündüzhan, Nicolas Christin:
  Providing Service Guarantees in High-Speed Switching Systems with Feedback Output Queuing. , (informal publication)
  [cs.NI/0406019]
• David Eppstein:
  Algorithms for Drawing Media. , (informal publication)
  [cs.DS/0406020]
• Alexandre d'Aspremont, Laurent El Ghaoui, Michael I. Jordan, Gert R. G. Lanckriet:
  A direct formulation for sparse PCA using semidefinite programming. , (informal publication)
  [cs.CE/0406021]
• David King, Chris Kimble:
  Uncovering the epistemological and ontological assumptions of software designers. , (informal publication)
  [cs.SE/0406022]
• David King, Chris Kimble:
  Notions of Equivalence in Software Design. , (informal publication)
  [cs.SE/0406023]
• Vida Dujmovic, Pat Morin, David R. Wood:
  Layout of Graphs with Bounded Tree-Width. , (informal publication)
  [cs.DM/0406024]
• Frédéric Goualard, Laurent Granvilliers:
  Directional Consistency for Continuous Numerical Constraints. , (informal publication)
  [cs.AI/0406025]
• Tom Schrijvers, Alexander Serebrenik:
  Improving Prolog Programs: Refactoring for Prolog. , (informal publication)
  [cs.SE/0406026]
• Dietrich Fahrenholtz, Volker Turau:
  Fluctuation in Peer-to-Peer Networks: Mitigating Its Effect on DHT Performance. , (informal publication)
  [cs.NI/0406027]
• Yair Bartal, Béla Bollobás, Manor Mendel:
  Ramsey-type theorems for metric spaces with applications to online problems. , (informal publication)
  [cs.DS/0406028]
• Satyanarayana R. Valluri, Kamalakar Karlapalem:
  Subset Queries in Relational Databases. , (informal publication)
  [cs.DB/0406029]
• Maria Paola Bonacina, Nachum Dershowitz:
  Abstract Canonical Inference. , (informal publication)
  [cs.LO/0406030]
• Long Qiu, Min-Yen Kan, Tat-Seng Chua:
  A Public Reference Implementation of the RAP Anaphora Resolution Algorithm. , (informal publication)
  [cs.CL/0406031]
• José Borges, Mark Levene:
  A Dynamic Clustering-Based Markov Model for Web Usage Mining. , (informal publication)
  [cs.IR/0406032]
• Yair Bartal, Manor Mendel:
  Randomized k-server algorithms for growth-rate bounded graphs. , (informal publication)
  [cs.DS/0406033]
• Amos Fiat, Manor Mendel:
  Better algorithms for unfair metrical task systems and applications. , (informal publication)
  [cs.DS/0406034]
• Ali Ahmadinia, Christophe Bobda, Sándor P. Fekete, Jürgen Teich, Jan van der Veen:
  Optimal Routing-Conscious Dynamic Placement for Reconfigurable Devices. , (informal publication)
  [cs.DS/0406035]
• Manor Mendel, Steven S. Seiden:
  Online Companion Caching. , (informal publication)
  [cs.DS/0406036]
• Giorgi Japaridze:
  Propositional Computability Logic II. , (informal publication)
  [cs.LO/0406037]
• Vladan Vuckovic, Djordje Vidanovic:
  A New Approach to Draw Detection by Move Repetition in Computer Chess Programming. , (informal publication)
  [cs.AI/0406038]
• Sergey Yekhanin, Ilya Dumer:
  Long Nonbinary Codes Exceeding the Gilbert - Varshamov Bound for any Fixed Distance. , (informal publication)
  [cs.IT/0406039]
• Bonifac Donat:
  Alchemistry of the P versus NP question. , (informal publication)
  [cs.CC/0406040]
• Étienne Payet, Frédéric Mesnard:
  Non-Termination Inference of Logic Programs. , (informal publication)
  [cs.PL/0406041]
• Valdis Vitolins:
  Business Process Measures. , (informal publication)
  [cs.CE/0406042]
• Taneli Mielikäinen, Janne Ravantti, Esko Ukkonen:
  The Computational Complexity of Orientation Search Problems in Cryo-Electron Microscopy. , (informal publication)
  [cs.DS/0406043]
• Frank Harary, Wolfgang Slany, Oleg Verbitsky:
  On Computational Complexity of the Forcing Chromatic Number. , (informal publication)
  [cs.CC/0406044]
• Erik D. Demaine, Sándor P. Fekete, Shmuel Gal:
  Online Searching with Turn Cost. , (informal publication)
  [cs.DS/0406045]
• Andrew C. Huang, Armando Fox:
  Cheap Recovery: A Key to Self-Managing State. , (informal publication)
  [cs.NI/0406046]
• G. A. Ososkov, S. G. Dmitrievskiy, A. V. Stadnik:
  Self-organizing neural networks in classification and image recognition. , (informal publication)
  [cs.CV/0406047]
• Heeralal Janwa, Arbind K. Lal:
  On Expanders Graphs: Parameters and Applications. , (informal publication)
  [cs.IT/0406048]
• Marcus H. Mendenhall:
  A Fast, Vectorizable Algorithm for Producing Single-Precision Sine-Cosine Pairs. , (informal publication)
  [cs.MS/0406049]
• Abdelaziz Amraoui, Andrea Montanari, Thomas J. Richardson, Rüdiger L. Urbanke:
  Finite-Length Scaling for Iteratively Decoded LDPC Ensembles. , (informal publication)
  [cs.IT/0406050]
• Somdeb Lahiri:
  Stable Outcomes for Two-Sided Contract Choice Problems. , (informal publication)
  [cs.GT/0406051]
• Maximillian Dornseif, Thorsten Holz, Christian N. Klein:
  NoSEBrEaK - Attacking Honeynets. , (informal publication)
  [cs.CR/0406052]
• Kishori M. Konwar, Ion I. Mandoiu, Alexander Russell, Alexander A. Shvartsman:
  Approximation Algorithms for Minimum PCR Primer Set Selection with Amplification Length and Uniqueness Constraints. , (informal publication)
  [cs.DS/0406053]
• J. J. Paijmans:
  Building a linguistic corpus from bee dance data. , (informal publication)
  [cs.CL/0406054]
• Andrea Ferrara:
  Web Services: A Process Algebra Approach. , (informal publication)
  [cs.AI/0406055]
• Selmer Bringsjord, Joshua Taylor:
  P=NP. , (informal publication)
  [cs.CC/0406056]
• Maximillian Dornseif, Sascha May:
  Modelling the costs and benefits of Honeynets. , (informal publication)
  [cs.CR/0406057]
• Matthias Bauer:
  Proofs of Zero Knowledge. , (informal publication)
  [cs.CR/0406058]
• Maximillian Dornseif, Felix C. Gärtner, Thorsten Holz:
  Ermittlung von Verwundbarkeiten mit elektronischen Koedern. , (informal publication)
  [cs.CR/0406059]
• Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren:
  Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery. , (informal publication)
  [cs.DB/0406060]
• Scott Aaronson:
  The Complexity of Agreement. , (informal publication)
  [cs.CC/0406061]
• Nima Sarshar, P. Oscar Boykin, Vwani P. Roychowdhury:
  Scalable Percolation Search in Power Law Networks. , (informal publication)
  [cond-mat/0406152]
• Luca Dall'Asta, J. Ignacio Alvarez-Hamelin, Alain Barrat, Alexei Vázquez, Alessandro Vespignani:
  A statistical approach to the traceroute-like exploration of networks: theory and simulations. , (informal publication)
  [cond-mat/0406404]
• Peter Grünwald:
  A tutorial introduction to the minimum description length principle. , (informal publication)
  [math.ST/0406077]
• Philippe Chassaing, Regine Marchand:
  Merging costs for the additive Marcus-Lushnikov process, and Union-Find algorithms. , (informal publication)
  [math.PR/0406094]
• Peter Grünwald, John Langford:
  Suboptimal behaviour of Bayes and MDL in classification under misspecification. , (informal publication)
  [math.ST/0406221]
• Mark Braverman, Michael Yampolsky:
  Non-computable Julia sets. , (informal publication)
  [math.DS/0406416]
• Sabbir Rahman, Mahbub Majumdar:
  Maximum Entropy Multivariate Density Estimation: An exact goodness-of-fit approach. , (informal publication)
  [physics/0406023]
• Ilya Nemenman:
  Information theory, multivariate dependence, and genetic network inference. , (informal publication)
  [q-bio.QM/0406015]
• Julia Kempe, Aner Shalev:
  The hidden subgroup problem and permutation group theory. , (informal publication)
  [quant-ph/0406046]
• Alexander Yu. Vlasov:
  On Quantum Cellular Automata. , (informal publication)
  [quant-ph/0406119]
• Sudhir Kumar Singh, Sudebkumar Prasant Pal, Somesh Kumar, R. Srikanth:
  A combinatorial approach for studying LOCC transformations of multipartite states. , (informal publication)
  [quant-ph/0406135]
• Julia Kempe, Alexei Kitaev, Oded Regev:
  The Complexity of the Local Hamiltonian Problem. , (informal publication)
  [quant-ph/0406180]
• Scott Aaronson, Daniel Gottesman:
  Improved Simulation of Stabilizer Circuits. , (informal publication)
  [quant-ph/0406196]