CoRR, February 2007

• Pierre N. Robillard, Patrick d'Astous, Françoise Détienne, Willemien Visser:
  Measuring Cognitive Activities in Software Engineering. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702001]
• Jean-Marie Burkhardt, Françoise Détienne, Susan Wiedenbeck:
  The Effect of Object-Oriented Programming Expertise in Several Dimensions of Comprehension Strategies. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702002]
• Françoise Détienne:
  Expert Programming Knowledge: a Schema-Based Approach. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702003]
• Françoise Détienne:
  What model(s) for program understanding? , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702004]
• Jean-Marie Burkhardt, Françoise Détienne:
  An empirical study of software reuse by experts in object-oriented design. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702005]
• Géraldine Martin, Françoise Détienne, Elisabeth Lavigne:
  Negotiation in collaborative assessment of design solutions: an empirical study on a Concurrent Engineering process. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702006]
• Prasanna Chaporkar, Kimmo Kansanen, Ralf R. Müller:
  Power Optimal Scheduling for Guaranteed Throughput in Multi-access Fading Channels. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702007]
• G. Susinder Rajan, B. Sundar Rajan:
  MMSE Optimal Algebraic Space-Time Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702008]
• Ramji Venkataramanan, S. Sandeep Pradhan:
  On Evaluating the Rate-Distortion Function of Sources with Feed-Forward and the Capacity of Channels with Feedback. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702009]
• Jacques Carette:
  A canonical form for some piecewise defined functions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702010]
• Joseph Y. Halpern, Riccardo Pucella:
  Dealing With Logical Omniscience: Expressiveness and Pragmatics. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702011]
• Daria Sorokina, Johannes Gehrke, Simeon Warner, Paul Ginsparg:
  Plagiarism Detection in arXiv. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702012]
• Leonid Gurvits:
  Polynomial time algorithms to approximate mixed volumes within a simply exponential factor. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702013]
• Constantinos Daskalakis, Alexandros G. Dimakis, Richard M. Karp, Martin J. Wainwright:
  Probabilistic Analysis of Linear Programming Decoding. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702014]
• Alexandros G. Dimakis, Brighten Godfrey, Martin J. Wainwright, Kannan Ramchandran:
  Network Coding for Distributed Storage Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702015]
• Bruno Courcelle:
  A multivariate interlace polynomial. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702016]
• Tor Aulin:
  Comment on Improved Analysis of List Decoding and Its Application to Convolutional Codes and Turbo Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702017]
• M. Harrison, Ioannis Kontoyiannis:
  Estimation of the Rate-Distortion Function. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702018]
• Maxime Gariel, John-Paul Clarke, Eric Feron:
  A Dynamic I/O Model for TRACON Traffic Management. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702019]
• Qinqin Yang, Zhongping Qin:
  Construction of Minimal Tail-Biting Trellises for Codes over Finite Abelian Groups. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702020]
• Xing M. Wang:
  Probability Bracket Notation, Probability Vectors, Markov Chains and Stochastic Processes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702021]
• Chunxi Li, Changjia Chen:
  Gnutella: Topology Dynamics On Phase Space. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702022]
• Sanjay Karmakar, B. Sundar Rajan:
  High-rate, Multi-Symbol-Decodable STBCs from Clifford Algebras. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702023]
• Michael Chertkov, Mikhail Stepanov:
  Searching for low weight pseudo-codewords. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702024]
• Markus Püschel, José M. F. Moura:
  Algebraic Signal Processing Theory: Cooley-Tukey Type Algorithms for DCTs and DSTs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702025]
• Ravi Shankar Gautam:
  Shape preservation behavior of spline curves. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702026]
• Andrew Gacek:
  The Suspension Calculus and its Relationship to Other Explicit Treatments of Substitution in Lambda Calculi. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702027]
• Florentin Smarandache, Jean Dezert:
  Uniform and Partially Uniform Redistribution Rules. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702028]
• Mario Szegedy, Mikkel Thorup:
  On the variance of subset sum estimation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702029]
• Nihar Jindal, Jeffrey G. Andrews, Steven Weber:
  Optimizing the SINR operating point of spatial networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702030]
• Giuseppe Caire, Nihar Jindal, Mari Kobayashi, Niranjay Ravindran:
  Quantized vs. Analog Feedback for the MIMO Downlink: A Comparison between Zero-Forcing Based Achievable Rates. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702031]
