CoRR, January 2007

• Ashutosh Deepak Gore, Srikanth Jagabathula, Abhay Karandikar:
  On High Spatial Reuse Link Scheduling in STDMA Wireless Ad Hoc Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701001]
• Semih Serbetli, Aylin Yener:
  Relay Assisted F/TDMA Ad Hoc Networks: Node Classification, Power Allocation and Relaying Strategies. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701002]
• Jens Christian Claussen:
  Magnification Laws of Winner-Relaxing and Winner-Enhancing Kohonen Feature Maps. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701003]
• Sumit Ganguly:
  An algebraic approach to complexity of data stream computations. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701005]
• Stefan Laendner, Thorsten Hehn, Olgica Milenkovic, Johannes B. Huber:
  Two Methods for Reducing the Error-Floor of LDPC Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701006]
• Hamed Hatami, Ruzbeh Tusserkani:
  On the Complexity of the Circular Chromatic Number. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701007]
• Hamed Hatami, Hossein Maserrat:
  On the Computational Complexity of Defining Sets. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701008]
• Peyman Afshani, Hamed Hatami:
  Approximation and Inapproximability Results for Maximum Clique of Disc Graphs in High Dimensions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701009]
• Ahmed Samy Sidky, James D. Arthur:
  Determining the Applicability of Agile Practices to Mission and Life-critical Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701010]
• Michael B. Baer:
  Infinite-Alphabet Prefix Codes Optimal for beta-Exponential Penalties. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701011]
• Michael B. Baer:
  D-ary Bounded-Length Huffman Coding. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701012]
• Zengyou He, Xiaofei Xu, Shengchun Deng:
  Attribute Value Weighting in K-Modes Clustering. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701014]
• Pierre Sens, Luciana Bezerra Arantes, Mathieu Bouillaguet:
  Asynchronous Implementation of Failure Detectors with partial connectivity and unknown participants. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701015]
• Oded Kafri:
  The Second Law and Informatics. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701017]
• Andrew Duggan, Alexander Barg:
  Performance Analysis of Algebraic Soft-Decision Decoding of Reed-Solomon Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701018]
• Tan F. Wong, Tat M. Lok, John M. Shea:
  Flow-optimized Cooperative Transmission for the Relay Channel. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701019]
• Sumit Ganguly:
  A nearly optimal and deterministic summary structure for update data streams. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701020]
• Franco Milicchio:
  The Unix KISS: A Case Study. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701021]
• Mateusz Zakrzewski:
  Definable functions in the simply typed lambda-calculus. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701022]
• Sergey Gubin:
  A Polynomial Time Algorithm for 3-SAT. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701023]
• Yingbin Liang, H. Vincent Poor, Shlomo Shamai:
  Secure Communication over Fading Channels. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701024]
• Øyvind Ryan, Mérouane Debbah:
  Free deconvolution for signal processing applications. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701026]
• Hari Palaiyanur, Cheng Chang, Anant Sahai:
  The source coding game with a cheating switcher. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701027]
• Juan P. Herrera, Pedro A. Pury:
  Statistical keyword detection in literary corpora. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701028]
• Dariusz Kusmierek:
  The Inhabitation Problem for Rank Two Intersection Types. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701029]
• Eric Zhi Chen:
  New Constructions of a Family of 2-Generator Quasi-Cyclic Two-Weight Codes and Related Codes. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701031]
• Guillaume Bonfante, Yves Guiraud:
  Programs as polygraphs: computability and complexity. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701032]
• Blake Hegerle:
  A Counterexample to a Proposed Proof of P=NP by S. Gubin. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701035]
• Boris Ryabko:
  Compression-based methods for nonparametric density estimation, on-line prediction, regression and classification for time series. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701036]
• Jason Ansel, Michael Rieker, Gene Cooperman:
  User-Level Socket-Based Checkpointing for Distributed and Parallel Computation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701037]
• Peter Jung:
  Approximate Eigenstructure of LTV Channels with Compactly Supported Spreading. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701038]
• Ian Pratt-Hartmann:
  On the Complexity of the Numerically Definite Syllogistic and Related Fragments. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701039]
• F. Zhang:
  Curve Tracking Control for Legged Locomotion in Horizontal Plane. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701040]
• Young-Han Kim:
  A Coding Theorem for a Class of Stationary Channels with Feedback. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701041]
• Amos Lapidoth, Stephan Tinguely:
  Sending a Bivariate Gaussian Source over a Gaussian MAC with Feedback. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701042]
• Urs Niesen, Devavrat Shah, Gregory W. Wornell:
  Adaptive Alternating Minimization Algorithms. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701043]
