CoRR, August 2006

• Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik:
  A Finite Equational Base for CCS with Left Merge and Communication Merge. , (informal publication)
  [abs/cs/0608001]
• Florentin Smarandache, Jean Dezert:
  An Introduction to the DSm Theory for the Combination of Paradoxical, Uncertain, and Imprecise Sources of Information. , (informal publication)
  [abs/cs/0608002]
• Alessandro Rosa:
  On a solution to display non-filled-in quaternionic Julia sets. , (informal publication)
  [abs/cs/0608003]
• José M. Soler:
  Separating the articles of authors with the same name. , (informal publication)
  [abs/cs/0608004]
• Kasper Peeters:
  A field-theory motivated approach to symbolic computer algebra. , (informal publication)
  [abs/cs/0608005]
• Suhan Choi, S. Sandeep Pradhan:
  A Graph-based Framework for Transmission of Correlated Sources over Broadcast Channels. , (informal publication)
  [abs/cs/0608006]
• Thomas Holenstein, Renato Renner:
  On the randomness of independent experiments. , (informal publication)
  [abs/cs/0608007]
• Ilya Safro:
  The minimum linear arrangement problem on proper interval graphs. , (informal publication)
  [abs/cs/0608008]
• Andrea Cerri, Patrizio Frosini, Claudia Landi:
  Stability in multidimensional Size Theory. , (informal publication)
  [abs/cs/0608009]
• Sander Stepanov:
  MIMO scheme performance and detection in epsilon noise. , (informal publication)
  [abs/cs/0608010]
• Krzysztof R. Apt:
  The Many Faces of Rationalizability. , (informal publication)
  [abs/cs/0608011]
• Roberto Catanuto, Stavros Toumpis, Giacomo Morabito:
  Opti{c,m}al: Optical/Optimal Routing in Massively Dense Wireless Networks. , (informal publication)
  [abs/cs/0608012]
• Julien Robert, Nicolas Schabanel:
  Pull-Based Data Broadcast with Dependencies: Be Fair to Users, not to Items. , (informal publication)
  [abs/cs/0608013]
• Yuliy M. Baryshnikov, Jian Tan:
  Localization for Anchoritic Sensor Networks. , (informal publication)
  [abs/cs/0608014]
• Sebastian Brand, Roland H. C. Yap:
  Towards "Propagation = Logic + Control". , (informal publication)
  [abs/cs/0608015]
• Gregory J. Duck, Peter J. Stuckey, Sebastian Brand:
  ACD Term Rewriting. , (informal publication)
  [abs/cs/0608016]
• Krzysztof R. Apt, Sebastian Brand:
  Infinite Qualitative Simulations by Means of Constraint Programming. , (informal publication)
  [abs/cs/0608017]
• Renato Renner, Stefan Wolf, Jürg Wullschleger:
  The single-serving channel capacity. , (informal publication)
  [abs/cs/0608018]
• Sebastian Brand:
  Relation Variables in Qualitative Spatial Reasoning. , (informal publication)
  [abs/cs/0608019]
• Jean-Yves Marion, Romain Péchoux:
  Quasi-friendly sup-interpretations. , (informal publication)
  [abs/cs/0608020]
• Noga Alon, Eyal Lubetzky:
  The Shannon capacity of a graph and the independence numbers of its powers. , (informal publication)
  [abs/cs/0608021]
• Joseph Y. Halpern, Sabina Petride:
  Expressing Security Properties Using Selective Interleaving Functions. , (informal publication)
  [abs/cs/0608022]
• Gerhard Wunder, Thomas Michel:
  Optimal resource allocation for OFDM multiuser channels. , (informal publication)
  [abs/cs/0608023]
• Shujun Li, Chengqing Li, Kwok-Tung Lo, Guanrong Chen:
  Cryptanalysis of an Encryption Scheme Based on Blind Source Separation. , (informal publication)
  [abs/cs/0608024]