• Reid Andersen:
  Finding large and small dense subgraphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702032]
• Alexander Barg, Punarbasu Purkayastha:
  Bounds on ordered codes and orthogonal arrays. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702033]
• L. Jeganathan, Raghavan Rama:
  Graph Splicing System. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702034]
• Samar Agnihotri:
  New Models for the Correlation in Sensor Data. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702035]
• Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa:
  Efficient First-Order Temporal Logic for Infinite-State Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702036]
• Minkyu Kim, Muriel Médard, Varun Aggarwal, Una-May O'Reilly, Wonsik Kim, Chang Wook Ahn, Michelle Effros:
  Evolutionary Approaches to Minimizing Network Coding Resources. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702037]
• Minkyu Kim, Varun Aggarwal, Una-May O'Reilly, Muriel Médard, Wonsik Kim:
  Genetic Representations for Evolutionary Minimization of Network Coding Resources. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702038]
• Otfried Cheong, Xavier Goaoc, Andreas Holmsen, Sylvain Petitjean:
  Hadwiger and Helly-type theorems for disjoint unit spheres. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702039]
• Yves Guiraud:
  Polygraphs for termination of left-linear term rewriting systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702040]
• Robert Brijder, Hendrik Jan Hoogeboom:
  The Fibers and Range of Reduction Graphs in Ciliates. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702041]
• Luís M. B. Lopes, Francisco Martins, Miguel S. Silva, João Barros:
  A Formal Model for Programming Wireless Sensor Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702042]
• Chính T. Hoàng, Marcin Kaminski, Vadim V. Lozin, Joe Sawada, Xiao Shu:
  Deciding k-colourability of P_5-free graphs in polynomial time. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702043]
• Andrew M. Hunter, Jeffrey G. Andrews, Steven Weber:
  Capacity Scaling of Ad Hoc Networks with Spatial Diversity. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702044]
• Raul Etkin, David Tse, Hua Wang:
  Gaussian Interference Channel Capacity to Within One Bit. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702045]
• Shenghui Su, Shuwang Lu:
  The Design, Analysis and Optimization of the REESSE1+ Public-key Cryptosystem. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702046]
• Holger Spakowski, Rahul Tripathi:
  Hierarchical Unambiguity. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702047]
• Ken Wakita, Toshiyuki Tsurumi:
  Finding Community Structure in Mega-scale Social Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702048]
• Noga Alon, Fedor V. Fomin, Gregory Gutin, Michael Krivelevich, Saket Saurabh:
  Parameterized Algorithms for Directed Maximum Leaf Problems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702049]
• Thorsten Hehn, Olgica Milenkovic, Stefan Laendner, Johannes B. Huber:
  Permutation Decoding and the Stopping Redundancy Hierarchy of Linear Block Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702050]
• Ender Tekin, Aylin Yener:
  The Gaussian multiple access wire-tap channel: wireless secrecy and cooperative jamming. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702051]
• Adria Tauste-Campo, Alex J. Grant:
  On Random Network Coding for Multicast. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702052]
• Andrew Badr, Ian Shipman:
  The DFAs of Finitely Different Languages. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702053]
• Christoph Dürr, Nguyen Kim Thang:
  Nash equilibria in Voronoi games on graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702054]
• A. V. Paraskevov:
  On the possibility of making the complete computer model of a human brain. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702055]
• Hanene Mohamed:
  A probabilistic analysis of a leader election algorithm. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702056]
• Mohsen Bahramgiri, Salman Beigi:
  An Efficient Algorithm to Recognize Locally Equivalent Graphs in Non-Binary Case. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702057]
• Kia Kai Li:
  Exploring k-Colorability. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702058]
• Michael B. Baer:
  Bounds on Generalized Huffman Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702059]
• Gwénaël Richomme:
  A local balance property of episturmian words. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702060]
• Gwénaël Richomme:
  Sudo-Lyndon. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702061]
• Luca Gammaitoni:
  Noise Limited Computational Speed. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702062]
• Terence Chan, Alex J. Grant:
  Entropy vectors and network codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702063]
• Terence H. Chan:
  Group characterizable entropy functions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702064]
• Raouf Dridi, Michel Petitot:
  Towards a New ODE Solver Based on Cartan's Equivalence Method. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702065]
• Matthieu Gallet, Yves Robert, Frédéric Vivien:
  Comments on "Design and performance evaluation of load distribution strategies for multiple loads on heterogeneous linear daisy chain networks". , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702066]
