CoRR, July 2005

• Hideyuki Sakai, Hirosuke Yamamoto:
  Asymptotically Optimal Tree-based Group Key Management Schemes. , (informal publication)
  [abs/cs/0507001]
• Lifeng Lai, Ke Liu, Hesham El Gamal:
  The Three Node Wireless Network: Achievable Rates and Cooperation Strategies. , (informal publication)
  [abs/cs/0507002]
• A. Y. Shiekh:
  The role of Quantum Interference in Quantum Computing. , (informal publication)
  [abs/cs/0507003]
• Markus Fidler:
  An End-to-End Probabilistic Network Calculus with Moment Generating Functions. , (informal publication)
  [abs/cs/0507004]
• Sinan Gezici, Mung Chiang, H. Vincent Poor, Hisashi Kobayashi:
  A Genetic Algorithm Based Finger Selection Scheme for UWB MMSE Rake Receivers. , (informal publication)
  [abs/cs/0507005]
• Sinan Gezici, Zafer Sahinoglu, Andreas F. Molisch, Hisashi Kobayashi, H. Vincent Poor:
  A Two-Step Time of Arrival Estimation Algorithm for Impulse Radio Ultra Wideband Systems. , (informal publication)
  [abs/cs/0507006]
• Ulrich Berger:
  Strong normalisation for applied lambda calculi. , (informal publication)
  [abs/cs/0507007]
• Craig Alan Feinstein:
  Complexity Science for Simpletons. , (informal publication)
  [abs/cs/0507008]
• Ming Zhao, Zhigang Chen, Xiaoheng Deng, Lianming Zhang, Anfeng Liu, Guosheng Huang:
  MAEC : A Movement-Assisted Energy Conserving Method in Event Driven Wireless Sensor Networks. , (informal publication)
  [abs/cs/0507009]
• Jiayang Wang:
  A Study for the Feature Core of Dynamic Reduct. , (informal publication)
  [abs/cs/0507010]
• Farhad Meshkati, H. Vincent Poor, Stuart C. Schwartz, Narayan B. Mandayam:
  A Utility-Based Approach to Power Control and Receiver Design in Wireless Data Networks. , (informal publication)
  [abs/cs/0507011]
• Gilson A. Giraldi, Adilson V. Xavier, Antonio L. Apolinario Jr, Paulo S. Rodrigues:
  Lattice Gas Cellular Automata for Computational Fluid Animation. , (informal publication)
  [abs/cs/0507012]
• Justin Colannino, Mirela Damian, Ferran Hurtado, John Iacono, Henk Meijer, Suneeta Ramaswami, Godfried T. Toussaint:
  An O(n log n)-Time Algorithm for the Restricted Scaffold Assignment. , (informal publication)
  [abs/cs/0507013]
• Moshe Schwartz:
  Isomorphism of graphs-a polynomial test. , (informal publication)
  [abs/cs/0507014]
• Gérard D. Cohen, Alexander Vardy:
  Duality between Packings and Coverings of the Hamming Space. , (informal publication)
  [abs/cs/0507015]
• Julien Fondrevelle, Ammar Oulamara, Marie-Claude Portmann:
  Minimizing makespan in flowshop with time lags. , (informal publication)
  [abs/cs/0507016]
• Gregory Gutin, Arash Rafiey, Anders Yeo:
  Minimum Cost and List Homomorphisms to Semicomplete Digraphs. , (informal publication)
  [abs/cs/0507017]
• Youngchul Sung, Lang Tong, H. Vincent Poor:
  Optimal and Suboptimal Detection of Gaussian Signals in Noise: Asymptotic Relative Efficiency. , (informal publication)
  [abs/cs/0507018]
• Paul M. Aoki, Allison Woodruff:
  Making Space for Stories: Ambiguity in the Design of Personal Communication Systems. , (informal publication)
  [abs/cs/0507019]
• Arnaud Durand, Etienne Grandjean:
  First-order queries on structures of bounded degree are computable with constant delay. , (informal publication)
  [abs/cs/0507020]
• Renato C. Dutra, Valmir C. Barbosa:
  Finding routes in anonymous sensor networks. , (informal publication)
  [abs/cs/0507021]
• Lukasz Debowski:
  On Hilberg's Law and Its Links with Guiraud's Law. , (informal publication)
  [abs/cs/0507022]
• Luís O. Rigo Jr., Valmir C. Barbosa:
  Two-dimensional cellular automata and the analysis of correlated time series. , (informal publication)
  [abs/cs/0507023]
• Thierry Despeyroux, Yves Lechevallier, Brigitte Trousse, Anne-Marie Vercoustre:
  Experiments in Clustering Homogeneous XML Documents to Validate an Existing Typology. , (informal publication)
  [abs/cs/0507024]
• Randal Douc, Olivier Cappé, Eric Moulines:
  Comparison of Resampling Schemes for Particle Filtering. , (informal publication)
  [abs/cs/0507025]
