CoRR, January 2008

• Danilo Silva, Frank R. Kschischang:
  Security for Wiretap Networks via Rank-Metric Codes. , (informal publication)
  [abs/0801.0061]
• Kerry Michael Soileau:
  Nash bargaining with a nondeterministic threat. , (informal publication)
  [abs/0801.0092]
• Michael B. Baer:
  Reserved-Length Prefix Coding. , (informal publication)
  [abs/0801.0102]
• Alexandr A. Savinov:
  Two-Level Concept-Oriented Data Model. , (informal publication)
  [abs/0801.0131]
• Alexandr A. Savinov:
  An Approach to Programming Based on Concepts. , (informal publication)
  [abs/0801.0133]
• Alexandr A. Savinov:
  Concepts and their Use for Modelling Objects and References in Programming Languages. , (informal publication)
  [abs/0801.0135]
• Alexandr A. Savinov:
  Indirect Object Representation and Access by Means of Concepts. , (informal publication)
  [abs/0801.0136]
• Alexandr A. Savinov:
  Principles of the Concept-Oriented Data Model. , (informal publication)
  [abs/0801.0139]
• Petros A. Petrosyan:
  Interval Edge Colorings of Mobius Ladders. , (informal publication)
  [abs/0801.0159]
• Patrizio Frosini:
  Does intelligence imply contradiction? , (informal publication)
  [abs/0801.0232]
• Reinhard C. Laubenbacher, Abdul Salam Jarrah, Henning S. Mortveit, S. S. Ravi:
  A mathematical formalism for agent-based modeling. , (informal publication)
  [abs/0801.0249]
• Nadia Benbernou, Joseph O'Rourke:
  On the Maximum Span of Fixed-Angle Chains. , (informal publication)
  [abs/0801.0258]
• Brian Whitworth:
  The Physical World as a Virtual Reality. , (informal publication)
  [abs/0801.0337]
• Adam J. Tenenbaum, Raviraj S. Adve:
  Sum Rate Maximization using Linear Precoding and Decoding in the Multiuser MIMO Downlink. , (informal publication)
  [abs/0801.0340]
• Anant Sahai, Pulkit Grover:
  The price of certainty: "waterslide curves" and the gap to capacity. , (informal publication)
  [abs/0801.0352]
• Dimitrios Katsaros, Leonidas Akritidis, Panayiotis Bozanis:
  Spam: It's Not Just for Inboxes and Search Engines! Making Hirsch h-index Robust to Scientospam. , (informal publication)
  [abs/0801.0386]
• Richard Nock, Nicolas Sanz, Fred Celimene, Frank Nielsen:
  Staring at Economic Aggregators through Information Lenses. , (informal publication)
  [abs/0801.0390]
• Shmuel Friedland:
  On the graph isomorphism problem. , (informal publication)
  [abs/0801.0398]
• Daniel Enrique Lucani, Milica Stojanovic, Muriel Médard:
  On the Relationship between Transmission Power and Capacity of an Underwater Acoustic Communication Channel. , (informal publication)
  [abs/0801.0426]
• V. Sreekanth Annapureddy, Venugopal V. Veeravalli:
  Sum Capacity of the Gaussian Interference Channel in the Low Interference Regime. , (informal publication)
  [abs/0801.0452]
• Jörg Liebeherr, Markus Fidler, Shahrokh Valaee:
  A System Theoretic Approach to Bandwidth Estimation. , (informal publication)
  [abs/0801.0455]
• Christopher Clingerman, Jeremiah Hemphill, Corey Proscia:
  Analysis and Counterexamples Regarding Yatsenko's Polynomial-Time Algorithm for Solving the Traveling Salesman Problem. , (informal publication)
  [abs/0801.0474]
• Vikraman Arvind, Partha Mukhopadhyay, Srikanth Srinivasan:
  New results on Noncommutative and Commutative Polynomial Identity Testing. , (informal publication)
  [abs/0801.0514]
• Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond:
  Certifying floating-point implementations using Gappa. , (informal publication)
  [abs/0801.0523]
• Olivier Finkel, Pierre Simonnet:
  Topology and Ambiguity in Omega Context Free Languages. , (informal publication)
  [abs/0801.0533]
• Olivier Finkel:
  On the Length of the Wadge Hierarchy of Omega Context Free Languages. , (informal publication)
  [abs/0801.0534]
• Olivier Finkel:
  An omega-Power of a Finitary Language Which is a Borel Set of Infinite Rank. , (informal publication)
  [abs/0801.0535]
• Olivier Finkel, Jean-Pierre Ressayre, Pierre Simonnet:
  On Infinite Real Trace Rational Languages of Maximum Topological Complexity. , (informal publication)
  [abs/0801.0537]
• Lóránt Farkas:
  Blind decoding of Linear Gaussian channels with ISI, capacity, error exponent, universality. , (informal publication)
  [abs/0801.0540]
• Manik Lal Das:
  A Flexible and Secure Remote Systems Authentication Scheme Using Smart Cards. , (informal publication)
  [abs/0801.0575]
• Zouheir Rezki, David Haccoun, François Gagnon:
  Capacity of The Discrete-Time Non-Coherent Memoryless Rayleigh Fading Channels at Low SNR. , (informal publication)
  [abs/0801.0581]
• Omar Kettani:
  An algorithm for finding the Independence Number of a graph. , (informal publication)
  [abs/0801.0590]
• Min Chen, Semih Serbetli, Aylin Yener:
  Distributed Power Allocation Strategies for Parallel Relay Networks. , (informal publication)
  [abs/0801.0597]
• Raymond J. Butler:
  Applying the CobiT Control Framework to Spreadsheet Developments. , (informal publication)
  [abs/0801.0609]
• Shiguo Lian:
  On the Robustness of the Delay-Based Fingerprint Embedding Scheme. , (informal publication)
  [abs/0801.0625]
• Frédéric Prost, Chaouki Zerrari:
  A logical analysis of entanglement and separability in quantum higher-order functions. , (informal publication)
  [abs/0801.0649]
• Tobias Koch, Amos Lapidoth:
  On Multipath Fading Channels at High SNR. , (informal publication)
  [abs/0801.0672]
• Paul C. Attie:
  Finite-state concurrent programs can be expressed pairwise. , (informal publication)
  [abs/0801.0677]
