CoRR, August 2005

• Xiaoyang Gu, Jack H. Lutz, Philippe Moser:
  Dimensions of Copeland-Erdos Sequences. , (informal publication)
  [abs/cs/0508001]
• Gilson A. Giraldi, Luis C. da Costa, Adilson V. Xavier, Paulo S. Rodrigues:
  Methods for Analytical Understanding of Agent-Based Modeling of Complex Systems. , (informal publication)
  [abs/cs/0508002]
• Javier Esparza, Antonín Kucera, Richard Mayr:
  Model Checking Probabilistic Pushdown Automata. , (informal publication)
  [abs/cs/0508003]
• Lee Naish:
  A three-valued semantics for logic programmers. , (informal publication)
  [abs/cs/0508004]
• Nikolaos Papanikolaou:
  Logic Column 13: Reasoning Formally about Quantum Systems: An Overview. , (informal publication)
  [abs/cs/0508005]
• Sándor P. Fekete, Michael Kaufmann, Alexander Kröller, Katharina Anna Lehmann:
  A New Approach for Boundary Recognition in Geometric Sensor Networks. , (informal publication)
  [abs/cs/0508006]
• Manfred Harringer:
  Regularity of Position Sequences. , (informal publication)
  [abs/cs/0508007]
• Kentaro Kondo:
  The accurate optimal-success/error-rate calculations applied to the realizations of the reliable and short-period integer ambiguity resolution in carrier-phase GPS/GNSS positioning. , (informal publication)
  [abs/cs/0508008]
• Wei-jen Hsu, Ahmed Helmy:
  IMPACT: Investigation of Mobile-user Patterns Across University Campuses using WLAN Trace Analysis. , (informal publication)
  [abs/cs/0508009]
• Yongjin Kim, Ahmed Helmy:
  ATTENTION: ATTackEr traceback using MAC layer abNormality detecTION. , (informal publication)
  [abs/cs/0508010]
• Kazuto Ogawa, Goichiro Hanaoka, Hideki Imai:
  A Secure Traitor Tracing Scheme against Key Exposure. , (informal publication)
  [abs/cs/0508011]
• Jan Østergaard, Richard Heusdens, Jesper Jensen:
  n-Channel Asymmetric Multiple-Description Lattice Vector Quantization. , (informal publication)
  [abs/cs/0508012]
• Kenji Yasunaga, Toru Fujiwara:
  Relations between the Local Weight Distributions of a Linear Block Code, Its Extended Code, and Its Even Weight Subcode. , (informal publication)
  [abs/cs/0508013]
• Jon Feldman, Ralf Koetter, Pascal O. Vontobel:
  The Benefit of Thresholding in LP Decoding of LDPC Codes. , (informal publication)
  [abs/cs/0508014]
• Stanislav Bulygin:
  Chosen-ciphertext attack on noncommutative Polly Cracker. , (informal publication)
  [abs/cs/0508015]
• Jang-Won Lee, Mung Chiang, A. Robert Calderbank:
  Distributed Algorithms for Optimal Rate-Reliability Tradeoff in Networks. , (informal publication)
  [abs/cs/0508016]
• Jovan Pehcevski, James A. Thom, Anne-Marie Vercoustre:
  Enhancing Content-And-Structure Information Retrieval using a Native XML Database. , (informal publication)
  [abs/cs/0508017]
• Holger Boche, Volker Pohl:
  Spectral Factorization, Whitening- and Estimation Filter -- Stability, Smoothness Properties and FIR Approximation Behavior. , (informal publication)
  [abs/cs/0508018]
• Pascal O. Vontobel, Roxana Smarandache, Negar Kiyavash, Jason Teutsch, Dejan Vukobratovic:
  On the Minimal Pseudo-Codewords of Codes from Finite Geometries. , (informal publication)
  [abs/cs/0508019]
• Chris T. K. Ng, Andrea J. Goldsmith:
  Capacity Gain from Transmitter and Receiver Cooperation. , (informal publication)
  [abs/cs/0508020]
