CoRR, September 2004

• Alexandre O. Stauffer, Valmir C. Barbosa:
  Probabilistic heuristics for disseminating information in networks. , (informal publication)
  [cs.NI/0409001]
• Pascal Hitzler:
  Default reasoning over domains and concept hierarchies. , (informal publication)
  [cs.AI/0409002]
• Parth Bhawalkar, Victor Bigio, Adam Davis, Karthik Narayanaswami, Femi Olumoko:
  ScheduleNanny: Using GPS to Learn the User's Significant Locations Travel Times and Schedule. , (informal publication)
  [cs.AI/0409003]
• Manoj Kumar:
  The Password Change Phase is Still Insecure. , (informal publication)
  [cs.CR/0409004]
• Adam J. Slagell, William Yurcik:
  Sharing Computer Network Logs for Security and Privacy: A Motivation for New Methodologies of Anonymization. , (informal publication)
  [cs.CR/0409005]
• Dumitru N. Vulcanov, Valentina D. Vulcanov:
  Maple+GrTensorII libraries for cosmology. , (informal publication)
  [cs.SC/0409006]
• Jean Dezert, Florentin Smarandache, Milan Daniel:
  The Generalized Pignistic Transformation. , (informal publication)
  [cs.OH/0409007]
• Lea Cyrus, Hendrik Feddes:
  A Model for Fine-Grained Alignment of Multilingual Texts. , (informal publication)
  [cs.CL/0409008]
• Dirk Beyer, Andreas Noack:
  CrocoPat 2.1 Introduction and Reference Manual. , (informal publication)
  [cs.PL/0409009]
• Alexander Barg, Gilles Zémor:
  Distance properties of expander codes. , (informal publication)
  [cs.IT/0409010]
• G. David Forney Jr.:
  Shannon meets Wiener II: On MMSE estimation in successive decoding schemes. , (informal publication)
  [cs.IT/0409011]
• Elitza N. Maneva, Elchanan Mossel, Martin J. Wainwright:
  A New Look at Survey Propagation and its Generalizations. , (informal publication)
  [cs.CC/0409012]
• Ching-Chi Lin, Gerard J. Chang, Gen-Huey Chen:
  Locally connected spanning trees on graphs. , (informal publication)
  [cs.DS/0409013]
• Manoj Kumar:
  A Digital Signature with Threshold Generation and Verification. , (informal publication)
  [cs.CR/0409014]
• Stephen A. Cook, Neil Thapen:
  The strength of replacement in weak arithmetic. , (informal publication)
  [cs.LO/0409015]
• V. S. Lugovsky:
  Using a hierarchy of Domain Specific Languages in complex software systems design. , (informal publication)
  [cs.PL/0409016]
• Jianyang Zeng, Wen-Jing Hsu, Yahong Hu:
  Looking Further Ahead Reveals An Even Smaller World. , (informal publication)
  [cs.DM/0409017]
• Adam J. Slagell, Rafael Bonilla:
  PKI Scalability Issues. , (informal publication)
  [cs.CR/0409018]
• Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli:
  Outlier Detection by Logic Programming. , (informal publication)
  [cs.AI/0409019]
• Haibin Wang, Yuanchun He, Rajshekhar Sunderraman:
  A Generalized Disjunctive Paraconsistent Data Model for Negative and Disjunctive Information. , (informal publication)
  [cs.DB/0409020]
• Vita Hinze-Hoare:
  Should Cyberspace Chat Rooms be closed to protect Children? , (informal publication)
  [cs.CY/0409021]
• Ian Frommer, Eric Harder, Brian R. Hunt, Ryan Lance, Edward Ott, James A. Yorke:
  Two Models for the Study of Congested Internet Connections. , (informal publication)
  [cs.NI/0409022]
• Brendan Lucier:
  Construction of a Function Using a Fibonacci Numeration System. , (informal publication)
  [cs.DM/0409023]
• Leonid A. Levin:
  Aperiodic Tilings: Breaking Translational Symmetry. , (informal publication)
  [cs.DM/0409024]
• Serban E. Vlad:
  Topics in asynchronous systems. , (informal publication)
  [cs.AR/0409025]
• Henry D. Pfister, Igal Sason, Rüdiger L. Urbanke:
  Capacity-achieving ensembles for the binary erasure channel with bounded complexity. , (informal publication)
  [cs.IT/0409026]
• Henry D. Pfister, Igal Sason, Rüdiger L. Urbanke:
  Bounds on the decoding complexity of punctured codes on graphs. , (informal publication)
  [cs.IT/0409027]
• Andreas U. Schmidt:
  On Incentive Systems Based on Multi-Level Marketing of Virtual Goods. , (informal publication)
  [cs.GT/0409028]
• Jacques Dubrois, Jean-Guillaume Dumas:
  Efficient polynomial time algorithms computing industrial-strength primitive roots. , (informal publication)
  [cs.SC/0409029]
• Slim Abdennadher, Christophe Rigotti:
  Automatic Generation of CHR Constraint Solvers. , (informal publication)
  [cs.LO/0409030]