• Qi Cheng:
  Hard Problems of Algebraic Geometry Codes. , (informal publication)
  [abs/cs/0507026]
• Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe:
  Anyone but Him: The Complexity of Precluding an Alternative. , (informal publication)
  [abs/cs/0507027]
• Robert Milson, Aaron Krowne:
  Adapting CBPP platforms for instructional use. , (informal publication)
  [abs/cs/0507028]
• Samuel Landau, Olivier Sigaud, Marc Schoenauer:
  ATNoSFERES revisited. , (informal publication)
  [abs/cs/0507029]
• Imre Bárány, Günter Rote:
  Strictly convex drawings of planar graphs. , (informal publication)
  [abs/cs/0507030]
• Mikhail G. Stepanov, Michael Chertkov:
  The error-floor of LDPC codes in the Laplacian channel. , (informal publication)
  [abs/cs/0507031]
• R. D. Ogden:
  Introduction to Quantum Message Space. , (informal publication)
  [abs/cs/0507032]
• Marco Cuturi, Kenji Fukumizu:
  Multiresolution Kernels. , (informal publication)
  [abs/cs/0507033]
• Ittai Abraham, Dahlia Malkhi, Gurmeet Singh Manku:
  Papillon: Greedy Routing in Rings. , (informal publication)
  [abs/cs/0507034]
• Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan:
  Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms. , (informal publication)
  [abs/cs/0507035]
• Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny:
  Improved Inference for Checking Annotations. , (informal publication)
  [abs/cs/0507036]
• Peter J. Stuckey, Martin Sulzmann:
  Type Inference for Guarded Recursive Data Types. , (informal publication)
  [abs/cs/0507037]
• Khaled M. Elbassioni, Zvi Lotker, Raimund Seidel:
  Upper Bound on the Number of Vertices of Polyhedra with $0,1$-Constraint Matrices. , (informal publication)
  [abs/cs/0507038]
• Joel B. Predd, Sanjeev R. Kulkarni, H. Vincent Poor:
  Distributed Regression in Sensor Networks: Training Distributively with Alternating Projections. , (informal publication)
  [abs/cs/0507039]
• Daniil Ryabko:
  Pattern Recognition for Conditionally Independent Data. , (informal publication)
  [abs/cs/0507040]
• Alexey V. Chernov, Marcus Hutter:
  Monotone Conditional Complexity Bounds on Future Prediction Errors. , (informal publication)
  [abs/cs/0507041]
• Florida Estrella, Richard McClatchey, Dmitri Rogulin:
  The MammoGrid Virtual Organisation - Federating Distributed Mammograms. , (informal publication)
  [abs/cs/0507042]
• Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying:
  Proof rules for purely quantum programs. , (informal publication)
  [abs/cs/0507043]
• Jan Poland, Marcus Hutter:
  Defensive Universal Learning with Experts. , (informal publication)
  [abs/cs/0507044]
• Giorgi Japaridze:
  In the beginning was game semantics. , (informal publication)
  [abs/cs/0507045]
• Xenofontas A. Dimitropoulos, Dmitri V. Krioukov, George F. Riley:
  Revisiting Internet AS-level Topology Discovery. , (informal publication)
  [abs/cs/0507046]
• Xenofontas A. Dimitropoulos, Dmitri V. Krioukov, Bradley Huffaker, Kimberly C. Claffy, George F. Riley:
  Inferring AS Relationships: Dead End or Lively Beginning? , (informal publication)
  [abs/cs/0507047]
• Paolo Liberatore:
  Redundancy in Logic III: Non-Mononotonic Reasoning. , (informal publication)
  [abs/cs/0507048]
• David Eppstein, Michael T. Goodrich, Jonathan Z. Sun:
  The Skip Quadtree: A Simple Dynamic Data Structure for Multidimensional Data. , (informal publication)
  [abs/cs/0507049]
• Lars Arge, David Eppstein, Michael T. Goodrich:
  Skip-Webs: Efficient Distributed Data Structures for Multi-Dimensional Data Sets. , (informal publication)
  [abs/cs/0507050]
• David Eppstein, Michael T. Goodrich, Jeremy Yu Meng:
  Confluent Layered Drawings. , (informal publication)
  [abs/cs/0507051]
• Qiang Li, Hui-Min Xie:
  Finite automata for testing uniqueness of Eulerian trails. , (informal publication)
  [abs/cs/0507052]
• David Eppstein:
  Nonrepetitive Paths and Cycles in Graphs with Application to Sudoku. , (informal publication)
  [abs/cs/0507053]
• Andrey S. Siver:
  f2mma: FORTRAN to Mathematica translator. , (informal publication)
  [abs/cs/0507054]
• Andrey S. Siver:
  ReacProc: A Tool to Process Reactions Describing Particle Interactions. , (informal publication)
  [abs/cs/0507055]
