CoRR, June 2005

• Dmitry Mogilevsky, Sean Keller:
  SafeMPI - Extending MPI for Byzantine Error Detection on Parallel Clusters. , (informal publication)
  [abs/cs/0506001]
• Angela Bonifati, Elaine Qing Chang, Terence Ho, Laks V. S. Lakshmanan:
  HepToX: Heterogeneous Peer to Peer XML Databases. , (informal publication)
  [abs/cs/0506002]
• Andrea Pasquinucci:
  Authentication and routing in simple Quantum Key Distribution networks. , (informal publication)
  [abs/cs/0506003]
• Vladimir Vovk:
  Non-asymptotic calibration and resolution. , (informal publication)
  [abs/cs/0506004]
• Neng-Fa Zhou:
  Programming Finite-Domain Constraint Propagators in Action Rules. , (informal publication)
  [abs/cs/0506005]
• Nicolas Capit, Georges Da Costa, Yiannis Georgiou, Guillaume Huard, Cyrille Martin, Grégory Mounié, Pierre Neyron, Olivier Richard:
  A batch scheduler with high level components. , (informal publication)
  [abs/cs/0506006]
• Vladimir Vovk, Ilia Nouretdinov, Akimichi Takemura, Glenn Shafer:
  Defensive forecasting for linear protocols. , (informal publication)
  [abs/cs/0506007]
• Felix Klaedtke:
  Bounds on the Automata Size for Presburger Arithmetic. , (informal publication)
  [abs/cs/0506008]
• A. S. Madhu, Priti Shankar:
  Approximate MAP Decoding on Tail-Biting Trellises. , (informal publication)
  [abs/cs/0506009]
• Simeon Warner:
  The OAI Data-Provider Registration and Validation Service. , (informal publication)
  [abs/cs/0506010]
• Peter Sin, Qing Xiang:
  On the dimensions of certain LDPC codes based on q-regular bipartite graphs. , (informal publication)
  [abs/cs/0506011]
• Farhad Meshkati, H. Vincent Poor, Stuart C. Schwartz:
  A Non-Cooperative Power Control Game in Delay-Constrained Multiple-Access Networks. , (informal publication)
  [abs/cs/0506012]
• Prakash Ishwar, Pierre Moulin:
  On the existence and characterization of the maxent distribution under general moment inequality constraints. , (informal publication)
  [abs/cs/0506013]
• Joost Engelfriet, Sebastian Maneth:
  The Equivalence Problem for Deterministic MSO Tree Transducers is Decidable. , (informal publication)
  [abs/cs/0506014]
• Raju Gangishetti, M. Choudary Gorantla, Manik Lal Das, Ashutosh Saxena:
  Cryptanalysis of Key Issuing Protocols in ID-based Cryptosystems. , (informal publication)
  [abs/cs/0506015]
• Travis Gagie:
  Compressing Probability Distributions. , (informal publication)
  [abs/cs/0506016]
• Nizar Messai, Marie-Dominique Devignes, Malika Smaïl-Tabbone, Amedeo Napoli:
  Treillis de concepts et ontologies pour l'interrogation d'un annuaire de sources de données biologiques (BioRegistry). , (informal publication)
  [abs/cs/0506017]
• Kambiz Azarian, Hesham El Gamal, Philip Schniter:
  On the Achievable Diversity-Multiplexing Tradeoffs in Half-Duplex Cooperative Channels. , (informal publication)
  [abs/cs/0506018]
• Vicky Choi, Navin Goyal:
  An Efficient Approximation Algorithm for Point Pattern Matching Under Noise. , (informal publication)
  [abs/cs/0506019]
• Praveen Kumar Gopala, Hesham El Gamal:
  On the Throughput-Delay Tradeoff in Cellular Multicast. , (informal publication)
  [abs/cs/0506020]
• Rajgopal Kannan, Shuangqing Wei:
  Analysis of Relationship between Strategic and Aggregate Energy Minimization in Delay-Constrained Wireless Networks. , (informal publication)
  [abs/cs/0506021]
• Jan Poland, Marcus Hutter:
  Asymptotics of Discrete MDL for Online Prediction. , (informal publication)
  [abs/cs/0506022]
• Onureena Banerjee, Alexandre d'Aspremont, Laurent El Ghaoui:
  Sparse Covariance Selection via Robust Maximum Likelihood Estimation. , (informal publication)
  [abs/cs/0506023]
