CoRR, February 2009

• Dirk Beyer, M. Erkan Keremoglu:
  CPAchecker: A Tool for Configurable Software Verification. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0019]
• Joel A. Tropp, Jason N. Laska, Marco F. Duarte, Justin K. Romberg, Richard G. Baraniuk:
  Beyond Nyquist: Efficient Sampling of Sparse Bandlimited Signals. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0026]
• Christoph Benzmüller, Chad E. Brown, Michael Kohlhase:
  Cut-Simulation and Impredicativity. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0043]
• Kazuyuki Amano:
  Bounds on the Size of Small Depth Circuits for Approximating Majority. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0047]
• Babatunde O. Okunoye:
  An Alternative Cracking of The Genetic Code. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0056]
• Robert Rolland:
  The second weight of generalized Reed-Muller codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0058]
• Abdelwaheb Miled:
  On a problem of Frobenius in three numbers. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0084]
• Michael Ummels, Dominik Wojtczak:
  The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0101]
• Travis Gagie:
  New Algorithms and Lower Bounds for Sequential-Access Data Compression. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0133]
• Kook Jin Ahn, Sudipto Guha:
  Graph Sparsification in the Semi-streaming Model. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0140]
• Zouheir Rezki, François Gagnon, Vijay Bhargava:
  The Ergodic Capacity of The MIMO Wire-Tap Channel. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0189]
• Alireza Nasiri Avanaki:
  On Optimization of Local Histogram Equalization. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0221]
• Wojciech Czaja, Zdzislaw A. Golda, Andrzej Woszczyna:
  Acoustic wave equation in the expanding universe. Sachs-Wolfe theorem. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0239]
• B. Baykant Alagoz:
  Hierarchical Triple-Modular Redundancy (H-TMR) Network For Digital Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0241]
• Tomoyuki Yamakami:
  Immunity and Pseudorandomness of Context-Free Languages. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0261]
• Jarek Duda:
  Asymmetric numeral systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0271]
• Grégoire Jacob, Hervé Debar, Eric Filiol:
  Malware Detection using Attribute-Automata to parse Abstract Behavioral Descriptions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0322]
• Kaibin Huang, Vincent K. N. Lau:
  Stability and Delay of Zero-Forcing SDMA with Limited Feedback. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0337]
• Jon Lee, Vahab S. Mirrokni, Viswanath Nagarajan, Maxim Sviridenko:
  Non-monotone submodular maximization under matroid and knapsack constraints. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0353]
• Victoria Kostina, Sergey Loyka:
  Optimum Power and Rate Allocation for Coded V-BLAST. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0354]
• Vahab S. Mirrokni, Alexander Skopalik:
  On the complexity of Nash dynamics and Sink Equilibria. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0382]
• Daniel Salmond, Alex Grant, Ian Grivell, Terence Chan:
  Decoding Network Codes by Message Passing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0417]
• Keith M. Martin:
  On the Applicability of Combinatorial Designs to Key Predistribution for Wireless Sensor Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0458]
• Bin Jiang, Xintao Liu:
  AxialGen: A Research Prototype for Automatically Generating the Axial Map. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0465]
• Grégoire Jacob, Eric Filiol, Hervé Debar:
  Formalization of malware through process calculi. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0469]
• Lucas Dixon, Ross Duncan:
  Graphical Reasoning in Compact Closed Categories for Quantum Computation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0514]
• Sujit Gujar, Y. Narahari:
  An Optimal Multi-Unit Combinatorial Procurement Auction with Single Minded Bidders. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0524]
• Marc Portoles-Comeras, Albert Cabellos-Aparicio, Josep Mangues-Bafalluy, Jordi Domingo-Pascual:
  Analysis of bandwidth measurement methodologies over WLAN systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0558]
• Lorenzo Cappellari, Andrea De Giusti:
  Binary Data Compression with and without Side Information at the Decoder: the Syndrome-Based Approach Using Off-the-Shelf Turbo Codecs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0562]
• M. Ángeles Serrano, Alessandro Flammini, Filippo Menczer:
  Beyond Zipf's law: Modeling the structure of human language. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0606]
• Claudia Lindner, Jörg Rothe:
  Degrees of Guaranteed Envy-Freeness in Finite Bounded Cake-Cutting Protocols. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0620]
• Mohammad H. Taghavi, Amin Shokrollahi, Paul H. Siegel:
  Efficient implementation of linear programming decoding. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0657]
• Shamgar Gurevich, Ronny Hadani:
  Application of the Weil representation: diagonalization of the discrete Fourier transform. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0668]
• James D. Myers, Joe Futrelle, Jeff Gaynor, Joel Plutchak, Peter Bajcsy, Jason Kastner, Kailash Kotwani, Jong Sung Lee, Luigi Marini, Rob Kooper, Robert E. McGrath, Terry McLaren, Alejandro Rodríguez, Yong Liu:
  Embedding Data within Knowledge Spaces. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0744]
• Katia Jaffrès-Runser, Cristina Comaniciu, Jean-Marie Gorce:
  Interference and Congestion Aware Gradient Broadcasting Routing for Wireless Sensor Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0746]
• Pere Constans:
  A Simple Extraction Procedure for Bibliographical Author Field. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0755]
• Sourabh Saha:
  Genetic algorithm based optimization and post optimality analysis of multi-pass face milling. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0763]
• Katia Jaffrès-Runser, Cristina Comaniciu, Jean-Marie Gorce:
  A Multiobjective Optimization Framework for Routing in Wireless Ad Hoc Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0782]