• Sunder Lal, Tej Singh:
  New ID Based Multi-Proxy Multi-Signcryption Scheme from Pairings. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701044]
• Iosif Pinelis:
  Polygon Convexity: Another O(n) Test. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701045]
• Andrea G. Forte, Henning Schulzrinne:
  Cooperation Between Stations in Wireless Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701046]
• Lukasz Debowski:
  On vocabulary size of grammar-based codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701047]
• Samar Agnihotri, Pavan Nuggehalli:
  Energy Conscious Interactive Communication for Sensor Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701048]
• Barnaby Martin:
  On the Complexity of a Derivative Chess Problem. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701049]
• Olivier Rioul:
  A Simple Proof of the Entropy-Power Inequality via Properties of Mutual Information. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701050]
• Samar Agnihotri, Pavan Nuggehalli:
  Coding, Scheduling, and Cooperation in Wireless Sensor Networks. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701053]
• Nathan Segerlind:
  Nearly-Exponential Size Lower Bounds for Symbolic Quantifier Elimination Algorithms and OBDD-Based Proofs of Unsatisfiability. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701054]
• Leif Hanlen, Thushara D. Abhayapala:
  Bounds on Space-Time-Frequency Dimensionality. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701055]
• Leif Hanlen, Thushara D. Abhayapala:
  Space-Time-Frequency Degrees of Freedom: Fundamental Limits for Spatial Information. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701056]
• Xiaofei Huang:
  Cooperative Optimization for Energy Minimization: A Case Study of Stereo Matching. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701057]
• Amin Mobasher, Amir K. Khandani:
  Precoding in Multiple-Antenna Broadcast Systems with a Probabilistic Viewpoint. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701058]
• Samar Agnihotri, Pavan Nuggehalli:
  Enhancing Sensor Network Lifetime Using Interactive Communication. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701059]
• Salah A. Aly, Andreas Klappenecker, Pradeep Kiran Sarvepalli:
  Duadic Group Algebra Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701060]
• Jia Liu, Y. Thomas Hou, Hanif D. Sherali:
  Conjugate Gradient Projection Approach for Multi-Antenna Gaussian Broadcast Channels. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701061]
• Sichao Yang, Ralf Koetter:
  Network Coding over a Noisy Relay : a Belief Propagation Approach. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701062]
• Keigo Takeuchi, Toshiyuki Tanaka:
  Hierarchical Decoupling Principle of a MIMO-CDMA Channel in Asymptotic Limits. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701063]
• Kai Engelhardt, Yoram Moses:
  Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701065]
• Lucile Sassatelli, David Declercq:
  Non-binary Hybrid LDPC Codes: Structure, Decoding and Optimization. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701067]
• G. Susinder Rajan, B. Sundar Rajan:
  Distributed Space-Time Codes for Cooperative Networks with Partial CSI. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701068]
• Frédéric Didier, Yann Laigle-Chapuy:
  Finding low-weight polynomial multiples using discrete logarithm. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701069]
• Daniel Augot, Magali Bardet, Jean-Charles Faugère:
  On formulas for decoding binary cyclic codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701070]
• Nikolaos Laoutaris, Rajmohan Rajaraman, Ravi Sundaram, Shang-Hua Teng:
  A bounded-degree network formation game. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701071]
• Jakob Voss:
  Tagging, Folksonomy & Co - Renaissance of Manual Indexing? , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701072]
• Jeremy Avigad, Kevin Donnelly:
  A decision procedure for linear "big O" equations. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701073]
• Jerome K. Vanclay:
  On the robustness of the h-index. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701075]
• Norman Danner, James S. Royer:
  Time-complexity semantics for feasible affine recursions (extended abstract). , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701076]
• Karl J. Obermeyer, Anurag Ganguli, Francesco Bullo:
  Asynchronous Distributed Searchlight Scheduling. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701077]
• Vignesh Sethuraman, Ligong Wang, Bruce Hajek, Amos Lapidoth:
  Low SNR Capacity of Fading Channels -- MIMO and Delay Spread. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701078]
• Yuriy A. Reznik:
  Practical Binary Adaptive Block Coder. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701080]
• Alexander Serebrenik, Wim Vanhoof:
  Fingerprinting Logic Programs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701081]
• Frédéric Mesnard, Alexander Serebrenik:
  Recurrence with affine level mappings is P-time decidable for CLP(R). , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701082]
• Georg Gottlob, Marko Samer:
  A Backtracking-Based Algorithm for Computing Hypertree-Decompositions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701083]
