CoRR, January 2001

• Jorge J. Moré:
  Automatic Differentiation Tools in Optimization Software. , (informal publication)
  [cs.MS/0101001]
• David J. Murray, Dale E. Parson:
  Automated Debugging in Java Using OCL and JDI.
  [cs.SE/0101002]
• Federico Fontana, Davide Rocchesso:
  Signal-Theoretic Characterization of Waveguide Mesh Geometries for Models of Two-Dimensional Wave Propagation in Elastic Media. , (informal publication)
  [cs.NA/0101003]
• Kevin K. H. Cheung, Michele Mosca:
  Decomposing Finite Abelian Groups. , (informal publication)
  [cs.DS/0101004]
• Raymond Smith, Bogdan Korel:
  Slicing Event Traces of Large Software Systems.
  [cs.SE/0101005]
• Marshall W. Bern, David Eppstein:
  Optimal Moebius Transformations for Information Visualization and Meshing. , (informal publication)
  [cs.CG/0101006]
• Mikhail Auguston:
  Assertion checker for the C programming language based on computations over event traces.
  [cs.SE/0101007]
• Abdullah Mohd Zin, Syed Ahmad Aljunid, Zarina Shukur, Mohd Jan Nordin:
  A Knowledge-based Automated Debugger in Learning System.
  [cs.SE/0101008]
• Ángel Herranz-Nieva, Juan José Moreno-Navarro:
  Generation of and Debugging with Logical Pre and Post-Conditions.
  [cs.SE/0101009]
• Ming-Yang Kao, Tak Wah Lam, Wing-Kin Sung, Hing-Fung Ting:
  An Even Faster and More Unifying Algorithm for Comparing Trees via Unbalanced Bipartite Matchings. , (informal publication)
  [cs.CV/0101010]
• Ming-Yang Kao:
  Multiple-Size Divide-and-Conquer Recurrences. , (informal publication)
  [cs.GL/0101011]
• Paul Hildreth, Chris Kimble, Peter Wright:
  Communities of Practice in the Distributed International Environment. , (informal publication)
  [cs.HC/0101012]
• Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin:
  A Classification of Symbolic Transition Systems. , (informal publication)
  [cs.LO/0101013]
• Zbigniew Lonc, Miroslaw Truszczynski:
  On the problem of computing the well-founded semantics. , (informal publication)
  [cs.LO/0101014]
• James Aspnes, Julia Hartling, Ming-Yang Kao, Junhyong Kim, Gauri Shah:
  Combinatorial Toolbox for Protein Sequence Design and Landscape Analysis in the Grand Canonical Model. , (informal publication)
  [cs.CE/0101015]
• Ting Chen, Ming-Yang Kao, Matthew Tepel, John Rush, George M. Church:
  A Dynamic Programming Approach to De Novo Peptide Sequencing via Tandem Mass Spectrometry. , (informal publication)
  [cs.CE/0101016]
• Ulrich Ultes-Nitsche, Pierre Wolper:
  Checking Properties within Fairness and Behavior Abstractions. , (informal publication)
  [cs.LO/0101017]
• Steven Benson, Lois C. McInnes, Jorge J. Moré:
  GPCG: A Case Study in the Performance and Scalability of Optimization Algorithms. , (informal publication)
  [cs.MS/0101018]
• Marcus Hutter:
  General Loss Bounds for Universal Sequence Prediction. , (informal publication)
  [cs.AI/0101019]
• Jörn Müller-Quade, Hideki Imai:
  More Robust Multiparty Protocols with Oblivious Transfer. , (informal publication)
  [cs.CR/0101020]
• Xin He, Ming-Yang Kao, Hsueh-I Lu:
  A Fast General Methodology for Information-Theoretically Optimal Encodings of Graphs. , (informal publication)
  [cs.DS/0101021]
• Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus:
  Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. , (informal publication)
  [cs.LO/0101022]
• Annalisa Bossi, Sandro Etalle, Sabina Rossi:
  Properties of Input-Consuming Derivations. , (informal publication)
  [cs.PL/0101023]
• Ming-Yang Kao, Stephen R. Tate:
  On-Line Difference Maximization. , (informal publication)
  [cs.DS/0101024]
• Enea Zaffanella, Patricia M. Hill, Roberto Bagnara:
  Decomposing Non-Redundant Sharing by Complementation. , (informal publication)
  [cs.PL/0101025]
• Péter Gács:
  Deterministic computations whose history is independent of the order of asynchronous updating. , (informal publication)
  [cs.DC/0101026]
• Simeon Warner:
  Open Archives Initiative protocol development and implementation at arXiv. , (informal publication)
  [cs.DL/0101027]
• Ming-Yang Kao, Yuan Ma, Michael Sipser, Yiqun Lisa Yin:
  Optimal Constructions of Hybrid Algorithms. , (informal publication)
  [cs.DM/0101028]
• Paul M. Aoki, Amy Hurst, Allison Woodruff:
  Tap Tips: Lightweight Discovery of Touchscreen Targets. , (informal publication)
  [cs.HC/0101029]
• Ming-Yang Kao:
  Tree Contractions and Evolutionary Trees. , (informal publication)
  [cs.CE/0101030]
• Ming-Yang Kao, Tak Wah Lam, Wing-Kin Sung, Hing-Fung Ting:
  Cavity Matchings, Label Compressions, and Unrooted Evolutionary Trees. , (informal publication)
  [cs.CE/0101031]
• Ming-Yang Kao:
  Total Protection of Analytic Invariant Information in Cross Tabulated Tables. , (informal publication)
  [cs.CR/0101032]
• Xin He, Ming-Yang Kao, Hsueh-I Lu:
  Linear-Time Succinct Encodings of Planar Graphs via Canonical Orderings. , (informal publication)
  [cs.DS/0101033]
• Ming-Yang Kao:
  Data Security Equals Graph Connectivity. , (informal publication)
  [cs.CR/0101034]
• Allison Woodruff, Paul M. Aoki, Amy Hurst, Margaret H. Szymanski:
  The Guidebook, the Friend, and the Room: Visitor Experience in a Historic House. , (informal publication)
  [cs.HC/0101035]
• Nick Chater, Paul M. B. Vitányi:
  The Generalized Universal Law of Generalization. , (informal publication)
  [cs.CV/0101036]
• Claus O. Wilke:
  Adaptive evolution on neutral networks. , (informal publication)
  [physics/0101021]
• Harry Buhrman, John Tromp, Paul M. B. Vitányi:
  Time and Space Bounds for Reversible Simulation. , (informal publication)
  [quant-ph/0101133]