• Sylvain Marlière, Jean-Loup Florens, Florence Marchi, Annie Luciani, Joël Chevrier:
  Implementation of perception and action at nanoscale. , (informal publication)
  [abs/0801.0678]
• Leah Nutman, Michael Langberg:
  Adversarial Models and Resilient Schemes for Network Coding. , (informal publication)
  [abs/0801.0701]
• James Cheney:
  Regular Expression Subtyping for XML Query and Update Languages. , (informal publication)
  [abs/0801.0714]
• Stephen G. Powell, Barry Lawson, Kenneth R. Baker:
  Impact of Errors in Operational Spreadsheets. , (informal publication)
  [abs/0801.0715]
• Nan Ma, Prakash Ishwar:
  Two-terminal Distributed Source Coding with Alternating Messages for Function Computation. , (informal publication)
  [abs/0801.0756]
• Peter Selinger, Benoît Valiron:
  A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract). , (informal publication)
  [abs/0801.0813]
• Yuval Kochman, Ram Zamir:
  Joint Wyner-Ziv/Dirty Paper coding by modulo-lattice modulation. , (informal publication)
  [abs/0801.0815]
• Atilim Gunes Baydin:
  Evolution of central pattern generators for the control of a five-link planar bipedal walking mechanism. , (informal publication)
  [abs/0801.0830]
• Lei Hu, Xiangyong Zeng, Nian Li, Wenfeng Jiang:
  Period-Different $m$-Sequences With At Most A Four-Valued Cross Correlation. , (informal publication)
  [abs/0801.0857]
• Neil D. Jones, Nina Bohr:
  Call-by-value Termination in the Untyped Lambda-calculus. , (informal publication)
  [abs/0801.0882]
• Ryuhei Mori, Kenta Kasai, Tomoharu Shibuya, Kohichi Sakaniwa:
  The Asymptotic Bit Error Probability of LDPC Codes for the Binary Erasure Channel with Finite Iteration Number. , (informal publication)
  [abs/0801.0931]
• Sang-Woon Jeon, Natasha Devroye, Mai Vu, Sae-Young Chung, Vahid Tarokh:
  Cognitive networks achieve throughput scaling of a homogeneous network. , (informal publication)
  [abs/0801.0938]
• Paul C. Attie:
  On the Refinement of Liveness Properties of Distributed Systems. , (informal publication)
  [abs/0801.0949]
• Ulrich G. Schuster, Giuseppe Durisi, Helmut Bölcskei, H. Vincent Poor:
  Capacity Bounds for Peak-Constrained Multiantenna Wideband Channels. , (informal publication)
  [abs/0801.1002]
• George Tsibidis, Theodoros N. Arvanitis, Chris Baber:
  The What, Who, Where, When, Why and How of Context-Awareness. , (informal publication)
  [abs/0801.1033]
• Akiko Manada, Navin Kashyap:
  On the Period of a Periodic-Finite-Type Shift. , (informal publication)
  [abs/0801.1060]
• Ivan Titov, Ryan T. McDonald:
  Modeling Online Reviews with Multi-grain Topic Models. , (informal publication)
  [abs/0801.1063]
• Johannes B. Huber, Thorsten Hehn:
  The lowest-possible BER and FER for any memoryless channel with given capacity. , (informal publication)
  [abs/0801.1067]
• Ido Tal, Ron M. Roth:
  Concave Programming Upper Bounds on the Capacity of 2-D Constraints. , (informal publication)
  [abs/0801.1126]
• Wenyi Zhang, Satish Vedantam, Urbashi Mitra:
  A Constrained Channel Coding Approach to Joint Communication and Channel Estimation. , (informal publication)
  [abs/0801.1136]
• Wenyi Zhang:
  An Addendum to "How Good is PSK for Peak-Limited Fading Channels in the Low-SNR Regime?". , (informal publication)
  [abs/0801.1138]
• Tobias Lutz, Christoph Hausl, Ralf Koetter:
  Coding Strategies for Noise-free Relay Cascades with Half-Duplex Constraint. , (informal publication)
  [abs/0801.1141]
• Bernard Jacquemin, Sabine Ploux:
  Corpus spécialisé et ressource de spécialité. , (informal publication)
  [abs/0801.1179]
• Jaspreet Singh, Onkar Dabeer, Upamanyu Madhow:
  Capacity of the Discrete-Time AWGN Channel Under Output Quantization. , (informal publication)
  [abs/0801.1185]
• Guangwen Li, Guangzeng Feng:
  Modified Multi-bit Flipping Decoding Algorithm for Low-density Parity-check Codes. , (informal publication)
  [abs/0801.1208]
• Daniel Lombraña Gonzalez, Francisco Fernández de Vega, Leonardo Trujillo, Gustavo Olague, F. Chavez de la O, M. Cardenas, Lourdes Araujo, Pedro A. Castillo, Ken Sharman:
  Increasing GP Computing Power via Volunteer Computing. , (informal publication)
  [abs/0801.1210]
• Andrey Breslav:
  DSL development based on target meta-models. Using AST transformations for automating semantic analysis in a textual DSL framework. , (informal publication)
  [abs/0801.1219]
• Pedro Pablo Pérez Velasco:
  Matrix Graph Grammars. , (informal publication)
  [abs/0801.1245]
• Andrew M. Pitts, Mark R. Shinwell:
  Generative Unbinding of Names. , (informal publication)
  [abs/0801.1251]
• Patrick Baillot, Damiano Mazza:
  Linear Logic by Levels and Bounded Time Complexity. , (informal publication)
  [abs/0801.1253]
• Christophe Roche:
  Le terme et le concept : fondements d'une ontoterminologie. , (informal publication)
  [abs/0801.1275]
• Shashi Kiran Chilappagari, Dung Viet Nguyen, Bane V. Vasic, Michael W. Marcellin:
  On the guaranteed error correction capability of LDPC codes. , (informal publication)
  [abs/0801.1276]
• Shashi Kiran Chilappagari, Anantha Raman Krishnan, Bane V. Vasic:
  LDPC Codes Which Can Correct Three Errors Under Iterative Decoding. , (informal publication)
  [abs/0801.1282]
• Igor Razgon, Barry O'Sullivan:
  Almost 2-SAT is Fixed-Parameter Tractable. , (informal publication)
  [abs/0801.1300]
