CoRR, March 2006

• Alois Schlögl:
  BioSig - An application of Octave. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603001]
• Qi Cheng:
  On comparing sums of square roots of small integers. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603002]
• Michel Fliess:
  Analyse non standard du bruit. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603003]
• Pedro A. Castillo Valdivieso, Maribel García Arenas, Francisco Javier García Castellano, Juan Julián Merelo Guervós, Alberto Prieto, V. Rivas, Gustavo Romero:
  Lamarckian Evolution and the Baldwin Effect in Evolutionary Neural Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603004]
• Santanu K. Maiti:
  A Basic Introduction on Math-Link in Mathematica. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603005]
• Jonathan Ben-Naim:
  Pivotal and Pivotal-discriminative Consequence Relations. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603006]
• Khaled A. S. Abdel-Ghaffar, Jos H. Weber:
  Complete Enumeration of Stopping Sets of Full-Rank Parity-Check Matrices of Hamming Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603007]
• Hao Chen:
  Linear Secret Sharing from Algebraic-Geometric Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603008]
• Ron Dabora, Sergio D. Servetto:
  An Achievability Result for the General Relay Channel. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603009]
• Ketan Savla, Emilio Frazzoli, Francesco Bullo:
  Asymptotic constant-factor approximation algorithm for the Traveling Salesperson Problem for Dubins' vehicle. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603010]
• Alexander Wiesmaier, Ulrich Rauchschwalbe, Christoph Ludwig, Birgit Henhapl, Markus Ruppert, Johannes Buchmann:
  Intrinsically Legal-For-Trade Objects by Digital Signatures. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603011]
• Benjamin Doerr, Nils Hebbinghaus, Sören Werth:
  Improved Bounds and Schemes for the Declustering Problem. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603012]
• Heide Gluesing-Luerssen, Gert Schneider:
  On the MacWilliams Identity for Convolutional Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603013]
• Cícero Carvalho, Carlos Munuera, Ercilio da Silva, Fernando Torres:
  Near orders and codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603014]
• Pritam Rajagopal:
  The Basic Kak Neural Network with Complex Inputs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603015]
• Maarten H. van Emden, S. C. Somosan:
  Object-Oriented Modeling of Programming Paradigms. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603016]
• Paulin Jacobé de Naurois:
  A Measure of Space for Computing over the Reals. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603017]
• Siddharth Ray, Muriel Médard, Lizhong Zheng:
  On Non-coherent MIMO Channels in the Wideband Regime: Capacity and Reliability. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603018]
• Joseph Y. Halpern, Leandro Chaves Rêgo:
  Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603019]
• Joseph Y. Halpern, Leandro Chaves Rêgo:
  Reasoning About Knowledge of Unawareness. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603020]
• Joy Mukherjee, Srinidhi Varadarajan:
  Language Support for Optional Functionality. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603021]
• Siddharth Ray, Michelle Effros, Muriel Médard, Ralf Koetter, Tracey Ho, David R. Karger, Jinane Abounadi:
  On Separation, Randomness and Linearity for Network Codes over Finite Fields. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603022]
• Viktor Zhumatiy, Faustino J. Gomez, Marcus Hutter, Jürgen Schmidhuber:
  Metric State Space Reinforcement Learning for a Vision-Capable Mobile Robot. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603023]
• Carl Lagoze, Dean B. Krafft, Tim Cornwell, Dean Eckstrom, Susan Jesuroga, Chris Wilper:
  Representing Contextualized Information in the NSDL. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603024]
• Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
  Open Answer Set Programming with Guarded Programs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603025]
• Esther M. Arkin, Michael A. Bender, Joseph S. B. Mitchell, Valentin Polishchuk:
  The Snowblower Problem. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603026]
• Shuangquan Wang, Ali Abdi:
  On the Second-Order Statistics of the Instantaneous Mutual Information in Rayleigh Fading Channels. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603027]
• Wim Janssen, Alexandr Korlyukov, Jan Van den Bussche:
  On the tree-transformation power of XSLT. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603028]
• Abhishek Parakh:
  A d-Sequence based Recursive Random Number Generator. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603029]
• Jonathan K. Adams:
  A Service-Centric Approach to a Parameterized RBAC Service. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603030]
• Wei Dai, Youjian Liu, Brian Rider:
  Performance Analysis of CDMA Signature Optimization with Finite Rate Feedback. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603031]