• Dinesh Kumar, Eitan Altman, Jean Marc Kelif:
  User-Network Association in a WLAN-UMTS Hybrid Cell: Global & Individual Optimality. , (informal publication)
  [abs/cs/0608025]
• Dinesh Kumar, Dhiman Barman, Eitan Altman, Jean Marc Kelif:
  New Cross-Layer Channel Switching Policy for TCP Transmission on 3G UMTS Downlink. , (informal publication)
  [abs/cs/0608026]
• Edwin A. Henneken, Michael J. Kurtz, Günther Eichhorn, Alberto Accomazzi, Carolyn Stern-Grant, Donna M. Thompson, Elizabeth Bohlen, Stephen S. Murray:
  myADS-arXiv - a Tailor-Made, Open Access, Virtual Journal. , (informal publication)
  [abs/cs/0608027]
• Joseph Y. Halpern:
  Using Sets of Probability Measures to Represent Uncertainty. , (informal publication)
  [abs/cs/0608028]
• Alexandros G. Dimakis, Martin J. Wainwright:
  Guessing Facets: Polytope Structure and Improved LP Decoder. , (informal publication)
  [abs/cs/0608029]
• Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen:
  On Quasi-Interpretations, Blind Abstractions and Implicit Complexity. , (informal publication)
  [abs/cs/0608030]
• Mikio Fujii:
  Secure Positioning of Mobile Terminals with Simplex Radio Communication. , (informal publication)
  [abs/cs/0608031]
• Harald Zankl, Aart Middeldorp:
  Satisfying KBO Constraints. , (informal publication)
  [abs/cs/0608032]
• Roberto Bonato:
  A Study on Learnability for Rigid Lambek Grammars. , (informal publication)
  [abs/cs/0608033]
• Aashish Sharma, William Yurcik:
  Security Assessment of E-Tax Filing Websites. , (informal publication)
  [abs/cs/0608034]
• Naoki Kobayashi, Kohei Suenaga, Lucian Wischik:
  Resource Usage Analysis for the Pi-Calculus. , (informal publication)
  [abs/cs/0608035]
• André Hernich, Nicole Schweikardt:
  Reversal Complexity Revisited. , (informal publication)
  [abs/cs/0608036]
• Shaohua Li:
  Cascade hash tables: a series of multilevel double hashing schemes with O(1) worst case lookup time. , (informal publication)
  [abs/cs/0608037]
• Joachim Wehler:
  Morphisms of Coloured Petri Nets. , (informal publication)
  [abs/cs/0608038]
• Norman Danner, Chris Pollett:
  The weak pigeonhole principle for function classes in S^1_2. , (informal publication)
  [abs/cs/0608039]
• Patrick Baillot, Marco Pedicini:
  An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus. , (informal publication)
  [abs/cs/0608040]
• Igor Sobrado, Dave Uhring:
  The Dynamics of A Self-Forming Network. , (informal publication)
  [abs/cs/0608041]
• Gil Wiechman, Igal Sason:
  An Improved Sphere-Packing Bound for Finite-Length Codes on Symmetric Memoryless Channels. , (informal publication)
  [abs/cs/0608042]
• Babajide Afolabi, Odile Thiery:
  Using Users' Expectations to Adapt Business Intelligence Systems. , (informal publication)
  [abs/cs/0608043]
• Jay Kumar Sundararajan, Muriel Médard, MinJi Kim, Atilla Eryilmaz, Devavrat Shah, Ralf Koetter:
  Network Coding in a Multicast Switch. , (informal publication)
  [abs/cs/0608044]
• Giannis Kouretis, Fotis Georgatos:
  LiveWN, cpu scavenging in the Grid Era. , (informal publication)
  [abs/cs/0608045]
• Arshad Ali, Richard McClatchey, Ashiq Anjum, Irfan Habib, Kamran Soomro, Mohammed Asif, Ali Adil, Athar Mohsin:
  From Grid Middleware to a Grid Operating System. , (informal publication)
  [abs/cs/0608046]
