CoRR, December 2000

• Ted Herman, Toshimitsu Masuzawa:
  Available and Stabilizing 2-3 Trees. , (informal publication)
  [cs.DC/0012001]
• Md. Enamul Karim, Abdun Naser Mahmood:
  Random Shuffling to Reduce Disorder in Adaptive Sorting Scheme. , (informal publication)
  [cs.DS/0012002]
• Douglas M. Snyder:
  Questions for a Materialist Philosophy Implying the Equivalence of Computers and Human Cognition. , (informal publication)
  [cs.GL/0012003]
• Fatma Ozcan, V. S. Subrahmanian, Jürgen Dix:
  Improving Performance of heavily loaded agents. , (informal publication)
  [cs.MA/0012004]
• Gérard Ferrand, Willy Lesaint, Alexandre Tessier:
  Value Withdrawal Explanation in CSP.
  [cs.SE/0012005]
• Robert Hood, Gabriele Jost:
  Support for Debugging Automatically Parallelized Programs.
  [cs.SE/0012006]
• Yasuhiro Ajiro, Kazunori Ueda:
  Kima- An automated error correction system for concurrent logic programs.
  [cs.SE/0012007]
• Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik:
  A General Framework for Automatic Termination Analysis of Logic Programs. , (informal publication)
  [cs.PL/0012008]
• Holger Cleve, Andreas Zeller:
  Finding Failure Causes through Automated Testing.
  [cs.SE/0012009]
• Krzysztof R. Apt:
  The Role of Commutativity in Constraint Propagation Algorithms. , (informal publication)
  [cs.PF/0012010]
• Marcus Hutter:
  Towards a Universal Theory of Artificial Intelligence based on Algorithmic Probability and Sequential Decision Theory. , (informal publication)
  [cs.AI/0012011]
• Dieter Kranzlmüller, Christian Schaubschläger, Jens Volkert:
  A Brief Overview of the MAD Debugging Activities.
  [cs.SE/0012012]
• Leonid A. Levin:
  The Equity Tax and Shelter. , (informal publication)
  [cs.CE/0012013]
• Gyöngyi Szilágyi, Tibor Gyimóthy, Jan Maluszynski:
  Slicing of Constraint Logic Programs.
  [cs.SE/0012014]
• Pierre Deransart, Jan-Georg Smaus:
  Well-Typed Logic Programs Are not Wrong. , (informal publication)
  [cs.LO/0012015]
• Javier Díaz, Claudia Queiruga, Villar Claudia, Laura Fava:
  A Virtual Java Simulation Lab for Computer Science Students. , (informal publication)
  [cs.OH/0012016]
• Debbie W. Leung:
  Towards Robust Quantum Computation. , (informal publication)
  [cs.CC/0012017]
• James Harland, David J. Pym:
  Resource-distribution via Boolean constraints. , (informal publication)
  [cs.LO/0012018]
• Hongsong Chou:
  A Note on Power-Laws of Internet Topology. , (informal publication)
  [cs.NI/0012019]
• Daniele Quintella Mendes, Luís Alfredo V. de Carvalho:
  Creativity and Delusions: A Neurocomputational Approach. , (informal publication)
  [cs.NE/0012020]
• Neil J. Gunther, Giordano B. Beretta:
  A Benchmark for Image Retrieval using Distributed Systems over the Internet: BIRDS-I. , (informal publication)
  [cs.IR/0012021]
• Neil J. Gunther:
  Performance and Scalability Models for a Hypergrowth e-Commerce Web Site. , (informal publication)
  [cs.PF/0012022]
• Leonid A. Levin:
  The Tale of One-way Functions. , (informal publication)
  [cs.CR/0012023]
• Jeffrey Considine, Leonid A. Levin, David Metcalf:
  Byzantine Agreement with Faulty Majority using Bounded Broadcast. , (informal publication)
  [cs.DC/0012024]
• Howard Kleiman:
  Hamilton Circuits in Graphs and Directed Graphs. , (informal publication)
  [math.CO/0012036]
• Pirkko Kuusela, Daniel Ocone, Eduardo D. Sontag:
  Learning Complexity Dimensions for a Continuous-Time Control System. , (informal publication)
  [math.OC/0012163]
• Dirk Schlingemann, Reinhard F. Werner:
  Quantum error-correcting codes associated with graphs. , (informal publication)
  [quant-ph/0012111]