• Michael Chertkov, Mikhail Stepanov:
  Pseudo-codeword Landscape. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701084]
• James Harold Thomas:
  Variations on the Fibonacci Universal Code. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701085]
• Vladimir Y. Chernyak, Michael Chertkov:
  Loop Calculus and Belief Propagation for q-ary Alphabet: Loop Tower. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701086]
• Jean-Philippe Rennard:
  Artificiality in Social Sciences. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701087]
• Frederick C. Furtek:
  A Theory and Calculus for Reasoning about Sequential Behavior. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701088]
• Laurent Bienvenu, David Doty, Frank Stephan:
  Constructive Dimension and Weak Truth-Table Degrees. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701089]
• Martin Mittelbach, Christian Mueller, Konrad Schubert:
  Ergodic Capacity of Discrete- and Continuous-Time, Frequency-Selective Rayleigh Fading Channels with Correlated Scattering. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701090]
• Valentin Savin:
  Iterative LDPC decoding using neighborhood reliabilities. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701091]
• Natasha Devroye, Masoud Sharif:
  The Multiplexing Gain of MIMO X-Channels with Partial Transmit Side-Information. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701092]
• Masoud Ebrahimi, Mohammad Ali Maddah-Ali, Amir K. Khandani:
  Throughput Scaling Laws for Wireless Networks with Fading Channels. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701094]
• Pedro Cabalar, Paolo Ferraris:
  Propositional theories are strongly equivalent to logic programs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701095]
• Maurice Margenstern:
  About the domino problem in the hyperbolic plane, a new solution. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701096]
• Maximilien Gadouleau, Zhiyuan Yan:
  MacWilliams Identity for the Rank Metric. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701097]
• Maximilien Gadouleau, Zhiyuan Yan:
  Packing and Covering Properties of Rank Metric Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701098]
• Shaohua Yang, Aleksandar Kavcic, Sekhar Tatikonda:
  On the Feedback Capacity of Power Constrained Gaussian Noise Channels with Memory. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701099]
• Shaohua Yang, Aleksandar Kavcic:
  Delayed Feedback Capacity of Stationary Sources over Linear Gaussian Noise Channels. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701100]
• Philip M. Davis:
  Citation advantage of Open Access articles likely explained by quality differential and media effects. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701101]
• Davide Schipani, Joachim Rosenthal:
  Coding Solutions for the Secure Biometric Storage Problem. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701102]
• Auguste Venkiah, Charly Poulliat, David Declercq:
  Analysis and design of raptor codes for joint decoding using Information Content evolution. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701103]
• Philipp Mayr, Walther Umstätter:
  Why is a new Journal of Informetrics needed? , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701104]
• Remko Tronçon, Gerda Janssens:
  A Delta Debugger for ILP Query Execution. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701105]
• Pierre Deransart:
  On using Tracer Driver for External Dynamic Process Observation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701106]
• Hani Z. Girgis, Bharat Jayaraman:
  JavaTA: A Logic-based Debugger for Java. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701108]
• Siddharth Chitnis, Madhu Yennamani, Gopal Gupta:
  ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701109]
• Kim S. Henriksen, John P. Gallagher:
  A Web-based Tool Combining Different Type Analyses. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701110]
• Elvira Albert, Puri Arenas, Germán Puebla:
  Some Issues on Incremental Abstraction-Carrying Code. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701111]
• Axel Kohnert:
  (l,s)-Extension of Linear Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701112]
• Thomas Colcombet:
  On factorisation forests. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701116]
• Ambedkar Dukkipati:
  Maximum Entropy in the framework of Algebraic Statistics: A First Step. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701118]
• Petr R. Ivankov, Nikolay P. Ivankov:
  The framework for simulation of dynamics of mechanical aggregates. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701119]
• Alexey V. Chernov, Marcus Hutter, Jürgen Schmidhuber:
  Algorithmic Complexity Bounds on Future Prediction Errors. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701122]
• David Doty, Philippe Moser:
  Feasible Depth. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701123]
• Chunxuan Ye, Alex Reznik:
  Group Secret Key Generation Algorithms. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701124]
• Marcus Hutter:
  Universal Algorithmic Intelligence: A mathematical top->down approach. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701126]
• Risi Imre Kondor:
  A complete set of rotationally and translationally invariant features for images. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701127]
• M. V. Panduranga Rao:
  Interference Automata. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701130]
• JiaLiang Zhang, Soung Chang Liew:
  Effective Beam Width of Directional Antennas in Wireless Ad Hoc Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701131]