• Marko A. Rodriguez:
  The Hyper-Cortex of Human Collective-Intelligence Systems. , (informal publication)
  [abs/cs/0506024]
• Travis Gagie:
  Dynamic Asymmetric Communication. , (informal publication)
  [abs/cs/0506025]
• Rada Chirkova, Michael R. Genesereth:
  Database Reformulation with Integrity Constraints (extended abstract). , (informal publication)
  [abs/cs/0506026]
• Travis Gagie:
  Sorting a Low-Entropy Sequence. , (informal publication)
  [abs/cs/0506027]
• Youngchul Sung, Lang Tong, H. Vincent Poor:
  Neyman-Pearson Detection of Gauss-Markov Signals in Noise: Closed-Form Error Exponent and Properties. , (informal publication)
  [abs/cs/0506028]
• Arul D. Murugan, Hesham El Gamal, Mohamed Oussama Damen, Giuseppe Caire:
  A Unified Framework for Tree Search Decoding : Rediscovering the Sequential Decoder. , (informal publication)
  [abs/cs/0506029]
• Jonathan Ben-Naim:
  Preferential and Preferential-discriminative Consequence relations. , (informal publication)
  [abs/cs/0506030]
• Patrick Albert, Laurent Henocque, Mathias Kleiner:
  A Constrained Object Model for Configuration Based Workflow Composition. , (informal publication)
  [abs/cs/0506031]
• R. Shankar:
  Framework for Hopfield Network based Adaptive routing - A design level approach for adaptive routing phenomena with Artificial Neural Network. , (informal publication)
  [abs/cs/0506032]
• Reno Filla:
  An Event-driven Operator Model for Dynamic Simulation of Construction Machinery. , (informal publication)
  [abs/cs/0506033]
• Srikumar Venugopal, Rajkumar Buyya, Kotagiri Ramamohanarao:
  A Taxonomy of Data Grids for Distributed Data Sharing, Management and Processing. , (informal publication)
  [abs/cs/0506034]
• Jerome Collin, Michel Dagenais:
  Fast Recompilation of Object Oriented Modules. , (informal publication)
  [abs/cs/0506035]
• Marco Dalai, Riccardo Leonardi:
  Non prefix-free codes for constrained sequences. , (informal publication)
  [abs/cs/0506036]
• Sriram N. Kizhakkemadam, Panos Papamichalis, Mandyam D. Srinath, Dinesh Rajan:
  Tradeoff Between Source and Channel Coding for Erasure Channels. , (informal publication)
  [abs/cs/0506037]
• Wen Ding, William Yurcik:
  A Game Theoretic Economics Framework to understanding Information Security Oursourcing Market. , (informal publication)
  [abs/cs/0506038]
• Weijun Zhu, Heechoon Lee, Daniel N. Liu, Michael P. Fitz:
  Antenna array geometry and coding performance. , (informal publication)
  [abs/cs/0506039]
• Jie Liu, Sheng Bao, Zhiqiang Jing, Shi Chen:
  A Fixed-Length Coding Algorithm for DNA Sequence Compression. , (informal publication)
  [abs/cs/0506040]
• Vladimir Vovk:
  Competitive on-line learning with a convex loss function. , (informal publication)
  [abs/cs/0506041]
• Deepak Sridhara, Christine A. Kelley, Joachim Rosenthal:
  Tree-Based Construction of LDPC Codes. , (informal publication)
  [abs/cs/0506042]
• Krishna R. Narayanan, Kapil Bhattad:
  A Decision Feedback Based Scheme for Slepian-Wolf Coding of sources with Hidden Markov Correlation. , (informal publication)
  [abs/cs/0506043]
• Kapil Bhattad, Niranjan Ratnakar, Ralf Koetter, Krishna R. Narayanan:
  Minimal Network Coding for Multicast. , (informal publication)
  [abs/cs/0506044]
• Krishna R. Narayanan, Kapil Bhattad:
  Decision Feedback Based Scheme for Slepian-Wolf Coding of sources with Hidden Markov Correlation. , (informal publication)
  [abs/cs/0506045]
• Bernard Jacquemin:
  Dictionaries merger for text expansion in question answering. , (informal publication)
  [abs/cs/0506046]
• Bernard Jacquemin:
  Analyse et expansion des textes en question-réponse. , (informal publication)
  [abs/cs/0506047]
• Bernard Jacquemin, Caroline Brun, Claude Roux:
  Enriching a Text by Semantic Disambiguation for Information Extraction. , (informal publication)
  [abs/cs/0506048]
