CoRR, January 2007

• Ashutosh Deepak Gore, Srikanth Jagabathula, Abhay Karandikar:
  On High Spatial Reuse Link Scheduling in STDMA Wireless Ad Hoc Networks. , (informal publication)
  [abs/cs/0701001]
• Semih Serbetli, Aylin Yener:
  Relay Assisted F/TDMA Ad Hoc Networks: Node Classification, Power Allocation and Relaying Strategies. , (informal publication)
  [abs/cs/0701002]
• Jens Christian Claussen:
  Magnification Laws of Winner-Relaxing and Winner-Enhancing Kohonen Feature Maps. , (informal publication)
  [abs/cs/0701003]
• Sumit Ganguly:
  An algebraic approach to complexity of data stream computations. , (informal publication)
  [abs/cs/0701004]
• Christian Tanguy:
  Exact solutions for the two- and all-terminal reliabilities of the Brecht-Colbourn ladder and the generalized fan. , (informal publication)
  [abs/cs/0701005]
• Stefan Laendner, Thorsten Hehn, Olgica Milenkovic, Johannes B. Huber:
  Two Methods for Reducing the Error-Floor of LDPC Codes. , (informal publication)
  [abs/cs/0701006]
• Hamed Hatami, Ruzbeh Tusserkani:
  On the Complexity of the Circular Chromatic Number. , (informal publication)
  [abs/cs/0701007]
• Hamed Hatami, Hossein Maserrat:
  On the Computational Complexity of Defining Sets. , (informal publication)
  [abs/cs/0701008]
• Peyman Afshani, Hamed Hatami:
  Approximation and Inapproximability Results for Maximum Clique of Disc Graphs in High Dimensions. , (informal publication)
  [abs/cs/0701009]
• Ahmed Samy Sidky, James D. Arthur:
  Determining the Applicability of Agile Practices to Mission and Life-critical Systems. , (informal publication)
  [abs/cs/0701010]
• Michael B. Baer:
  Infinite-Alphabet Prefix Codes Optimal for beta-Exponential Penalties. , (informal publication)
  [abs/cs/0701011]
• Michael B. Baer:
  D-ary Bounded-Length Huffman Coding. , (informal publication)
  [abs/cs/0701012]
• Zengyou He, Xiaofei Xu, Shengchun Deng:
  Attribute Value Weighting in K-Modes Clustering. , (informal publication)
  [abs/cs/0701013]
• Moustapha Diaby:
  A Reply to Hofman On: "Why LP cannot solve large instances of NP-complete problems in polynomial time". , (informal publication)
  [abs/cs/0701014]
• Pierre Sens, Luciana Bezerra Arantes, Mathieu Bouillaguet:
  Asynchronous Implementation of Failure Detectors with partial connectivity and unknown participants. , (informal publication)
  [abs/cs/0701015]
• Oded Kafri:
  The Second Law and Informatics. , (informal publication)
  [abs/cs/0701016]
• Giacomo Bacci, Marco Luise, H. Vincent Poor, Antonia Maria Tulino:
  Energy-Efficient Power Control in Impulse Radio UWB Wireless Networks. , (informal publication)
  [abs/cs/0701017]
• Andrew Duggan, Alexander Barg:
  Performance Analysis of Algebraic Soft-Decision Decoding of Reed-Solomon Codes. , (informal publication)
  [abs/cs/0701018]
• Tan F. Wong, Tat M. Lok, John M. Shea:
  Flow-optimized Cooperative Transmission for the Relay Channel. , (informal publication)
  [abs/cs/0701019]
• Sumit Ganguly:
  A nearly optimal and deterministic summary structure for update data streams. , (informal publication)
  [abs/cs/0701020]
• Franco Milicchio:
  The Unix KISS: A Case Study. , (informal publication)
  [abs/cs/0701021]
• Mateusz Zakrzewski:
  Definable functions in the simply typed lambda-calculus. , (informal publication)
  [abs/cs/0701022]
• Sergey Gubin:
  A Polynomial Time Algorithm for 3-SAT. , (informal publication)
  [abs/cs/0701023]
• Yingbin Liang, H. Vincent Poor, Shlomo Shamai:
  Secure Communication over Fading Channels. , (informal publication)
  [abs/cs/0701024]
• Øyvind Ryan, Mérouane Debbah:
  Free deconvolution for signal processing applications. , (informal publication)
  [abs/cs/0701025]
• Po-Ning Chen, Yunghsiang S. Han, Carlos R. P. Hartmann, Hong-Bin Wu:
  Analysis of Sequential Decoding Complexity Using the Berry-Esseen Inequality. , (informal publication)
  [abs/cs/0701026]
• Hari Palaiyanur, Cheng Chang, Anant Sahai:
  The source coding game with a cheating switcher. , (informal publication)
  [abs/cs/0701027]
• Juan P. Herrera, Pedro A. Pury:
  Statistical keyword detection in literary corpora. , (informal publication)
  [abs/cs/0701028]
• Dariusz Kusmierek:
  The Inhabitation Problem for Rank Two Intersection Types. , (informal publication)
  [abs/cs/0701029]