• Ernesto Diaz-Aviles:
  Alleviating Media Bias Through Intelligent Agent Blogging. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0798]
• Ye Wang, Prakash Ishwar:
  Bootstrapped Oblivious Transfer and Secure Two-Party Function Computation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0822]
• Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang:
  Finding Exact Minimal Polynomial by Approximations. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0828]
• Syed Ali Jafar:
  The Ergodic Capacity of Interference Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0838]
• Pedro Pablo Pérez Velasco, Juan de Lara:
  Matrix Graph Grammars and Monotone Complex Logics. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0850]
• Mark F. Flanagan:
  A Unified Framework for Linear-Programming Based Communication Receivers. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0892]
• Régis Alenda, Nicola Olivetti, Camilla Schwind:
  Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0899]
• Lisa Brouwers, Martin Camitz, Baki Cakici, Kalle Mäkilä, Paul Saretok:
  MicroSim: Modeling the Swedish Population. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0901]
• Yassine Ariba, Frédéric Gouaisbaut, Yann Labit:
  Multiple time-delays system modeling and control for router management. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0919]
• Yassine Ariba, Yann Labit, Frédéric Gouaisbaut:
  Design and performance evaluation of a state-space based AQM. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0920]
• Yann Labit, Yassine Ariba, Frédéric Gouaisbaut:
  On Designing Lyapunov-Krasovskii Based AQM for Routers Supporting TCP Flows. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0922]
• Ivan Jureta, John Mylopoulos, Stéphane Faulkner:
  Towards a Theory of Requirements Elicitation: Acceptability Condition for the Relative Validity of Requirements. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0924]
• Yassine Ariba, Frédéric Gouaisbaut, Sandy Rahme, Yann Labit:
  Robust control tools for traffic monitoring in TCP/AQM networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0926]
• Amos Lapidoth, Michele A. Wigger:
  On the Gaussian MAC with Imperfect Feedback. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0947]
• Dongwoon Bai, Saeed S. Ghassemzadeh, Robert R. Miller, Vahid Tarokh:
  Beam Selection Gain Versus Antenna Selection Gain. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0966]
• Sylvain Raybaud, Caroline Lavecchia, David Langlois, Kamel Smaïli:
  New Confidence Measures for Statistical Machine Translation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1033]
• Sid Touati:
  Towards a Statistical Methodology to Evaluate Program Speedups and their Optimisation Techniques. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1035]
• A. Ibrahimbegovic, C. Knopf-Lenoir, A. Kucerova, P. Villon:
  Optimal design and optimal control of structures undergoing finite rotations and elastic deformations. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1037]
• Jérémy Barbay, Gonzalo Navarro:
  Compressed Representations of Permutations, and Applications. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1038]
• Pierre Courrieu:
  Fast solving of Weighted Pairing Least-Squares systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1040]
• Laurent Bienvenu, Rod Downey:
  Kolmogorov Complexity and Solovay Functions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1041]
• Mikolaj Bojanczyk:
  Weak Mso with the Unbounding Quantifier. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1042]
• Glencora Borradaile, Erik D. Demaine, Siamak Tazari:
  Polynomial-Time Approximation Schemes for Subset-Connectivity Problems in Bounded-Genus Graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1043]
• Krassimir Yankov Iordjev, Dimiter Stoichkov Kovachev:
  On finding a particular class of combinatorial identities. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1045]
• Nicolas Bousquet, Jean Daligault, Stéphan Thomassé, Anders Yeo:
  A Polynomial Kernel For Multicut In Trees. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1047]
• Frédérique Bassino, Julien David, Cyril Nicaud:
  On the Average Complexity of Moore's State Minimization Algorithm. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1048]
• Baptiste Jeudy, Christine Largeron, François Jacquenet:
  A Model for Managing Collections of Patterns. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1080]
• Anirban Banerji:
  How happy is your web browsing? A probabilistic model to describe user satisfaction. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1104]
• Gagan Raj Gupta, Sujay Sanghavi, Ness B. Shroff:
  Node Weighted Scheduling. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1169]
• Martin Grohe, Götz Schwandtner:
  The Complexity of Datalog on Linear Orders. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1179]
• Olivier Durand de Gévigney, Frédéric Meunier, Christian Popa, Julien Reygner, Ayrin Romero:
  Directed paths on a tree: coloring, multicut and kernel. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1182]
• Lalitha Sankar, Yingbin Liang, Narayan B. Mandayam, H. Vincent Poor:
  Opportunistic Communications in Fading Multiaccess Relay Channels. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1220]
• Avinash Achar, Srivatsan Laxman, V. Raajay, P. S. Sastry:
  Discovering general partial orders in event streams. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1227]
• Soubhik Chakraborty:
  On Why and What of Randomness. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1232]
• Laurent Boyer, Guillaume Theyssier:
  On Local Symmetries And Universality In Cellular Autmata. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1253]
• Mahdi Cheraghchi, Amin Shokrollahi:
  Almost-Uniform Sampling of Points on High-Dimensional Algebraic Varieties. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1254]
• Sourav Chakraborty, Eldar Fischer, Arie Matsliah, Raphael Yuster:
  Hardness and Algorithms for Rainbow Connectivity. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1255]
• Andrei A. Bulatov, Víctor Dalmau, Martin Grohe, Dániel Marx:
  Enumerating Homomorphisms. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1256]
• Tom Hirschowitz, Xavier Leroy, J. B. Wells:
  Compilation of extended recursion in call-by-value functional languages. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1257]