• Abolfazl S. Motahari, Amir K. Khandani:
  Capacity Bounds for the Gaussian Interference Channel. , (informal publication)
  [abs/0801.1306]
• Chris Pollett, Eric Miles:
  Alternating Hierarchies for Time-Space Tradeoffs. , (informal publication)
  [abs/0801.1307]
• Subhash Kak:
  Stream Computing. , (informal publication)
  [abs/0801.1336]
• S. P. Tsarev:
  Factorization in categories of systems of linear partial differential equations. , (informal publication)
  [abs/0801.1341]
• An-Ping Li:
  A new key exchange cryptosystem. , (informal publication)
  [abs/0801.1362]
• Robby G. McKilliam, I. Vaughan L. Clarkson, Barry G. Quinn:
  An Algorithm to Compute the Nearest Point in the Lattice $A_{n}^*$. , (informal publication)
  [abs/0801.1364]
• Shmuel Onn:
  Two graph isomorphism polytopes. , (informal publication)
  [abs/0801.1410]
• Søren Wichmann:
  The emerging field of language dynamics. , (informal publication)
  [abs/0801.1415]
• Anindya De, Piyush P. Kurur, Chandan Saha, Ramprasad Saptharishi:
  Fast Integer Multiplication using Modular Arithmetic. , (informal publication)
  [abs/0801.1416]
• Vincent Gramoli, Anne-Marie Kermarrec, Achour Mostéfaoui, Michel Raynal, Bruno Sericola:
  Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime. , (informal publication)
  [abs/0801.1419]
• Michael D. McGuigan:
  Toward the Graphics Turing Scale on a Blue Gene Supercomputer. , (informal publication)
  [abs/0801.1500]
• David Chadwick, Rodney E. Sue:
  Teaching spreadsheet development using peer audit and self-audit methods for reducing error. , (informal publication)
  [abs/0801.1514]
• Kamalasen Rajalingham, David Chadwick, Brian Knight:
  An Evaluation of a Structured Spreadsheet Development Methodology. , (informal publication)
  [abs/0801.1516]
• Frank W. Bentrem, John Sample, Michael M. Harris:
  Computational Solutions for Today's Navy with an Eye Towards the Future. , (informal publication)
  [abs/0801.1630]
• Juan Gerardo Alcázar:
  Analyzing the Topology Types arising in a Family of Algebraic Curves Depending On Two Parameters. , (informal publication)
  [abs/0801.1676]
• Paul C. Attie:
  Synthesis of Large Dynamic Concurrent Programs from Dynamic Specifications. , (informal publication)
  [abs/0801.1687]
• Milan S. Derpich, Jan Østergaard, Graham C. Goodwin:
  The Quadratic Gaussian Rate-Distortion Function for Source Uncorrelated Distortions. , (informal publication)
  [abs/0801.1703]
• Srivatsava Ranjit Ganta, Raj Acharya:
  On Breaching Enterprise Data Privacy Through Adversarial Information Fusion. , (informal publication)
  [abs/0801.1715]
• Milan S. Derpich, Jan Østergaard, Daniel E. Quevedo:
  Achieving the Quadratic Gaussian Rate-Distortion Function for Source Uncorrelated Distortions. , (informal publication)
  [abs/0801.1718]
• Abla Kammoun, Malika Kharouf, Walid Hachem, Jamal Najim:
  A Central Limit Theorem for the SNR at the Wiener Filter Output for Large Dimensional Signals. , (informal publication)
  [abs/0801.1736]
• Rico Zenklusen:
  Extensions to Network Flow Interdiction on Planar Graphs. , (informal publication)
  [abs/0801.1737]
• Jin-yi Cai, Pinyan Lu, Mingji Xia:
  A Family of Counter Examples to an Approach to Graph Isomorphism. , (informal publication)
  [abs/0801.1766]
• Anne Benoit, Harald Kosch, Veronika Rehn-Sonigo, Yves Robert:
  Bi-criteria Pipeline Mappings for Parallel Image Processing. , (informal publication)
  [abs/0801.1772]
• Jacques Duparc, Olivier Finkel:
  An omega-power of a context-free language which is Borel above Delta^0_omega. , (informal publication)
  [abs/0801.1783]
• S. V. Vyshenski, P. V. Grigoriev, Yu. Yu. Dubenskaya:
  Ideal synchronizer for marked pairs in fork-join network. , (informal publication)
  [abs/0801.1784]
• David A. Banks, Ann Monday:
  Interpretation as a factor in understanding flawed spreadsheets. , (informal publication)
  [abs/0801.1856]
• Barnabás Póczos, András Lörincz:
  D-optimal Bayesian Interrogation for Parameter and Noise Identification of Recurrent Neural Networks. , (informal publication)
  [abs/0801.1883]
• Rowena Luk, Melissa Ho, Paul M. Aoki:
  A Framework for Designing Teleconsultation Systems in Africa. , (informal publication)
  [abs/0801.1925]
• Rowena Luk, Melissa Ho, Paul M. Aoki:
  Asynchronous Remote Medical Consultation for Ghana. , (informal publication)
  [abs/0801.1927]
• Gregory Gutin, Eun Jung Kim, Igor Razgon:
  Minimum Leaf Out-Branching Problems. , (informal publication)
  [abs/0801.1979]
• Christos Koufogiannakis, Neal E. Young:
  Beating Simplex for Fractional Packing and Covering Linear Programs. , (informal publication)
  [abs/0801.1987]
• Istvan Szita, András Lörincz:
  Online variants of the cross-entropy method. , (informal publication)
  [abs/0801.1988]
• Jochen Sommerfeld, Igor Bjelakovic, Holger Boche:
  On the Boundedness of the Support of Optimal Input Measures for Rayleigh Fading Channels. , (informal publication)
  [abs/0801.2034]
• Istvan Szita, András Lörincz:
  Factored Value Iteration Converges. , (informal publication)
  [abs/0801.2069]
• S. V. Vyshenski, P. V. Grigoriev, Yu. Yu. Dubenskaya:
  Model for synchronizer of marked pairs in fork-join network. , (informal publication)
  [abs/0801.2092]
• Johannes Große:
  MathPSfrag 2: Convenient LaTeX Labels in Mathematica. , (informal publication)
  [abs/0801.2175]
