CoRR, January 2007

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