• Baptiste Jeudy, François Rioult:
  Extraction de concepts sous contraintes dans des données d'expression de gènes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1258]
• Baptiste Jeudy, François Rioult:
  Database Transposition for Constrained (Closed) Pattern Mining. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1259]
• Ho-Leung Chan, Jeff Edmonds, Tak Wah Lam, Lap-Kei Lee, Alberto Marchetti-Spaccamela, Kirk Pruhs:
  Nonclairvoyant Speed Scaling for Flow and Energy. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1260]
• Victor Chepoi, Morgan Seston:
  An Approximation Algorithm for l\infty-Fitting Robinson Structures to Distances. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1261]
• Zilong Wang, Guang Gong:
  A Note on the Diagonalization of the Discrete Fourier Transform. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1267]
• Jalil S. Harsini, Farshad Lahouti:
  Delay Performance Optimization for Multiuser Diversity Systems with Bursty-Traffic and Heterogeneous Wireless Links. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1275]
• Salah A. Aly, Zhenning Kong, Emina Soljanin:
  Fountain Codes Based Distributed Storage Algorithms for Large-scale Wireless Sensor Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1278]
• Daniel Hsu, Sham M. Kakade, John Langford, Tong Zhang:
  Multi-Label Prediction via Compressed Sensing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1284]
• Cristina Fernández-Córdoba, Kevin T. Phelps:
  On the minimum distance graph of an extended Preparata code. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1351]
• N. S. Narayanaswamy, N. Sadagopan, Apoorve Dubey:
  A Note on Contractible Edges in Chordal Graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1364]
• Yuval Emek, Pierre Fraigniaud, Amos Korman, Adi Rosén:
  On the Additive Constant of the k-server Work Function Algorithm. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1378]
• Giuseppe Bianchi, Nicola Blefari-Melazzi, Lorenzo Bracciale, Francesca Lo Piccolo, Stefano Salsano:
  Fundamental delay bounds in peer-to-peer chunk-based real-time streaming systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1394]
• Erik D. Demaine, Mohammad Taghi Hajiaghayi, Hamid Mahini, Morteza Zadimoghaddam:
  The Price of Anarchy in Cooperative Network Creation Games. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1400]
• Frank Edward Walter, Stefano Battiston, Frank Schweitzer:
  Personalised and Dynamic Trust in Social Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1475]
• Alain Finkel, Jean Goubault-Larrecq:
  Forward analysis for WSTS, Part I: Completions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1587]
• Paolo Minero, Young-Han Kim:
  Correlated Sources over Broadcast Channels. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1591]
• Nathalie Aubrun, Mathieu Sablik:
  An Order on Sets of Tilings Corresponding to an Order on Languages. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1602]
• Eda Baykan, Monika Rauch Henzinger, Stefan F. Keller, Sebastian De Castelberg, Markus Kinzler:
  A Comparison of Techniques for Sampling Web Pages. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1604]
• Nicole Schweikardt:
  Lower Bounds for Multi-Pass Processing of Multiple Data Streams. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1605]
• Andre Gronemeier:
  Asymptotically Optimal Lower Bounds on the NIH-Multi-Party Information. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1609]
• Roberto Di Cosmo, Stefano Zacchiroli, Paulo Trezentos:
  Package upgrades in FOSS distributions: details and challenges. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1610]
• Mohab Safey El Din, Éric Schost:
  A baby steps/giant steps Monte Carlo algorithm for computing roadmaps in smooth compact real hypersurfaces. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1612]
• Ashish Goel, Sanjeev Khanna:
  Perfect Matchings in Õ(n^1.5) Time in Regular Bipartite Graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1617]
• O. Hrstka, A. Kucerova:
  Improvements of real coded genetic algorithms based on differential operators preventing premature convergence. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1629]
• Eleonora Guerrini, Massimiliano Sala:
  A bound on the size of linear codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1634]
• O. Hrstka, A. Kucerova, M. Leps, J. Zeman:
  A competitive comparison of different types of evolutionary algorithms. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1647]
• Marek Cygan, Marcin Pilipczuk:
  Even Faster Exact Bandwidth. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1661]
• A. Kucerova, D. Brancherie, A. Ibrahimbegovic, J. Zeman, Z. Bittnar:
  Novel anisotropic continuum-discrete damage model capable of representing localized failure of massive structures. Part II: identification from tests under heterogeneous stress field. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1665]
• A. Kucerova, M. Leps, J. Zeman:
  Back analysis of microplane model parameters using soft computing methods. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1690]
• Markus Bläser, Christian Hoffmann:
  Fast computation of interlace polynomials on graphs of bounded treewidth. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1693]
• Pierre Charbit, Fabien de Montgolfier, Mathieu Raffinot:
  A Simple Linear Time Split Decomposition Algorithm of Undirected Graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1700]
• Seyed Saeed Changiz Rezaei, Shahab Oveis Gharan, Amir K. Khandani:
  A New Achievable Rate for the Gaussian Parallel Relay Channel. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1734]
• Robert Elsässer, Thomas Sauerwald:
  Cover Time and Broadcast Time. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1735]
• Yousra Chabchoub, Christine Fricker, Fabrice Guillemin, Philippe Robert:
  A Robust Statistical Estimation of Internet Traffic. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1736]
• Gianni Franceschini, Roberto Grossi, S. Muthukrishnan:
  Optimal cache-aware suffix selection. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1737]