• Candace L. Sidner, Christopher Lee, Cory D. Kidd, Neal Lesh, Charles Rich:
  Explorations in engagement for humans and robots. , (informal publication)
  [abs/cs/0507056]
• Tereza Tusarova:
  A new sibling of BQP. , (informal publication)
  [abs/cs/0507057]
• Emanuel Diamant:
  Paving the Way for Image Understanding: A New Kind of Image Decomposition is Desired. , (informal publication)
  [abs/cs/0507058]
• Magdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi:
  Data complexity of answering conjunctive queries over SHIQ knowledge bases. , (informal publication)
  [abs/cs/0507059]
• Or Zuk, Ido Kanter, Eytan Domany:
  The Entropy of a Binary Hidden Markov Process. , (informal publication)
  [abs/cs/0507060]
• Andre Adrian:
  Software Architecture Overview. , (informal publication)
  [abs/cs/0507061]
• Jan Poland:
  FPL Analysis for Adaptive Bandits. , (informal publication)
  [abs/cs/0507062]
• Boaz Tsaban:
  Theoretical cryptanalysis of the Klimov-Shamir number generator TF-1. , (informal publication)
  [abs/cs/0507063]
• Isabelle Gnaedig, Hélène Kirchner:
  Termination of rewriting strategies: a generic approach. , (informal publication)
  [abs/cs/0507064]
• Zengyou He, Xiaofei Xu, Shengchun Deng:
  A Fast Greedy Algorithm for Outlier Mining. , (informal publication)
  [abs/cs/0507065]
• Sunder Lal, Atul Chaturvedi:
  Authentication Schemes Using Braid Groups. , (informal publication)
  [abs/cs/0507066]
• Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
  Conjunctive Query Containment and Answering under Description Logics Constraints. , (informal publication)
  [abs/cs/0507067]
• Henk D. L. Hollmann, Ludo M. G. M. Tolhuizen:
  On parity check collections for iterative erasure decoding that correct all correctable erasure patterns of a given size. , (informal publication)
  [abs/cs/0507068]
• Jovan Pehcevski, James A. Thom, Anne-Marie Vercoustre:
  Users and Assessors in the Context of INEX: Are Relevance Dimensions Relevant? , (informal publication)
  [abs/cs/0507069]
• Jovan Pehcevski, James A. Thom, Anne-Marie Vercoustre:
  Hybrid XML Retrieval: Combining Information Retrieval and a Native XML Database. , (informal publication)
  [abs/cs/0507070]
• Nicolai Kuntze, Thomas Rauch, Andreas U. Schmidt:
  Security for Distributed Web-Applications via Aspect-Oriented Programming. , (informal publication)
  [abs/cs/0507071]
• Matthew Leslie:
  Reliable Data Storage in Distributed Hash Tables. , (informal publication)
  [abs/cs/0507072]
• Michel Dagenais, Karim Yaghmour, Charles Levert, Makan Pourzandi:
  Software Performance Analysis. , (informal publication)
  [abs/cs/0507073]
• Marc Mézard, Matteo Palassini, Olivier Rivoire:
  Landscape of solutions in constraint satisfaction problems. , (informal publication)
  [abs/cond-mat/0507451]
• Gérard Henry Edmond Duchamp, Jean-Gabriel Luque, Marianne Deboysson-Flouret:
  Transitive Hall sets. , (informal publication)
  [abs/math/0507032]
• W. Charles Holland, Boaz Tsaban:
  The conjugacy problem and related problems in lattice-ordered groups. , (informal publication)
  [abs/math/0507041]
• Guangyue Han, Brian Marcus:
  Analyticity of Entropy Rate of Hidden Markov Chains. , (informal publication)
  [abs/math/0507235]
• Bernd Fiedler:
  Methods for the construction of generators of algebraic curvature tensors. , (informal publication)
  [abs/math/0507410]
• Camille Roth:
  Measuring Generalized Preferential Attachment in Dynamic Social Networks. , (informal publication)
  [abs/nlin/0507021]
• Gabriele Scheler:
  Network Topology influences Synchronization and Intrinsic Read-out. , (informal publication)
  [abs/q-bio/0507037]
• Paola Zizzi:
  Theoretical Setting of Inner Reversible Quantum Measurements. , (informal publication)
  [abs/quant-ph/0507155]
• Daniel Lehmann, Kurt Engesser, Dov M. Gabbay:
  Algebras of Measurements: the logical structure of Quantum Mechanics. , (informal publication)
  [abs/quant-ph/0507231]
• Shahar Dolev, Itamar Pitowsky, Boaz Tamir:
  Grover's Quantum Search Algorithm and Diophantine Approximation. , (informal publication)
  [abs/quant-ph/0507234]
• Harumichi Nishimura, Tomoyuki Yamakami:
  Quantum Minimal One Way Information: Relative Hardness and Quantum Advantage of Combinatorial Tasks. , (informal publication)
  [abs/quant-ph/0507270]