CoRR, July 2004

• Parvin Asadzadeh, Rajkumar Buyya, Chun Ling Kei, Deepa Nayar, Srikumar Venugopal:
  Global Grids and Software Toolkits: A Study of Four Grid Middleware Technologies. , (informal publication)
  [cs.DC/0407001]
• Lea Cyrus, Hendrik Feddes, Frank Schumacher:
  Annotating Predicate-Argument Structure for a Parallel Treebank. , (informal publication)
  [cs.CL/0407002]
• Michael A. Bender, Martin Farach-Colton, Miguel A. Mosteiro:
  Insertion Sort is O(n log n). , (informal publication)
  [cs.DS/0407003]
• Jürg Wullschleger:
  Zero-error communication over networks. , (informal publication)
  [cs.IT/0407004]
• I. Dan Melamed, Wei Wang:
  Statistical Machine Translation by Parsing. , (informal publication)
  [cs.CL/0407005]
• Shuvendu K. Lahiri, Randal E. Bryant:
  Predicate Abstraction with Indexed Predicates. , (informal publication)
  [cs.LO/0407006]
• Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Bussche:
  The semijoin algebra and the guarded fragment. , (informal publication)
  [cs.DB/0407007]
• S. Ravichandran, M. N. Karthik:
  Autogenic Training With Natural Language Processing Modules: A Recent Tool For Certain Neuro Cognitive Studies. , (informal publication)
  [cs.AI/0407008]
• M. N. Karthik, Moshe Davis:
  Search Using N-gram Technique Based Statistical Analysis for Knowledge Extraction in Case Based Reasoning Systems. , (informal publication)
  [cs.AI/0407009]
• Alexander Barg:
  Improved error bounds for the erasure/list scheme: the binary and spherical cases. , (informal publication)
  [cs.IT/0407010]
• Alexander Barg, Andrew McGregor:
  Distance distribution of binary codes and the error probability of decoding. , (informal publication)
  [cs.IT/0407011]
• Arshad Ali, Ashiq Anjum, Atif Mehmood, Richard McClatchey, Ian Willers, Julian J. Bunn, Harvey B. Newman, Michael Thomas, Conrad Steenberg:
  A Taxonomy and Survey of Grid Resource Planning and Reservation Systems for Grid Enabled Analysis Environment. , (informal publication)
  [cs.DC/0407012]
• Naveed Ahmad, Arshad Ali, Ashiq Anjum, Tahir Azim, Julian J. Bunn, Ali Hassan, Ahsan Ikram, Frank van Lingen, Richard McClatchey, Harvey B. Newman, Conrad Steenberg, Michael Thomas, Ian Willers:
  Distributed Analysis and Load Balancing System for Grid Enabled Analysis on Hand-held devices using Multi-Agents Systems. , (informal publication)
  [cs.DC/0407013]
• Arshad Ali, Ashiq Anjum, Tahir Azim, Julian J. Bunn, Ahsan Ikram, Richard McClatchey, Harvey B. Newman, Conrad Steenberg, Michael Thomas, Ian Willers:
  A Grid-enabled Interface to Condor for Interactive Analysis on Handheld and Resource-limited Devices. , (informal publication)
  [cs.DC/0407014]
• Tomoyuki Yamakami, Toshio Suzuki:
  Resource Bounded Immunity and Simplicity. , (informal publication)
  [cs.CC/0407015]
• Vadim Bulitko:
  Learning for Adaptive Real-time Search. , (informal publication)
  [cs.AI/0407016]
• Andrew Cantino, Fronefield Crawford, Saurav Dhital, John P. Dougherty, Reid Sherman:
  A Low Cost Distributed Computing Approach to Pulsar Searches at a Small College. , (informal publication)
  [cs.DC/0407017]
• Pritam Ganguly, Stephen A. Vavasis, Katerina D. Papoulia:
  An algorithm for two-dimensional mesh generation based on the pinwheel tiling. , (informal publication)
  [cs.CG/0407018]
• Franc Jurkovic:
  Stochastic fuzzy controller. , (informal publication)
  [cs.AR/0407019]
• Rina Panigrahy:
  Minimum Enclosing Polytope in High Dimensions. , (informal publication)
  [cs.CG/0407020]
• Sanjiang Li, Huaiqing Wang:
  Multi-agent coordination using nearest neighbor rules: revisiting the Vicsek model. , (informal publication)
  [cs.MA/0407021]
• Erik G. Boman, Bruce Hendrickson, Stephen A. Vavasis:
  Solving Elliptic Finite Element Systems in Near-Linear Time with Support Preconditioners. , (informal publication)
  [cs.NA/0407022]