• Christian Schlegel, Shuai Zhang:
  On the Dynamics of the Error Floor Behavior in (Regular) LDPC Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1786]
• David Ellerman:
  Counting Distinctions: On the Conceptual Foundations of Shannon's Information Theory. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1790]
• Shipra Agrawal, Yichuan Ding, Amin Saberi, Yinyu Ye:
  Distributionally Robust Stochastic Programming with Binary Random Variables. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1792]
• Pedro Pablo Pérez Velasco, Juan de Lara Jaramillo:
  Matrix Graph Grammars with Application Conditions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1809]
• Stéphane Devismes, Franck Petit, Sébastien Tixeuil:
  Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1834]
• Stefan Kratsch:
  Polynomial Kernelizations for $\MINF_1$ and $\MNP$. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1835]
• Farrokh Marvasti, Arash Amini, Farzan Haddadi, Mahdi Soltanolkotabi, Babak Hossein Khalaj, Akram Aldroubi, Sverre Holm, Saeid Sanei, Jonathon A. Chambers:
  A Unified Approach to Sparse Signal Processing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1853]
• Pascal Koiran, Sylvain Perifel:
  A Superpolynomial Lower Bound on the Size of Uniform Non-constant-depth Threshold Circuits for the Permanent. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1866]
• Fabian Kuhn:
  Local Multicoloring Algorithms: Computing a Nearly-Optimal TDMA Schedule in Constant Time. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1868]
• Kaninda Musumbu:
  Abstraction and Refinement in Static Model-Checking. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1871]
• Markus Wittmann, Georg Hager:
  A Proof of Concept for Optimizing Task Parallelism by Locality Queues. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1884]
• Nitin Vats:
  NNRU, a noncommutative analogue of NTRU. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1891]
• Hai Zhuge, Junsheng Zhang:
  Topological Centrality and Its Applications. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1911]
• Federico Penna, Roberto Garello, Maurizio A. Spirito:
  Cooperative Spectrum Sensing based on the Limiting Eigenvalue Ratio Distribution in Wishart Matrices. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1947]
• Jiaping Liu, Yung Yi, Alexandre Proutiere, Mung Chiang, H. Vincent Poor:
  Convergence and Tradeoff of Utility-Optimal CSMA. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1996]
• M. H. Kayvanrad, D. Zonoobi, A. A. Kassim:
  Modified Papoulis-Gerchberg algorithm for sparse signal recovery. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2036]
• Lutz Schröder, Dirk Pattinson:
  Strong Completeness of Coalgebraic Modal Logics. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2072]
• Olha Shkaravska, Marko C. J. D. van Eekelen, Ron van Kesteren:
  Polynomial Size Analysis of First-Order Shapely Functions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2073]
• Abuzer Yakaryilmaz, A. C. Cem Say:
  Quantum Finite Automata with One-Sided Unbounded Error. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2081]
• Valentin Goranko, Dmitry Shkatov:
  Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2104]
• Vincent Gripon, Olivier Serre:
  Qualitative Concurrent Games with Imperfect Information. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2108]
• Valentin Goranko, Dmitry Shkatov:
  Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2125]
• Xavier Leroy:
  A formally verified compiler back-end. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2137]
• Juraj Hromkovic, Georg Schnitger:
  Ambiguity and Communication. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2140]
• Marius Zimand:
  Extracting the Kolmogorov Complexity of Strings and Sequences from Sources with Limited Independence. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2141]
• Kenya Ueno:
  A Stronger LP Bound for Formula Size Lower Bounds via Clique Constraints. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2146]
• Michael R. Fellows, Jiong Guo, Hannes Moser, Rolf Niedermeier:
  A Generalization of Nemhauser and Trotter's Local Optimization Theorem. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2149]
• Babak Farzad, Lap Chi Lau, Van Bang Le, Nguyen Ngoc Tuy:
  Computing Graph Roots Without Short Cycles. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2150]
• Sven Schewe:
  Büchi complementation made tight. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2152]
• John Michael Robson:
  Spanning Trees of Bounded Degree Graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2166]
• Johan Bollen, Herbert Van de Sompel, Aric A. Hagberg, Ryan Chute:
  A principal component analysis of 39 scientific impact measures. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2183]
• Young Sang Choi, Travis Deyle, Charles C. Kemp:
  A List of Household Objects for Robotic Retrieval Prioritized by People with ALS (Version 092008). , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2186]
• João Paulo Lima, Veronica Teichrieb, Judith Kelner:
  A Standalone Markerless 3D Tracker for Handheld Augmented Reality. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2187]
• Kilian Weinberger, Anirban Dasgupta, Josh Attenberg, John Langford, Alex J. Smola:
  Feature Hashing for Large Scale Multitask Learning. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2206]
• Christoph Dürr, Lukasz Jez, Nguyen Kim Thang:
  Online Scheduling of Bounded Length Jobs to Maximize Throughput. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2209]
• Amac Herdagdelen, Marco Baroni:
  BagPack: A general framework to represent semantic relations. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2230]
• Heide Gluesing-Luerssen:
  On Isometries for Convolutional Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2235]
• Chun-Hung Liu, Feng Xue, Jeffrey G. Andrews:
  Network Coding with Two-Way Relaying: Achievable Rate Regions and Diversity-Multiplexing Tradeoffs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2260]
• Irénée Briquel, Pascal Koiran:
  Toward a Dichotomy Theorem for Polynomial Evaluation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2300]
• Ivan Mogilnykh:
  On weak isometries of Preparata codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2316]