• Eric Zhi Chen:
  New Constructions of a Family of 2-Generator Quasi-Cyclic Two-Weight Codes and Related Codes. , (informal publication)
  [abs/cs/0701030]
• Frédéric Blanqui, Thérèse Hardin, Pierre Weis:
  On the implementation of construction functions for non-free concrete data types. , (informal publication)
  [abs/cs/0701031]
• Guillaume Bonfante, Yves Guiraud:
  Programs as polygraphs: computability and complexity.
  [abs/cs/0701032]
• Blake Hegerle:
  A Counterexample to a Proposed Proof of P=NP by S. Gubin. , (informal publication)
  [abs/cs/0701033]
• Giacomo Bacci, Marco Luise, H. Vincent Poor:
  Performance of Rake Receivers in IR-UWB Networks Using Energy-Efficient Power Control. , (informal publication)
  [abs/cs/0701034]
• Edwin A. Henneken, Michael J. Kurtz, Günther Eichhorn, Alberto Accomazzi, Carolyn Stern-Grant, Donna M. Thompson, Elizabeth Bohlen, Stephen S. Murray:
  Finding Astronomical Communities Through Co-readership Analysis. , (informal publication)
  [abs/cs/0701035]
• Boris Ryabko:
  Compression-based methods for nonparametric density estimation, on-line prediction, regression and classification for time series. , (informal publication)
  [abs/cs/0701036]
• Jason Ansel, Michael Rieker, Gene Cooperman:
  User-Level Socket-Based Checkpointing for Distributed and Parallel Computation. , (informal publication)
  [abs/cs/0701037]
• Peter Jung:
  Approximate Eigenstructure of LTV Channels with Compactly Supported Spreading. , (informal publication)
  [abs/cs/0701038]
• Ian Pratt-Hartmann:
  On the Complexity of the Numerically Definite Syllogistic and Related Fragments. , (informal publication)
  [abs/cs/0701039]
• F. Zhang:
  Curve Tracking Control for Legged Locomotion in Horizontal Plane. , (informal publication)
  [abs/cs/0701040]
• Young-Han Kim:
  A Coding Theorem for a Class of Stationary Channels with Feedback. , (informal publication)
  [abs/cs/0701041]
• Amos Lapidoth, Stephan Tinguely:
  Sending a Bivariate Gaussian Source over a Gaussian MAC with Feedback. , (informal publication)
  [abs/cs/0701042]
• Urs Niesen, Devavrat Shah, Gregory W. Wornell:
  Adaptive Alternating Minimization Algorithms. , (informal publication)
  [abs/cs/0701043]
• Sunder Lal, Tej Singh:
  New ID Based Multi-Proxy Multi-Signcryption Scheme from Pairings. , (informal publication)
  [abs/cs/0701044]
• Iosif Pinelis:
  Polygon Convexity: Another O(n) Test. , (informal publication)
  [abs/cs/0701045]
• Andrea G. Forte, Henning Schulzrinne:
  Cooperation Between Stations in Wireless Networks. , (informal publication)
  [abs/cs/0701046]
• Lukasz Debowski:
  On vocabulary size of grammar-based codes. , (informal publication)
  [abs/cs/0701047]
• Samar Agnihotri, Pavan Nuggehalli:
  Energy Conscious Interactive Communication for Sensor Networks. , (informal publication)
  [abs/cs/0701048]
• Barnaby Martin:
  On the Complexity of a Derivative Chess Problem. , (informal publication)
  [abs/cs/0701049]
• Olivier Rioul:
  A Simple Proof of the Entropy-Power Inequality via Properties of Mutual Information. , (informal publication)
  [abs/cs/0701050]
• Samar Agnihotri, Pavan Nuggehalli:
  Coding, Scheduling, and Cooperation in Wireless Sensor Networks. , (informal publication)
  [abs/cs/0701051]
• Geoffroy Simon, Amaury Lendasse, Marie Cottrell, Jean-Claude Fort, Michel Verleysen:
  Time Series Forecasting: Obtaining Long Term Trends with Self-Organizing Maps. , (informal publication)
  [abs/cs/0701052]
• Deqiang Chen, Kambiz Azarian, J. Nicholas Laneman:
  A Case For Amplify-Forward Relaying in the Block-Fading Multi-Access Channel. , (informal publication)
  [abs/cs/0701053]
• Nathan Segerlind:
  Nearly-Exponential Size Lower Bounds for Symbolic Quantifier Elimination Algorithms and OBDD-Based Proofs of Unsatisfiability. , (informal publication)
  [abs/cs/0701054]
• Leif Hanlen, Thushara D. Abhayapala:
  Bounds on Space-Time-Frequency Dimensionality. , (informal publication)
  [abs/cs/0701055]
• Leif Hanlen, Thushara D. Abhayapala:
  Space-Time-Frequency Degrees of Freedom: Fundamental Limits for Spatial Information. , (informal publication)
  [abs/cs/0701056]
• Xiaofei Huang:
  Cooperative Optimization for Energy Minimization: A Case Study of Stereo Matching. , (informal publication)
  [abs/cs/0701057]
