CoRR, October 2003

• Edu Metz, Raimondas Lencevicius:
  A Performance Analysis Tool for Nokia Mobile Phone Software. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/0310001]
• Suresh Venkatasubramanian:
  The Graphics Card as a Streaming Computer. , (informal publication)
  Electronic Edition (link) BibTeX [cs.GR/0310002]
• Darin Goldstein, Nick Meyer:
  The Wake Up and Report Problem is Time-Equivalent to the Firing Squad Synchronization Problem. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0310003]
• Darin Goldstein:
  Determination of the Topology of a Directed Network. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0310004]
• Darin Goldstein, William Murray, Binh Yang:
  Using Artificial Intelligence for Model Selection. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0310005]
• Serge Abiteboul, Rakesh Agrawal, Philip A. Bernstein, Michael J. Carey, Stefano Ceri, W. Bruce Croft, David J. DeWitt, Michael J. Franklin, Hector Garcia-Molina, Dieter Gawlick, Jim Gray, Laura M. Haas, Alon Y. Halevy, Joseph M. Hellerstein, Yannis E. Ioannidis, Martin L. Kersten, Michael J. Pazzani, Michael Lesk, David Maier, Jeffrey F. Naughton, Hans-Jörg Schek, Timos K. Sellis, Avi Silberschatz, Michael Stonebraker, Richard T. Snodgrass, Jeffrey D. Ullman, Gerhard Weikum, Jennifer Widom, Stanley B. Zdonik:
  The Lowell Database Research Self Assessment. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0310006]
• Christian Schaubschläger, Dieter Kranzlmüller, Jens Volkert:
  Event-based Program Analysis with DeWiz. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/0310007]
• Gianluca Argentini:
  Poster on MPI application in Computational Fluid Dynamics. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0310008]
• Artur Rataj:
  On Interference of Signals and Generalization in Feedforward Neural Networks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NE/0310009]
• David Lyback:
  Transient Diversity in Multi-Agent Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0310010]
• Robert Capra, Manuel A. Pérez-Quiñones:
  Re-Finding Found Things: An Exploratory Study of How Users Re-Find Information. , (informal publication)
  Electronic Edition (link) BibTeX [cs.HC/0310011]
• Georg Gottlob, Christoph Koch:
  A Formal Comparison of Visual Web Wrapper Generators. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0310012]
• Franco Bagnoli, Fabio Franci, Francesco Mugelli, Andrea Sterbini:
  WebTeach in practice: the entrance test to the Engineering faculty in Florence. , (informal publication)
  Electronic Edition (link) BibTeX [cs.HC/0310013]
• Rodney J. Clarke, Philip C. Windridge, Dali Dong:
  Effective XML Representation for Spoken Language in Organisations. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0310014]
• Masao Okita, Fumihiko Ino, Kenichi Hagihara:
  Debugging Tool for Localizing Faulty Processes in Message Passing Programs. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/0310015]
• Bil Lewis:
  Debugging Backwards in Time. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/0310016]
• Chris Doran:
  Circle and sphere blending with conformal geometric algebra. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CG/0310017]
• Jiyou Jia:
  The Study of the Application of a Keywords-based Chatbot System on the Teaching of Foreign Languages. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CY/0310018]
• Michel Koskas:
  A hierarchical Algorithm to Solve the Shortest Path Problem in Valued Graphs. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0310019]
• Marija Kulas:
  Pure Prolog Execution in 21 Rules. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0310020]
• Ladislav J. Kohout, Eunjin Kim, Gary Zenz:
  Fuzzy Relational Modeling of Cost and Affordability for Advanced Technology Manufacturing Environment. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CE/0310021]
• Arvind Sankar, Daniel A. Spielman, Shang-Hua Teng:
  Smoothed Analysis of the Condition Numbers and Growth Factors of Matrices. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NA/0310022]
• Igor Bocharov, Pavel Lukin:
  Application of Kullback-Leibler Metric to Speech Recognition. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0310023]
• Joel Huselius, Henrik Thane, Daniel Sundmark:
  Availability Guarantee for Deterministic Replay Starting Points in Real-Time Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/0310024]
• Mikhail Auguston, Clinton Jeffery, Scott Underwood:
  A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/0310025]
• Akira Sasaki, Masataka Sassa:
  Generalized Systematic Debugging for Attribute Grammars. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/0310026]
• Sándor P. Fekete, Joseph S. B. Mitchell, Karin Beurer:
  On the continuous Fermat-Weber problem. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CG/0310027]
• Anoop Jain, Parag Sarda, Jayant R. Haritsa:
  Providing Diversity in K-Nearest Neighbor Query Results. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0310028]
• Rajeev Thakur, William Gropp, Ewing L. Lusk:
  Optimizing Noncontiguous Accesses in MPI-IO. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0310029]
• Oliver Oppitz:
  A Particular Bug Trap: Execution Replay Using Virtual Machines. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0310030]
• Vin de Silva:
  A weak definition of Delaunay triangulation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CG/0310031]
• Sándor P. Fekete, Jörg Schepers:
  A combinatorial characterization of higher-dimensional orthogonal packing. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0310032]
• Turker Ozsari:
  A Hash of Hash Functions. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0310033]
• Sándor P. Fekete, Marco E. Lübbecke, Henk Meijer:
  Minimizing the stabbing number of matchings, trees, and triangulations. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CG/0310034]
• Abhijit Kadlag, Amol V. Wanjari, Juliana Freire, Jayant R. Haritsa:
  Supporting Exploratory Queries in Database Centric Web Applications. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0310035]
• Daniel A. Spielman, Shang-Hua Teng:
  Solving Sparse, Symmetric, Diagonally-Dominant Linear Systems in Time O(m^1.31). , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0310036]