• Stergos D. Afantenos, Nicolas Hernandez:
  What's in a Message? , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2345]
• Olivier Roussel, Christophe Lecoutre:
  XML Representation of Constraint Networks: Format XCSP 2.1. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2362]
• Gerhard Kramer, Yingbin Liang, Shlomo Shamai:
  Outer Bounds on the Admissible Source Region for Broadcast Channels with Dependent Sources. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2370]
• Joshua Brody, Amit Chakrabarti:
  A Multi-Round Communication Lower Bound for Gap Hamming and Some Consequences. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2399]
• Richard Strong Bowen, Bo Chen, Hendrik Orem, Martijn van Schaardenburg:
  Group-Theoretic Partial Matrix Multiplication. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2407]
• Aaron Sterling:
  Self-Assembly as Graph Grammar as Distributed System. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2420]
• Aaron Sterling:
  A Limit to the Power of Multiple Nucleation in Self-Assembly (full version). , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2422]
• Biao Xiang, En-Hong Chen, Tao Zhou:
  Finding Community Structure Based on Subgraph Similarity. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2425]
• Wooseok Nam, Sae-Young Chung, Yong Hoon Lee:
  Nested Lattice Codes for Gaussian Relay Networks with Interference. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2436]
• Wooseok Nam, Sae-Young Chung, Yong Hoon Lee:
  Capacity of the Gaussian Two-way Relay Channel to within 1/2 Bit. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2438]
• Abhishek Parakh, Subhash Kak:
  A Recursive Threshold Visual Cryptography Scheme. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2487]
• Tom Hayes, Jared Saia, Amitabh Trehan:
  The Forgiving Graph: A distributed data structure for low stretch under adversarial attack. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2501]
• Richard Molyneux:
  Hyperset Approach to Semi-structured Databases and the Experimental Implementation of the Query Language Delta. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2504]
• Grey Ballard, James Demmel, Olga Holtz, Oded Schwartz:
  Communication-optimal Parallel and Sequential Cholesky Decomposition. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2537]
• Elena Veronica Belmega, Samson Lasaulce, Mérouane Debbah:
  Power Allocation Games for MIMO Multiple Access Channels with Coordination. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2559]
• Andrey Breslav:
  Creating modular and reusable DSL textual syntax definitions with Grammatic/ANTLR. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2621]
• Roberto Grossi, Alessio Orlandi, Rajeev Raman, S. Srinivasa Rao:
  More Haste, Less Waste: Lowering the Redundancy in Fully Indexable Dictionaries. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2648]
• Danny Hermelin, Gad M. Landau, Shir Landau, Oren Weimann:
  A Unified Algorithm for Accelerating Edit-Distance Computation via Text-Compression. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2649]
• Jack H. Lutz, Elvira Mayordomo:
  Inseparability and Strong Hypotheses for Disjoint NP Pairs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2674]
• Frederic Brochu, Ulrik Egede, J. Elmsheuser, K. Harrison, R. W. L. Jones, H. C. Lee, Dietrich Liko, A. Maier, Jakub T. Moscicki, A. Muraru, Glen N. Patrick, K. Pajchel, W. Reece, B. H. Samset, M. W. Slater, A. Soroko, C. L. Tan, Daniel C. Vanderster:
  Ganga: a tool for computational-task management and easy access to Grid resources. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2685]
• Brice Djeumou, Samson Lasaulce, Antoine Berthet:
  Combining coded signals with arbitrary modulations in orthogonal relay channels. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2692]
• Florian Horn:
  Random Fruits on the Zielonka Tree. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2736]
• Nima Mirbakhsh, Arman Didandeh:
  Object Classification by means of Multi-Feature Concept Learning in a Multi Expert-Agent System. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2751]
• Tomoyuki Yamakami:
  Pseudorandom Generators against CFL/n. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2774]
• Ali Pourmohammad, Seyed Mohammad Ahadi:
  New Ica-Beamforming Method to Under-Determined BSS. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2783]
• Ali Pourmohammad, Seyed Mohammad Ahadi:
  Using SLP Neural Network to Persian Handwritten Digits Recognition. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2788]
• Chandra Chekuri, Nitish Korula:
  A Graph Reduction Step Preserving Element-Connectivity and Applications. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2795]
• Yoann Dieudonné, Franck Petit, Vincent Villain:
  Leader Election Problem Versus Pattern Formation Problem. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2851]
• Laurent Poinsot, Gérard Duchamp:
  Generalized powers for the Riordan group. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2853]
• Jan A. Bergstra, C. A. Middelburg:
  Transmission protocols for instruction streams. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2859]
• Ciro Cattuto, Alain Barrat, Andrea Baldassarri, G. Schehr, Vittorio Loreto:
  Collective dynamics of social annotation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2866]
• Kaninda Musumbu:
  The Semantics of Kalah Game. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2871]
• Matthias Hesse, Jérôme Lebrun, Luc Deneire:
  Full Rate L2-Orthogonal Space-Time CPM for Three Antennas. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2917]
• Matthias Hesse, Jérôme Lebrun, Luc Deneire:
  Optimized L2-Orthogonal STC CPM for 3 Antennas. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2948]
• Shiyong Lu, Rong Huang, Artem Chebotko, Yu Deng, Farshad Fotouhi:
  ImageSpace: An Environment for Image Ontology Management. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2953]
• Giorgi Japaridze:
  Ptarithmetic. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2969]
• Claus-Peter Wirth, Rüdiger Lunde:
  Writing Positive/Negative-Conditional Equations Conveniently. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2975]