• Dmitri V. Krioukov, Kimberly C. Claffy:
  Toward Compact Interdomain Routing. , (informal publication)
  [abs/cs/0508021]
• Andrew Z. Tirkel, Thomas E. Hall:
  Matrix Construction Using Cyclic Shifts of a Column. , (informal publication)
  [abs/cs/0508022]
• Todd L. Veldhuizen:
  Software Libraries and Their Reuse: Entropy, Kolmogorov Complexity, and Zipf's Law. , (informal publication)
  [abs/cs/0508023]
• Kai-Uwe Schmidt, Adolf Finger:
  New Codes for OFDM with Low PMEPR. , (informal publication)
  [abs/cs/0508024]
• Sándor Györi:
  Signature coding for OR channel with asynchronous access. , (informal publication)
  [abs/cs/0508025]
• Kai-Uwe Schmidt, Adolf Finger:
  Simple Maximum-Likelihood Decoding of Generalized First-order Reed-Muller Codes. , (informal publication)
  [abs/cs/0508026]
• Justin Dauwels, Sascha Korl, Hans-Andrea Loeliger:
  Expectation maximization as message passing. , (informal publication)
  [abs/cs/0508027]
• Fang Wu, Zi Zhang, Bernardo A. Huberman:
  Truth-telling Reservations. , (informal publication)
  [abs/cs/0508028]
• Johannes J. Schneider, Scott Kirkpatrick:
  Selfish vs. Unselfish Optimization of Network Creation. , (informal publication)
  [abs/cs/0508029]
• Michael Lentmaier, Arvind Sridharan, Kamil Sh. Zigangirov, Daniel J. Costello Jr.:
  Terminated LDPC Convolutional Codes with Thresholds Close to Capacity. , (informal publication)
  [abs/cs/0508030]
• Jon Yard, Igor Devetak, Patrick M. Hayden:
  Capacity Theorems for Quantum Multiple Access Channels. , (informal publication)
  [abs/cs/0508031]
• Derek Messie, Jae C. Oh:
  Polymorphic Self-* Agents for Stigmergic Fault Mitigation in Large-Scale Real-Time Embedded Systems. , (informal publication)
  [abs/cs/0508032]
• Priya Mahadevan, Dmitri V. Krioukov, Marina Fomenkov, Bradley Huffaker, Xenofontas A. Dimitropoulos, Kimberly C. Claffy, Amin Vahdat:
  Lessons from Three Views of the Internet Topology. , (informal publication)
  [abs/cs/0508033]
• Erdal Arikan:
  Channel combining and splitting for cutoff rate improvement. , (informal publication)
  [abs/cs/0508034]
• Irina Naydenova, Torleiv Kløve:
  Codes for error detection, good or not good. , (informal publication)
  [abs/cs/0508035]
• Thierry Despeyroux, Yves Lechevallier, Brigitte Trousse, Anne-Marie Vercoustre:
  Expériences de classification d'une collection de documents XML de structure homogène. , (informal publication)
  [abs/cs/0508036]
• Vamsi Kalapala, Cris Moore:
  The Phase Transition in Exact Cover. , (informal publication)
  [abs/cs/0508037]
• John Robert Burger:
  Quantum Algorithm Processor For Finding Exact Divisors. , (informal publication)
  [abs/cs/0508038]
• Soheil Mohajer, Payam Pakzad, Ali Kakhbod:
  Tight Bounds on the Redundancy of Huffman Codes. , (informal publication)
  [abs/cs/0508039]
• Daniel C. Cunha, Jaime Portugheis:
  Bounds on the Capacity of the Blockwise Noncoherent APSK-AWGN Channels. , (informal publication)
  [abs/cs/0508040]