• Fionn Murtagh:
  The Haar Wavelet Transform of a Dendrogram: Additional Notes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702067]
• Gesualdo Scutari, Sergio Barbarossa, Loreto Pescosolido:
  Distributed Decision Through Self-Synchronizing Sensor Networks in the Presence of Propagation Delays and Nonreciprocal Channels. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702068]
• Roberto M. Amadio, Frederique Dabrowski:
  Feasible reactivity in a synchronous pi-calculus. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702069]
• Maria Fresia, Giuseppe Caire:
  A Practical Approach to Lossy Joint Source-Channel Coding. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702070]
• Pulkit Grover, Anant Sahai:
  What is needed to exploit knowledge of primary transmissions? , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702071]
• Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
  Logic Programming with Satisfiability. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702072]
• Pulkit Grover:
  Tradeoff between decoding complexity and rate for codes on graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702073]
• Josep Díaz-Giménez, Dieter Mitsche, Xavier Pérez:
  Dynamic Random Geometric Graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702074]
• Maurice H. T. Ling:
  Firebird Database Backup by Serialized Database Table Dump. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702075]
• Lionel Eyraud-Dubois, Arnaud Legrand, Martin Quinson, Frédéric Vivien:
  A First Step Towards Automatically Building Network Representations. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702076]
• Maximilien Gadouleau, Zhiyuan Yan:
  Properties of Rank Metric Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702077]
• Reid Andersen:
  A Local Algorithm for Finding Dense Subgraphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702078]
• Otfried Cheong, Mira Lee:
  The Hadwiger Number of Jordan Regions is Unbounded. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702079]
• Boris Aronov, Mark de Berg, Otfried Cheong, Joachim Gudmundsson, Herman J. Haverkort, Michiel H. M. Smid, Antoine Vigneron:
  Sparse geometric graphs with small dilation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702080]
• Rick Dale:
  Random Sentences from a Generalized Phrase-Structure Grammar Interpreter. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702081]
• Ivan Tyukin, Tatiana Tyukina, Cees van Leeuwen:
  Invariant template matching in systems with spatiotemporal coding: a vote for instability. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702082]
• Alexander Serebrenik, Tom Schrijvers, Bart Demoen:
  Improving Prolog programs: Refactoring for Prolog. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702083]
• Bozidar Radunovic, Jean-Yves Le Boudec, Raymond Knopp:
  Performance of Ultra-Wideband Impulse Radio in Presence of Impulsive Interference. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702084]
• Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia:
  Social Behaviours Applied to P2P Systems: An efficient Algorithm for Resource Organisation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702085]
• Nicolai Kuntze, Andreas U. Schmidt:
  Protection of DVB Systems by Trusted Computing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702086]
• Marc Glisse, Sylvain Lazard:
  An Upper Bound on the Average Size of Silhouettes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702087]
• Xi Chen, Shang-Hua Teng:
  Paths Beyond Local Search: A Nearly Tight Bound for Randomized Fixed-Point Computation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702088]
• C. Maria Keet:
  Mapping the Object-Role Modeling language ORM2 into Description Logic language DLRifd. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702089]
• Hee-Kap Ahn, Sang Won Bae, Otfried Cheong, Joachim Gudmundsson:
  Aperture-Angle and Hausdorff-Approximation of Convex Figures. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702090]
• Raphael M. Jungers, Vincent D. Blondel:
  Observable Graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702091]
• Yucel Altug, N. Polat Ayerden, Mehmet Kivanç Mihçak, Emin Anarim:
  A Note on the Periodicity and the Output Rate of Bit Search Type Generators. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702092]
• Ashish Khisti, Aslan Tchamkerten, Gregory W. Wornell:
  Secure Broadcasting. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702093]
• Darko Fuduric, Marko Horvat, Mario Zagar:
  Authentication via wireless networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702094]
• Ayan Mahalanobis:
  A note on using finite non-abelian p-groups in the MOR cryptosystem. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702095]
• David Iclanzan, Dan Dumitrescu:
  Overcoming Hierarchical Difficulty by Hill-Climbing the Building Block Structure. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702096]
• M. D. Atkinson, Hans P. van Ditmarsch, S. Roehling:
  Avoiding bias in cards cryptography. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702097]
• Jari Salo:
  A Sum-Product Model as a Physical Basis for Shadow Fading. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702098]
