CoRR, December 2005

• Jeremy Carroll, Frank Ruskey, Mark Weston:
  Which n-Venn diagrams can be drawn with convex k-gons? , (informal publication)
  [abs/cs/0512001]
• Vitorino Ramos, Carlos Fernandes, Agostinho C. Rosa:
  On Self-Regulated Swarms, Societal Memory, Speed and Dynamics. , (informal publication)
  [abs/cs/0512002]
• Vitorino Ramos, Carlos Fernandes, Agostinho C. Rosa:
  Societal Implicit Memory and his Speed on Tracking Extrema over Dynamic Environments using Self-Regulatory Swarms. , (informal publication)
  [abs/cs/0512003]
• Carlos Fernandes, Vitorino Ramos, Agostinho C. Rosa:
  Self-Regulated Artificial Ant Colonies on Digital Image Habitats. , (informal publication)
  [abs/cs/0512004]
• Vitorino Ramos, Carlos Fernandes, Agostinho C. Rosa:
  On Ants, Bacteria and Dynamic Environments. , (informal publication)
  [abs/cs/0512005]
• Henry D. Pfister, Igal Sason:
  Capacity-Achieving Ensembles of Accumulate-Repeat-Accumulate Codes for the Erasure Channel with Bounded Complexity. , (informal publication)
  [abs/cs/0512006]
• Arindam Mitra:
  Entangled messages. , (informal publication)
  [abs/cs/0512007]
• Joel Friedman:
  Cohomology in Grothendieck Topologies and Lower Bounds in Boolean Complexity. , (informal publication)
  [abs/cs/0512008]
• Bas Spitters:
  Almost periodic functions, constructively. , (informal publication)
  [abs/cs/0512009]
• Jonathan Gratus, Timothy Porter:
  A geometry of information, I: Nerves, posets and differential forms. , (informal publication)
  [abs/cs/0512010]
• Shi Zhou:
  Understanding the internet topology evolution dynamics. , (informal publication)
  [abs/cs/0512011]
• Brijesh Dongol, Doug Goldson:
  Extending the theory of Owicki and Gries with a logic of progress. , (informal publication)
  [abs/cs/0512012]
• Lifeng Lai, Hesham El Gamal:
  The Water-Filling Game in Fading Multiple Access Channels. , (informal publication)
  [abs/cs/0512013]
• Farhad Meshkati, Mung Chiang, H. Vincent Poor, Stuart C. Schwartz:
  A Game-Theoretic Approach to Energy-Efficient Power Control in Multi-Carrier CDMA Systems. , (informal publication)
  [abs/cs/0512014]
• Maxim Raginsky:
  Joint fixed-rate universal lossy coding and identification of continuous-alphabet memoryless sources. , (informal publication)
  [abs/cs/0512015]
• Miklós Csürös:
  A linear-time algorithm for finding the longest segment which scores above a given threshold. , (informal publication)
  [abs/cs/0512016]
• Saurabha Tavildar, Pramod Viswanath:
  Approximately Universal Codes over Slow Fading Channels. , (informal publication)
  [abs/cs/0512017]
• Anthony Mouraud, Didier Puzenat, Hélène Paugam-Moisy:
  DAMNED: A Distributed and Multithreaded Neural Event-Driven simulation framework. , (informal publication)
  [abs/cs/0512018]
• Marek W. Gutowski:
  Amazing geometry of genetic space or are genetic algorithms convergent? , (informal publication)
  [abs/cs/0512019]
• Nima Sarshar, Xiaolin Wu:
  A Practical Approach to Joint Network-Source Coding. , (informal publication)
  [abs/cs/0512020]
• Brahim Hamid, Ted Herman, Morten Mjelde:
  The Poster Session of SSS 2005. , (informal publication)
  [abs/cs/0512021]
• Louis Mello:
  Fat Tailed Distributions in Catastrophe Prediction. , (informal publication)
  [abs/cs/0512022]
• Petros Elia, B. A. Sethuraman, P. Vijay Kumar:
  Perfect Space-Time Codes with Minimum and Non-Minimum Delay for Any Number of Antennas. , (informal publication)
  [abs/cs/0512023]