• Rüdiger Lunde, Claus-Peter Wirth:
  ASF+ --- eine ASF-aehnliche Spezifikationssprache. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2995]
• Artem Chebotko, Yu Deng, Shiyong Lu, Farshad Fotouhi, Anthony Aristar, Hennie Brugman, Alexander Klassmann, Han Sloetjes, Albert Russel, Peter Wittenburg:
  OntoELAN: An Ontology-based Linguistic Multimedia Annotator. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3026]
• Artem Chebotko, Shiyong Lu, Farshad Fotouhi, Anthony Aristar:
  Ontology-Based Annotation of Multimedia Language Data for the Semantic Web. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3027]
• Rahul Jain, Hartmut Klauck:
  New Results in the Simultaneous Message Passing Model. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3056]
• Giuliano Casale:
  The Multi-Branched Method of Moments for Queueing Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3065]
• Eric Laporte, Elisabete Ranchhod, Anastasia Yannacopoulou:
  Syntactic variation of support verb constructions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3072]
• Ghassan M. Kraidy, Nicolas Gresset, Joseph Jean Boutros:
  Coding for the Non-Orthogonal Amplify-and-Forward Cooperative Channel. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3076]
• Pierre Fraigniaud, Amos Korman:
  Compact Ancestry Labeling Schemes for Trees of Small Depth. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3081]
• Daniel Fulger, Guido Germano:
  Automatic generation of non-uniform random variates for arbitrary pointwise computable probability densities by tiling. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3088]
• Devansh Dikshit, Y. Narahari:
  On Framework and Hybrid Auction Approach to the Spectrum Licensing Procedure. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3104]
• Ghid Maatouk, Amin Shokrollahi:
  Analysis of the Second Moment of the LT Decoder. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3114]
• Bernat Gacias, Christian Artigues, Pierre Lopez:
  Parallel machine scheduling with precedence constraints and setup times. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3121]
• Claude Pasquier, Laurent Théry:
  A distributed editing environment for XML documents. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3136]
• Scott Aaronson, François Le Gall, Alexander Russell, Seiichiro Tani:
  The One-Way Communication Complexity of Group Membership. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3175]
• Alina Beygelzimer, John Langford, Pradeep Ravikumar:
  Error-Correcting Tournaments. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3176]
• Deniz Gündüz, Osvaldo Simeone, Andrea J. Goldsmith, H. Vincent Poor, Shlomo Shamai:
  Multiple Multicasts with the Help of a Relay. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3178]
• Claudine Brucks, Michael Hilker, Christoph Schommer, Cynthia Wagner, Ralph Weires:
  Symbolic Computing with Incremental Mindmaps to Manage and Mine Data Streams - Some Applications. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3196]
• Daniel Fulger, Enrico Scalas, Guido Germano:
  Random numbers from the tails of probability distributions using the transformation method. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3207]
• Dorit Ron, Ilya Safro, Achi Brandt:
  A Fast Multigrid Algorithm for Energy Minimization Under Planar Density Constraints. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3208]
• Vikram Chandrasekhar, Marios Kountouris, Jeffrey G. Andrews:
  Coverage in Multi-Antenna Two-Tier Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3210]
• Jose Brito, Mauricio Lila, Flavio Montenegro, Nelson Maculan:
  An Exact Algorithm for the Stratification Problem with Proportional Allocation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3223]
• Peter Brass, Christian Knauer, Hyeon-Suk Na, Chan-Su Shin, Antoine Vigneron:
  Computing k-Centers On a Line. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3282]
• Arunkumar Subramanian, Steven W. McLaughlin:
  MDS codes on the erasure-erasure wiretap channel. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3286]
• Ingmar Land, Gottfried Lechner, Lars K. Rasmussen:
  Adaptive Decoding of LDPC Codes with Binary Messages. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3287]
• Claus-Peter Wirth:
  Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie? , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3294]
• Saugata Basu, Richard Leroy, Marie-Françoise Roy:
  A bound on the minimum of a real positive polynomial over the standard simplex. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3304]
• Tobias Koch, Amos Lapidoth:
  Gaussian Fading Is the Worst Fading. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3372]
• Marie-Odile Cordier, Élisa Fromont, Rene Quiniou:
  Learning rules from multisource data for cardiac monitoring. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3373]
• Yishay Mansour, Mehryar Mohri, Afshin Rostamizadeh:
  Domain Adaptation: Learning Bounds and Algorithms. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3430]
• David Arthur, Rajeev Motwani, Aneesh Sharma, Ying Xu:
  Pricing strategies for viral marketing on Social Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3485]
• L. Jeganathan, Raghavan Rama, Ritabrata Sengupta:
  Generalised sequential crossover of words and languages. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3503]
• Mark Burgin, Gordana Dodig-Crnkovic:
  A Systematic Approach to Artificial Agents. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3513]
• John Augustine, Qi Han, Philip Loden, Sachin Lodha, Sasanka Roy:
  Energy-Efficient Shortest Path Algorithms for Convergecast in Sensor Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3517]
• Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis:
  A Superstabilizing $\log(n)$-Approximation Algorithm for Dynamic Steiner Trees. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3528]
• Vadim Tropashko:
  Relational Lattice Foundation For Algebraic Logic. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3532]
• Armen Bagdasaryan:
  System approach to synthesis, modeling and control of complex dynamical systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3541]
• Yoann Dieudonné, Shlomi Dolev, Franck Petit, Michael Segal:
  Deaf, Dumb, and Chatting Robots, Enabling Distributed Computation and Fault-Tolerance Among Stigmergic Robot. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3549]