• Ruoheng Liu, Ivana Maric, Predrag Spasojevic, Roy D. Yates:
  Discrete Memoryless Interference and Broadcast Channels with Confidential Messages: Secrecy Rate Regions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702099]
• Sundaram Vanka, M. J. Dehghani, K. M. M. Prabhu, R. Aravind:
  A Class of Multi-Channel Cosine Modulated IIR Filter Banks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702100]
• Neri Merhav:
  An identity of Chernoff bounds with an interpretation in statistical physics and applications in information theory. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702101]
• Bruce Hajek, Kevin Mitzel, Sichao Yang:
  Paging and Registration in Cellular Networks: Jointly Optimal Policies and an Iterative Algorithm. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702102]
• Dirk Lewandowski, Philipp Mayr:
  Exploring the academic invisible web. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702103]
• Ioannis Chatzigeorgiou, Miguel R. D. Rodrigues, Ian J. Wassell, Rolando A. Carrasco:
  A Union Bound Approximation for Rapid Performance Evaluation of Punctured Turbo Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702104]
• David L. Donoho, Hossein Kakavand, James Mammen:
  The Simplest Solution to an Underdetermined System of Linear Equations. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702105]
• Robert Charles, Adigun Ranmi:
  Wild, Wild Wikis: A way forward. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702106]
• Charles A. Robert:
  AMIEDoT: An annotation model for document tracking and recommendation service. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702107]
• Wenyi Zhang, Urbashi Mitra:
  Orthogonal Codes for Robust Low-Cost Communication. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702108]
• Charles A. Robert, David Amos:
  AMIE: An annotation model for information research. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702109]
• Saltuk Aksahin:
  Security Implications of Converged Networks and Protecting Them, without Compromising Efficiency. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702110]
• Andres I. Vila Casado, Miguel Griot, Richard D. Wesel:
  Informed Dynamic Scheduling for Belief-Propagation Decoding of LDPC Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702111]
• Ender Tekin, Aylin Yener:
  The General Gaussian Multiple Access and Two-Way Wire-Tap Channels: Achievable Rates and Cooperative Jamming. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702112]
• David Pritchard:
  How to Use Random Circulations to Find Small Cuts. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702113]
• David Pritchard:
  Nearest Neighbor Network Traversal. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702114]
• Rajesh Sundaresan:
  Guessing based on length functions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702115]
• David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu:
  The Bedwyr system for model checking over syntactic expressions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702116]
• Prosenjit Bose, Paz Carmi, Mathieu Couture, Michiel H. M. Smid, Daming Xu:
  On a family of strong geometric spanners that admit local routing strategies. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702117]
• Kwankyu Lee:
  Interpolation-based Decoding of Alternant Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702118]
• G. Raju Renjit:
  Solution of Ulam's Conjecture for Connected Graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702119]
• Joël Ouaknine, James Worrell:
  On the decidability and complexity of Metric Temporal Logic over finite words. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702120]
• Xing M. Wang:
  Induced Hilbert Space, Markov Chain, Diffusion Map and Fock Space in Thermophysics. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702121]
• Thomas Michel, Gerhard Wunder:
  Transmitter and Precoding Order Optimization for Nonlinear Downlink Beamforming. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702122]
• Slavcho Shtrakov, Vladimir Shtrakov:
  Tree automata and separable sets of input variables. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702123]
• Mohsen Bayati, Jeong Han Kim, Amin Saberi:
  A Sequential Algorithm for Generating Random Graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702124]
• Philipp Pluch, Samo Wakounig:
  Bayesian Network Tomography and Inference. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702125]
• Vincenzo Nicosia, Giuseppe Mangioni, Vincenza Carchiolo, Vincenza Malgeri:
  Efficient Searching and Retrieval of Documents in PROSA. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702126]
• Vincenzo Nicosia, Giuseppe Mangioni, Vincenza Carchiolo, Vincenza Malgeri:
  Exploiting social networks dynamics for P2P resource organisation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702127]
• Xiangao Huang, Wei Huang, Xiaozhou Liu, Chao Wang, Zhu jing Wang, Tao Wang:
  Reconstructing the Nonlinear Filter Function of LILI-128 Stream Cipher Based on Complexity. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702128]
• Slavcho Shtrakov:
  Tree Automata and Essential Input Variables. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702129]
• Georg Schmidt, Vladimir Sidorenko, Martin Bossert:
  Syndrome Decoding of Reed-Solomon Codes Beyond Half the Minimum Distance based on Shift-Register Synthesis. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702130]