• Xiaohu Shang, Gerhard Kramer, Biao Chen:
  New Outer Bounds on the Capacity Region of Gaussian Interference Channels. , (informal publication)
  [abs/0801.2185]
• Ephraim Feig, Vivian Feig:
  A One-Way Function Based On The Extended Euclidean Algorithm. , (informal publication)
  [abs/0801.2187]
• Edwin A. Harcourt:
  Policies of System Level Pipeline Modeling. , (informal publication)
  [abs/0801.2201]
• Jan A. Bergstra, C. A. Middelburg:
  Programming an interpreter using molecular dynamics. , (informal publication)
  [abs/0801.2226]
• Lucile Sassatelli, David Declercq:
  Analysis of Non-binary Hybrid LDPC Codes. , (informal publication)
  [abs/0801.2233]
• Masahito Hayashi:
  Second-order asymptotics in channel coding. , (informal publication)
  [abs/0801.2242]
• Omar Kettani:
  Le probleme de l'isomorphisme de graphes est dans P. , (informal publication)
  [abs/0801.2284]
• Shengshan Cui, Alexander M. Haimovich, Oren Somekh, H. Vincent Poor:
  Decentralized Two-Hop Opportunistic Relaying With Limited Channel State Information. , (informal publication)
  [abs/0801.2323]
• Marko A. Rodriguez, Alberto Pepe:
  On the relationship between the structural and socioacademic communities of an interdisciplinary coauthorship network. , (informal publication)
  [abs/0801.2345]
• V. A. Buslov, V. A. Khudobakhshov:
  On the Minimum Spanning Tree for Directed Graphs with Potential Weights. , (informal publication)
  [abs/0801.2347]
• Paolo Ferragina:
  String algorithms and data structures. , (informal publication)
  [abs/0801.2378]
• Thomas Y. Hou, Zuoqiang Shi:
  Removing the Stiffness of Elastic Force from the Immersed Boundary Method for the 2D Stokes Equations. , (informal publication)
  [abs/0801.2398]
• Qing-Chuan Wang, Chen He:
  Design and Analysis of LDGM-Based Codes for MSE Quantization. , (informal publication)
  [abs/0801.2423]
• Gesualdo Scutari, Daniel Pérez Palomar, Sergio Barbarossa:
  Asynchronous Iterative Waterfilling for Gaussian Frequency-Selective Interference Channels. , (informal publication)
  [abs/0801.2480]
• Alexis Bès:
  An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet. , (informal publication)
  [abs/0801.2498]
• J. Gillet, M. Ausloos:
  A Comparison of natural (english) and artificial (esperanto) languages. A Multifractal method based analysis. , (informal publication)
  [abs/0801.2510]
• K. Raj Kumar, Giuseppe Caire:
  Coding and Decoding for the Dynamic Decode and Forward Relay Protocol. , (informal publication)
  [abs/0801.2588]
• Barry Doyle, Cristina Videira Lopes:
  Survey of Technologies for Web Application Development. , (informal publication)
  [abs/0801.2618]
• Christophe Reynier, Jocelyne Troccaz, Philippe Fourneret, Andrée Dusserre, Cécile Gay-Jeune, Jean-Luc Descotes, Michel Bolla, Jean-Yves Giraud:
  MRI/TRUS data fusion for prostate brachytherapy. Preliminary results. , (informal publication)
  [abs/0801.2666]
• Jeff M. Phillips:
  Algorithms for eps-approximations of Terrains. , (informal publication)
  [abs/0801.2793]
• Jonathan Schers, Jocelyne Troccaz, Vincent Daanen, Céline Fouard, Christopher Plaskos, Pascal Kilian:
  3D/4D ultrasound registration of bone. , (informal publication)
  [abs/0801.2823]
• A. N. Trahtman:
  A Subquadratic Algorithm for Road Coloring. , (informal publication)
  [abs/0801.2838]
• Jon Feldman, S. Muthukrishnan, Evdokia Nikolova, Martin Pal:
  A Truthful Mechanism for Offline Ad Slot Scheduling. , (informal publication)
  [abs/0801.2931]
• Jaume Pujol, Josep Rifà, Faina I. Solov'eva:
  Construction of Z4-linear Reed-Muller codes. , (informal publication)
  [abs/0801.3024]
• Lun Dong, Athina P. Petropulu, H. Vincent Poor:
  Performance Analysis of a Cross-layer Collaborative Beamforming Approach in the Presence of Channel and Phase Errors. , (informal publication)
  [abs/0801.3042]
• Michael Chapwanya, Wentao Liu, John M. Stockie:
  A model for reactive porous transport during re-wetting of hardened concrete. , (informal publication)
  [abs/0801.3046]
• Franco Bagnoli, Andrea Guazzini, Pietro Liò:
  Human Heuristics for Autonomous Agents. , (informal publication)
  [abs/0801.3048]
• Zhi Quan, Shuguang Cui, Ali H. Sayed, H. Vincent Poor:
  Spatial-Spectral Joint Detection for Wideband Spectrum Sensing in Cognitive Radio Networks. , (informal publication)
  [abs/0801.3049]
• Alwen Tiu:
  Cut Elimination for a Logic with Generic Judgments and Induction. , (informal publication)
  [abs/0801.3065]
• Youngchul Sung, H. Vincent Poor, Heejung Yu:
  Large Deviations Analysis for the Detection of 2D Hidden Gauss-Markov Random Fields Using Sensor Networks. , (informal publication)
  [abs/0801.3073]
• Jianwei Huang, Zhu Han, Mung Chiang, H. Vincent Poor:
  Auction-based Resource Allocation for Multi-relay Asynchronous Cooperative Networks. , (informal publication)
  [abs/0801.3097]
• Mark Wenstrom, Eloisa Bentivegna, Ali R. Hurson:
  Balancing transparency, efficiency and security in pervasive systems. , (informal publication)
  [abs/0801.3102]
• Martin Pelikan:
  Analysis of Estimation of Distribution Algorithms and Genetic Algorithms on NK Landscapes. , (informal publication)
  [abs/0801.3111]
• Adnan Raja, Vinod M. Prabhakaran, Pramod Viswanath:
  Bounds on the capacity region of a class of compound interference channels. , (informal publication)
  [abs/0801.3112]