• Somdeb Lahiri:
  Market Equilibrium for Bundle Auctions and the Matching Core of Nonnegative TU Games. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603032]
• Vaghinak Petrosyan:
  Inter-component communication methods in object-oriented frameworks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603033]
• Andreas Herzig, Ivan José Varzinczak:
  Metatheory of actions: beyond consistency. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603034]
• Chiara Del Frate, Jose Galvez, Tamas Hauer, David Manset, Richard McClatchey, Mohammed Odeh, Dmitri Rogulin, Tony Solomonides, Ruth Warren:
  Final Results from and Exploitation Plans for MammoGrid. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603035]
• Joerg Freund, Dorin Comaniciu, Yannis Ioannis, Peiya Liu, Richard McClatchey, Edwin Morley-Fletcher, Xavier Pennec, Giacomo Pongiglione, Xiang Zhou:
  Health-e-Child : An Integrated Biomedical Platform for Grid-Based Paediatric Applications. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603036]
• Haya El-Ghalayini, Mohammed Odeh, Richard McClatchey:
  Deriving Conceptual Data Models from Domain Ontologies for Bioinformatics. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603037]
• Patrik O. Hoyer, Shohei Shimizu, Antti J. Kerminen:
  Estimation of linear, non-gaussian causal models in the presence of confounding latent variables. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603038]
• Wei Dai, Youjian Liu, Brian Rider:
  Quantization Bounds on Grassmann Manifolds and Applications to MIMO Communications. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603039]
• Wei Dai, Youjian Liu, Vincent K. N. Lau, Brian Rider:
  On the Information Rate of MIMO Systems with Finite Rate Channel State Feedback Using Beamforming and Power On/Off Strategy. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603040]
• S. Hemachander, Amit Verma, Siddharth Arora, Prasanta K. Panigrahi:
  Locally Adaptive Block Thresholding Method with Continuity Constraint. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603041]
• Willie L. Scott II:
  The NoN Approach to Autonomic Face Recognition. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603042]
• Mihai Patrascu, Mikkel Thorup:
  Time-Space Trade-Offs for Predecessor Search. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603043]
• Marshall Spight, Vadim Tropashko:
  First Steps in Relational Lattice. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603044]
• Balaji Nedurumalli:
  Information and Errors in Quantum Teleportation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603045]
• William Perkins:
  Trusted Certificates in Quantum Cryptography. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603046]
• Stefano Mancini, Simone Severini:
  The Quantum Separability Problem for Gaussian States. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603047]
• Binh-Minh Bui-Xuan, Michel Habib, Vincent Limouzy, Fabien de Montgolfier:
  Homogeneity vs. Adjacency: generalising some graph decomposition algorithms. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603048]
• Heide Gluesing-Luerssen, Gert Schneider:
  State Space Realizations and Monomial Equivalence for Convolutional Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603049]
• Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich:
  Multiple serial episode matching. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603050]
• Nicolai Kuntze, Andreas U. Schmidt:
  Transitive trust in mobile scenarios. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603051]
• Evgueni Petrov:
  Evaluation of interval extension of the power function by graph decomposition. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603052]
• Ahmed Ait-Bouziad, Irène Guessarian, Laurent Vieille:
  Automatic generation of simplified weakest preconditions for integrity constraint verification. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603053]
• Martin Grohe, Oleg Verbitsky:
  Testing Graph Isomorphism in Parallel by Playing a Game. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603054]
• Ashfaq N. Shaik:
  Improved Watermarking Scheme Using Decimal Sequences. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603055]
• Philip M. Davis, Michael J. Fromerth:
  Does the arXiv lead to higher citations and reduced publisher downloads for mathematics articles? , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603056]
• David Eppstein, Michael T. Goodrich, Nodari Sitchinava:
  Guard Placement For Wireless Localization. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603057]
• Ciamac Cyrus Moallemi, Benjamin Van Roy:
  Convergence of the Min-Sum Message Passing Algorithm for Quadratic Optimization. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603058]
• Guangyue Han, Brian Marcus:
  Derivatives of Entropy Rate in Special Families of Hidden Markov Chains. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603059]
• Tobias Riege, Jörg Rothe, Holger Spakowski, Masaki Yamamoto:
  An Improved Exact Algorithm for the Domatic Number Problem. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603060]