• Eric Feron, Mardavij Roozbehani:
  Certifying controls and systems software. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701132]
• Athina Markopoulou, David R. Cheriton:
  The Case for Redundant Arrays of Internet Links (RAIL). , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701133]
• Wenbing Zhao:
  Byzantine Fault Tolerance for Nondeterministic Applications. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701134]
• Jinyun Ke:
  Complex networks and human language. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701136]
• Chawki Hajjem, Stevan Harnad:
  The Open Access Citation Advantage: Quality Advantage Or Quality Bias? , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701137]
• Véronique Bruyère, Jean-François Raskin:
  Real-Time Model-Checking: Parameters everywhere. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701138]
• Yishay Mor, Jeffrey S. Rosenschein:
  Time and the Prisoner's Dilemma. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701139]
• Corina S. Pasareanu, Radek Pelánek, Willem Visser:
  Predicate Abstraction with Under-approximation Refinement. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701140]
• Maarten H. van Emden, Belaid Moa:
  The Fundamental Theorems of Interval Analysis. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701141]
• Wolfgang W. Bein, Lawrence L. Larmore, Rüdiger Reischuk:
  Knowledge State Algorithms: Randomization with Limited Information. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701142]
• Xing M. Wang:
  Dirac Notation, Fock Space and Riemann Metric Tensor in Information Retrieval Models. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701143]
• Nicolai Kuntze, Andreas U. Schmidt:
  Trusted Ticket Systems and Applications. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701144]
• Nicolai Kuntze, Andreas U. Schmidt, Christian Hett:
  Non-Repudiation in Internet Telephony. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701145]
• Anand D. Sarwate, Michael Gastpar:
  Deterministic list codes for state-constrained arbitrarily varying channels. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701146]
• Michael Hanus:
  A Generic Analysis Environment for Curry Programs. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701148]
• Ozgur Oyman, Arogyaswami Paulraj:
  Power-Bandwidth Tradeoff in Dense Multi-Antenna Relay Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701149]
• Luc Brun, Walter G. Kropatsch:
  Contains and Inside relationships within combinatorial Pyramids. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701151]
• Hajar Mahdavi-Doost, Masoud Ebrahimi, Amir K. Khandani:
  Characterization of Rate Region in Interference Channels with Constrained Power. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701153]
• Pascal Tesson, Denis Thérien:
  Logic Meets Algebra: the Case of Regular Languages. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701155]
• Jim Gray:
  Data Management: Past, Present, and Future. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701157]
• Jim Gray:
  Queues Are Databases. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701159]
• Gerd Heber, Jim Gray:
  Supporting Finite Element Analysis with a Relational Database Backend, Part II: Database Design and Access. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701160]
• Jim Gray, Charles Levine:
  Thousands of DebitCredit Transactions-Per-Second: Easy and Inexpensive. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701161]
• Jim Gray:
  A Measure of Transaction Processing 20 Years Later. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701164]
• Gordon Bell, Jim Gray, Alexander S. Szalay:
  Petascale Computational Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701165]
• Jim Gray, Catharine van Ingen:
  Empirical Measurements of Disk Failure Rates and Error Rates. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701173]
• Thanasis Hadzilacos, Dimitrios Kalles, D. Koumanakos:
  Using Course Constraints in Simulating Student Populations. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701174]
• Thanasis Hadzilacos, Dimitrios Kalles, Maria Pouliopoulou:
  On the Software and Knowledge Engineering Aspects of the Educational Process. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701175]
• Alain Frisch, Haruo Hosoya:
  Towards Practical Typechecking for Macro Tree Transducers. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701176]
• Roudra Chakraborty, Debapriya Sengupta, Sagnik Sinha:
  Pitch Tracking of Acoustic Signals based on Average Squared Mean Difference Function. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701177]
• Erhan B. Ermis, Venkatesh Saligrama:
  Distributed Detection in Sensor Networks with Limited Range Sensors. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701178]
• Yoann Dieudonné, Franck Petit:
  Scatter of Weak Robots. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701179]
• Fionn Murtagh, Josiane Mothe, Kurt Englmeier:
  Ontology from Local Hierarchical Structure in Text. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701180]
• Fionn Murtagh:
  A Note on Local Ultrametricity in Text. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701181]
• Marat V. Burnashev:
  Supplement to: Code Spectrum and Reliability Function: Binary Symmetric Channel. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701182]
• Gilles Villard:
  Certification of the QR factor R, and of lattice basis reducedness. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701184]
• Frank Gurski:
  Graph Operations on Clique-Width Bounded Graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701185]