• Amin Mobasher, Amir K. Khandani:
  Precoding in Multiple-Antenna Broadcast Systems with a Probabilistic Viewpoint. , (informal publication)
  [abs/cs/0701058]
• Samar Agnihotri, Pavan Nuggehalli:
  Enhancing Sensor Network Lifetime Using Interactive Communication. , (informal publication)
  [abs/cs/0701059]
• Salah A. Aly, Andreas Klappenecker, Pradeep Kiran Sarvepalli:
  Duadic Group Algebra Codes. , (informal publication)
  [abs/cs/0701060]
• Jia Liu, Y. Thomas Hou, Hanif D. Sherali:
  Conjugate Gradient Projection Approach for Multi-Antenna Gaussian Broadcast Channels. , (informal publication)
  [abs/cs/0701061]
• Sichao Yang, Ralf Koetter:
  Network Coding over a Noisy Relay : a Belief Propagation Approach. , (informal publication)
  [abs/cs/0701062]
• Keigo Takeuchi, Toshiyuki Tanaka:
  Hierarchical Decoupling Principle of a MIMO-CDMA Channel in Asymptotic Limits. , (informal publication)
  [abs/cs/0701063]
• Kai Engelhardt, Yoram Moses:
  Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels. , (informal publication)
  [abs/cs/0701064]
• Ioannis Chatzigeorgiou, Miguel R. D. Rodrigues, Ian J. Wassell, Rolando A. Carrasco:
  Can Punctured Rate-1/2 Turbo Codes Achieve a Lower Error Floor than their Rate-1/3 Parent Codes? , (informal publication)
  [abs/cs/0701065]
• Lucile Sassatelli, David Declercq:
  Non-binary Hybrid LDPC Codes: Structure, Decoding and Optimization. , (informal publication)
  [abs/cs/0701066]
• G. Susinder Rajan, Anshoo Tandon, B. Sundar Rajan:
  On Four-group ML Decodable Distributed Space Time Codes for Cooperative Communication. , (informal publication)
  [abs/cs/0701067]
• G. Susinder Rajan, B. Sundar Rajan:
  Distributed Space-Time Codes for Cooperative Networks with Partial CSI. , (informal publication)
  [abs/cs/0701068]
• Frédéric Didier, Yann Laigle-Chapuy:
  Finding low-weight polynomial multiples using discrete logarithm. , (informal publication)
  [abs/cs/0701069]
• Daniel Augot, Magali Bardet, Jean-Charles Faugère:
  On formulas for decoding binary cyclic codes. , (informal publication)
  [abs/cs/0701070]
• Nikolaos Laoutaris, Rajmohan Rajaraman, Ravi Sundaram, Shang-Hua Teng:
  A bounded-degree network formation game. , (informal publication)
  [abs/cs/0701071]
• Jakob Voss:
  Tagging, Folksonomy & Co - Renaissance of Manual Indexing? , (informal publication)
  [abs/cs/0701072]
• Jeremy Avigad, Kevin Donnelly:
  A decision procedure for linear "big O" equations. , (informal publication)
  [abs/cs/0701073]
• Jerome K. Vanclay:
  On the robustness of the h-index. , (informal publication)
  [abs/cs/0701074]
• Toshiya Takami, Jun Maki, Jun-ichi Ooba, Yuichi Inadomi, Hiroaki Honda, Taizo Kobayashi, Rie Nogita, Mutsumi Aoyagi:
  Open-architecture Implementation of Fragment Molecular Orbital Method for Peta-scale Computing. , (informal publication)
  [abs/cs/0701075]
• Norman Danner, James S. Royer:
  Time-complexity semantics for feasible affine recursions (extended abstract). , (informal publication)
  [abs/cs/0701076]
• Karl J. Obermeyer, Anurag Ganguli, Francesco Bullo:
  Asynchronous Distributed Searchlight Scheduling. , (informal publication)
  [abs/cs/0701077]
• Vignesh Sethuraman, Ligong Wang, Bruce Hajek, Amos Lapidoth:
  Low SNR Capacity of Fading Channels -- MIMO and Delay Spread. , (informal publication)
  [abs/cs/0701078]
• Yuriy A. Reznik:
  Practical Binary Adaptive Block Coder. , (informal publication)
  [abs/cs/0701079]
• Shin-Lin Shieh, Po-Ning Chen, Yunghsiang S. Han:
  Analysis of the Sufficient Path Elimination Window for the Maximum-Likelihood Sequential-Search Decoding Algorithm for Binary Convolutional Codes. , (informal publication)
  [abs/cs/0701080]
• Alexander Serebrenik, Wim Vanhoof:
  Fingerprinting Logic Programs. , (informal publication)
  [abs/cs/0701081]
• Frédéric Mesnard, Alexander Serebrenik:
  Recurrence with affine level mappings is P-time decidable for CLP(R). , (informal publication)
  [abs/cs/0701082]
• Georg Gottlob, Marko Samer:
  A Backtracking-Based Algorithm for Computing Hypertree-Decompositions. , (informal publication)
  [abs/cs/0701083]
• Michael Chertkov, Mikhail G. Stepanov:
  Pseudo-codeword Landscape. , (informal publication)
  [abs/cs/0701084]