• Martin Pelikan, Kumara Sastry, David E. Goldberg:
  iBOA: The Incremental Bayesian Optimization Algorithm. , (informal publication)
  [abs/0801.3113]
• Raymond R. Panko:
  Thinking is Bad: Implications of Human Error Research for Spreadsheet Research and Practice. , (informal publication)
  [abs/0801.3114]
• Ralph Baxter:
  Enterprise Spreadsheet Management: A Necessary Good. , (informal publication)
  [abs/0801.3116]
• Yongzhi Cao:
  A hierarchy of behavioral equivalences in the $\pi$-calculus with noisy channels. , (informal publication)
  [abs/0801.3117]
• Simon Murphy:
  Spreadsheet Hell. , (informal publication)
  [abs/0801.3118]
• Mukul Madahar, Pat Cleary, David Ball:
  Categorisation of Spreadsheet Use within Organisations, Incorporating Risk: A Progress Report. , (informal publication)
  [abs/0801.3119]
• Liang Li, Xin Li, Tian Liu, Ke Xu:
  From k-SAT to k-CSP: Two Generalized Algorithms. , (informal publication)
  [abs/0801.3147]
• Ngoc-Diep Ho, Paul Van Dooren, Vincent D. Blondel:
  Descent methods for Nonnegative Matrix Factorization. , (informal publication)
  [abs/0801.3199]
• Uwe Aickelin:
  A Pyramidal Evolutionary Algorithm with Different Inter-Agent Partnering Strategies for Scheduling Problems. , (informal publication)
  [abs/0801.3209]
• Solomiya Buk, Andrij A. Rovenchak:
  Online-concordance "Perekhresni stezhky" ("The Cross-Paths"), a novel by Ivan Franko. , (informal publication)
  [abs/0801.3239]
• Christian Kühn:
  Complex Eigenvalues for Binary Subdivision Schemes. , (informal publication)
  [abs/0801.3249]
• Steven W. Peters, Robert W. Heath Jr.:
  Nonregenerative MIMO Relaying with Optimal Transmit Antenna Selection. , (informal publication)
  [abs/0801.3272]
• Lifeng Lai, Hesham El Gamal, Hai Jiang, H. Vincent Poor:
  Optimal Medium Access Control in Cognitive Radios: A Sequential Design Approach. , (informal publication)
  [abs/0801.3289]
• Uffe Flarup, Laurent Lyaudet:
  On the expressive power of permanents and perfect matchings of matrices of bounded pathwidth/cliquewidth. , (informal publication)
  [abs/0801.3408]
• Hamid Saeedi, Amir H. Banihashemi:
  Deterministic Design of Low-Density Parity-Check Codes for Binary Erasure Channels. , (informal publication)
  [abs/0801.3511]
• Gautham Hariharan, Vasanthan Raghavan, Akbar M. Sayeed:
  Capacity of Sparse Wideband Channels with Partial Channel Feedback. , (informal publication)
  [abs/0801.3521]
• Vasanthan Raghavan, Venugopal V. Veeravalli, Akbar M. Sayeed:
  Quantized Multimode Precoding in Spatially Correlated Multi-Antenna Channels. , (informal publication)
  [abs/0801.3526]
• Steve Cayzer, Uwe Aickelin:
  On the Effects of Idiotypic Interactions for Recommendation Communities in Artificial Immune Systems. , (informal publication)
  [abs/0801.3539]
• Steve Cayzer, Uwe Aickelin:
  A Recommender System based on the Immune Network. , (informal publication)
  [abs/0801.3547]
• Uwe Aickelin, Steve Cayzer:
  The Danger Theory and Its Application to Artificial Immune Systems. , (informal publication)
  [abs/0801.3549]
• Uwe Aickelin, Larry Bull:
  Partnering Strategies for Fitness Evaluation in a Pyramidal Evolutionary Algorithm. , (informal publication)
  [abs/0801.3550]
• Yefim Dinitz, Michael Elkin, Shay Solomon:
  Shallow, Low, and Light Trees, and Tight Lower Bounds for Euclidean Spanners. , (informal publication)
  [abs/0801.3581]
• Arkadev Chattopadhyay, Anil Ada:
  Multiparty Communication Complexity of Disjointness. , (informal publication)
  [abs/0801.3624]
• Sharon M. Betz, H. Vincent Poor:
  Energy Efficiency in Multi-Hop CDMA Networks: a Game Theoretic Analysis Considering Operating Costs. , (informal publication)
  [abs/0801.3640]
• Jessica Ruth Metcalf-Burton:
  Information Rates of Minimal Non-Matroid-Related Access Structures. , (informal publication)
  [abs/0801.3642]
• Mikhail Zaslavskiy, Francis Bach, Jean-Philippe Vert:
  Path following algorithm for the graph matching problem. , (informal publication)
  [abs/0801.3654]
• Boaz Barak, Mohammad Mahmoody-Ghidary:
  Merkle Puzzles are Optimal. , (informal publication)
  [abs/0801.3669]
• Ralph Baxter:
  Regulation and the Integrity of Spreadsheets in the Information Supply Chain. , (informal publication)
  [abs/0801.3678]
• Boaz Barak, Mohammad Mahmoody-Ghidary:
  Lower Bounds on Signatures from Symmetric Primitives. , (informal publication)
  [abs/0801.3680]
• Jocelyn Paine:
  Ensuring Spreadsheet Integrity with Model Master. , (informal publication)
  [abs/0801.3690]
• Tim Holliday, Andrea J. Goldsmith, H. Vincent Poor:
  Joint source and channel coding for MIMO systems: Is it better to be robust or quick? , (informal publication)
  [abs/0801.3702]
• Margreta Kuijper, Raquel Pinto:
  Minimal trellis construction from convolutional ring encoders. , (informal publication)
  [abs/0801.3703]
• Jared Saia, Amitabh Trehan:
  Picking up the Pieces: Self-Healing in Reconfigurable Networks. , (informal publication)
  [abs/0801.3710]
• Michael Baumann, Vincent Daanen, Antoine Leroy, Jocelyne Troccaz:
  3D-Ultrasound probe calibration for computer-guided diagnosis and therapy. , (informal publication)
  [abs/0801.3711]
• Matt DeVos, Vahan V. Mkrtchyan, Samvel S. Petrosyan:
  5-cycles and the Petersen graph. , (informal publication)
  [abs/0801.3714]