• Chau Yuen, Yong Liang Guan, Tjeng Thiang Tjhung:
  Quasi-Orthogonal STBC With Minimum Decoding Complexity. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603061]
• Benoit Donnet, Bradley Huffaker, Timur Friedman, Kimberly C. Claffy:
  Implementation and Deployment of a Distributed Network Topology Discovery Algorithm. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603062]
• Daniel E. Severin:
  Unary Primitive Recursive Functions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603063]
• Rajesh Sundaresan:
  Guessing under source uncertainty. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603064]
• Nihar Jindal:
  MIMO Broadcast Channels with Finite Rate Feedback. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603065]
• Nihar Jindal:
  A Feedback Reduction Technique for MIMO Broadcast Channels. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603066]
• Priya Sivakumar:
  Implementing the Three-Stage Quantum Cryptography Protocol. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603067]
• Gil I. Shamir:
  Universal Lossless Compression with Unknown Alphabets - The Average Case. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603068]
• Fengwei Li, Xueliang Li:
  The neighbor-scattering number can be computed in polynomial time for interval graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603069]
• S. Z. Stefanov:
  Predicting the Path of an Open System. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603070]
• Klaus Meer, Martin Ziegler:
  An Explicit Solution to Post's Problem over the Reals. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603071]
• Raghuraman Mudumbai, J. Hespanha, Upamanyu Madhow, Gwen Barriac:
  Distributed Transmit Beamforming using Feedback Control. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603072]
• Bryan Ford:
  VXA: A Virtual Architecture for Durable Compressed Archives. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603073]
• Bryan Ford, Pyda Srisuresh, Dan Kegel:
  Peer-to-Peer Communication Across Network Address Translators. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603074]
• Bryan Ford:
  Unmanaged Internet Protocol: Taming the Edge Network Management Crisis. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603075]
• Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean C. Rhea, M. Frans Kaashoek, Robert Morris:
  User-Relative Names for Globally Connected Personal Devices. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603076]
• Bryan Ford:
  Packrat Parsing: Simple, Powerful, Lazy, Linear Time. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603077]
• Ciamac Cyrus Moallemi, Benjamin Van Roy:
  Consensus Propagation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603078]
• Maurizio Gabbrielli, Maria Chiara Meo:
  A compositional Semantics for CHR. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603079]
• Alin Suciu:
  Yet Another Efficient Unification Algorithm. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603080]
• Nikita A. Sakhanenko, George F. Luger, Hanna E. Makaruk, David B. Holtkamp:
  Application of Support Vector Regression to Interpolation of Sparse Shock Physics Data Sets. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603081]
• Wayne Eberly, Mark Giesbrecht, Pascal Giorgi, Arne Storjohann, Gilles Villard:
  Solving Sparse Integer Linear Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603082]
• Ashutosh Deepak Gore, Abhay Karandikar:
  Entropy-optimal Generalized Token Bucket Regulator. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603083]
• Uriel Feige, Eran Ofek:
  Random 3CNF formulas elude the Lovasz theta function. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603084]
• Jonathan K. Adams, Basheer N. Bristow:
  Access Control for Hierarchical Joint-Tenancy. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603085]
• Joël Le Roux, Philippe Chaurand, Mickael Urrutia:
  Matching Edges in Images ; Application to Face Recognition. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603086]
• Arijit Ganguly, Abhishek Agrawal, P. Oscar Boykin, Renato J. O. Figueiredo:
  IP over P2P: Enabling Self-configuring Virtual IP Networks for Grid Computing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603087]
• Himanshu Thapliyal, Saurabh Kotiyal, M. B. Srinivas:
  Novel BCD Adders and Their Reversible Logic Implementation for IEEE 754r Format. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603088]
• Lawrence M. Ioannou, Benjamin C. Travaglione, Donny Cheung:
  Convex Separation from Optimization via Heuristics. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603089]
• Alexander N. Gorban, Neil R. Sumner, Andrei Yu. Zinovyev:
  Topological Grammars for Data Approximation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603090]
• Himanshu Thapliyal, M. B. Srinivas:
  A New Reversible TSG Gate and Its Application For Designing Efficient Adder Circuits. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603091]
• Himanshu Thapliyal, M. B. Srinivas:
  An Extension to DNA Based Fredkin Gate Circuits: Design of Reversible Sequential Circuits using Fredkin Gates. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603092]
• Maurice Margenstern:
  About the domino problem in the hyperbolic plane from an algorithmic point of view. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603093]