• James Harold Thomas:
  Variations on the Fibonacci Universal Code. , (informal publication)
  [abs/cs/0701085]
• Vladimir Y. Chernyak, Michael Chertkov:
  Loop Calculus and Belief Propagation for q-ary Alphabet: Loop Tower. , (informal publication)
  [abs/cs/0701086]
• Jean-Philippe Rennard:
  Artificiality in Social Sciences. , (informal publication)
  [abs/cs/0701087]
• Frederick C. Furtek:
  A Theory and Calculus for Reasoning about Sequential Behavior. , (informal publication)
  [abs/cs/0701088]
• Laurent Bienvenu, David Doty, Frank Stephan:
  Constructive Dimension and Weak Truth-Table Degrees. , (informal publication)
  [abs/cs/0701089]
• Martin Mittelbach, Christian Müller, Konrad Schubert:
  Ergodic Capacity of Discrete- and Continuous-Time, Frequency-Selective Rayleigh Fading Channels with Correlated Scattering. , (informal publication)
  [abs/cs/0701090]
• Valentin Savin:
  Iterative LDPC decoding using neighborhood reliabilities. , (informal publication)
  [abs/cs/0701091]
• Natasha Devroye, Masoud Sharif:
  The Multiplexing Gain of MIMO X-Channels with Partial Transmit Side-Information. , (informal publication)
  [abs/cs/0701092]
• Masoud Ebrahimi, Mohammad Ali Maddah-Ali, Amir K. Khandani:
  Throughput Scaling Laws for Wireless Networks with Fading Channels. , (informal publication)
  [abs/cs/0701093]
• François Ingelrest, David Simplot-Ryl:
  Maximizing the Probability of Delivery of Multipoint Relay Broadcast Protocol in Wireless Ad Hoc Networks with a Realistic Physical Layer. , (informal publication)
  [abs/cs/0701094]
• Pedro Cabalar, Paolo Ferraris:
  Propositional theories are strongly equivalent to logic programs. , (informal publication)
  [abs/cs/0701095]
• Maurice Margenstern:
  About the domino problem in the hyperbolic plane, a new solution. , (informal publication)
  [abs/cs/0701096]
• Maximilien Gadouleau, Zhiyuan Yan:
  MacWilliams Identity for the Rank Metric. , (informal publication)
  [abs/cs/0701097]
• Maximilien Gadouleau, Zhiyuan Yan:
  Packing and Covering Properties of Rank Metric Codes. , (informal publication)
  [abs/cs/0701098]
• Shaohua Yang, Aleksandar Kavcic, Sekhar Tatikonda:
  On the Feedback Capacity of Power Constrained Gaussian Noise Channels with Memory. , (informal publication)
  [abs/cs/0701099]
• Shaohua Yang, Aleksandar Kavcic:
  Delayed Feedback Capacity of Stationary Sources over Linear Gaussian Noise Channels. , (informal publication)
  [abs/cs/0701100]
• Philip M. Davis:
  Citation advantage of Open Access articles likely explained by quality differential and media effects. , (informal publication)
  [abs/cs/0701101]
• Davide Schipani, Joachim Rosenthal:
  Coding Solutions for the Secure Biometric Storage Problem. , (informal publication)
  [abs/cs/0701102]
• Auguste Venkiah, Charly Poulliat, David Declercq:
  Analysis and design of raptor codes for joint decoding using Information Content evolution. , (informal publication)
  [abs/cs/0701103]
• Philipp Mayr, Walther Umstätter:
  Why is a new Journal of Informetrics needed? , (informal publication)
  [abs/cs/0701104]
• Remko Tronçon, Gerda Janssens:
  A Delta Debugger for ILP Query Execution. , (informal publication)
  [abs/cs/0701105]
• Pierre Deransart:
  On using Tracer Driver for External Dynamic Process Observation. , (informal publication)
  [abs/cs/0701106]
• Hani Z. Girgis, Bharat Jayaraman:
  JavaTA: A Logic-based Debugger for Java. , (informal publication)
  [abs/cs/0701107]
• Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo:
  Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling. , (informal publication)
  [abs/cs/0701108]
• Siddharth Chitnis, Madhu Yennamani, Gopal Gupta:
  ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm. , (informal publication)
  [abs/cs/0701109]
• Kim S. Henriksen, John P. Gallagher:
  A Web-based Tool Combining Different Type Analyses. , (informal publication)
  [abs/cs/0701110]
• Elvira Albert, Puri Arenas, Germán Puebla:
  Some Issues on Incremental Abstraction-Carrying Code. , (informal publication)
  [abs/cs/0701111]
• Axel Kohnert:
  (l,s)-Extension of Linear Codes. , (informal publication)
  [abs/cs/0701112]
• Thomas Colcombet:
  On factorisation forests. , (informal publication)
  [abs/cs/0701113]
• Ignacio Vega-Paez, Georgina G. Pulido, Jose Angel Ortega:
  The problem determination of Functional Dependencies between attributes Relation Scheme in the Relational Data Model. El problema de determinar Dependencias Funcionales entre atributos en los esquemas en el Modelo Relacional. , (informal publication)
  [abs/cs/0701114]