• Rina Panigrahy:
  Efficient Hashing with Lookups in two Memory Accesses. , (informal publication)
  [cs.DS/0407023]
• Ioannis N. Athanasiadis, Pericles A. Mitkas:
  An agent-based intelligent environmental monitoring system. , (informal publication)
  [cs.MA/0407024]
• Pericles A. Mitkas, Andreas L. Symeonidis, Dionisis Kehagias, Ioannis N. Athanasiadis, Gokce Laleci, Gokhan Kurt, Yildiray Kabak, Aybar C. Acar, Asuman Dogac:
  An agent framework for dynamic agent retraining: Agent academy. , (informal publication)
  [cs.MA/0407025]
• Atsushi Fujii, Tetsuya Ishikawa:
  Summarizing Encyclopedic Term Descriptions on the Web. , (informal publication)
  [cs.CL/0407026]
• Atsushi Fujii, Katunobu Itou, Tomoyosi Akiba, Tetsuya Ishikawa:
  Unsupervised Topic Adaptation for Lecture Speech Retrieval. , (informal publication)
  [cs.CL/0407027]
• Tomoyosi Akiba, Atsushi Fujii, Katunobu Itou:
  Effects of Language Modeling on Speech-driven Question Answering. , (informal publication)
  [cs.CL/0407028]
• Alexandre d'Aspremont:
  Static versus Dynamic Arbitrage Bounds on Multivariate Option Prices. , (informal publication)
  [cs.CE/0407029]
• Wolfgang Anthony Eiden:
  Scheduling with Fuzzy Methods. , (informal publication)
  [cs.OH/0407030]
• Pavel Naumov:
  On Modal Logics of Partial Recursive Functions. , (informal publication)
  [cs.LO/0407031]
• Darran Nathan:
  Exposing Software Defined Radio Functionality To Native Operating System Applications via Virtual Devices. , (informal publication)
  [cs.AR/0407032]
• Vida Dujmovic, Attila Pór, David R. Wood:
  Track Layouts of Graphs. , (informal publication)
  [cs.DM/0407033]
• Paolo Liberatore:
  On the Complexity of Case-Based Planning. , (informal publication)
  [cs.AI/0407034]
• Shipra Agrawal, Jayant R. Haritsa:
  A Framework for High-Accuracy Privacy-Preserving Mining. , (informal publication)
  [cs.DB/0407035]
• David Eppstein:
  All Maximal Independent Sets and Dynamic Dominance for Sparse Graphs. , (informal publication)
  [cs.DS/0407036]
• Ambedkar Dukkipati, M. Narasimha Murty, Shalabh Bhatnagar:
  Generalized Evolutionary Algorithm based on Tsallis Statistics. , (informal publication)
  [cs.AI/0407037]
• Purandar Bhaduri, S. Ramesh:
  Model Checking of Statechart Models: Survey and Research Directions. , (informal publication)
  [cs.SE/0407038]
• Jan Poland, Marcus Hutter:
  On the Convergence Speed of MDL Predictions for Bernoulli Sequences. , (informal publication)
  [cs.LG/0407039]
• Willem Jan van Hoeve, Michela Milano:
  Decomposition Based Search - A theoretical and experimental evaluation. , (informal publication)
  [cs.AI/0407040]
• Willem Jan van Hoeve:
  Exploiting Semidefinite Relaxations in Constraint Programming. , (informal publication)
  [cs.DM/0407041]
• Willem Jan van Hoeve, Michela Milano:
  Postponing Branching Decisions. , (informal publication)
  [cs.AI/0407042]
• Willem Jan van Hoeve:
  A Hyper-Arc Consistency Algorithm for the Soft Alldifferent Constraint. , (informal publication)
  [cs.PL/0407043]
• Michela Milano, Willem Jan van Hoeve:
  Reduced cost-based ranking for generating promising subproblems. , (informal publication)
  [cs.AI/0407044]
• Viktor Kuncak, Martin C. Rinard:
  The First-Order Theory of Sets with Cardinality Constraints is Decidable. , (informal publication)
  [cs.LO/0407045]
• Wojciech Skut, Stefan Ulrich, Kathrine Hammervold:
  A Bimachine Compiler for Ranked Tagging Rules. , (informal publication)
  [cs.CL/0407046]
• David N. Levin:
  Channel-Independent and Sensor-Independent Stimulus Representations. , (informal publication)
  [cs.CV/0407047]
• Justin Balthrop, Stephanie Forrest, Mark E. J. Newman, Matthew M. Williamson:
  Technological networks and the spread of computer viruses. , (informal publication)
  [cs.NI/0407048]