• Graham B. Macpherson, Jason M. Reese:
  AICA: a New Pair Force Evaluation Method for Parallel Molecular Dynamics in Arbitrary Geometries. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702131]
• Vikram Chandrasekhar, Jeffrey G. Andrews:
  Uplink Capacity and Interference Avoidance for Two-Tier Femtocell Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702132]
• Vadim Yatsenko:
  Fast Exact Method for Solving the Travelling Salesman Problem. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702133]
• Pankaj Sati:
  Patterns of technological progress: A Predictability-Based Perspective. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702134]
• Simon Portegies Zwart, Robert G. Belleman, Peter Geldof:
  High Performance Direct Gravitational N-body Simulations on Graphics Processing Units. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702135]
• Ivo Damyanov, Slavcho Shtrakov:
  Essential Inputs and Minimal Tree Automata. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702136]
• Slavcho Shtrakov:
  Tree Automata and Essential Subtrees. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702137]
• Joakim Jalden, Björn E. Ottersten:
  On the Maximal Diversity Order of Spatial Multiplexing with Transmit Antenna Selection. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702138]
• Tor Helleseth, Alexander Kholosha, Geir Jarle Ness:
  Characterization of m-Sequences of Lengths $2^{2k}-1$ and $2^k-1$ with Three-Valued Crosscorrelation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702139]
• Dennis Wilkinson, Bernardo A. Huberman:
  Assessing the Value of Coooperation in Wikipedia. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702140]
• Tanya L. Crenshaw, Erin W. Chambers, Heather Metcalf, Umesh Thakkar:
  Recruitment, Preparation, Retention: A case study of computing culture at the University of Illinois at Urbana-Champaign. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702141]
• Daniel Lemire, Martin Brooks, Yuhong Yan:
  An Optimal Linear Time Algorithm for Quasi-Monotonic Segmentation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702142]
• Owen Kaser, Daniel Lemire:
  Attribute Value Reordering For Efficient Hybrid OLAP. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702143]
• Daniel Lemire, Anna Maclachlan:
  Slope One Predictors for Online Rating-Based Collaborative Filtering. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702144]
• Srikumar Venugopal, Krishna Nadiminti, Hussein Gibbins, Rajkumar Buyya:
  Designing a Resource Broker for Heterogeneous Grids. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702145]
• Weiyu Xu:
  A Local Tree Structure is NOT Sufficient for the Local Optimality of Message-Passing Decoding in Low Density Parity Check Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702146]
• Weiyu Xu, Babak Hassibi:
  On the Complexity of Exact Maximum-Likelihood Decoding for Asymptotically Good Low Density Parity Check Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702147]
• Roderick V. N. Melnik:
  Linking Microscopic and Macroscopic Models for Evolution: Markov Chain Network Training and Conservation Law Approximations. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702148]
• Roderick V. N. Melnik:
  Coupling Control and Human-Centered Automation in Mathematical Models of Complex Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702149]
• Robert M. Gray, Takeshi Hashimoto:
  A note on rate-distortion functions for nonstationary Gaussian autoregressive processes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702150]
• Vladimir Braverman, Rafail Ostrovsky, Carlo Zaniolo:
  Succinct Sampling on Streams. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702151]
• Andrew Gacek, Gopalan Nadathur:
  A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702152]
• Kyle W. Burke, Shang-Hua Teng:
  Games on the Sperner Triangle. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702153]
• Lawrence Ong, Mehul Motani:
  On the Capacity of the Single Source Multiple Relay Single Destination Mesh Network. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702154]
• Maurice Margenstern:
  On a characterization of cellular automata in tilings of the hyperbolic plane. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702155]
• Fabrice Guillemin, Philippe Robert:
  On the Discovery of Random Trees. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702156]
• Matei Ripeanu, Adriana Iamnitchi, Ian T. Foster, Anne Rogers:
  In Search of Simplicity: A Self-Organizing Multi-Source Multicast Overlay. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702157]
• Yunxia Chen, Qing Zhao, Ananthram Swami:
  Joint Design and Separation Principle for Opportunistic Spectrum Access in the Presence of Sensing Errors. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702158]
• Fabiano C. Botelho, Rasmus Pagh, Nivio Ziviani:
  Perfect Hashing for Data Management Applications. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702159]
• François Pitt:
  A Quantifier-Free String Theory for ALOGTIME Reasoning. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702160]