• Juan Julián Merelo Guervós, Antonio Mora García, Juan Luís Jiménez Laredo, Juan Lupión, Fernando Tricas:
  Browser-based distributed evolutionary computation: performance and scaling behavior. , (informal publication)
  [abs/cs/0701115]
• Chris T. K. Ng, Andrea J. Goldsmith:
  The Impact of CSI and Power Allocation on Relay Channel Capacity and Cooperation Strategies. , (informal publication)
  [abs/cs/0701116]
• Ambedkar Dukkipati:
  Maximum Entropy in the framework of Algebraic Statistics: A First Step. , (informal publication)
  [abs/cs/0701117]
• Mohammad Ali Maddah-Ali, Hajar Mahdavi-Doost, Amir K. Khandani:
  Optimal Order of Decoding for Max-Min Fairness in K-User Memoryless Interference Channels. , (informal publication)
  [abs/cs/0701118]
• Petr R. Ivankov, Nikolay P. Ivankov:
  The framework for simulation of dynamics of mechanical aggregates. , (informal publication)
  [abs/cs/0701119]
• Alexey V. Chernov, Marcus Hutter, Jürgen Schmidhuber:
  Algorithmic Complexity Bounds on Future Prediction Errors. , (informal publication)
  [abs/cs/0701120]
• Changhe Tu, Wenping Wang, Bernard Mourrain, Jiaye Wang:
  Signature Sequence of Intersection Curve of Two Quadrics for Exact Morphological Classification. , (informal publication)
  [abs/cs/0701121]
• Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
  Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems. , (informal publication)
  [abs/cs/0701122]
• David Doty, Philippe Moser:
  Feasible Depth. , (informal publication)
  [abs/cs/0701123]
• Chunxuan Ye, Alex Reznik:
  Group Secret Key Generation Algorithms. , (informal publication)
  [abs/cs/0701124]
• Marcus Hutter:
  Universal Algorithmic Intelligence: A mathematical top->down approach. , (informal publication)
  [abs/cs/0701125]
• Allen Chuang, Albert Guillen i Fabregas, Lars K. Rasmussen, Iain B. Collings:
  Optimal Throughput-Diversity-Delay Tradeoff in MIMO ARQ Block-Fading Channels. , (informal publication)
  [abs/cs/0701126]
• Risi Imre Kondor:
  A complete set of rotationally and translationally invariant features for images. , (informal publication)
  [abs/cs/0701127]
• M. V. Panduranga Rao:
  Interference Automata. , (informal publication)
  [abs/cs/0701128]
• Naresh Sharma, Pavan R. Pinnamraju, Constantinos B. Papadias:
  Space-time codes with controllable ML decoding complexity for any number of transmit antennas. , (informal publication)
  [abs/cs/0701129]
• Thomas C. Schmidt, Matthias Wählisch, Ying Zhang:
  On the Correlation of Geographic and Network Proximity at Internet Edges and its Implications for Mobile Unicast and Multicast Routing. , (informal publication)
  [abs/cs/0701130]
• JiaLiang Zhang, Soung Chang Liew:
  Effective Beam Width of Directional Antennas in Wireless Ad Hoc Networks. , (informal publication)
  [abs/cs/0701131]
• Eric Feron, Mardavij Roozbehani:
  Certifying controls and systems software. , (informal publication)
  [abs/cs/0701132]
• Athina Markopoulou, David R. Cheriton:
  The Case for Redundant Arrays of Internet Links (RAIL). , (informal publication)
  [abs/cs/0701133]
• Wenbing Zhao:
  Byzantine Fault Tolerance for Nondeterministic Applications. , (informal publication)
  [abs/cs/0701134]
• Jinyun Ke:
  Complex networks and human language. , (informal publication)
  [abs/cs/0701135]
• Chawki Hajjem, Stevan Harnad:
  Citation Advantage For OA Self-Archiving Is Independent of Journal Impact Factor, Article Age, and Number of Co-Authors. , (informal publication)
  [abs/cs/0701136]
• Chawki Hajjem, Stevan Harnad:
  The Open Access Citation Advantage: Quality Advantage Or Quality Bias? , (informal publication)
  [abs/cs/0701137]
• Véronique Bruyère, Jean-François Raskin:
  Real-Time Model-Checking: Parameters everywhere. , (informal publication)
  [abs/cs/0701138]
• Yishay Mor, Jeffrey S. Rosenschein:
  Time and the Prisoner's Dilemma. , (informal publication)
  [abs/cs/0701139]
• Corina S. Pasareanu, Radek Pelánek, Willem Visser:
  Predicate Abstraction with Under-approximation Refinement. , (informal publication)
  [abs/cs/0701140]
• Maarten H. van Emden, Belaid Moa:
  The Fundamental Theorems of Interval Analysis. , (informal publication)
  [abs/cs/0701141]
• Wolfgang W. Bein, Lawrence L. Larmore, Rüdiger Reischuk:
  Knowledge State Algorithms: Randomization with Limited Information. , (informal publication)
  [abs/cs/0701142]