• Annie Ressouche, Daniel Gaffé, Valérie Roy:
  Modular Compilation of a Synchronous Language. , (informal publication)
  [abs/0801.3715]
• Lars Eirik Danielsen:
  Graph-Based Classification of Self-Dual Additive Codes over Finite Fields. , (informal publication)
  [abs/0801.3773]
• Endre Boros, Khaled M. Elbassioni, Vladimir Gurvich, Hans Raj Tiwary:
  Characterization of the vertices and extreme directions of the negative cycle polyhedron and harness of generating vertices of $0/1$-polyhedra. , (informal publication)
  [abs/0801.3790]
• Sven Kosub:
  Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems. , (informal publication)
  [abs/0801.3802]
• Tuomo Kakkonen:
  Robustness Evaluation of Two CCG, a PCFG and a Link Grammar Parsers. , (informal publication)
  [abs/0801.3817]
• Pierre Moulin:
  Universal Fingerprinting: Capacity and Random-Coding Exponents. , (informal publication)
  [abs/0801.3837]
• Sumanth Kumar Reddy Gangasani:
  Analysis of Prime Reciprocal Sequences in Base 10. , (informal publication)
  [abs/0801.3841]
• Simon Murphy:
  Comparison of Spreadsheets with other Development Tools (limitations, solutions, workarounds and alternatives). , (informal publication)
  [abs/0801.3853]
• Alberto Pepe, Johan Bollen:
  Between conjecture and memento: shaping a collective emotional perception of the future. , (informal publication)
  [abs/0801.3864]
• Chunyan Zhao, Ke Xu, Zhiming Zheng:
  On the Scaling Window of Model RB. , (informal publication)
  [abs/0801.3871]
• Jun Muramatsu, Shigeki Miyake:
  Hash Property and Coding Theorems for Sparse Matrices and Maximum-Likelihood Coding. , (informal publication)
  [abs/0801.3878]
• Yi Sun:
  Spectral efficiency and optimal medium access control of random access systems over large random spreading CDMA. , (informal publication)
  [abs/0801.3880]
• Jakob Voss:
  Encoding changing country codes for the Semantic Web with ISO 3166 and SKOS. , (informal publication)
  [abs/0801.3908]
• Olivier Carton, Olivier Finkel, Pierre Simonnet:
  On the Continuity Set of an omega Rational Function. , (informal publication)
  [abs/0801.3912]
• Jaap-Henk Hoepman, Bart Jacobs:
  Increased security through open source. , (informal publication)
  [abs/0801.3924]
• C. Tjhai, Martin Tomlinson, Marcel Ambroze, Mohammed Ahmed:
  On the Weight Distribution of the Extended Quadratic Residue Code of Prime 137. , (informal publication)
  [abs/0801.3926]
• Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur:
  Crossing Borders: Security and Privacy Issues of the European e-Passport. , (informal publication)
  [abs/0801.3930]
• Pierre Mozer, Michael Baumann, Grégoire Chevreau, Vincent Daanen, Alexandre Moreau-Gaudry, Jocelyne Troccaz:
  Framework for 3D TransRectal Ultrasound. , (informal publication)
  [abs/0801.3965]
• Jingpeng Li, Uwe Aickelin:
  A Bayesian Optimisation Algorithm for the Nurse Scheduling Problem. , (informal publication)
  [abs/0801.3971]
• Lizhen Yang, Ling Dong, Kefei Chen:
  New Upper Bounds on Sizes of Permutation Arrays. , (informal publication)
  [abs/0801.3983]
• Lizhen Yang, Kefei Chen, Luo Yuan:
  New Lower Bounds on Sizes of Permutation Arrays. , (informal publication)
  [abs/0801.3986]
• Lizhen Yang, Kefei Chen, Luo Yuan:
  New Constructions of Permutation Arrays. , (informal publication)
  [abs/0801.3987]
• Prosenjit Bose, Paz Carmi, Mathieu Couture:
  Spanners of Additively Weighted Point Sets. , (informal publication)
  [abs/0801.4013]
• Alex Benton, Joseph O'Rourke:
  A Class of Convex Polyhedra with Few Edge Unfoldings. , (informal publication)
  [abs/0801.4019]
• David J. Galas, Matti Nykter, Gregory W. Carter, Nathan D. Price, Ilya Shmulevich:
  Set-based complexity and biological information. , (informal publication)
  [abs/0801.4024]
• Zhu Han, Xin Zhang, H. Vincent Poor:
  High Performance Cooperative Transmission Protocols Based on Multiuser Detection and Network Coding. , (informal publication)
  [abs/0801.4048]
• Soung Chang Liew, Ying Jun Zhang, Da Rui Chen:
  Bounded Mean-Delay Throughput and Non-Starvation Conditions in Aloha Network. , (informal publication)
  [abs/0801.4054]
• Jean-Philippe Vert:
  The optimal assignment kernel is not positive definite. , (informal publication)
  [abs/0801.4061]
• Elena Dubrova:
  An equivalence preserving transformation from the Fibonacci to the Galois NLFSRs. , (informal publication)
  [abs/0801.4079]
• Marcello Caleffi, Giancarlo Ferraiuolo, Luigi Paura:
  On Reliability of Dynamic Addressing Routing Protocols in Mobile Ad Hoc Networks. , (informal publication)
  [abs/0801.4082]
• Steven Perron:
  Quantified Propositional Logspace Reasoning. , (informal publication)
  [abs/0801.4105]
• Gianni Tedesco, Uwe Aickelin:
  Strategic Alert Throttling for Intrusion Detection Systems. , (informal publication)
  [abs/0801.4119]
• Amichai Sanderovich, Michael Peleg, Shlomo Shamai:
  Scaling Laws and Techniques in Decentralized Processing of Interfered Gaussian Channels. , (informal publication)
  [abs/0801.4129]
• Daniel Andersson:
  Solving Min-Max Problems with Applications to Games. , (informal publication)
  [abs/0801.4130]
• G. Diaz, Julio Flórez-López, V. Hamar, H. Hoeger, C. Mendoza, Z. Mendez, Luis A. Núñez, N. Ruiz, Rodrigo Torrens, Maylett Uzcategui:
  e-Science perspectives in Venezuela. , (informal publication)
  [abs/0801.4150]