• Richard McClatchey, David Manset, Tony Solomonides:
  Lessons Learned from MammoGrid for Integrated Biomedical Solutions. , (informal publication)
  [abs/cs/0608047]
• Ashiq Anjum, Richard McClatchey, Arshad Ali, Ian Willers:
  Bulk Scheduling with the DIANA Scheduler. , (informal publication)
  [abs/cs/0608048]
• Alberto Fernández, Sergio Gómez:
  Solving non-uniqueness in agglomerative hierarchical clustering using multidendrograms. , (informal publication)
  [abs/cs/0608049]
• Pascal Pons:
  Post-Processing Hierarchical Community Structures: Quality Improvements and Multi-scale View. , (informal publication)
  [abs/cs/0608050]
• André Hirschowitz, Marco Maggesi:
  Modules over Monads and Linearity. , (informal publication)
  [abs/cs/0608051]
• Alois Schlögl:
  GDF - A general dataformat for BIOSIGNALS. , (informal publication)
  [abs/cs/0608052]
• S. N. Coppersmith:
  Renormalization group approach to the P versus NP question. , (informal publication)
  [abs/cs/0608053]
• Luis Rademacher, Santosh Vempala:
  Dispersion of Mass and the Complexity of Randomized Geometric Algorithms. , (informal publication)
  [abs/cs/0608054]
• Hao Chen:
  MDS Ideal Secret Sharing Scheme from AG-codes on Elliptic Curves. , (informal publication)
  [abs/cs/0608055]
• Bin Dai, Yuan Luo:
  Wiretap Channel With Side Information. , (informal publication)
  [abs/cs/0608056]
• Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe:
  Hybrid Elections Broaden Complexity-Theoretic Resistance to Control. , (informal publication)
  [abs/cs/0608057]
• Srinivas Shakkottai, Marina Fomenkov, Dmitri V. Krioukov, Ryan Koga, Kimberly C. Claffy:
  Evolution of the Internet AS-Level Ecosystem. , (informal publication)
  [abs/cs/0608058]
• Daniel Hirschkoff, Damien Pous:
  A Distribution Law for CCS and a New Congruence Result for the pi-calculus. , (informal publication)
  [abs/cs/0608059]
• Syed Ali Jafar, Krishna Srikanth Gomadam:
  Duality and Capacity Region of AF Relay MAC and BC. , (informal publication)
  [abs/cs/0608060]
• Chengpu Wang, Zhen Wang:
  Concurrent Processing Memory. , (informal publication)
  [abs/cs/0608061]
• Solomon Feferman:
  Tarski's influence on computer science. , (informal publication)
  [abs/cs/0608062]
• Sylvain Pion, Andreas Fabri:
  A Generic Lazy Evaluation Scheme for Exact Geometric Computations. , (informal publication)
  [abs/cs/0608063]
• Lisi D'Alfonso, Gabriela Jeronimo, Pablo Solernó:
  A linear algebra approach to the differentiation index of generic DAE systems. , (informal publication)
  [abs/cs/0608064]
• Lubomíra Balková, Edita Pelantová, Ondrej Turek:
  Combinatorial and Arithmetical Properties of Infinite Words Associated with Non-simple Quadratic Parry Numbers. , (informal publication)
  [abs/cs/0608065]
• Mariano Zelke:
  k-Connectivity in the Semi-Streaming Model. , (informal publication)
  [abs/cs/0608066]
• Tetsushi Matsui:
  On Polynomial Time Computable Numbers. , (informal publication)
  [abs/cs/0608067]
• Ke Liu, Nael B. Abu-Ghazaleh:
  The Aligned-Coordinated Geographical Routing for Multihop Wireless Networks. , (informal publication)
  [abs/cs/0608068]
• Ke Liu, Nael B. Abu-Ghazaleh, Kyoung-Don Kang:
  JiTS: Just-in-Time Scheduling for Real-Time Sensor Data Dissemination. , (informal publication)
  [abs/cs/0608069]
• Haim H. Permuter, Tsachy Weissman, Andrea J. Goldsmith:
  Finite State Channels with Time-Invariant Deterministic Feedback. , (informal publication)
  [abs/cs/0608070]