• Xing M. Wang:
  Dirac Notation, Fock Space and Riemann Metric Tensor in Information Retrieval Models. , (informal publication)
  [abs/cs/0701143]
• Nicolai Kuntze, Andreas U. Schmidt:
  Trusted Ticket Systems and Applications. , (informal publication)
  [abs/cs/0701144]
• Nicolai Kuntze, Andreas U. Schmidt, Christian Hett:
  Non-Repudiation in Internet Telephony. , (informal publication)
  [abs/cs/0701145]
• Anand D. Sarwate, Michael Gastpar:
  Deterministic list codes for state-constrained arbitrarily varying channels. , (informal publication)
  [abs/cs/0701146]
• Michael Hanus:
  A Generic Analysis Environment for Curry Programs. , (informal publication)
  [abs/cs/0701147]
• Wim Vanhoof, Susana Muñoz-Hernández:
  Proceedings of the 16th Workshop in Logic-based Methods in Programming Environments (WLPE2006). , (informal publication)
  [abs/cs/0701148]
• Ozgur Oyman, Arogyaswami Paulraj:
  Power-Bandwidth Tradeoff in Dense Multi-Antenna Relay Networks. , (informal publication)
  [abs/cs/0701149]
• Luc Brun, Walter G. Kropatsch:
  Contains and Inside relationships within combinatorial Pyramids. , (informal publication)
  [abs/cs/0701150]
• Howard Cheng, Guillaume Hanrot, Emmanuel Thomé, Eugene V. Zima, Paul Zimmermann:
  Time- and Space-Efficient Evaluation of Some Hypergeometric Constants. , (informal publication)
  [abs/cs/0701151]
• Hajar Mahdavi-Doost, Masoud Ebrahimi, Amir K. Khandani:
  Characterization of Rate Region in Interference Channels with Constrained Power. , (informal publication)
  [abs/cs/0701152]
• Michal Forisek, Branislav Katreniak, Jana Katreniaková, Rastislav Kralovic, Richard Královic, Vladimír Koutný, Dana Pardubská, Tomas Plachetka, Branislav Rovan:
  Online Bandwidth Allocation. , (informal publication)
  [abs/cs/0701153]
• Pascal Tesson, Denis Thérien:
  Logic Meets Algebra: the Case of Regular Languages. , (informal publication)
  [abs/cs/0701154]
• Jim Gray, Surajit Chaudhuri, Adam Bosworth, Andrew Layman, Don Reichart, Murali Venkatrao, Frank Pellow, Hamid Pirahesh:
  Data Cube: A Relational Aggregation Operator Generalizing Group-By, Cross-Tab, and Sub-Totals. , (informal publication)
  [abs/cs/0701155]
• Jim Gray:
  Data Management: Past, Present, and Future. , (informal publication)
  [abs/cs/0701156]
• Hal Berenson, Philip A. Bernstein, Jim Gray, Jim Melton, Elizabeth J. O'Neil, Patrick E. O'Neil:
  A Critique of ANSI SQL Isolation Levels. , (informal publication)
  [abs/cs/0701157]
• Jim Gray:
  Queues Are Databases. , (informal publication)
  [abs/cs/0701158]
• Gerd Heber, Jim Gray:
  Supporting Finite Element Analysis with a Relational Database Backend, Part I: There is Life beyond Files. , (informal publication)
  [abs/cs/0701159]
• Gerd Heber, Jim Gray:
  Supporting Finite Element Analysis with a Relational Database Backend, Part II: Database Design and Access. , (informal publication)
  [abs/cs/0701160]
• Jim Gray, Charles Levine:
  Thousands of DebitCredit Transactions-Per-Second: Easy and Inexpensive. , (informal publication)
  [abs/cs/0701161]
• Jim Gray:
  A Measure of Transaction Processing 20 Years Later. , (informal publication)
  [abs/cs/0701162]
• Jim Gray, Alexander S. Szalay, Gyorgy Fekete:
  Using Table Valued Functions in SQL Server 2005 To Implement a Spatial Data Library. , (informal publication)
  [abs/cs/0701163]
• Alexander S. Szalay, Jim Gray, George Fekete, Peter Z. Kunszt, Peter Kukol, Ani Thakar:
  Indexing the Sphere with the Hierarchical Triangular Mesh. , (informal publication)
  [abs/cs/0701164]
• Gordon Bell, Jim Gray, Alexander S. Szalay:
  Petascale Computational Systems. , (informal publication)
  [abs/cs/0701165]
• Jim Gray, Catharine van Ingen:
  Empirical Measurements of Disk Failure Rates and Error Rates. , (informal publication)
  [abs/cs/0701166]
• María A. Nieto-Santisteban, Aniruddha R. Thakar, Alexander S. Szalay, Jim Gray:
  Large-Scale Query and XMatch, Entering the Parallel Zone. , (informal publication)
  [abs/cs/0701167]
• Russell Sears, Catharine van Ingen, Jim Gray:
  To BLOB or Not To BLOB: Large Object Storage in a Database or a Filesystem? , (informal publication)
  [abs/cs/0701168]
• Michael Botros Shenouda, Timothy N. Davidson:
  A Framework for Designing MIMO systems with Decision Feedback Equalization or Tomlinson-Harashima Precoding. , (informal publication)
  [abs/cs/0701169]