• Alexander Barg, Dmitry Yu. Nogin:
  A bound on Grassmannian codes. , (informal publication)
  [abs/cs/0512024]
• Alexander Barg, Dmitry Yu. Nogin:
  Spectral approach to linear programming bounds on codes. , (informal publication)
  [abs/cs/0512025]
• I. Josopait:
  Checking C++ Programs for Dimensional Consistency. , (informal publication)
  [abs/cs/0512026]
• Jing Chen:
  The Physical Foundation of Human Mind and a New Theory of Investment. , (informal publication)
  [abs/cs/0512027]
• Petros Elia, P. Vijay Kumar:
  Approximately universal optimality over several dynamic and non-dynamic cooperative diversity schemes for wireless networks. , (informal publication)
  [abs/cs/0512028]
• Elitza N. Maneva, Amin Shokrollahi:
  New model for rigorous analysis of LT-codes. , (informal publication)
  [abs/cs/0512029]
• Ram Somaraju, Leif Hanlen:
  Uncertainty Principles for Signal Concentrations. , (informal publication)
  [abs/cs/0512030]
• Slawomir Lasota, Igor Walukiewicz:
  Alternating Timed Automata. , (informal publication)
  [abs/cs/0512031]
• Sebastián Bengochea, Angel Talamona, Michel Parent:
  A Software Framework for Vehicle-Infrastructure Cooperative Applications. , (informal publication)
  [abs/cs/0512032]
• Bernardo A. Huberman, Fang Wu:
  Bootstrapping the Long Tail in Peer to Peer Systems. , (informal publication)
  [abs/cs/0512033]
• Bernardo A. Huberman, Fang Wu, Li Zhang:
  Ensuring Trust in One Time Exchanges: Solving the QoS Problem. , (informal publication)
  [abs/cs/0512034]
• Sergey P. Tarasov, Mikhail N. Vyalyi:
  Semidefinite programming and arithmetic circuit evaluation. , (informal publication)
  [abs/cs/0512035]
• Alwen Tiu:
  A System of Interaction and Structure II: The Need for Deep Inference. , (informal publication)
  [abs/cs/0512036]
• Aristoklis D. Anastasiadis, George D. Magoulas:
  Evolving Stochastic Learning Algorithm Based on Tsallis Entropic Index. , (informal publication)
  [abs/cs/0512037]
• Aris L. Moustakas, Steven H. Simon, Thomas L. Marzetta:
  Capacity of Differential versus Non-Differential Unitary Space-Time Modulation for MIMO channels. , (informal publication)
  [abs/cs/0512038]
• Jianqin Zhou, Xirong Xu:
  An algorithm for the k-error linear complexity of a sequence with period 2pn over GF(q). , (informal publication)
  [abs/cs/0512039]
• Jianqin Zhou:
  A fast algorithm for determining the linear complexity of periodic sequences. , (informal publication)
  [abs/cs/0512040]
• Jianqin Zhou:
  Generalized partially bent functions. , (informal publication)
  [abs/cs/0512041]
• Xiaoyang Gu, Jack H. Lutz, Elvira Mayordomo:
  Points on Computable Curves. , (informal publication)
  [abs/cs/0512042]
• Dirk Wagner, John Noga:
  Random Walks with Anti-Correlated Steps. , (informal publication)
  [abs/cs/0512043]
• Joshua Stinehour, Stanislaw P. Radziszowski, Kung-Kuen Tse:
  Computation of the Ramsey Number R(W₅,K₅). , (informal publication)
  [abs/cs/0512044]
• Xuan-Ha Vu, Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Faltings:
  Branch-and-Prune Search Strategies for Numerical Constraint Solving. , (informal publication)
  [abs/cs/0512045]
• George B. Mertzios:
  The k-Cluster Over the Interval Graphs Lies in P. , (informal publication)
  [abs/cs/0512046]
• Jose L. Salmeron, Florentin Smarandache:
  Processing Uncertainty and Indeterminacy in Information Systems success mapping. , (informal publication)
  [abs/cs/0512047]