• Aris L. Moustakas, K. Raj Kumar, Giuseppe Caire:
  Performance of MMSE MIMO Receivers: A Large N Analysis for Correlated Channels. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3593]
• Jinhui Chen, Dirk T. M. Slock:
  On Optimum End-to-End Distortion of MIMO Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3595]
• Claus-Peter Wirth:
  Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3614]
• Stephan Kreutzer:
  Algorithmic Meta-Theorems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3616]
• Claus-Peter Wirth:
  A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3623]
• Aaron Sterling:
  Distributed Agreement in Tile Self-Assembly. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3631]
• Claus-Peter Wirth:
  lim+, delta+, and Non-Permutability of beta-Steps. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3635]
• Volker Mattick, Claus-Peter Wirth:
  An Algebraic Dexter-Based Hypertext Reference Model. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3648]
• David Monniaux:
  A minimalistic look at widening operators. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3722]
• Claus-Peter Wirth:
  Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3730]
• Claus-Peter Wirth:
  Hilbert's epsilon as an Operator of Indefinite Committed Choice. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3749]
• Ilias Diakonikolas, Parikshit Gopalan, Ragesh Jaiswal, Rocco A. Servedio, Emanuele Viola:
  Bounded Independence Fools Halfspaces. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3757]
• Dániel Marx, Barry O'Sullivan, Igor Razgon:
  Treewidth reduction for constrained separation and bipartization problems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3780]
• L. Jeganathan, Raghavan Rama, Ritabrata Sengupta:
  Application of Generalised sequential crossover of languages to generalised splicing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3818]
• Zekeriya Uykan:
  Analysis of "SIR" ("Signal"-to-"Interference"-Ratio) in Discrete-Time Autonomous Linear Networks with Symmetric Weight Matrices. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3844]
• Amit Singer, Mihai Cucuringu:
  Uniqueness of Low-Rank Matrix Completion by Rigidity Theory. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3846]
• Éric Jaeger, Catherine Dubois:
  Why Would You Trust B? , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3858]
• Éric Jaeger, Thérèse Hardin:
  A Few Remarks About Formal Development of Secure Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3861]
• Éric Jaeger, Thérèse Hardin:
  Yet Another Deep Embedding of B:Extending de Bruijn Notations. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3865]
• Laurent Doyen, Jean-François Raskin:
  Antichains for the Automata-Based Approach to Model-Checking. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3958]
• Anastasios Giovanidis, Gerhard Wunder, Joerg Buehler:
  Optimal Control of a Single Queue with Retransmissions: Delay-Dropping Tradeoffs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3979]
• Rokia Missaoui, Léonard Kwuida, Mohamed Quafafou, Jean Vaillancourt:
  Algebraic operators for querying pattern bases. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4042]
• M. Amin Khajehnejad, Alexandros G. Dimakis, Weiyu Xu, Babak Hassibi:
  Sparse Recovery of Positive Signals with Minimal Expansion. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4045]
• Ken Yamamoto, Yoshihiro Yamazaki:
  Network of two-Chinese-character compound words in Japanese language. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4060]
• Amelia Sparavigna:
  Dipole and Quadrupole Moments in Image Processing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4073]
• Pavel Chebotarev, Rafig Agaev:
  Coordination in multiagent systems and Laplacian spectra of digraphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4098]
• Shih-Chun Lin, Pin-Hsun Lin, Chung-Pi Lee, Hsuan-Jung Su:
  Filter and nested-lattice code design for fading MIMO channels with side-information. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4106]
• Alexey V. Chernov, Vladimir Vovk:
  Prediction with expert evaluators' advice. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4127]
• Fabrice Theoleyre, Eryk Schiller, Andrzej Duda:
  Efficient Greedy Geographical Non-Planar Routing with Reactive Deflection. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4157]
• K. Prasad, B. Sundar Rajan:
  Convolutional Codes for Network-Error Correction. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4177]
• Pavel Chebotarev:
  On graph theoretic results underlying the analysis of consensus in multi-agent systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4218]
• Michael Neufeld, Craig Partridge:
  Semantic Network Layering. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4221]
• Vamsi K. Potluru, Sergey M. Plis, Morten Morup, Vince D. Calhoun, Terran Lane:
  Multiplicative updates For Non-Negative Kernel SVM. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4228]
• Oleg Kurmaev:
  Constant-Weight and Constant-Charge Binary Run-Length Limited Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4246]
• N. Raj Rao, Jack W. Silverstein:
  Fundamental limit of sample generalized eigenvalue based detection of signals in noise using relatively few signal-bearing and noise-only samples. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4250]
• Moshe Mishali, Yonina C. Eldar:
  From Theory to Practice: Sub-Nyquist Sampling of Sparse Wideband Analog Signals. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4291]
• Helmut Alt, Ludmila Scharf, Daria Schymura:
  Probabilistic Matching of Planar Regions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4337]
• Sándor Vágvölgyi:
  On ground word problem of term equation systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4348]
• Holger Rauhut:
  Circulant and Toeplitz matrices in compressed sensing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4394]
• Zhenning Kong, Edmund M. Yeh:
  Percolation Processes and Wireless Network Resilience to Degree-Dependent and Cascading Node Failures. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4447]
• Zhenning Kong, Edmund M. Yeh:
  Connectivity, Percolation, and Information Dissemination in Large-Scale Wireless Networks with Dynamic Links. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4449]