• Kohtaro Tadaki:
  A statistical mechanical interpretation of algorithmic information theory. , (informal publication)
  [abs/0801.4194]
• Kazutaka Nakamura, Toshiyuki Tanaka:
  Microscopic Analysis for Decoupling Principle of Linear Vector Channel. , (informal publication)
  [abs/0801.4198]
• Simon Perdrix:
  Quantum entanglement analysis based on abstract interpretation. , (informal publication)
  [abs/0801.4230]
• Marek Chrobak, Christoph Dürr, Mathilde Hurand, Julien Robert:
  Algorithms for Temperature-Aware Task Scheduling in Microprocessor Systems. , (informal publication)
  [abs/0801.4238]
• Roland T. Mittermeir, Markus Clermont, Karin Hodnigg:
  Protecting Spreadsheets Against Fraud. , (informal publication)
  [abs/0801.4268]
• Karin Hodnigg, Markus Clermont, Roland T. Mittermeir:
  Computational Models of Spreadsheet Development: Basis for Educational Approaches. , (informal publication)
  [abs/0801.4274]
• Yirsaw Ayalew, Roland Mittermeir:
  Spreadsheet Debugging. , (informal publication)
  [abs/0801.4280]
• Qi Chen, Uwe Aickelin:
  Movie Recommendation Systems Using An Artificial Immune System. , (informal publication)
  [abs/0801.4287]
• Liliana Cucu, Joël Goossens:
  Exact Feasibility Tests for Real-Time Scheduling of Periodic Tasks upon Multiprocessor Platforms. , (informal publication)
  [abs/0801.4292]
• Uwe Aickelin, Qi Chen:
  On Affinity Measures for Artificial Immune System Movie Recommenders. , (informal publication)
  [abs/0801.4307]
• Uwe Aickelin, Edmund K. Burke, Aniza Mohamed Din:
  Investigating Artificial Immune Systems For Job Shop Rescheduling In Changing Environments. , (informal publication)
  [abs/0801.4312]
• Uwe Aickelin:
  Artificial Immune Systems (AIS) - A New Paradigm for Heuristic Decision Making. , (informal publication)
  [abs/0801.4314]
• Jean-Jacques Banihachemi, Eric Boidard, Jean-Luc Bosson, Luc Bressollette, Ivan Bricault, Philippe Cinquin, Gilbert Ferretti, Maud Marchal, Thomas Martinelli, Alexandre Moreau-Gaudry, Franck Pellissier, Christian Roux, Dominique Saragaglia, Pierre Thorel, Jocelyne Troccaz, Adriana Vilchis Gonzales:
  TER: A Robot for Remote Ultrasonic Examination: Experimental Evaluations. , (informal publication)
  [abs/0801.4355]
• David Charlton, Erik D. Demaine, Martin L. Demaine, Gregory N. Price, Yaa-Lirng Tu:
  A Locked Orthogonal Tree. , (informal publication)
  [abs/0801.4405]
• Manas Tungare, Manuel A. Pérez-Quiñones:
  It's Not What You Have, But How You Use It: Compromises in Mobile Device Use. , (informal publication)
  [abs/0801.4423]
• Babatunde O. Okunoye:
  Abstractions for biomolecular computations. , (informal publication)
  [abs/0801.4480]
• Jean-Alexandre Long, Vincent Daanen, Alexandre Moreau-Gaudry, Jocelyne Troccaz, Jean-Jacques Rambeaud, Jean-Luc Descotes:
  Biopsies prostatiques sous guidage échographique 3D et temps réel (4D) sur fantôme. Etude comparative versus guidage 2D. , (informal publication)
  [abs/0801.4483]
• Pierre Moulin:
  A Neyman-Pearson Approach to Universal Erasure and List Decoding. , (informal publication)
  [abs/0801.4544]
• Ronghui Tu, Yongyi Mao, Jiying Zhao:
  Is SP BP? , (informal publication)
  [abs/0801.4571]
• Piotr Faliszewski, Lane A. Hemaspaandra:
  The Complexity of Power-Index Comparison. , (informal publication)
  [abs/0801.4585]
• Yue Wang, John C. S. Lui, Dah-Ming Chiu:
  Understanding the Paradox of Power Control on the Capacity of Wireless Networks. , (informal publication)
  [abs/0801.4592]
• Babatunde O. Okunoye:
  A Molecular Model for Communication through a Secrecy System. , (informal publication)
  [abs/0801.4664]
• Pedram Pad, Farrokh Marvasti, K. Alishahi, S. Akbari:
  A Class of Errorless Codes for Over-loaded Synchronous Wireless and Optical CDMA Systems and Evaluation of Channel Capacity Bounds. , (informal publication)
  [abs/0801.4706]
• Alexander Stepanenko, Costas C. Constantinou, I. V. Yurkevich, I. V. Lerner:
  Temporal Correlations of Local Network Losses. , (informal publication)
  [abs/0801.4709]
• Miroslava Sotáková:
  Breaking One-Round Key-Agreement Protocols in the Random Oracle Model. , (informal publication)
  [abs/0801.4714]
• Tonio Wandmacher, Jean-Yves Antoine:
  Methods to integrate a language model with semantic information for a word prediction component. , (informal publication)
  [abs/0801.4716]
• Walid S. Saba:
  Concerning Olga, the Beautiful Little Street Dancer (Adjectives as Higher-Order Polymorphic Functions). , (informal publication)
  [abs/0801.4746]
• Maxime Gariel, Eric Feron:
  Graceful Degradation of Air Traffic Operations. , (informal publication)
  [abs/0801.4750]
• Thomas A. Grossman:
  Source Code Protection for Applications Written in Microsoft Excel and Google Spreadsheet. , (informal publication)
  [abs/0801.4774]
• Harmen Ettema, Paul Janssen, Jacques de Swart:
  Spreadsheet Assurance by "Control Around" is a Viable Alternative to the Traditional Approach. , (informal publication)
  [abs/0801.4775]
• Anil Ada:
  Non-Deterministic Communication Complexity of Regular Languages. , (informal publication)
  [abs/0801.4777]
• Joel Ratsaby:
  Information Width. , (informal publication)
  [abs/0801.4790]
• Joel Ratsaby:
  On the Complexity of Binary Samples. , (informal publication)
  [abs/0801.4794]