• Patrick C. McGuire, Javier Gómez-Elvira, José Antonio Rodríguez Manfredi, Eduardo Sebastián-Martínez, Jens Ormö, Enrique Díaz Martínez, Helge Ritter, Markus Oesker, Robert Haschke, Jörg Ontrup:
  Field Geology with a Wearable Computer: First Results of the Cyborg Astrobiologist System. , (informal publication)
  [cs.CV/0409031]
• A. K. Kolakowska, M. A. Novotny:
  Desynchronization and Speedup in an Asynchronous Conservative Parallel Update Protocol. , (informal publication)
  [cs.DC/0409032]
• Tomasz Suslo:
  Mean and variance estimation by kriging. , (informal publication)
  [cs.NA/0409033]
• Paul Stanton:
  Securing Data in Storage: A Review of Current Research. , (informal publication)
  [cs.OS/0409034]
• Ning Lu, Z. Todd Taylor, David P. Chassin, Ross T. Guttromson, R. Scott Studham:
  Parallel Computing Environments and Methods for Power Distribution System Simulation. , (informal publication)
  [cs.DC/0409035]
• Sunder Lal, Manoj Kumar:
  A Directed Signature Scheme and its Applications. , (informal publication)
  [cs.CR/0409036]
• Mark Dumay:
  Business Processes: The Theoretical Impact of Process Thinking on Information Systems Development. , (informal publication)
  [cs.OH/0409037]
• Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen:
  Checking modes of HAL programs. , (informal publication)
  [cs.PL/0409038]
• Marius Ionescu:
  P is not NP. , (informal publication)
  [cs.CC/0409039]
• Florentin Smarandache:
  Unification of Fusion Theories. , (informal publication)
  [cs.OH/0409040]
• Vita Hinze-Hoare:
  Four Principles Fundamental to Design Practice for Human Centred Systems. , (informal publication)
  [cs.HC/0409041]
• Harry Fitié:
  A new architecture for making highly scalable applications. , (informal publication)
  [cs.HC/0409042]
• Luca Trevisan:
  Inapproximability of Combinatorial Optimization Problems. , (informal publication)
  [cs.CC/0409043]
• Luca Trevisan:
  Some Applications of Coding Theory in Computational Complexity. , (informal publication)
  [cs.CC/0409044]
• Amar Isli:
  Augmenting ALC(D) (atemporal) roles and (aspatial) concrete domain with temporal roles and a spatial concrete domain -first results. , (informal publication)
  [cs.AI/0409045]
• Amar Isli:
  A TCSP-like decidable constraint language generalising existing cardinal direction relations. , (informal publication)
  [cs.AI/0409046]
• Amar Isli:
  An ALC(D)-based combination of temporal constraints and spatial constraints suitable for continuous (spatial) change. , (informal publication)
  [cs.AI/0409047]
• Michael M. Tung:
  FORM Matters: Fast Symbolic Computation under UNIX. , (informal publication)
  [cs.SC/0409048]
• Manoj Kumar:
  A Directed -Threshold Multi-Signature Scheme. , (informal publication)
  [cs.CR/0409049]
• Sunder Lal, Manoj Kumar:
  Some Applications of Directed Signature Scheme. , (informal publication)
  [cs.CR/0409050]
• Tereza Tusarova:
  Quantum Complexity Classes. , (informal publication)
  [cs.CC/0409051]
• Parosh Aziz Abdulla, Aletta Nylén:
  Better Quasi-Ordered Transition Systems. , (informal publication)
  [cs.LO/0409052]
• G. David Forney Jr.:
  On the role of MMSE estimation in approaching the information-theoretic limits of linear Gaussian channels: Shannon meets Wiener. , (informal publication)
  [cs.IT/0409053]
• Sébastien Roch, Patrice Marcotte, Gilles Savard:
  An Approximation Algorithm for Stackelberg Network Pricing. , (informal publication)
  [cs.GT/0409054]
• Alpay Beler, Ann Borda, Jonathan P. Bowen, Silvia Filippini-Fantoni:
  The Building of Online Communities: An approach for learning organizations, with a particular focus on the museum sector. , (informal publication)
  [cs.CY/0409055]
• Gianluca Argentini:
  Using sparse matrices and splines-based interpolation in computational fluid dynamics simulations. , (informal publication)
  [cs.NA/0409056]
• Sariel Har-Peled, Manor Mendel:
  Fast Construction of Nets in Low Dimensional Metrics, and Their Applications. , (informal publication)
  [cs.DS/0409057]
• Bo Pang, Lillian Lee:
  A Sentimental Education: Sentiment Analysis Using Subjectivity Summarization Based on Minimum Cuts. , (informal publication)
  [cs.CL/0409058]
• Vita Hinze-Hoare:
  From Digital Television to Internet? , (informal publication)
  [cs.MM/0409059]
• Anton Bovier, Irina A. Kurkova:
  Poisson convergence in the restricted k-partioning problem. , (informal publication)
  [cond-mat/0409532]
• Camille Roth, Paul Bourgine:
  Epistemic communities: description and hierarchic categorization. , (informal publication)
  [nlin.AO/0409013]
• Konstantin Klemm, Stefan Bornholdt:
  Topology of biological networks and reliability of information processing. , (informal publication)
  [q-bio.MN/0409022]