• Marc Daumas, Guillaume Melquiond:
  Certification of bounds on expressions involving rounded operators. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701186]
• Sagar Chaki, Christian Schallhart, Helmut Veith:
  Verification Across Intellectual Property Boundaries. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701188]
• Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil:
  A New Self-Stabilizing Maximal Matching Algorithm. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701189]
• Thomas Jacobs, Aaron Harwood:
  A Peer-to-Peer Browsable File Index using a Popularity Based Global Namespace. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701190]
• David Monniaux:
  The parallel implementation of the Astrée static analyzer. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701191]
• David Monniaux:
  The pitfalls of verifying floating-point computations. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/cs/0701193]
• Solomiya Buk, Andrij A. Rovenchak:
  Menzerath-Altmann Law for Syntactic Structures in Ukrainian. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701194]
• David Monniaux:
  An Abstract Monte-Carlo Method for the Analysis of Probabilistic Programs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701195]
• Ye Wang, Prakash Ishwar, Venkatesh Saligrama:
  One-bit Distributed Sensing and Coding for Field Estimation in Sensor Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701196]
• Nan Ma, Ye Wang, Prakash Ishwar:
  Delayed Sequential Coding of Correlated Sources. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701197]
• R. M. D'Souza, Christian Borgs, Jennifer T. Chayes, Noam Berger, Robert D. Kleinberg:
  Fitting the WHOIS Internet data. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701198]
• Stéphane Norte, Fernando G. Lobo:
  A Virtual Logo Keyboard for People with Motor Disabilities. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701199]
• Françoise Détienne:
  Reasoning from a schema and from an analog in software code reuse. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0701200]
• R. C. Venkatesan:
  Generalized Statistics Framework for Rate Distortion Theory with Bregman Divergences. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cond-mat/0701218]
• R. C. Venkatesan:
  Statistical Cryptography using a Fisher-Schrödinger Model. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cond-mat/0701319]
• Branko J. Malesevic:
  Some improvements of one method for proving inequalities by computer. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0701020]
• Shachar Lovett, Sasha Sodin:
  Almost Euclidean sections of the N-dimensional cross-polytope using O(N) random bits. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0701102]
• Holger Rauhut, Karin Schnass, Pierre Vandergheynst:
  Compressed Sensing and Redundant Dictionaries. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/math/0701142]
• Eric de Bodt, Marie Cottrell, Michel Verleysen:
  Statistical tools to assess the reliability of self-organizing maps. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0701144]
• Riadh Kallel, Marie Cottrell, Vincent Vigneron:
  Bootstrap for neural model selection. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0701145]
• Marie Cottrell, Patrick Letrémy:
  Missing values : processing with the Kohonen algorithm. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0701152]
• Urs Niesen, Aslan Tchamkerten, Gregory W. Wornell:
  Tracking Stopping Times. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0701261]
• Gábor Lugosi, Shie Mannor, Gilles Stoltz:
  Strategies for prediction under imperfect monitoring. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0701419]
• Boris Ettinger, Niv Sarig, Yosef Yomdin:
  Linear versus Non-linear Acquisition of Step-Functions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0701791]
• Frédéric Dambreville:
  Deterministic modal Bayesian Logic: derive the Bayesian inference within the modal logic T. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0701801]
• Jason Teutsch:
  Noncomputable Spectral Sets. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0701904]
• Lokman I. Meho:
  The Rise and Rise of Citation Analysis. , (informal publication)
  Electronic Edition (link) BibTeX [abs/physics/0701012]
• G. A. Kouzaev:
  Spatio-Temporal Electromagnetic Field Shapes and their Logical Processing. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/physics/0701168]
• Salah A. Aly, Andreas Klappenecker, Pradeep Kiran Sarvepalli:
  Quantum Convolutional Codes Derived From Reed-Solomon and Reed-Muller Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/quant-ph/0701037]
• Daniel Lehmann:
  A presentation of Quantum Logic based on an "and then" connective. , (informal publication)
  Electronic Edition (link) BibTeX [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)
  Electronic Edition (link) BibTeX [abs/quant-ph/0701168]
• Paola Zizzi:
  Turning the Liar paradox into a metatheorem of Basic logic. , (informal publication)
  Electronic Edition (link) BibTeX [abs/quant-ph/0701171]
• Bogdan Danila, Yong Yu, John A. Marsh, Kevin E. Bassler:
  Transport optimization on complex networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cond-mat/0701184]
• Johannes Wollbold:
  Attribute Exploration of Discrete Temporal Transitions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/q-bio/0701009]