• Julien Dumont, Philippe Loubaton, Samson Lasaulce:
  On the Capacity Achieving Transmit Covariance Matrices of MIMO Correlated Rician Channels: A Large System Approach. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603094]
• Yan-Xiu Zheng, Yu T. Su:
  A Turbo Coding System for High Speed Communications. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603095]
• Massimiliano Siti, Michael P. Fitz:
  On Reduced Complexity Soft-Output MIMO ML detection. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603096]
• Gustavo L. Gilardoni:
  On Pinsker's Type Inequalities and Csiszar's f-divergences. Part I: Second and Fourth-Order Inequalities. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603097]
• Siddharth Ray, Muriel Médard, Lizhong Zheng:
  A SIMO Fiber Aided Wireless Network Architecture. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603098]
• Alin Suciu, Rodica Potolea, Tudor Muresan:
  Benchmark Problems for Constraint Solving. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603099]
• Alin Suciu, Kalman Pusztai:
  Efficient Compression of Prolog Programs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603100]
• Alin Suciu, Kalman Pusztai, Andrei Vancea:
  Prolog Server Pages. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603101]
• Alin Suciu, Kalman Pusztai, Andrei Diaconu:
  Enhanced Prolog Remote Predicate Call Protocol. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603102]
• Amir Leshem, Ephraim Zehavi:
  Bargaining over the interference channel. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603103]
• Vincent Atassi, Patrick Baillot, Kazushige Terui:
  Verification of Ptime reducibility for system F terms via Dual Light Affine Logic. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603104]
• Gregory Kucherov, Laurent Noé, Mikhail A. Roytberg:
  A unifying framework for seed sensitivity and its application to subset seeds (Extended abstract). , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603105]
• Gregory Kucherov, Laurent Noé, Yann Ponty:
  Estimating seed sensitivity on homogeneous alignments. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603106]
• Pedro Fortuny Ayuso:
  Towards an information-theoretically safe cryptographic protocol. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603107]
• Michael Brinkmeier:
  Minimizing Symmetric Set Functions Faster. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603108]
• Saravanan Vijayakumaran:
  Encoding of Functions of Correlated Sources. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603109]
• Daniil Ryabko, Marcus Hutter:
  Asymptotic Learnability of Reinforcement Problems with Arbitrary Dependence. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603110]
• T. Blachowicz, M. Wieja:
  Remote-control and clustering of physical computations using the XML-RPC protocol and the open-Mosix system. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603111]
• Joseph S. Kong, Jesse S. A. Bridgewater, Vwani P. Roychowdhury:
  A General Framework for Scalability and Performance Analysis of DHT Routing Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603112]
• Serge Gornev:
  Mathematical Modeling of Aerodynamic Space -to - Surface Flight with Trajectory for Avoid Intercepting Process. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603113]
• Gregory Pluta, Larry Brumbaugh, William Yurcik:
  Using SMART for Customized Monitoring of Windows Services. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603114]
• Guillaume Da Graça, David Defour:
  Implementation of float-float operators on graphics hardware. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603115]
• Gilson A. Giraldi, B. F. Moutinho, D. M. L. de Carvalho, Jauvane C. de Oliveira:
  Fourier Analysis and Holographic Representations of 1D and 2D Signals. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603116]
• Yves Bertot:
  Affine functions and series with co-inductive real numbers. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603117]
• Yves Bertot:
  Coq in a Hurry. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603118]
• Yves Bertot:
  CoInduction in Coq. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603119]
• Zengyou He:
  Approximation Algorithms for K-Modes Clustering. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603120]
• Scott A. Turner, Manuel A. Pérez-Quiñones, Stephen H. Edwards:
  minimUML: A Minimalist Approach to UML Diagraming for Early Computer Science Education. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603121]
• Eugénie Foustoucos, Irène Guessarian:
  Complexity of Monadic inf-datalog. Application to temporal logic. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603122]
• Sheng Yang, Jean-Claude Belfiore:
  Towards the Optimal Amplify-and-Forward Cooperative Diversity Scheme. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603123]
• Sheng Yang, Jean-Claude Belfiore:
  Diversity-Multiplexing Tradeoff of Double Scattering MIMO Channels. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603124]
• Russ Abbott:
  If a tree casts a shadow is it telling the time? , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603125]