• Mike Tian-Jian Jiang, Deng Liu, Kang-min Liu, Weizhong Yang, Pek-tiong Tan, Meng-Juei Hsieh, Tsung-Hsiang Chang, Wen-Lien Hsu:
  OpenVanilla - A Non-Intrusive Plug-In Framework of Text Services. , (informal publication)
  [abs/cs/0508041]
• Tien-Chien Chiang, Deng Liu, Kang-min Liu, Weizhong Yang, Pek-tiong Tan, Meng-Juei Hsieh, Tsung-Hsiang Chang, Wen-Lien Hsu:
  OpenVanilla - A Non-Intrusive Plug-In Framework of Text Services. , (informal publication)
  [abs/cs/0508042]
• Marcus Hutter:
  Sequential Predictions based on Algorithmic Complexity. , (informal publication)
  [abs/cs/0508043]
• Sanjit A. Seshia, Randal E. Bryant:
  Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds. , (informal publication)
  [abs/cs/0508044]
• Christoph Albrecht, Andrew B. Kahng, Ion I. Mandoiu, Alexander Zelikovsky:
  Multicommodity Flow Algorithms for Buffered Global Routing. , (informal publication)
  [abs/cs/0508045]
• Panu Chaichanavong, Paul H. Siegel:
  Relaxation Bounds on the Minimum Pseudo-Weight of Linear Block Codes. , (informal publication)
  [abs/cs/0508046]
• Desmond S. Lun, Muriel Médard, Ralf Koetter, Michelle Effros:
  Further Results on Coding for Reliable Communication over Packet Networks. , (informal publication)
  [abs/cs/0508047]
• Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy:
  An Operational Foundation for Delimited Continuations in<br><br> the<br><br><br> CPS<br><br> Hierarchy. , (informal publication)
  [abs/cs/0508048]
• Ralf Koetter, Wen-Ching W. Li, Pascal O. Vontobel, Judy L. Walker:
  Characterizations of Pseudo-Codewords of LDPC Codes. , (informal publication)
  [abs/cs/0508049]
• Thomas M. Cover, Mung Chiang:
  Duality between channel capacity and rate distortion with two-sided state information. , (informal publication)
  [abs/cs/0508050]
• Jan Mietzner, Sabah Badri-Hoeher, Ingmar Land, Peter A. Hoeher:
  Trellis-Based Equalization for Sparse ISI Channels Revisited. , (informal publication)
  [abs/cs/0508051]
• Pierre Leone, Olivier Powell, José D. P. Rolim:
  Energy Optimal Data Propagation in Wireless Sensor Networks. , (informal publication)
  [abs/cs/0508052]
• Peter D. Turney:
  Measuring Semantic Similarity by Latent Relational Analysis. , (informal publication)
  [abs/cs/0508053]
• Yaron Rachlin, Rohit Negi, Pradeep K. Khosla:
  Sensing Capacity for Markov Random Fields. , (informal publication)
  [abs/cs/0508054]
• Olgica Milenkovic, Navin Kashyap:
  DNA Codes that Avoid Secondary Structures. , (informal publication)
  [abs/cs/0508055]
• Michael Stay:
  Very Simple Chaitin Machines for Concrete AIT. , (informal publication)
  [abs/cs/0508056]
• Miguel R. D. Rodrigues, Ioannis Chatzigeorgiou, Ian J. Wassell, Rolando A. Carrasco:
  On the Performance of Turbo Codes in Quasi-Static Fading Channels. , (informal publication)
  [abs/cs/0508057]
• Herve Jegou, Christine Guillemot:
  Entropy coding with Variable Length Re-writing Systems. , (informal publication)
  [abs/cs/0508058]
• Arindam Mitra:
  Quantum mechanics allows zero-bias. , (informal publication)
  [abs/cs/0508059]
• George M. Gemelos, Styrmir Sigurjonsson, Tsachy Weissman:
  Algorithms for Discrete Denoising Under Channel Uncertainty. , (informal publication)
  [abs/cs/0508060]