• Alan Rust, Brian Bishop, Kevin McDaid:
  Investigating the Potential of Test-Driven Development for Spreadsheet Engineering. , (informal publication)
  [abs/0801.4802]
• Syed Ali Raza Jafri, Mireille Boutin, Edward J. Delp:
  Automatic Text Area Segmentation in Natural Images. , (informal publication)
  [abs/0801.4807]
• Shenghui Su, Zunguo Huang, Jun Hu:
  The REESSE2+ Public-key Encryption Scheme - Another Application of the Lever Function and its Connotation. , (informal publication)
  [abs/0801.4817]
• Carlos Brito, Shailesh Vaya:
  Improved lower bound for deterministic broadcasting in radio networks. , (informal publication)
  [abs/0801.4845]
• Costas Busch, Rajgopal Kannan:
  Bicretieria Optimization in Routing Games. , (informal publication)
  [abs/0801.4851]
• Oleg Verbitsky:
  On the Double Coset Membership Problem for Permutation Groups. , (informal publication)
  [abs/0801.4911]
• Oleg Verbitsky:
  Zero-Knowledge Proofs of the Conjugacy for Permutation Groups. , (informal publication)
  [abs/0801.4917]
• Ryan Hutchinson:
  The Existence of Strongly-MDS Convolutional Codes. , (informal publication)
  [abs/0801.0184]
• Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas:
  Algorithmically random points in measure preserving systems, statistical behaviour, complexity and entropy. , (informal publication)
  [abs/0801.0209]
• Greg J. Stephens, William Bialek:
  Toward a statistical mechanics of four letter words. , (informal publication)
  [abs/0801.0253]
• Vincent Yan Fu Tan, Vivek K. Goyal:
  Estimating Signals with Finite Rate of Innovation from Noisy Samples: A Stochastic Algorithm. , (informal publication)
  [abs/0801.0275]
• Marie Ferbus-Zanda, Serge Grigorieff:
  Is Randomness "Native" to Computer Science? , (informal publication)
  [abs/0801.0289]
• Michael Chertkov:
  Exactness of Belief Propagation for some Graphical Models with Loops. , (informal publication)
  [abs/0801.0341]
• Marie Ferbus-Zanda, Serge Grigorieff:
  Church, Cardinal and Ordinal Representations of Integers and Kolmogorov complexity. , (informal publication)
  [abs/0801.0349]
• Marie Ferbus-Zanda, Serge Grigorieff:
  Refinment of the "up to a constant" ordering using contructive co-immunity and alike. Application to the Min/Max hierarchy of Kolmogorov complexities. , (informal publication)
  [abs/0801.0350]
• Marie Ferbus-Zanda, Serge Grigorieff:
  Kolmogorov complexities Kmax, Kmin on computable partially ordered sets. , (informal publication)
  [abs/0801.0351]
• Marie Ferbus-Zanda, Serge Grigorieff:
  Set theoretical Representations of Integers, I. , (informal publication)
  [abs/0801.0353]
• Marie Ferbus-Zanda, Serge Grigorieff:
  Kolmogorov complexity in perspective. , (informal publication)
  [abs/0801.0354]
• Fabien Durand, Adel Guerziz, Michel Koskas:
  Words and morphisms with Sturmian erasures. , (informal publication)
  [abs/0801.0558]
• Gabriela Jeronimo, Daniel Perrucci, Juan Sabia:
  On sign conditions over real multivariate polynomials. , (informal publication)
  [abs/0801.0586]
• Fabien Durand:
  A theorem of Cobham for non-primitive substitutions. , (informal publication)
  [abs/0801.0665]
• Mark M. Wilde, Todd A. Brun:
  Unified Quantum Convolutional Coding. , (informal publication)
  [abs/0801.0821]
• J. Gonzalez-Estevez, M. G. Cosenza, R. López-Ruiz, J. R. Sánchez:
  Pareto and Boltzmann-Gibbs behaviors in a deterministic multi-agent system. , (informal publication)
  [abs/0801.0969]
• Christian Hoffmann:
  A Most General Edge Elimination Polynomial - Thickening of Edges. , (informal publication)
  [abs/0801.1600]
• Adam Lipowski, Dorota Lipowska:
  Computational approach to the emergence and evolution of language - evolutionary naming game model. , (informal publication)
  [abs/0801.1658]
• Xavier Bressaud, Pascal Hubert, Alejandro Maass:
  Persistence of Wandering Intervals in Self-Similar Affine Interval Exchange Transformations. , (informal publication)
  [abs/0801.2088]
• Markus Grassl, Martin Rötteler:
  Non-Additive Quantum Codes from Goethals and Preparata Codes. , (informal publication)
  [abs/0801.2144]
• Markus Grassl, Martin Rötteler:
  Quantum Goethals-Preparata Codes. , (informal publication)
  [abs/0801.2150]
• Fabrizio Altarelli:
  Theoretical analysis of optimization problems - Some properties of random k-SAT and k-XORSAT. , (informal publication)
  [abs/0801.2858]
• Luca Dall'Asta, A. Ramezanpour, Riccardo Zecchina:
  Entropy landscape and non-Gibbs solutions in constraint satisfaction problems. , (informal publication)
  [abs/0801.2890]
• Guillaume Hanrot, Damien Stehlé:
  Worst-Case Hermite-Korkine-Zolotarev Reduced Lattice Bases. , (informal publication)
  [abs/0801.3331]
• George I. Bell:
  The mathematics of Septoku. , (informal publication)
  [abs/0801.3697]
• Jan Mandel, Jonathan D. Beezley, Soham Chakraborty, Janice L. Coen, Craig C. Douglas, Anthony Vodacek, Zhen Wang:
  Towards a Real-Time Data Driven Wildland Fire Model. , (informal publication)
  [abs/0801.3875]
• Carmen Pellicer-Lostao, Ricardo López-Ruiz:
  Pseudo-Random Bit Generation based on 2D chaotic maps of logistic type and its Applications in Chaotic Cryptography. , (informal publication)
  [abs/0801.3982]
• Gábor Simon, József Steger, Péter Hága, István Csabai, Gábor Vattay:
  Measuring the Dynamical State of the Internet: Large Scale Network Tomography via the ETOMIC Infrastructure. , (informal publication)
  [abs/0801.4158]