• Katalin Szlavecz, Andreas Terzis, Stuart Ozer, Razvan Musaloiu-Elefteri, Joshua Cogan, Sam Small, Randal C. Burns, Jim Gray, Alexander S. Szalay:
  Life Under Your Feet: An End-to-End Soil Ecology Sensor Network, Database, Web Server, and Analysis Service. , (informal publication)
  [abs/cs/0701170]
• Jim Gray, María A. Nieto-Santisteban, Alexander S. Szalay:
  The Zones Algorithm for Finding Points-Near-a-Point or Cross-Matching Spatial Datasets. , (informal publication)
  [abs/cs/0701171]
• Jim Gray, Alexander S. Szalay, Tamas Budavari, Robert Lupton, María A. Nieto-Santisteban, Ani Thakar:
  Cross-Matching Multiple Spatial Observations and Dealing with Missing Data. , (informal publication)
  [abs/cs/0701172]
• Vik Singh, Jim Gray, Ani Thakar, Alexander S. Szalay, Jordan Raddick, Bill Boroski, Svetlana Lebedeva, Brian Yanny:
  SkyServer Traffic Report - The First Five Years. , (informal publication)
  [abs/cs/0701173]
• Thanasis Hadzilacos, Dimitrios Kalles, Dimitrios Koumanakos:
  Using Course Constraints in Simulating Student Populations. , (informal publication)
  [abs/cs/0701174]
• Thanasis Hadzilacos, Dimitrios Kalles, Maria Pouliopoulou:
  On the Software and Knowledge Engineering Aspects of the Educational Process. , (informal publication)
  [abs/cs/0701175]
• Alain Frisch, Haruo Hosoya:
  Towards Practical Typechecking for Macro Tree Transducers. , (informal publication)
  [abs/cs/0701176]
• Roudra Chakraborty, Debapriya Sengupta, Sagnik Sinha:
  Pitch Tracking of Acoustic Signals based on Average Squared Mean Difference Function. , (informal publication)
  [abs/cs/0701177]
• Erhan Baki Ermis, Venkatesh Saligrama:
  Distributed Detection in Sensor Networks with Limited Range Sensors. , (informal publication)
  [abs/cs/0701178]
• Yoann Dieudonné, Franck Petit:
  Scatter of Weak Robots. , (informal publication)
  [abs/cs/0701179]
• Fionn Murtagh, Josiane Mothe, Kurt Englmeier:
  Ontology from Local Hierarchical Structure in Text. , (informal publication)
  [abs/cs/0701180]
• Fionn Murtagh:
  A Note on Local Ultrametricity in Text. , (informal publication)
  [abs/cs/0701181]
• Marat V. Burnashev:
  Supplement to: Code Spectrum and Reliability Function: Binary Symmetric Channel. , (informal publication)
  [abs/cs/0701182]
• Gilles Villard:
  Certification of the QR factor R, and of lattice basis reducedness. , (informal publication)
  [abs/cs/0701183]
• Jörg Hoffmann, Carla P. Gomes, Bart Selman:
  Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in<br> SAT-Based Planning. , (informal publication)
  [abs/cs/0701184]
• Frank Gurski:
  Graph Operations on Clique-Width Bounded Graphs. , (informal publication)
  [abs/cs/0701185]
• Marc Daumas, Guillaume Melquiond:
  Certification of bounds on expressions involving rounded operators. , (informal publication)
  [abs/cs/0701186]
• Sagar Chaki, Christian Schallhart, Helmut Veith:
  Verification Across Intellectual Property Boundaries. , (informal publication)
  [abs/cs/0701187]
• Wayne Eberly, Mark Giesbrecht, Pascal Giorgi, Arne Storjohann, Gilles Villard:
  Faster Inversion and Other Black Box Matrix Computations Using Efficient Block Projections. , (informal publication)
  [abs/cs/0701188]
• Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil:
  A New Self-Stabilizing Maximal Matching Algorithm. , (informal publication)
  [abs/cs/0701189]
• Thomas Jacobs, Aaron Harwood:
  A Peer-to-Peer Browsable File Index using a Popularity Based Global Namespace. , (informal publication)
  [abs/cs/0701190]
• David Monniaux:
  The parallel implementation of the Astrée static analyzer. , (informal publication)
  [abs/cs/0701191]
• David Monniaux:
  The pitfalls of verifying floating-point computations. , (informal publication)
  [abs/cs/0701192]
• Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
  A Static Analyzer for Large Safety-Critical Software. , (informal publication)
  [abs/cs/0701193]
• Solomiya Buk, Andrij A. Rovenchak:
  Menzerath-Altmann Law for Syntactic Structures in Ukrainian. , (informal publication)
  [abs/cs/0701194]
• David Monniaux:
  An Abstract Monte-Carlo Method for the Analysis of Probabilistic Programs. , (informal publication)
  [abs/cs/0701195]
• Ye Wang, Prakash Ishwar, Venkatesh Saligrama:
  One-bit Distributed Sensing and Coding for Field Estimation in Sensor Networks. , (informal publication)
  [abs/cs/0701196]