• Laksana Tri Handoko:
  SciBlog : A Tool for Scientific Collaboration. , (informal publication)
  [abs/cs/0508061]
• Alexei E. Ashikhmin, Vitaly Skachek:
  Decoding of Expander Codes at Rates Close to Capacity. , (informal publication)
  [abs/cs/0508062]
• Michel Dagenais:
  Disks, Partitions, Volumes and RAID Performance with the Linux Operating System. , (informal publication)
  [abs/cs/0508063]
• Massimiliano Siti, Michael P. Fitz:
  Layered Orthogonal Lattice Detector for Two Transmit Antenna Communications. , (informal publication)
  [abs/cs/0508064]
• Jeroen Bekaert, Herbert Van de Sompel:
  Representing Digital Assets using MPEG-21 Digital Item Declaration. , (informal publication)
  [abs/cs/0508065]
• Silvia Filippini-Fantoni, Jonathan P. Bowen:
  Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara. , (informal publication)
  [abs/cs/0508066]
• Teresa Numerico, Jonathan P. Bowen:
  Copyright and Promotion: Oxymoron or Opportunity? , (informal publication)
  [abs/cs/0508067]
• Martin J. Wainwright, Elitza N. Maneva:
  Lossy source encoding via message-passing and decimation over generalized codewords of LDGM codes. , (informal publication)
  [abs/cs/0508068]
• Martin Ziegler:
  Real Hypercomputation and Continuity. , (informal publication)
  [abs/cs/0508069]
• Martin J. Wainwright, Tommi Jaakkola, Alan S. Willsky:
  MAP estimation via agreement on (hyper)trees: Message-passing and linear programming. , (informal publication)
  [abs/cs/0508070]
• Ryan O'Donnell, Michael E. Saks, Oded Schramm, Rocco A. Servedio:
  Every decision tree has an influential variable. , (informal publication)
  [abs/cs/0508071]
• Igal Sason, Gil Wiechman:
  On Achievable Rates and Complexity of LDPC Codes for Parallel Channels with Application to Puncturing. , (informal publication)
  [abs/cs/0508072]
• Jan Poland, Marcus Hutter:
  Universal Learning of Repeated Matrix Games. , (informal publication)
  [abs/cs/0508073]
• James P. Mammen, Devavrat Shah:
  Throughput and Delay in Random Wireless Networks with Restricted Mobility. , (informal publication)
  [abs/cs/0508074]
• Russell K. Standish:
  Complexity of Networks. , (informal publication)
  [abs/cs/0508075]
• Lawrence Ong, Mehul Motani:
  Myopic Coding in Multiple Relay Channels. , (informal publication)
  [abs/cs/0508076]
• Frédérique E. Oggier, Emmanuel Lequeu:
  Families of unitary matrices achieving full diversity. , (informal publication)
  [abs/cs/0508077]
• Alexander Serebrenik, Susana Muñoz-Hernández:
  Proceedings of the 15th Workshop on Logic-based methods in Programming Environments WLPE'05 -- October 5, 2005 -- Sitges (Barcelona), Spain. , (informal publication)
  [abs/cs/0508078]
• Nithin Nagaraj, Vivek Vaidya, Prabhakar G. Vaidya:
  Re-visiting the One-Time Pad. , (informal publication)
  [abs/cs/0508079]
• Kirti Chawla:
  A 3D RGB Axis-based Color-oriented Cryptography. , (informal publication)
  [abs/cs/0508080]
• Kirti Chawla:
  ZEUS - A Domain-Oriented Fact Comparison Based Authentication Protocol. , (informal publication)
  [abs/cs/0508081]
• Scott A. Golder, Bernardo A. Huberman:
  The Structure of Collaborative Tagging Systems. , (informal publication)
  [abs/cs/0508082]
• Michael B. Baer:
  A General Framework for Codes Involving Redundancy Minimization. , (informal publication)
  [abs/cs/0508083]
• Michael B. Baer:
  Source Coding for Quasiarithmetic Penalties. , (informal publication)
  [abs/cs/0508084]