• Caroline Brun, Bernard Jacquemin, Frédérique Segond:
  Exploitation de dictionnaires électroniques pour la désambiguïsation sémantique lexicale. , (informal publication)
  [abs/cs/0506049]
• Alexander Wiesmaier, Vangelis Karatsiolis, Marcus Lippert, Johannes Buchmann:
  The Workshop - Implementing Well Structured Enterprise Applications. , (informal publication)
  [abs/cs/0506050]
• Heiko Herrmann, Gunnar Rueckner:
  Comparison of two different implementations of a finite-difference-method for first-order pde in mathematica and matlab. , (informal publication)
  [abs/cs/0506051]
• Vignesh Sethuraman, Bruce Hajek:
  Comments on `Bit Interleaved Coded Modulation'. , (informal publication)
  [abs/cs/0506052]
• Hongyuan Zhang, Huaiyu Dai, Quan Zhou, Brian L. Hughes:
  Analysis on Transmit Antenna Selection for Spatial Multiplexing Systems: A Geometrical Approach. , (informal publication)
  [abs/cs/0506053]
• Ramesh Johari, Shie Mannor, John N. Tsitsiklis:
  Efficiency Loss in a Network Resource Allocation Game: The Case of Elastic Supply. , (informal publication)
  [abs/cs/0506054]
• Edith Hemaspaandra, Lane A. Hemaspaandra, Osamu Watanabe:
  The Complexity of Kings. , (informal publication)
  [abs/cs/0506055]
• Travis Gagie:
  Large Alphabets and Incompressibility. , (informal publication)
  [abs/cs/0506056]
• Victor Kromer:
  About one 3-parameter Model of Testing. , (informal publication)
  [abs/cs/0506057]
• Kapil Bhattad, Krishna R. Narayanan:
  An MSE Based Ttransfer Chart to Analyze Iterative Decoding Schemes. , (informal publication)
  [abs/cs/0506058]
• Hubie Chen:
  Existentially Restricted Quantified Constraint Satisfaction. , (informal publication)
  [abs/cs/0506059]
• Yong Luo:
  Yet another normalisation proof for Martin-Lof's logical framework--Terms with correct arities are strongly normalising. , (informal publication)
  [abs/cs/0506060]
• Daniele Gorla, Matthew Hennessy, Vladimiro Sassone:
  Security Policies as Membranes in Systems for Global Computing. , (informal publication)
  [abs/cs/0506061]
• Yoshiyuki Kabashima:
  A CDMA multiuser detection algorithm based on survey propagation. , (informal publication)
  [abs/cs/0506062]
• Slawomir Staworko, Jan Chomicki:
  Priority-Based Conflict Resolution in Inconsistent Relational Databases. , (informal publication)
  [abs/cs/0506063]
• Mitsugu Iwamoto, Hirosuke Yamamoto, Hirohisa Ogawa:
  Optimal multiple assignments based on integer programming in secret sharing schemes with general access structures. , (informal publication)
  [abs/cs/0506064]
• Mitsugu Iwamoto, Hirosuke Yamamoto:
  Strongly secure ramp secret sharing schemes for general access structures. , (informal publication)
  [abs/cs/0506065]
• Yoo Chung, Dongman Lee:
  Impersonation with the Echo Protocol. , (informal publication)
  [abs/cs/0506066]
• Juan José Amor, Gregorio Robles, Jesús M. González-Barahona:
  Measuring Woody: The Size of Debian 3.0. , (informal publication)
  [abs/cs/0506067]
• Chris Marriott, John Watrous:
  Quantum Arthur-Merlin Games. , (informal publication)
  [abs/cs/0506068]
• Rémi Monasson:
  A generating function method for the average-case analysis of DPLL. , (informal publication)
  [abs/cs/0506069]
• Yuriy A. Chashkov:
  Data Visualization on Shared Usage Multi-Screen Environment. , (informal publication)
  [abs/cs/0506070]
• Yu. Reznykov:
  Signal transmission on lossy lines as a dissipative quantum state propagation. , (informal publication)
  [abs/cs/0506071]
• Jing Jiang, Krishna R. Narayanan:
  Performance Analysis of Algebraic Soft Decoding of Reed-Solomon Codes over Binary Symmetric and Erasure Channels. , (informal publication)
  [abs/cs/0506072]
• Jing Jiang, Krishna R. Narayanan:
  Iterative Soft Input Soft Output Decoding of Reed-Solomon Codes by Adapting the Parity Check Matrix. , (informal publication)
  [abs/cs/0506073]
• Paolo Liberatore:
  Redundancy in Logic II: 2CNF and Horn Propositional Formulae. , (informal publication)
  [abs/cs/0506074]
• Bo Pang, Lillian Lee:
  Seeing stars: Exploiting class relationships for sentiment categorization with respect to rating scales. , (informal publication)
  [abs/cs/0506075]
• Wojciech Mazurczyk, Zbigniew Kotulski:
  Alternative security architecture for IP Telephony based on digital watermarking. , (informal publication)
  [abs/cs/0506076]
• K. C. V. Kalyanarama Sesha Sayee, Utpal Mukherji:
  Stability of Scheduled Multi-access Communication over Quasi-static Flat Fading Channels with Random Coding and Independent Decoding. , (informal publication)
  [abs/cs/0506077]
• David R. C. Dominguez, Kostadin Koroutchev, Eduardo Serrano, Francisco de Borja Rodríguez Ortiz:
  Dynamical Neural Network: Information and Topology. , (informal publication)
  [abs/cs/0506078]
• Ugo Dal Lago, Martin Hofmann:
  Quantitative Models and Implicit Complexity. , (informal publication)
  [abs/cs/0506079]
• Ugo Dal Lago:
  The Geometry of Linear Higher-Order Recursion. , (informal publication)
  [abs/cs/0506080]
• Gatis Midrijanis:
  Three lines proof of the lower bound for the matrix rigidity. , (informal publication)
  [abs/cs/0506081]
• Piotr Faliszewski, Lane A. Hemaspaandra:
  Open Questions in the Theory of Semifeasible Computation. , (informal publication)
  [abs/cs/0506082]
• Cyril Measson, Andrea Montanari, Rüdiger L. Urbanke:
  Maxwell Construction: The Hidden Bridge between Iterative and Maximum a Posteriori Decoding. , (informal publication)
  [abs/cs/0506083]
• Jason E. Holt:
  The One Page Model Checker. , (informal publication)
  [abs/cs/0506084]
• Jason E. Holt:
  On the Job Training. , (informal publication)
  [abs/cs/0506085]
• Sudharman K. Jayaweera:
  Large System Decentralized Detection Performance Under Communication Constraints. , (informal publication)
  [abs/cs/0506086]
• Ryutaroh Matsumoto, Kaoru Kurosawa, Toshiya Itoh, Toshimitsu Konno, Tomohiko Uyematsu:
  Primal-dual distance bounds of linear codes with application to cryptography. , (informal publication)
  [abs/cs/0506087]
• Olivier Rioul:
  An Alternative to Huffman's Algorithm for Constructing Variable-Length Codes. , (informal publication)
  [abs/cs/0506088]
• Patrick C. McGuire, Javier Gómez-Elvira, José Antonio Rodríguez Manfredi, Eduardo Sebastián-Martínez, Jens Ormö, Enrique Díaz Martínez, Markus Oesker, Robert Haschke, Jörg Ontrup, Helge Ritter:
  Field geology with a wearable computer: 1st results of the Cyborg Astrobiologist System. , (informal publication)
  [abs/cs/0506089]
• Tobias Riege, Jörg Rothe:
  An Exact 2.9416ⁿ Algorithm for the Three Domatic Number Problem. , (informal publication)
  [abs/cs/0506090]
• Oscar Y. Takeshita:
  A New Construction for LDPC Codes using Permutation Polynomials over Integer Rings. , (informal publication)
  [abs/cs/0506091]
• Thomas Lux:
  Emergent Statistical Wealth Distributions in Simple Monetary Exchange Models: A Critical Review. , (informal publication)
  [abs/cs/0506092]
• Oscar Y. Takeshita:
  On Maximum Contention-Free Interleavers and Permutation Polynomials over Integer Rings. , (informal publication)
  [abs/cs/0506093]
• Boris Ryabko, Jaakko Astola:
  Universal Codes as a Basis for Nonparametric Testing of Serial Independence for Time Series. , (informal publication)
  [abs/cs/0506094]
• Yi-Dong Shen, Qiang Yang, Jia-Huai You, Li-Yan Yuan:
  Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops. , (informal publication)
  [abs/cs/0506095]
• Nicolas Baudru, Rémi Morin:
  Polynomial Synthesis of Asynchronous Automata. , (informal publication)
  [abs/cs/0506096]
• Samuel Thibault:
  A Flexible Thread Scheduler for Hierarchical Multiprocessor Machines. , (informal publication)
  [abs/cs/0506097]
• Petra Berenbrink, Tom Friedetzky, Leslie Ann Goldberg, Paul W. Goldberg, Zengjian Hu, Russell A. Martin:
  Distributed Selfish Load Balancing. , (informal publication)
  [abs/cs/0506098]
• Yuval Shavitt, Eran Shir:
  DIMES: Let the Internet Measure Itself. , (informal publication)
  [abs/cs/0506099]
• Jirí Síma, Satu Elisa Schaeffer:
  On the NP-Completeness of Some Graph Cluster Measures. , (informal publication)
  [abs/cs/0506100]
• Patrick Haffner, Steven J. Phillips, Robert E. Schapire:
  Efficient Multiclass Implementations of L1-Regularized Maximum Entropy. , (informal publication)
  [abs/cs/0506101]
• John Little, Ryan Schwarz:
  On m-dimensional toric codes. , (informal publication)
  [abs/cs/0506102]
• Aneta Zwierko, Zbigniew Kotulski:
  Security of mobile agents: a new concept of the integrity protection. , (informal publication)
  [abs/cs/0506103]
• Zbigniew Lonc, Miroslaw Truszczynski:
  Computing minimal models, stable models and answer sets. , (informal publication)
  [abs/cs/0506104]
• Ren-Chiun Wang, Chou Chen Yang, Kun-Ru Mo:
  A protected password change protocol. , (informal publication)
  [abs/cs/0506105]
• Milan M. Cirkovic, Robert J. Bradbury:
  Galactic Gradients, Postbiological Evolution and the Apparent Failure of SETI. , (informal publication)
  [abs/astro-ph/0506110]
• Sergey N. Dorogovtsev, Alexander V. Goltsev, J. F. F. Mendes:
  Correlations in interacting systems with a network topology. , (informal publication)
  [abs/cond-mat/0506002]
• Mikhail G. Stepanov, Vladimir Y. Chernyak, Michael Chertkov, Bane V. Vasic:
  Diagnosis of weaknesses in modern error correction codes: a physics approach. , (informal publication)
  [abs/cond-mat/0506037]
• Hervé Daudé, Marc Mézard, Thierry Mora, Riccardo Zecchina:
  Pairs of SAT Assignment in Random Boolean Formulae. , (informal publication)
  [abs/cond-mat/0506053]
• L. Bogacz, Z. Burda, W. Janke, B. Waclaw:
  A program generating homogeneous random graphs with given weights. , (informal publication)
  [abs/cond-mat/0506330]
• Stefano Ciliberti, Marc Mézard:
  The theoretical capacity of the Parity Source Coder. , (informal publication)
  [abs/cond-mat/0506652]
• Naoto Morikawa:
  Discrete differential geometry of proteins: a new method for encoding three-dimensional structures of proteins. , (informal publication)
  [abs/math/0506082]
• Dimitri Grigoriev, Ilia V. Ponomarenko:
  Constructions in public-key cryptography over matrix groups. , (informal publication)
  [abs/math/0506180]
• Radhakrishnan Srinivasan, H. P. Raghunandan:
  Foundations of real analysis and computability theory in non-Aristotelian finitary logic. , (informal publication)
  [abs/math/0506475]
• Anne Micheli, Dominique Rossin:
  Edit Distance between Unlabeled Ordered Trees. , (informal publication)
  [abs/math/0506538]
• Hugues Berry, Daniel Gracia Pérez, Olivier Temam:
  Chaos in computer performance. , (informal publication)
  [abs/nlin/0506030]
• Bruno Cessac, J. A. Sepulchre:
  Transmitting a signal by amplitude modulation in a chaotic network. , (informal publication)
  [abs/nlin/0506061]
• Paolo Luchini, Maurizio Quadrio:
  A low-cost parallel implementation of direct numerical simulation of wall turbulence. , (informal publication)
  [abs/physics/0506155]
• Fabio Benatti, Tyll Krueger, Markus Mueller, Rainer Siegmund-Schultze, Arleta Szkola:
  Entropy and Quantum Kolmogorov Complexity: A Quantum Brudno's Theorem. , (informal publication)
  [abs/quant-ph/0506080]
• Wenjin Mao:
  Solving Satisfiability Problems by the Ground-State Quantum Computer. , (informal publication)
  [abs/quant-ph/0506200]