• Tharaka A. Lamahewa, Rodney A. Kennedy, Thushara D. Abhayapala, Van K. Nguyen:
  Spatial Precoder Design for Space-Time Coded MIMO Systems: Based on Fixed Parameters of MIMO Channels. , (informal publication)
  [abs/cs/0512048]
• Jeff Stuckman, Guo-Qiang Zhang:
  Mastermind is NP-Complete. , (informal publication)
  [abs/cs/0512049]
• Jérôme Azé, Mathieu Roche, Yves Kodratoff, Michèle Sebag:
  Preference Learning in Terminology Extraction: A ROC-based approach. , (informal publication)
  [abs/cs/0512050]
• Gwénaël Richomme, Francis Wlazinski:
  Existence of finite test-sets for k-power-freeness of uniform morphisms. , (informal publication)
  [abs/cs/0512051]
• Ion I. Mandoiu, Claudia Prajescu:
  High-Throughput SNP Genotyping by SBE/SBH. , (informal publication)
  [abs/cs/0512052]
• John M. Hitchcock:
  Online Learning and Resource-Bounded Dimension: Winnow Yields New Lower Bounds for Hard Sets. , (informal publication)
  [abs/cs/0512053]
• Gennady P. Berman, Vyacheslav N. Gorshkov, Xidi Wang:
  Irreducible Frequent Patterns in Transactional Databases. , (informal publication)
  [abs/cs/0512054]
• Yi-Dong Shen, Danny De Schreye:
  Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach. , (informal publication)
  [abs/cs/0512055]
• Roberto Bagnara, Andrea Pescetti, Alessandro Zaccagnini, Enea Zaffanella:
  PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis. , (informal publication)
  [abs/cs/0512056]
• Roberto M. Amadio, Silvano Dal-Zilio:
  Resource Control for Synchronous Cooperative Threads. , (informal publication)
  [abs/cs/0512057]
• Roberto M. Amadio, Gérard Boudol, Ilaria Castellani, Frédéric Boussinot:
  Reactive concurrent programming revisited. , (informal publication)
  [abs/cs/0512058]
• Vladimir Vovk:
  Competing with wild prediction rules. , (informal publication)
  [abs/cs/0512059]
• Chiranjeeb Buragohain, Divyakant Agrawal, Subhash Suri:
  Distributed Navigation Algorithms for Sensor Networks. , (informal publication)
  [abs/cs/0512060]
• Philip Bille, Inge Li Gørtz:
  Matching Subsequences in Trees. , (informal publication)
  [abs/cs/0512061]
• Jürgen Schmidhuber, Matteo Gagliolo, Daan Wierstra, Faustino J. Gomez:
  Evolino for recurrent support vector machines. , (informal publication)
  [abs/cs/0512062]
• Jan Eriksson, Visa Koivunen:
  Complex Random Vectors and ICA Models: Identifiability, Uniqueness and Separability. , (informal publication)
  [abs/cs/0512063]
• Martin Kutz:
  Computing shortest non-trivial cycles on orientable surfaces of bounded genus in almost linear time. , (informal publication)
  [abs/cs/0512064]
• Todd L. Veldhuizen:
  Tradeoffs in Metaprogramming. , (informal publication)
  [abs/cs/0512065]
• Vishwambhar Rathi:
  On the Asymptotic Weight and Stopping Set Distribution of Regular LDPC Ensembles. , (informal publication)
  [abs/cs/0512066]
• Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
  Solving Partial Order Constraints for LPO Termination. , (informal publication)
  [abs/cs/0512067]
• Daniel S. Swaney, Frank McCown, Michael L. Nelson:
  Dynamic Web File Format Transformations with Grace. , (informal publication)
  [abs/cs/0512068]
• Frank McCown, Joan A. Smith, Michael L. Nelson, Johan Bollen:
  Reconstructing Websites for the Lazy Webmaster. , (informal publication)
  [abs/cs/0512069]
• Bertrand Nouvel, Eric Rémila:
  Incremental and Transitive Discrete Rotations. , (informal publication)
  [abs/cs/0512070]