• Davy Van Nieuwenborgh, Dirk Vermeir:
  Preferred Answer Sets for Ordered Logic Programs. , (informal publication)
  [cs.LO/0407049]
• Bernhard K. Aichernig, Reinhold Kainhofer:
  Modeling and Validating Hybrid Systems Using VDM and Mathematica. , (informal publication)
  [cs.SE/0407050]
• G. Gordon Worley III:
  Bug shallowness in open-source, Macintosh software. , (informal publication)
  [cs.SE/0407051]
• Reinhold Kainhofer, Reinhard V. Simonovits:
  M@th Desktop and MD Tools - Mathematics and Mathematica Made Easy for Students. , (informal publication)
  [cs.MS/0407052]
• Salvatore Orlando, Raffaele Perego, Fabrizio Silvestri:
  Design of a Parallel and Distributed Web Search Engine. , (informal publication)
  [cs.IR/0407053]
• Giorgi Japaridze:
  From truth to computability I. , (informal publication)
  [cs.LO/0407054]
• Marco Pedicini, Francesco Quaglia:
  PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction. , (informal publication)
  [cs.LO/0407055]
• Bill Rosgen, John Watrous:
  On the hardness of distinguishing mixed-state quantum computations. , (informal publication)
  [cs.CC/0407056]
• Marcus Hutter, Andrej Muchnik:
  Universal Convergence of Semimeasures on Individual Random Sequences. , (informal publication)
  [cs.LG/0407057]
• Michael A. Bender, David P. Bunde, Erik D. Demaine, Sándor P. Fekete, Vitus J. Leung, Henk Meijer, Cynthia A. Phillips:
  Communication-Aware Processor Allocation for Supercomputers. , (informal publication)
  [cs.DS/0407058]
• Sergey P. Tsarev:
  On rational definite summation. , (informal publication)
  [cs.SC/0407059]
• Andrea Montanari:
  Tight bounds for LDPC and LDGM codes under MAP decoding. , (informal publication)
  [cs.IT/0407060]
• Vincent D. Blondel, Anahí Gajardo, Maureen Heymans, Pierre Senellart, Paul Van Dooren:
  A measure of similarity between graph vertices. , (informal publication)
  [cs.IR/0407061]
• Xuehai Zhang, Jennifer M. Schopf:
  Performance Analysis of the Globus Toolkit Monitoring and Discovery Service, MDS2. , (informal publication)
  [cs.DC/0407062]
• Nadia Benbernou, Patricia Cahn, Joseph O'Rourke:
  Unfolding Smooth Primsatoids. , (informal publication)
  [cs.CG/0407063]
• Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind:
  A Sequent Calculus and a Theorem Prover for Standard Conditional Logics. , (informal publication)
  [cs.LO/0407064]
• Peter D. Turney:
  Word Sense Disambiguation by Web Mining for Word Co-occurrence Probabilities. , (informal publication)
  [cs.CL/0407065]
• M. Tentyukov, D. Fliegner, M. Frank, A. Onischenko, A. Retey, H. M. Staudenmaier, J. A. M. Vermaseren:
  ParFORM: Parallel Version of the Symbolic Manipulation Program FORM. , (informal publication)
  [cs.SC/0407066]
• Satoshi Kokado, Kikuo Harigaya:
  A Theoretical Study on Spin-Dependent Transport of "Ferromagnet/Carbon Nanotube Encapsulating Magnetic Atoms/Ferromagnet" Junctions with 4-Valued Conductances. , (informal publication)
  [cond-mat/0407439]
• Ken Loo:
  Internal Turing Machines. , (informal publication)
  [math-ph/0407056]
• F. P. Zen, B. E. Gunara, W. Hidayat, Z. A. Thalib, H. Zainuddin, J. Aminuddin:
  Application of Artificial Neural Network in Jitter Analysis of Dispersion-Managed Communication System. , (informal publication)
  [nlin.PS/0407032]
• S. Yu. Vernov:
  Construction of Single-valued Solutions for Nonintegrable Systems with the Help of the Painleve Test. , (informal publication)
  [nlin.SI/0407062]
• Marie Lalire, Philippe Jorrand:
  A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics. , (informal publication)
  [quant-ph/0407005]
• Kohtaro Tadaki:
  An extension of Chaitin's halting probability Omega to measurement operator in infinite dimensional quantum system. , (informal publication)
  [quant-ph/0407023]
• Sudhir Kumar Singh, R. Srikanth:
  Assisted Quantum Secret Sharing. , (informal publication)
  [quant-ph/0407200]