• Avi Steiner, Amichai Sanderovich, Shlomo Shamai:
  Broadcast Cooperation Strategies for Two Colocated Users. , (informal publication)
  [abs/cs/0608071]
• Dandan Luo, Yunmin Zhu:
  Applications of Random Parameter Matrices Kalman Filtering in Uncertain Observation and Multi-Model Systems. , (informal publication)
  [abs/cs/0608072]
• Leonid B. Litinskii:
  Parametrical Neural Networks and Some Other Similar Architectures. , (informal publication)
  [abs/cs/0608073]
• Johannes Köbler, Oleg Verbitsky:
  From Invariants to Canonization in Parallel. , (informal publication)
  [abs/cs/0608074]
• Nader Ben Amor, Yannick Le Moullec, Jean-Philippe Diguet, Jean Luc Philippe, Mohamed Abid:
  Design of multimedia processor based on metric computation. , (informal publication)
  [abs/cs/0608075]
• Jürg Wullschleger:
  Oblivious-Transfer Amplification. , (informal publication)
  [abs/cs/0608076]
• Vinay Kolar, Nael B. Abu-Ghazaleh:
  The Effect of Scheduling on Link Capacity in Multi-hopWireless Networks. , (informal publication)
  [abs/cs/0608077]
• A. Slepoy, A. P. Thompson, M. D. Peters:
  Searching for Globally Optimal Functional Forms for Inter-Atomic Potentials Using Parallel Tempering and Genetic Programming. , (informal publication)
  [abs/cs/0608078]
• Anna C. Gilbert, Martin J. Strauss, Joel A. Tropp, Roman Vershynin:
  Algorithmic linear dimension reduction in the l_1 norm for sparse vectors. , (informal publication)
  [abs/cs/0608079]
• Hao Chen, Jianhua Li:
  Lower Bounds on the Algebraic Immunity of Boolean Functions. , (informal publication)
  [abs/cs/0608080]
• Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra:
  How Hard Is Bribery in Elections? , (informal publication)
  [abs/cs/0608081]
• S. M. Nazrul Alam, Peter Marbach:
  Competition and Request Routing Policies in Content Delivery Networks. , (informal publication)
  [abs/cs/0608082]
• Paul M. Aoki, Margaret H. Szymanski, Luke D. Plurkowski, James D. Thornton, Allison Woodruff, Weilie Yi:
  Where's the "Party" in "Multi-Party"? Analyzing the Structure of Small-Group Sociable Talk. , (informal publication)
  [abs/cs/0608083]
• Dana Angluin, James Aspnes, David Eisenstat, Eric Ruppert:
  The computational power of population protocols. , (informal publication)
  [abs/cs/0608084]
• Nandakishore Santhi, Alexander Vardy:
  A Quadratic Time-Space Tradeoff for Unrestricted Deterministic Decision Branching Programs. , (informal publication)
  [abs/cs/0608085]
• Nandakishore Santhi, Alexander Vardy:
  Analog Codes on Graphs. , (informal publication)
  [abs/cs/0608086]
• Nandakishore Santhi, Alexander Vardy:
  On an Improvement over Rényi's Equivocation Bound. , (informal publication)
  [abs/cs/0608087]
• Petter Holme, Josh Karlin, Stephanie Forrest:
  Radial Structure of the Internet. , (informal publication)
  [abs/cs/0608088]
• Shuchin Aeron, Venkatesh Saligrama:
  Wireless ad-hoc networks: Strategies and Scaling laws for the fixed SNR regime. , (informal publication)
  [abs/cs/0608089]
• Gun Srijuntongsiri, Stephen A. Vavasis:
  A Condition Number Analysis of a Line-Surface Intersection Algorithm. , (informal publication)
  [abs/cs/0608090]
• Floris Geerts, Peter Z. Revesz, Jan Van den Bussche:
  On-line topological simplification of weighted graphs. , (informal publication)
  [abs/cs/0608091]