• Jon Timmis, Martyn Amos, Wolfgang Banzhaf, Andy M. Tyrrell:
  "Going back to our roots": second generation biocomputing. , (informal publication)
  [abs/cs/0512071]
• Ioannis Z. Emiris, Elias P. Tsigaridas:
  Computations with one and two real algebraic numbers. , (informal publication)
  [abs/cs/0512072]
• Vladimir V. Kisil:
  Fillmore--Springer--Cnops Construction Implemented in GiNaC. , (informal publication)
  [abs/cs/0512073]
• Igal Sason, Shlomo Shamai:
  Analytical Bounds on Maximum-Likelihood Decoded Linear Codes with Applications to Turbo-Like Codes: An Overview. , (informal publication)
  [abs/cs/0512074]
• Igal Sason, Gil Wiechman:
  Performance versus Complexity Per Iteration for Low-Density Parity-Check Codes: An Information-Theoretic Approach. , (informal publication)
  [abs/cs/0512075]
• Igal Sason, Gil Wiechman:
  On Achievable Rates and Complexity of LDPC Codes for Parallel Channels: Information-Theoretic Bounds and Applications. , (informal publication)
  [abs/cs/0512076]
• Gene Itkis, Leonid A. Levin:
  Flat Holonomies on Automata Networks. , (informal publication)
  [abs/cs/0512077]
• Pascal O. Vontobel, Ralf Koetter:
  Graph-Cover Decoding and Finite-Length Analysis of Message-Passing Iterative Decoding of LDPC Codes. , (informal publication)
  [abs/cs/0512078]
• Eirik Fossgård:
  An invariant bayesian model selection principle for gaussian data in a sparse representation. , (informal publication)
  [abs/cs/0512079]
• G. B. Pivovarov, S. E. Trunov:
  EqRank: Theme Evolution in Citation Graphs. , (informal publication)
  [abs/cs/0512080]
• Erik D. Demaine, Friedhelm Meyer auf der Heide, Rasmus Pagh, Mihai Patrascu:
  De Dictionariis Dynamicis Pauco Spatio Utentibus. , (informal publication)
  [abs/cs/0512081]
• Héctor Ruíz Barradas, Didier Bert:
  A Fixpoint Semantics of Event Systems with and without Fairness Assumptions. , (informal publication)
  [abs/cs/0512082]
• Jiangtao Meng:
  New directions in mechanism design. , (informal publication)
  [abs/cs/0512083]
• Nikita A. Sakhanenko, Hanna E. Makaruk:
  Understanding physics from interconnected data. , (informal publication)
  [abs/cs/0512084]
• Todd Holloway, Miran Bozicevic, Katy Börner:
  Analyzing and Visualizing the Semantic Coverage of Wikipedia and Its Authors. , (informal publication)
  [abs/cs/0512085]
• Lutz Straßburger:
  On the Axiomatisation of Boolean Categories with and without Medial. , (informal publication)
  [abs/cs/0512086]
• Ashish Khisti, Uri Erez, Gregory W. Wornell:
  Fundamental Limits and Scaling Behavior of Cooperative Multicasting in Wireless Networks. , (informal publication)
  [abs/cs/0512087]
• Nelson Antunes, Christine Fricker, Philippe Robert, Danielle Tibi:
  Analysis of loss networks with routing. , (informal publication)
  [abs/cs/0512088]
• Stephen F. Bush, Todd Hughes:
  On The Effectiveness of Kolmogorov Complexity Estimation to Discriminate Semantic Types. , (informal publication)
  [abs/cs/0512089]
• Renaud Lambiotte, Marcel Ausloos:
  Collaborative tagging as a tripartite network. , (informal publication)
  [abs/cs/0512090]
• Boris Aronov, Prosenjit Bose, Erik D. Demaine, Joachim Gudmundsson, John Iacono, Stefan Langerman, Michiel H. M. Smid:
  Data Structures for Halfplane Proximity Queries and Incremental Voronoi Diagrams. , (informal publication)
  [abs/cs/0512091]
• Stephen F. Bush, Nathan Smith:
  The Limits of Motion Prediction Support for Ad hoc Wireless Network Performance. , (informal publication)
  [abs/cs/0512092]