• Moshe Schwartz, Paul H. Siegel, Alexander Vardy:
  On the Asymptotic Performance of Iterative Decoders for Product Codes. , (informal publication)
  [abs/cs/0508085]
• Dragos Trinca:
  High-performance BWT-based Encoders. , (informal publication)
  [abs/cs/0508086]
• Dragos Trinca:
  Modelling the Eulerian Path Problem using a String Matching Framework. , (informal publication)
  [abs/cs/0508087]
• Dragos Trinca:
  Special Cases of Encodings by Generalized Adaptive Codes. , (informal publication)
  [abs/cs/0508088]
• Dragos Trinca:
  Modelling the EAH Data Compression Algorithm using Graph Theory. , (informal publication)
  [abs/cs/0508089]
• Dragos Trinca:
  Translating the EAH Data Compression Algorithm into Automata Theory. , (informal publication)
  [abs/cs/0508090]
• Susana Muñoz-Hernández, Claudio Vaucheret:
  Extending Prolog with Incomplete Fuzzy Information. , (informal publication)
  [abs/cs/0508091]
• Stergos D. Afantenos, Vangelis Karkaletsis, Panagiotis Stamatopoulos:
  Summarizing Reports on Evolving Events; Part I: Linear Evolution. , (informal publication)
  [abs/cs/0508092]
• Dana Porrat, Urbashi Mitra:
  Performance of PPM Multipath Synchronization in the Limit of Large Bandwidth. , (informal publication)
  [abs/cs/0508093]
• Kai Chen, Hoi-Kwong Lo:
  Conference Key Agreement and Quantum Sharing of Classical Secrets with Noisy GHZ States. , (informal publication)
  [abs/cs/0508094]
• Rohit Negi, Arjunan Rajeswaran:
  Capacity of Ultra Wide Band Wireless Ad Hoc Networks. , (informal publication)
  [abs/cs/0508095]
• Styrmir Sigurjonsson, Young-Han Kim:
  On Multiple User Channels with Causal State Information at the Transmitters. , (informal publication)
  [abs/cs/0508096]
• Devavrat Shah:
  Max Product for Max-Weight Independent Set and Matching. , (informal publication)
  [abs/cs/0508097]
• Pascal O. Vontobel, Ashwin Ganesan:
  An Explicit Construction of Universally Decodable Matrices. , (informal publication)
  [abs/cs/0508098]
• Dragana Bajic, Cedomir Stefanovic, Dejan Vukobratovic:
  Search Process and Probabilistic Bifix Approach. , (informal publication)
  [abs/cs/0508099]
• Alessandro Provetti:
  A primer on Answer Set Programming. , (informal publication)
  [abs/cs/0508100]
• Mohsen Bayati, Devavrat Shah, Mayank Sharma:
  Maximum Weight Matching via Max-Product Belief Propagation. , (informal publication)
  [abs/cs/0508101]
• Emily Stone, Suhail Ahmed, Abe Askari, Hong Tat:
  Investigations of Process Damping Forces in Metal Cutting. , (informal publication)
  [abs/cs/0508102]
• Peter D. Turney, Michael L. Littman:
  Corpus-based Learning of Analogies and Semantic Relations. , (informal publication)
  [abs/cs/0508103]
• K. J. Horadam:
  A Generalised Hadamard Transform. , (informal publication)
  [abs/cs/0508104]
• Ludovic Langevine, Mireille Ducassé:
  A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs. , (informal publication)
  [abs/cs/0508105]
• Étienne Payet, Frédéric Mesnard:
  An Improved Non-Termination Criterion for Binary Constraint Logic Programs. , (informal publication)
  [abs/cs/0508106]
• Beniamin Mounits, Tuvi Etzion, Simon Litsyn:
  New Upper Bounds on A(n,d). , (informal publication)
  [abs/cs/0508107]
• Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé:
  Proving or Disproving likely Invariants with Constraint Reasoning. , (informal publication)
  [abs/cs/0508108]
• William Heaven, Alessandra Russo:
  Enhancing the Alloy Analyzer with Patterns of Analysis. , (informal publication)
  [abs/cs/0508109]
• Ali Bagherzandi, Kooshiar Azimian, Javad Mohajeri, Mahmoud Salmasizadeh:
  Relations between semantic security and indistinguishability against cpa, non-adaptive cca and adaptive cca in comparison based framework. , (informal publication)
  [abs/cs/0508110]
• Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
  A Generic Framework for the Analysis and Specialization of Logic Programs. , (informal publication)
  [abs/cs/0508111]
• Jorge Navas, Francisco Bueno, Manuel V. Hermenegildo:
  A study of set-sharing analysis via cliques. , (informal publication)
  [abs/cs/0508112]
• Claude-Pierre Jeannerod, Gilles Villard:
  Asymptotically fast polynomial matrix algorithms for multivariable systems. , (informal publication)
  [abs/cs/0508113]
• Xiangyong Zeng, Lei Hu, Qingchong Liu:
  A Family of Binary Sequences with Optimal Correlation Property and Large Linear Span. , (informal publication)
  [abs/cs/0508114]
• Xiangyong Zeng, Lei Hu, Qingchong Liu:
  New Sequence Sets with Zero-Correlation Zone. , (informal publication)
  [abs/cs/0508115]
• John Robert Burger:
  Quantum Algorithm Processors to Reveal Hamiltonian Cycles. , (informal publication)
  [abs/cs/0508116]
• Xi Shen, Philippe De Wilde:
  Long-term neuronal behavior caused by two synaptic modification mechanisms. , (informal publication)
  [abs/cs/0508117]
• Soumya Jana:
  Unified Theory of Source Coding: Part I -- Two Terminal Problems. , (informal publication)
  [abs/cs/0508118]
• Soumya Jana:
  Unified Theory of Source Coding: Part II -- Multiterminal Problems. , (informal publication)
  [abs/cs/0508119]
• Gennady P. Berman, Vyacheslav N. Gorshkov, Edward P. MacKerrow, Xidi Wang:
  Iterative Algorithm for Finding Frequent Patterns in Transactional Databases. , (informal publication)
  [abs/cs/0508120]
• Wenyi Zhang, J. Nicholas Laneman:
  How Good is Phase-Shift Keying for Peak-Limited Rayleigh Fading Channels in the Low-SNR Regime? , (informal publication)
  [abs/cs/0508121]
• Sudipto Guha, Andrew McGregor, Suresh Venkatasubramanian:
  Streaming and Sublinear Approximation of Entropy and Information Distances. , (informal publication)
  [abs/cs/0508122]
• Bruno Marnette, Viktor Kuncak, Martin C. Rinard:
  On Algorithms and Complexity for Sets with Cardinality Constraints. , (informal publication)
  [abs/cs/0508123]
• Payam Pakzad, Christina Fragouli, Amin Shokrollahi:
  Coding Schemes for Line Networks. , (informal publication)
  [abs/cs/0508124]
• Sheng Bao, De-Shun Zheng:
  A Sorting Algorithm Based on Calculation. , (informal publication)
  [abs/cs/0508125]
• Christophe Laot, Nicolas Le Josse:
  A Closed-Form Solution for the Finite Length Constant Modulus Receiver. , (informal publication)
  [abs/cs/0508126]
• Jacob Ziv, Neri Merhav:
  On context-tree prediction of individual sequences. , (informal publication)
  [abs/cs/0508127]
• Dmitry Zinoviev:
  Mapping DEVS Models onto UML Models. , (informal publication)
  [abs/cs/0508128]
• Esra Erdem, Vladimir Lifschitz, Donald Ringe:
  Temporal Phylogenetic Networks and Logic Programming. , (informal publication)
  [abs/cs/0508129]