• Ying Wang, Pierre Moulin:
  Perfectly Secure Steganography: Capacity, Error Exponents, and Code Constructions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702161]
• Jong-Shi Pang, Gesualdo Scutari, Francisco Facchinei, Chaoxiong Wang:
  Distributed Power Allocation with Rate Constraints in Gaussian Frequency-Selective Interference Channels. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702162]
• Di Zhang, Roderick V. N. Melnik:
  First Passage Time for Multivariate Jump-diffusion Stochastic Models With Applications in Finance. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702163]
• Di Zhang, Roderick V. N. Melnik:
  Monte-Carlo Simulations of the First Passage Time for Multivariate Jump-Diffusion Processes in Financial Applications. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702164]
• Di Zhang, Roderick V. N. Melnik:
  Efficient estimation of default correlation for multivariate jump-diffusion processes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702165]
• Di Zhang, Roderick V. N. Melnik:
  Solving Stochastic Differential Equations with Jump-Diffusion Efficiently: Applications to FPT Problems in Credit Risk. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702166]
• Linxiang X. Wang, Roderick V. N. Melnik:
  Finite Volume Analysis of Nonlinear Thermo-mechanical Dynamics of Shape Memory Alloys. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702167]
• Linxiang X. Wang, Roderick V. N. Melnik:
  Simulation of Phase Combinations in Shape Memory Alloys Patches by Hybrid Optimization Methods. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702168]
• James Laird:
  Bistable Biorders: A Sequential Domain Theory. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702169]
• Peter Tiedemann, Henrik Reif Andersen, Rasmus Pagh:
  Generic Global Constraints based on MDDs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702170]
• Robert Brijder, Hendrik Jan Hoogeboom, Grzegorz Rozenberg:
  How Overlap Determines the Macronuclear Genes in Ciliates. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702171]
• Linxiang X. Wang, Roderick V. N. Melnik:
  Numerical Model For Vibration Damping Resulting From the First Order Phase Transformations. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0702172]
• Elitza N. Maneva, Talya Meltzer, Jack Raymond, Andrea Sportiello, Lenka Zdeborová:
  A Hike in the Phases of the 1-in-3 Satisfiability. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cond-mat/0702421]
• Florent Krzakala, Jorge Kurchan:
  A Landscape Analysis of Constraint Satisfaction Problems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cond-mat/0702546]
• Enzo Marinari, Guilhem Semerjian, Valery Van Kerrebroeck:
  Finding long cycles in graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cond-mat/0702613]
• M. Tentyukov, J. A. M. Vermaseren:
  The Multithreaded version of FORM. , (informal publication)
  Electronic Edition (link) BibTeX [abs/hep-ph/0702279]
• Mathilde Bouvel, Dominique Rossin, Stéphane Vialette:
  Longest Common Separable Pattern between Permutations. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0702109]
• Audrey Lee, Ileana Streinu:
  Pebble Game Algorithms and Sparse Graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0702129]
• David Bremner, Mathieu Dutour Sikiric, Achill Schürmann:
  Polyhedral representation conversion up to symmetries. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0702239]
• Martin J. Wainwright:
  Information-theoretic limits on sparsity recovery in the high-dimensional and noisy setting. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0702301]
• Olivier Finkel:
  An Example of Pi^0_3-complete Infinitary Rational Relation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0702334]
• Martin E. Dyer, Leslie Ann Goldberg, Mark Jerrum:
  Matrix norms and rapid mixing for spin systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0702744]
• Patrick Letrémy, Marie Cottrell, Eric Esposito, Valérie Laffite, Sally Showk:
  Consumer Profile Identification and Allocation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0702866]
• Ricardo López-Ruiz, Daniele Fournier-Prunaret:
  Bistability: a common feature in some "aggregates" of logistic maps. , (informal publication)
  Electronic Edition (link) BibTeX [abs/nlin/0702001]
• A. Arenas, J. Duch, A. Fernandez, S. Gomez:
  Size reduction of complex networks preserving modularity. , (informal publication)
  Electronic Edition (link) BibTeX [abs/physics/0702015]
• Pierfrancesco La Mura, Lukasz Swiatczak:
  Markovian Entanglement Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/quant-ph/0702072]
• Marcus Hutter:
  The Loss Rank Principle for Model Selection. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0702804]
• Oskar Sandberg:
  Neighbor Selection and Hitting Probability in Small-World Graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0702325]