• Arya Mazumdar, Ajit Kumar Chaturvedi, Adrish Banerjee:
  Construction of Turbo Code Interleavers from 3-Regular Hamiltonian Graphs. , (informal publication)
  [abs/cs/0512093]
• Stephen F. Bush:
  Low-Energy Sensor Network Time Synchronization as an Emergent Property. , (informal publication)
  [abs/cs/0512094]
• Priya Mahadevan, Dmitri V. Krioukov, Marina Fomenkov, Bradley Huffaker, Xenofontas A. Dimitropoulos, Kimberly C. Claffy, Amin Vahdat:
  The Internet AS-Level Topology: Three Data Sources and One Definitive Metric. , (informal publication)
  [abs/cs/0512095]
• Ralf Laemmel:
  Book review "The Haskell Road to Logic, Maths and Programming". , (informal publication)
  [abs/cs/0512096]
• Jialing Liu, Nicola Elia:
  Gaussian Channels with Feedback: Optimality, Fundamental Limitations, and Connections of Communication, Estimation, and Control. , (informal publication)
  [abs/cs/0512097]
• Dmitry P. Paukov:
  Mathematical models of the complex surfaces in simulation and visualization systems. , (informal publication)
  [abs/cs/0512098]
• Mark Burgin:
  Mathematical Models in Schema Theory. , (informal publication)
  [abs/cs/0512099]
• Giorgi Japaridze:
  The logic of interactive Turing reduction. , (informal publication)
  [abs/cs/0512100]
• K. Murali Krishnan, Priti Shankar:
  On the Complexity of finding Stopping Distance in Tanner Graphs. , (informal publication)
  [abs/cs/0512101]
• Solomiya Buk, Andrij A. Rovenchak:
  Statistical Parameters of the Novel "Perekhresni stezhky" ("The Cross-Paths") by Ivan Franko. , (informal publication)
  [abs/cs/0512102]
• Louis Mello:
  The Fibonacci Sequence Mod m. , (informal publication)
  [abs/cs/0512103]
• John Robert Burger:
  Reversible CAM Processor Modeled After Quantum Computer Behavior. , (informal publication)
  [abs/cs/0512104]
• Alexandre O. Stauffer, Valmir C. Barbosa:
  A study of the edge-switching Markov-chain method for the generation of random graphs. , (informal publication)
  [abs/cs/0512105]
• Robert K. Niven:
  Combinatorial Information Theory: I. Philosophical Basis of Cross-Entropy and Entropy. , (informal publication)
  [abs/cond-mat/0512017]
• Tharaka A. Lamahewa, Rodney A. Kennedy, Thushara D. Abhayapala, Terence Betlehem:
  MIMO Channel Correlation in General Scattering Environments. , (informal publication)
  [abs/math-ph/0512026]
• Vladimir Shpilrain, Alexander Ushakov:
  A new key exchange protocol based on the decomposition problem. , (informal publication)
  [abs/math/0512140]
• Enrico De Micheli, Giovanni Alberto Viano:
  Metric and probabilistic information associated with Fredholm integral equations of the first kind. , (informal publication)
  [abs/math/0512263]
• David H. Wolpert:
  A Predictive Theory of Games. , (informal publication)
  [abs/nlin/0512015]
• David Chavalarias:
  Modeling Endogenous Social Networks: the Example of Emergence and Stability of Cooperation without Refusal. , (informal publication)
  [abs/nlin/0512048]
• Andrea Baronchelli, Luca Dall'Asta, Alain Barrat, Vittorio Loreto:
  Topology Induced Coarsening in Language Games. , (informal publication)
  [abs/physics/0512045]
• Samson Abramsky, Ross Duncan:
  A Categorical Quantum Logic. , (informal publication)
  [abs/quant-ph/0512114]
• Paul Taylor:
  Computably Based Locally Compact Spaces. , (informal publication)
  [abs/math/0512110]
• J. R. Sánchez, R. López-Ruiz:
  Symmetry pattern transition in cellular automata with complex behavior. , (informal publication)
  [abs/nlin/0512017]