• Russ Abbott:
  Open at the Top; Open at the Bottom; and Continually (but Slowly) Evolving. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603126]
• Russ Abbott:
  Complex Systems + Systems Engineering = Complex Systems Engineeri. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603127]
• Kai-Uwe Schmidt:
  On Cosets of the Generalized First-Order Reed-Muller Code with Low PMEPR. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603128]
• Xiamoneg Su, Damiano Bolzoni, Pascal van Eck:
  A Business Goal Driven Approach for Understanding and Specifying Information Security Requirements. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603129]
• Rashmi Agarwal, M. S. Santhanam:
  Digital watermarking in the singular vector domain. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603130]
• Chris Snow, Lutz H.-J. Lampe, Robert Schober:
  Error Rate Analysis for Coded Multicarrier Systems over Quasi-Static Fading Channels. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603131]
• Michael D. McGuigan:
  Graphics Turing Test. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0603132]
• Michael Chertkov, Vladimir Y. Chernyak:
  Loop series for discrete statistical models on graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cond-mat/0603189]
• Lenka Zdeborová, Marc Mézard:
  The number of matchings in random graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cond-mat/0603350]
• Marco Budinich, Paolo Budinich:
  A Spinorial Formulation of the Maximum Clique Problem of a Graph. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math-ph/0603068]
• Igor Podlubny, Katarina Kassayova:
  Towards a better list of citation superstars: compiling a multidisciplinary list of highly cited researchers. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0603024]
• Michel Fliess, Cédric Join, Mamadou Mboup, Hebertt Sira-Ramírez:
  Vers une commande multivariable sans modèle. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0603155]
• James Demmel, Ioana Dumitriu, Olga Holtz, Robert Kleinberg:
  Fast matrix multiplication is stable. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0603207]
• Saugata Basu, Richard Pollack, Marie-Françoise Roy:
  Computing the First Betti Numberand Describing the Connected Components of Semi-algebraic Sets. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0603248]
• Saugata Basu, Richard Pollack, Marie-Françoise Roy:
  An asymptotically tight bound on the number of connected components of realizable sign conditions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0603256]
• Saugata Basu:
  Computing the Top Betti Numbers of Semi-algebraic Sets Defined by Quadratic Inequalities in Polynomial Time. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0603262]
• Saugata Basu:
  Computing the First Few Betti Numbers of Semi-algebraic Sets in Single Exponential Time. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0603263]
• P. N. Denisenko:
  Lanczos $\tau$-method optimal algorithm in APS for approximating the mathematical functions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0603606]
• D. Napoletani, D. C. Struppa, T. Sauer, V. Morozov, N. Vsevolodov, C. Bailey:
  Functional dissipation microarrays for classification. , (informal publication)
  Electronic Edition (link) BibTeX [abs/physics/0603002]
• Jairo Rocha, Francesc Rosselló, Joan Segura:
  Compression ratios based on the Universal Similarity Metric still yield protein distances far from CATH distances. , (informal publication)
  Electronic Edition (link) BibTeX [abs/q-bio/0603007]
• Masahito Hayashi:
  Channel capacities of classical and quantum list decoding. , (informal publication)
  Electronic Edition (link) BibTeX [abs/quant-ph/0603031]
• Shengyu Zhang:
  New upper and lower bounds for randomized and quantum Local Search. , (informal publication)
  Electronic Edition (link) BibTeX [abs/quant-ph/0603034]
• Dmitry Gavinsky, Julia Kempe, Ronald de Wolf:
  Strengths and Weaknesses of Quantum Fingerprinting. , (informal publication)
  Electronic Edition (link) BibTeX [abs/quant-ph/0603173]
• Lawrence M. Ioannou:
  Computational complexity of the quantum separability problem. , (informal publication)
  Electronic Edition (link) BibTeX [abs/quant-ph/0603199]
• Jose-Luis Lopez, Ricardo López-Ruiz:
  Approximating the Amplitude and Form of Limit Cycles in the Weakly Nonlinear Regime of Lienard Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/nlin/0603076]
• Stephen D. Miller, Ramarathnam Venkatesan:
  Spectral Analysis of Pollard Rho Collisions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0603727]
• Bogdan Danila, Yong Yu, Samuel Earl, John A. Marsh, Zoltán Toroczkai, Kevin E. Bassler:
  Congestion-gradient driven transport on complex networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cond-mat/0603861]