• Predrag R. Jelenkovic, Jian Tan:
  Stability of Finite Population ALOHA with Variable Packets. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4481]
• Jinquan Luo, Yuansheng Tang, Hongyu Wang:
  Exponential Sums, Cyclic Codes and Sequences: the Odd Characteristic Kasami Case. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4508]
• Jinquan Luo, San Ling, Chaoping Xing:
  Cyclic Codes and Sequences from a Class of Dembowski-Ostrom Functions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4509]
• Jinquan Luo, Hongyu Wang, Yuansheng Tang:
  Cyclic Codes and Sequences: the Generalized Kasami Case. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4510]
• Jinquan Luo, San Ling, Chaoping Xing:
  Cyclic Codes and Sequences from Kasami-Welch Functions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4511]
• Dijun Luo, Heng Huang, Chris Ding:
  Are Tensor Decomposition Solutions Unique? On the global convergence of HOSVD and ParaFac algorithms. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4521]
• Nikolaos S. Livathinos:
  EXtensible Animator for Mobile Simulations: EXAMS. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4527]
• Simona Angela Apostol, Cosmin Catu, Corina Vernic:
  Electronical Health Record's Systems. Interoperability. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4535]
• Saloua Chettibi, M. Benmohamed:
  A Multipath Energy-Aware On demand Source Routing Protocol for Mobile Ad-Hoc Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4572]
• Zhenhai Jing, Baoming Bai, Xiao Ma:
  Using Distributed Rate-Splitting Game to Approach Rate Region Boundary of the Gaussian Interference Channel. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4577]
• Yifan Liang, Andrea J. Goldsmith, Michelle Effros:
  Source-Channel Coding and Separation for Generalized Communication Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4647]
• Dmitry Zinoviev, Vy Duong:
  Toward Understanding Friendship in Online Social Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4658]
• Amelia Sparavigna:
  Dipole Vectors in Images Processing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4663]
• Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier:
  Lectures on Jacques Herbrand as a Logician. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4682]
• Jörg Endrullis, Herman Geuvers, Hans Zantema:
  Degrees of Undecidability in Rewriting. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4723]
• Saul Youssef, John Brunelle, John Huth, David C. Parkes, Margo I. Seltzer, Jim Shank:
  Minimal Economic Distributed Computing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4730]
• Jiazi Yi, Eddy Cizeron, Salima Hamma, Benoît Parrein:
  Simulation and Performance Analysis of MP-OLSR for Mobile Ad hoc Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4779]
• Jiazi Yi, Eddy Cizeron, Salima Hamma, Benoît Parrein, Pascal Lesage:
  Implementation of Multipath and Multiple Description Coding in OLSR. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4781]
• Xavier Grehant, Sverre Jarp:
  Lightweight Task Analysis for Cache-Aware Scheduling on Heterogeneous Clusters. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4822]
• Vladimir Y. Chernyak, Michael Chertkov:
  Planar Graphical Models which are Easy. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0320]
• Gianluca Argentini:
  Optimal profiles in variable speed flows. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.0673]
• Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura, Martin Rötteler:
  Perfect Quantum Network Communication Protocol Based on Classical Network Coding. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1299]
• Deping Ye:
  On the Bures Volume of Separable Quantum States. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1505]
• Noam D. Elkies, Scott D. Kominers:
  On the Classification of Type II Codes of Length 24. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.1942]
• Laurent Jacques, David Hammond, Jalal Fadili:
  Dequantizing Compressed Sensing: When Oversampling and Non-Gaussian Constraints Combine. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2367]
• Bogdan Danila, Yudong Sun, Kevin E. Bassler:
  What are the best routes for us to use for driving home tonight in rush hour traffic? , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.2415]
• Gábor Lugosi, Omiros Papaspiliopoulos, Gilles Stoltz:
  Online Multi-task Learning with Hard Constraints. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3526]
• Vinko Zlatic, Hrvoje Stefancic:
  Model of Wikipedia growth based on information exchange via reciprocal arcs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3548]
• Mason A. Porter, Jukka-Pekka Onnela, Peter J. Mucha:
  Communities in Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3788]
• Lars Eirik Danielsen, Matthew G. Parker:
  Directed Graph Representation of Half-Rate Additive Codes over GF(4). , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.3883]
• J. Blümlein, Manuel Kauers, S. Klein, Carsten Schneider:
  Determining the closed forms of the $O(a_s^3)$ anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4091]
• J. Blümlein, Manuel Kauers, S. Klein, Carsten Schneider:
  From Moments to Functions in Quantum Chromodynamics. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4095]
• Lenka Zdeborová, Florent Krzakala:
  Quiet Planting in the Locked Constraint Satisfaction Problems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4185]
• V. I. Borzenko, Z. M. Lezina, A. K. Loginov, Ya. Yu. Tsodikova, P. Yu. Chebotarev:
  Strategies of Voting in Stochastic Environment: Egoism and Collectivism. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4460]
• Evghenii Gaburov, Stefan Harfst, Simon Portegies Zwart:
  SAPPORO: A way to turn your graphics cards into a GRAPE-6. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4463]
• Pavel Chebotarev:
  Analytical Expression of the Expected Values of Capital at Voting in the Stochastic Environment. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4514]
• Gabriel Cardona, Mercè Llabrés, Francesc Rosselló, Gabriel Valiente:
  The comparison of tree-sibling time consistent phylogenetic networks is graph isomorphism-complete. , (informal publication)
  Electronic Edition (link) BibTeX [abs/0902.4640]