• Ariel Daliot, Danny Dolev:
  Self-Stabilizing Byzantine Pulse Synchronization. , (informal publication)
  [abs/cs/0608092]
• Alexander V. Evako:
  Connection between continuous and digital n-manifolds and the Poincare conjecture. , (informal publication)
  [abs/cs/0608093]
• Hector Zenil:
  On Universality in Real Computation. , (informal publication)
  [abs/cs/0608094]
• Markus Mueller:
  Stationary Algorithmic Probability. , (informal publication)
  [abs/cs/0608095]
• Ariel Daliot, Danny Dolev, Hanna Parnas:
  Linear-time Self-stabilizing Byzantine Clock Synchronization. , (informal publication)
  [abs/cs/0608096]
• Angelo B. Mingarelli:
  A study of fuzzy and many-valued logics in cellular automata. , (informal publication)
  [abs/cs/0608097]
• Arvind Parthasarathy:
  Improved Content Based Image Watermarking. , (informal publication)
  [abs/cs/0608098]
• Tomi Janhunen, Emilia Oikarinen:
  Automated verification of weak equivalence within the SMODELS system. , (informal publication)
  [abs/cs/0608099]
• Peter D. Turney:
  Similarity of Semantic Relations. , (informal publication)
  [abs/cs/0608100]
• Gregory Gutin, Arash Rafiey, Anders Yeo:
  Minimum Cost Homomorphisms to Semicomplete Bipartite Digraphs. , (informal publication)
  [abs/cs/0608101]
• Jochen Mundinger, Jean-Yves Le Boudec:
  Analysis of a Reputation System for Mobile Ad-Hoc Networks with Liars. , (informal publication)
  [abs/cs/0608102]
• Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski:
  Logic programs with monotone abstract constraint atoms. , (informal publication)
  [abs/cs/0608103]
• Uday P. Khedker, Amitabha Sanyal, Amey Karkare:
  Heap Reference Analysis Using Access Graphs. , (informal publication)
  [abs/cs/0608104]
• Hui Guo, Ying Jiang:
  Application Layer Definition and Analyses of Controller Area Network Bus for Wire Harness Assembly Machine. , (informal publication)
  [abs/cs/0608105]
• Philippe Moser:
  Lp Computable Functions and Fourier Series. , (informal publication)
  [abs/cs/0608106]
• Fionn Murtagh:
  The Haar Wavelet Transform of a Dendrogram. , (informal publication)
  [abs/cs/0608107]
• Nicolas Brodu:
  Spherical Indexing for Neighborhood Queries. , (informal publication)
  [abs/cs/0608108]
• Michael Hohensee:
  Realistic Boundary Conditions for Ad Hoc Network Node Mobility Models and a New Approach to the Random Waypoint Model. , (informal publication)
  [abs/cs/0608109]
• Robert Colvin, Ian J. Hayes, Paul A. Strooper:
  Calculating modules in contextual logic program refinement. , (informal publication)
  [abs/cs/0608110]
• Ali Mesbah, Arie van Deursen:
  An Architectural Style for Ajax. , (informal publication)
  [abs/cs/0608111]
• Benoit Hudzia, Liam McDermott, Tariq N. Ellahi, M. Tahar Kechadi:
  Entity Based Peer-to-Peer in a Data Grid Environment. , (informal publication)
  [abs/cs/0608112]
• Benoit Hudzia, Tariq N. Ellahi, Liam McDermott, M. Tahar Kechadi:
  A Java Based Architecture of P2P-Grid Middleware. , (informal publication)
  [abs/cs/0608113]
• Benoit Hudzia, Serge G. Petiton:
  Reliable multicast fault tolerant MPI in the Grid environment. , (informal publication)
  [abs/cs/0608114]
• Leonid B. Litinskii, Dmitry E. Romanov:
  Neural Network Clustering Based on Distances Between Objects. , (informal publication)
  [abs/cs/0608115]