• Sándor P. Fekete, Henk Meijer:
  Maximum dispersion and geometric maximum weight cliques. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0310037]
• Shipra Agrawal, Vijay Krishnan, Jayant R. Haritsa:
  On Addressing Efficiency Concerns in Privacy Preserving Data Mining. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0310038]
• Chiranjeeb Buragohain, Divyakant Agrawal, Subhash Suri:
  A Game Theoretic Framework for Incentives in P2P Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.GT/0310039]
• Brock Pytlik, Manos Renieris, Shriram Krishnamurthi, Steven P. Reiss:
  Automated Fault Localization Using Potential Invariants. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/0310040]
• Pavlina Fragkou:
  A Dynamic Programming Algorithm for the Segmentation of Greek Texts. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0310041]
• Mireille Ducassé, Ludovic Langevine, Pierre Deransart:
  Rigorous design of tracers: an experiment for constraint logic programming. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/0310042]
• Jules Sadefo Kamdem:
  Value-at-Risk and Expected Shortfall for Quadratic portfolio of securities with mixture of elliptic Distributed Risk Factors. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CE/0310043]
• Ali E. Abbas:
  The Algebra of Utility Inference. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0310044]
• Ali E. Abbas:
  An information theory for preferences. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0310045]
• Kohtaro Tadaki, Tomoyuki Yamakami, Jack C. H. Lin:
  Theory of One Tape Linear Time Turing Machines. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0310046]
• Simona Perri, Francesco Scarcello, Nicola Leone:
  Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0310047]
• Sébastien Gaspard, Florida Estrella, Richard McClatchey, Régis Dindeleux:
  Managing Evolving Business Workflows through the Capture of Descriptive Information. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/0310048]
• Vladimir Batagelj, Matjaz Zaversnik:
  An O(m) Algorithm for Cores Decomposition of Networks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0310049]
• Artur Rataj:
  Fast Feedforward Neural Networks with Diffused Nonlinear Weight Functions. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NE/0310050]
• Daniel A. Spielman, Shang-Hua Teng:
  Nearly-Linear Time Algorithms for Graph Partitioning, Graph Sparsification, and Solving Linear Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0310051]
• Kamil Kulesza, Zbigniew Kotulski:
  On secret sharing for graphs. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0310052]
• Kamil Kulesza, Zbigniew Kotulski:
  Secret Sharing for n-Colorable Graphs with Application to Public Key Cryptography. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0310053]
• Jules Desharnais, Bernhard Möller, Georg Struth:
  Kleene algebra with domain. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0310054]
• William McCune:
  Mace4 Reference Manual and Guide. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SC/0310055]
• William McCune:
  OTTER 3.3 Reference Manual. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SC/0310056]
• Uwe Naumann, Andrea Walther:
  An Introduction to Using Software Tools for Automatic Differentiation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.MS/0310057]
• Rodney J. Clarke, Dali Dong, Philip C. Windridge:
  Application Architecture for Spoken Language Resources in Organisational Settings. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0310058]
• Jiuxing Liu, Weihang Jiang, Pete Wyckoff, Dhabaleswar K. Panda, David Ashton, Darius Buntinas, William Gropp, Brian R. Toonen:
  Design and Implementation of MPICH2 over InfiniBand with RDMA Support. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AR/0310059]
• Craig Alan Feinstein:
  Evidence that P is not equal to NP. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0310060]
• Lengning Liu, Miroslaw Truszczynski:
  Local-search techniques for propositional logic extended with cardinality constraints. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0310061]
• Lengning Liu, Miroslaw Truszczynski:
  WSAT(cc) - a fast local-search ASP solver. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0310062]
• V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski:
  Logic programs with monotone cardinality atoms. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0310063]
• Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski:
  Satisfiability and computing van der Waerden numbers. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0310064]
• Stephen Alstrup, Jacob Holm, Kristian de Lichtenberg, Mikkel Thorup:
  Maintaining Information in Fully-Dynamic Trees with Top Trees. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0310065]
• Dimitris Achlioptas, Cristopher Moore:
  Random k-SAT: Two Moments Suffice to Cross a Sharp Threshold. , (informal publication)
  Electronic Edition (link) BibTeX [cond-mat/0310227]
• Bernd Fiedler:
  Generators of algebraic covariant derivative curvature tensors and Young symmetrizers. , (informal publication)
  Electronic Edition (link) BibTeX [math.CO/0310020]
• Dan Romik:
  Shortest paths in the Tower of Hanoi graph and finite automata. , (informal publication)
  Electronic Edition (link) BibTeX [math.CO/0310109]
• Lucian Ilie, Jeffrey Shallit:
  A Generalization of Repetition Threshold. , (informal publication)
  Electronic Edition (link) BibTeX [math.CO/0310144]
• Ashish Goel, Sanatan Rai, Bhaskar Krishnamachari:
  Sharp thresholds for monotone properties in random geometric graphs. , (informal publication)
  Electronic Edition (link) BibTeX [math.PR/0310232]
• Jörn Anemüller, Terrence J. Sejnowski, Scott Makeig:
  Complex Independent Component Analysis of Frequency-Domain Electroencephalographic Data. , (informal publication)
  Electronic Edition (link) BibTeX [q-bio.QM/0310011]
• Lev Koyrakh:
  Pattern Excitation-Based Processing: The Music of The Brain. , (informal publication)
  Electronic Edition (link) BibTeX [q-bio.NC/0310025]
• Fang Wu, Bernardo A. Huberman:
  Finding Communities in Linear Time: A Physics Approach. , (informal publication)
  Electronic Edition (link) BibTeX [cond-mat/0310600]