• Mary Baker, Mehul A. Shah, David S. H. Rosenthal, Mema Roussopoulos, Petros Maniatis, Thomas J. Giuli, Prashanth P. Bungale:
  A Fresh Look at the Reliability of Long-term Digital Storage. , (informal publication)
  [abs/cs/0508130]
• Vygintas Gontis, Bronislovas Kaulakys, J. Ruseckas:
  Point Process Models of 1/f Noise and Internet Traffic. , (informal publication)
  [abs/cs/0508131]
• Tran Cao Son, Enrico Pontelli:
  Planning with Preferences using Logic Programming. , (informal publication)
  [abs/cs/0508132]
• Boaz Tsaban:
  Decompositions of graphs of functions and efficient iterations of lookup tables. , (informal publication)
  [abs/cs/0508133]
• Christophe Deroulers, Rémi Monasson:
  Criticality and Universality in the Unit-Propagation Search Rule. , (informal publication)
  [abs/cond-mat/0508125]
• Yaniv S. Avizrats, Joshua Feinberg, Shmuel Fishman:
  A Universal Scaling Theory for Complexity of Analog Computation. , (informal publication)
  [abs/cond-mat/0508152]
• Alessandro Pelizzola:
  Cluster Variation Method in Statistical Physics and Probabilistic Graphical Models. , (informal publication)
  [abs/cond-mat/0508216]
• Howard Kleiman:
  The Symmetric Traveling Salesman Problem. , (informal publication)
  [abs/math/0508212]
• Ronald Ortner:
  Combinations and Mixtures of Optimal Policies in Unichain Markov Decision Processes are Optimal. , (informal publication)
  [abs/math/0508319]
• Ronald Ortner:
  Embeddability of Arrangements of Pseudocircles into the Sphere. , (informal publication)
  [abs/math/0508320]
• James Demmel, Ioana Dumitriu, Olga Holtz:
  Toward accurate polynomial evaluation in rounded arithmetic. , (informal publication)
  [abs/math/0508350]
• Anatoli Manita, François Simonot:
  On the cascade rollback synchronization. , (informal publication)
  [abs/math/0508533]
• David Chavalarias:
  Metamimetic Games : Modeling Metadynamics in Social Cognition. , (informal publication)
  [abs/nlin/0508006]
• Avanti Ketkar, Andreas Klappenecker, Santosh Kumar, Pradeep Kiran Sarvepalli:
  Nonbinary stabilizer codes over finite fields. , (informal publication)
  [abs/quant-ph/0508070]
• Marie Lalire:
  A probabilistic branching bisimulation for quantum processes. , (informal publication)
  [abs/quant-ph/0508116]
• Roger Colbeck, Adrian Kent:
  Variable Bias Coin Tossing. , (informal publication)
  [abs/quant-ph/0508149]
• Andris Ambainis:
  A new quantum lower bound method, with an application to strong direct product theorem for quantum search. , (informal publication)
  [abs/quant-ph/0508200]
• Stephanie Wehner:
  Entanglement in Interactive Proof Systems with Binary Answers. , (informal publication)
  [abs/quant-ph/0508201]
• Ivan Damgård, Serge Fehr, Louis Salvail, Christian Schaffner:
  Cryptography In the Bounded Quantum-Storage Model. , (informal publication)
  [abs/quant-ph/0508222]
• Pavel Chebotarev, Rafig Agaev:
  Matrices of Forests and the Analysis of Digraphs. , (informal publication)
  [abs/math/0508171]
• Pavel Chebotarev, Elena Shamis:
  On a Duality between Metrics and $\Sigma$-Proximities. , (informal publication)
  [abs/math/0508183]
• Pavel Chebotarev:
  Extending Utility Representations of Partial Orders. , (informal publication)
  [abs/math/0508199]
• Yuri N. Kosovtsov:
  Finding Liouvillian first integrals of rational ODEs of any order in finite terms. , (informal publication)
  [abs/math-ph/0508065]