• Tariq N. Ellahi, Benoit Hudzia, Liam McDermott, M. Tahar Kechadi:
  Transparent Migration of Multi-Threaded Applications on a Java Based Grid. , (informal publication)
  [abs/cs/0608116]
• Chih-Chun Wang:
  Code Annealing and the Suppressing Effect of the Cyclically Lifted LDPC Code Ensemble. , (informal publication)
  [abs/cs/0608117]
• Benoit Hudzia, M. Tahar Kechadi, A. Ottewill:
  TreeP: A Tree-Based P2P Network Architecture. , (informal publication)
  [abs/cs/0608118]
• Shiguo Lian, Jinsheng Sun, Zhiquan Wang:
  Security Analysis of A Chaos-based Image Encryption Algorithm. , (informal publication)
  [abs/cs/0608119]
• Thierry Cachat:
  Controller synthesis & Ordinal Automata. , (informal publication)
  [abs/cs/0608120]
• Cheng-Yuan Liou, Bruce R. Musicus:
  Cross Entropy Approximation of Structured Covariance Matrices. , (informal publication)
  [abs/cs/0608121]
• A. Mani:
  OSS-Based Grid Computing. , (informal publication)
  [abs/cs/0608122]
• Zhengbang Zha, XueLi Wang:
  Proof of a Conjecture of Helleseth Regarding Pairs of Binary m-Sequences. , (informal publication)
  [abs/cs/0608123]
• Philip Bille, Inge Li Gørtz:
  The Tree Inclusion Problem: In Linear Space and Faster. , (informal publication)
  [abs/cs/0608124]
• Frédéric Blanqui:
  Decidability of Type-checking in the Calculus of Algebraic Constructions with Size Annotations. , (informal publication)
  [abs/cs/0608125]
• T. Rizzo, Bastian Wemmenhove, Hilbert J. Kappen:
  On Cavity Approximations for Graphical Models. , (informal publication)
  [abs/cond-mat/0608312]
• Mensur Omerbashich:
  Gauss-Vanicek Spectral Analysis of the Sepkoski Compendium: No New Life Cycles. , (informal publication)
  [abs/math-ph/0608014]
• Frédéric Dambreville:
  Conflict Free Rule for Combining Evidences. , (informal publication)
  [abs/math/0608116]
• Henrik Bäärnhielm:
  Recognising the Suzuki groups in their natural representations. , (informal publication)
  [abs/math/0608210]
• Matthias Hein, Jean-Yves Audibert, Ulrike von Luxburg:
  Graph Laplacians and their convergence on random neighborhood graphs. , (informal publication)
  [abs/math/0608522]
• XuanLong Nguyen, Martin J. Wainwright, Michael I. Jordan:
  On optimal quantization rules for some sequential decision problems. , (informal publication)
  [abs/math/0608556]
• Reinhard Muskens:
  Intensional Models for the Theory of Types. , (informal publication)
  [abs/math/0608571]
• Gilles Blanchard, François Fleuret:
  Occam's hammer: a link between randomized learning and multiple testing FDR control. , (informal publication)
  [abs/math/0608713]
• Peter Bubenik:
  Context for models of concurrency. , (informal publication)
  [abs/math/0608733]
• Chengqing Li, Shujun Li, Gonzalo Álvarez, Guanrong Chen, Kwok-Tung Lo:
  Cryptanalysis of a chaotic block cipher with external key and its improved version. , (informal publication)
  [abs/nlin/0608020]
• Paulo Laureti, L. Moret, Yi-Cheng Zhang, Y.-K. Yu:
  Information filtering via Iterative Refinement. , (informal publication)
  [abs/physics/0608166]
• Ariel Caticha, Adom Giffin:
  Updating Probabilities. , (informal publication)
  [abs/physics/0608185]
• Branko J. Malesevic:
  One method for proving inequalities by computer. , (informal publication)
  [abs/math/0608789]
• Lubomíra Balková, Edita Pelantová, Wolfgang Steiner:
  Sequences with constant number of return words. , (informal publication)
  [abs/math/0608603]