• Nan Ma, Ye Wang, Prakash Ishwar:
  Delayed Sequential Coding of Correlated Sources. , (informal publication)
  [abs/cs/0701197]
• R. M. D'Souza, Christian Borgs, Jennifer T. Chayes, Noam Berger, Robert D. Kleinberg:
  Fitting the WHOIS Internet data. , (informal publication)
  [abs/cs/0701198]
• Stéphane Norte, Fernando G. Lobo:
  A Virtual Logo Keyboard for People with Motor Disabilities. , (informal publication)
  [abs/cs/0701199]
• Françoise Détienne:
  Reasoning from a schema and from an analog in software code reuse. , (informal publication)
  [abs/cs/0701200]
• R. C. Venkatesan:
  Generalized Statistics Framework for Rate Distortion Theory with Bregman Divergences. , (informal publication)
  [abs/cond-mat/0701218]
• R. C. Venkatesan:
  Statistical Cryptography using a Fisher-Schrödinger Model. , (informal publication)
  [abs/cond-mat/0701319]
• Branko J. Malesevic:
  Some improvements of one method for proving inequalities by computer. , (informal publication)
  [abs/math/0701020]
• Shachar Lovett, Sasha Sodin:
  Almost Euclidean sections of the N-dimensional cross-polytope using O(N) random bits. , (informal publication)
  [abs/math/0701102]
• Holger Rauhut, Karin Schnass, Pierre Vandergheynst:
  Compressed Sensing and Redundant Dictionaries. , (informal publication)
  [abs/math/0701131]
• Eric de Bodt, Marie Cottrell, Patrick Letrémy, Michel Verleysen:
  On the use of self-organizing maps to accelerate vector quantization. , (informal publication)
  [abs/math/0701142]
• Eric de Bodt, Marie Cottrell, Michel Verleysen:
  Statistical tools to assess the reliability of self-organizing maps. , (informal publication)
  [abs/math/0701144]
• Riadh Kallel, Marie Cottrell, Vincent Vigneron:
  Bootstrap for neural model selection. , (informal publication)
  [abs/math/0701145]
• Marie Cottrell, Patrick Letrémy:
  Missing values : processing with the Kohonen algorithm. , (informal publication)
  [abs/math/0701152]
• Urs Niesen, Aslan Tchamkerten, Gregory W. Wornell:
  Tracking Stopping Times. , (informal publication)
  [abs/math/0701261]
• Gábor Lugosi, Shie Mannor, Gilles Stoltz:
  Strategies for prediction under imperfect monitoring. , (informal publication)
  [abs/math/0701419]
• Boris Ettinger, Niv Sarig, Yosef Yomdin:
  Linear versus Non-linear Acquisition of Step-Functions. , (informal publication)
  [abs/math/0701791]
• Frédéric Dambreville:
  Deterministic modal Bayesian Logic: derive the Bayesian inference within the modal logic T. , (informal publication)
  [abs/math/0701801]
• Jason Teutsch:
  Noncomputable Spectral Sets. , (informal publication)
  [abs/math/0701904]
• Lokman I. Meho:
  The Rise and Rise of Citation Analysis. , (informal publication)
  [abs/physics/0701012]
• G. A. Kouzaev:
  Spatio-Temporal Electromagnetic Field Shapes and their Logical Processing. , (informal publication)
  [abs/physics/0701081]
• Kikuo Yuta, Naoaki Ono, Yoshi Fujiwara:
  A Gap in the Community-Size Distribution of a Large-Scale Social Networking Site. , (informal publication)
  [abs/physics/0701168]
• Salah A. Aly, Andreas Klappenecker, Pradeep Kiran Sarvepalli:
  Quantum Convolutional Codes Derived From Reed-Solomon and Reed-Muller Codes. , (informal publication)
  [abs/quant-ph/0701037]
• Daniel Lehmann:
  A presentation of Quantum Logic based on an "and then" connective. , (informal publication)
  [abs/quant-ph/0701113]
• Romain Alleaume, Jan Bouda, Cyril Branciard, Thierry Debuisschert, Mehrdad Dianati, Nicolas Gisin, Mark Godfrey, Philippe Grangier, Thomas Langer, Anthony Leverrier, Norbert Lütkenhaus, Philippe Painchault, Momtchil Peev, Andreas Poppe, Thomas Pornin, John Rarity, Renato Renner, Gregoire Ribordy, Michel Riguidel, Louis Salvail, Andrew Shields, Harald Weinfurter, Anton Zeilinger:
  SECOQC White Paper on Quantum Key Distribution and Cryptography. , (informal publication)
  [abs/quant-ph/0701168]
• Paola Zizzi:
  Turning the Liar paradox into a metatheorem of Basic logic. , (informal publication)
  [abs/quant-ph/0701171]
• Bogdan Danila, Yong Yu, John A. Marsh, Kevin E. Bassler:
  Transport optimization on complex networks. , (informal publication)
  [abs/cond-mat/0701184]
• Johannes Wollbold:
  Attribute Exploration of Discrete Temporal Transitions. , (informal publication)
  [abs/q-bio/0701009]