CoRR, October 2005

• João V. B. Soares, Jorge J. G. Leandro, Roberto M. Cesar, Herbert F. Jelinek, Michael J. Cree:
  Retinal Vessel Segmentation Using the 2-D Morlet Wavelet and Supervised Classification. , (informal publication)
  [abs/cs/0510001]
• Krishna Srikanth Gomadam, Syed Ali Jafar:
  Optimal Relay Functionality for SNR Maximization in Memoryless Relay Networks. , (informal publication)
  [abs/cs/0510002]
• Giuseppe Thadeu Freitas de Abreu:
  Generalized ABBA Space-Time Block Codes. , (informal publication)
  [abs/cs/0510003]
• Deepak Agarwal, Jeff M. Phillips, Suresh Venkatasubramanian:
  The Hunting of the Bump: On Maximizing Statistical Discrepancy. , (informal publication)
  [abs/cs/0510004]
• Or Zuk, Eytan Domany, Ido Kanter, Michael Aizenman:
  Taylor series expansions for the entropy rate of Hidden Markov Processes. , (informal publication)
  [abs/cs/0510005]
• Stefano Bregni, Luca Primerano:
  Using the Modified Allan Variance for Accurate Estimation of the Hurst Parameter of Long-Range Dependent Traffic. , (informal publication)
  [abs/cs/0510006]
• Fabien Viger, Alain Barrat, Luca Dall'Asta, Cun-Hui Zhang, Eric D. Kolaczyk:
  Network Inference from TraceRoute Measurements: Internet Topology `Species'. , (informal publication)
  [abs/cs/0510007]
• Carlos Miravet, Francisco B. Rodríguez:
  Accurate and robust image superresolution by neural processing of local image representations. , (informal publication)
  [abs/cs/0510008]
• Christine A. Kelley, Deepak Sridhara, Joachim Rosenthal:
  Tree-Based Construction of LDPC Codes Having Good Pseudocodeword Weights. , (informal publication)
  [abs/cs/0510009]
• Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi:
  On the Expressiveness of the Ambient Logic. , (informal publication)
  [abs/cs/0510010]
• David Delahaye, Micaela Mayero:
  Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant. , (informal publication)
  [abs/cs/0510011]
• Foto N. Afrati, Theodore Andronikos, Vassia Pavlaki, Eugénie Foustoucos, Irène Guessarian:
  On relating CTL to Datalog. , (informal publication)
  [abs/cs/0510012]
• Luc Bouganim, Cosmin Cremarenco, François Dang Ngoc, Nicolas Dieu, Philippe Pucheral:
  Safe Data Sharing and Data Dissemination on Smart Devices. , (informal publication)
  [abs/cs/0510013]
• Clément Pernet, Aude Rondepierre, Gilles Villard:
  Computing the Kalman form. , (informal publication)
  [abs/cs/0510014]
• Laurent Audibert:
  Word sense disambiguation criteria: a systematic study. , (informal publication)
  [abs/cs/0510015]
• Or Zuk, Eytan Domany, Ido Kanter, Michael Aizenman:
  From finite-system entropy to entropy rate for a Hidden Markov Process. , (informal publication)
  [abs/cs/0510016]
• Svante Janson, Wojciech Szpankowski:
  Partial fillup and search time in LC tries. , (informal publication)
  [abs/cs/0510017]
• Danilo Gligoroski:
  Candidate One-Way Functions and One-Way Permutations Based on Quasigroup String Transformations. , (informal publication)
  [abs/cs/0510018]
• Rina Panigrahy:
  Entropy based Nearest Neighbor Search in High Dimensions. , (informal publication)
  [abs/cs/0510019]
• Thierry Poibeau:
  Sur le statut référentiel des entités nommées. , (informal publication)
  [abs/cs/0510020]
• Farhad Meshkati, H. Vincent Poor, Stuart C. Schwartz, Dongning Guo:
  A Unified Power Control Algorithm for Multiuser Detectors in Large Systems: Convergence and Performance. , (informal publication)
  [abs/cs/0510021]
• Sam Bretheim:
  Cryptographic Authentication of Navigation Protocols. , (informal publication)
  [abs/cs/0510022]
• Cristina Comaniciu, H. Vincent Poor:
  On the capacity of mobile ad hoc networks with delay constraints. , (informal publication)
  [abs/cs/0510023]
• David Eppstein, Michael T. Goodrich, Jeremy Yu Meng:
  Delta-confluent Drawings. , (informal publication)
  [abs/cs/0510024]
• Thierry Despeyroux:
  Practical Semantic Analysis of Web Sites and Documents. , (informal publication)
  [abs/cs/0510025]
• Alvaro Enriquez de Luna, Carlos Miravet, Deitze Otaduy, Carlos Dorronsoro:
  A decision support system for ship identification based on the curvature scale space representation. , (informal publication)
  [abs/cs/0510026]
• Alexandre d'Aspremont:
  A Market Test for the Positivity of Arrow-Debreu Prices. , (informal publication)
  [abs/cs/0510027]
• Victor S. Grishchenko:
  Geo-aggregation permits low stretch and routing tables of logarithmical size. , (informal publication)
  [abs/cs/0510028]
• Konstantin Makarychev, Yury Makarychev:
  Conditionally independent random variables. , (informal publication)
  [abs/cs/0510029]
• Amin Mobasher, Mahmoud Taherzadeh, Renata Sotirov, Amir K. Khandani:
  A Near Maximum Likelihood Decoding Algorithm for MIMO Systems Based on Semi-Definite Programming. , (informal publication)
  [abs/cs/0510030]
• Constantinos Daskalakis:
  Computing Pure Nash Equilibria via Markov Random Fields. , (informal publication)
  [abs/cs/0510031]
• Mark D. Plumbley:
  Polar Polytopes and Recovery of Sparse Representations. , (informal publication)
  [abs/cs/0510032]
• Navin Kashyap, Paul H. Siegel, Alexander Vardy:
  Coding for the Optical Channel: the Ghost-Pulse Constraint. , (informal publication)
  [abs/cs/0510033]
• Zsolt I. Lázár, Andreea Fanea, Dragos Petrascu, Vladiela Ciobotariu-Boer, Bazil Pârv:
  COMODI: On the Graphical User Interface. , (informal publication)
  [abs/cs/0510034]
• Alexandre Graell i Amat, Guido Montorsi, Francesca Vatta:
  Design and Performance Analysis of a New Class of Rate Compatible Serial Concatenated Convolutional Codes. , (informal publication)
  [abs/cs/0510035]
• Jan Chomicki:
  Semantic Optimization Techniques for Preference Queries. , (informal publication)
  [abs/cs/0510036]
• Rokia Bendaoud, Yannick Toussaint, Amedeo Napoli:
  Hiérarchisation des règles d'association en fouille de textes. , (informal publication)
  [abs/cs/0510037]
• Alp Atici, Rocco A. Servedio:
  Learning Unions of $\omega(1)$-Dimensional Rectangles. , (informal publication)
  [abs/cs/0510038]
• Christophe Bobda, Ali Ahmadinia, Mateusz Majer, Jürgen Teich, Sándor P. Fekete, Jan van der Veen:
  DyNoC: A Dynamic Infrastructure for Communication in Dynamically Reconfigurable Devices. , (informal publication)
  [abs/cs/0510039]
• Ken Krechmer:
  The "...system of constraints". , (informal publication)
  [abs/cs/0510040]
• Gérard Henry Edmond Duchamp, Pawel Blasiak, Andrzej Horzela, Karol A. Penson, Allan I. Solomon:
  Feynman graphs and related Hopf algebras. , (informal publication)
  [abs/cs/0510041]
• David Naccache:
  Secure and {\sl Practical} Identity-Based Encryption. , (informal publication)
  [abs/cs/0510042]
• Pascal O. Vontobel, Roxana Smarandache:
  On Minimal Pseudo-Codewords of Tanner Graphs from Projective Planes. , (informal publication)
  [abs/cs/0510043]
• Andrea Montanari, Balaji Prabhakar, David Tse:
  Belief Propagation Based Multi--User Detection. , (informal publication)
  [abs/cs/0510044]
• Cyril Measson, Andrea Montanari, Rüdiger L. Urbanke:
  Why We Can Not Surpass Capacity: The Matching Condition. , (informal publication)
  [abs/cs/0510045]
• Dmitry Mogilevsky, Adam J. Lee, William Yurcik:
  Defining a Comprehensive Threat Model for High Performance Computational Clusters. , (informal publication)
  [abs/cs/0510046]
• Oliver Henkel:
  Geometrical relations between space time block code designs and complexity reduction. , (informal publication)
  [abs/cs/0510047]
• Alexander Kröller, Sándor P. Fekete, Dennis Pfisterer, Stefan Fischer:
  Deterministic boundary recognition and topology extraction for large sensor networks. , (informal publication)
  [abs/cs/0510048]
• Roxana Smarandache, Marcel Wauer:
  Bounds on the Pseudo-Weight of Minimal Pseudo-Codewords of Projective Geometry Codes. , (informal publication)
  [abs/cs/0510049]
• Gilles Kassel:
  Integration of the DOLCE top-level ontology into the OntoSpec methodology. , (informal publication)
  [abs/cs/0510050]
• Gianluca Argentini:
  Numerical resolution of some BVP using Bernstein polynomials. , (informal publication)
  [abs/cs/0510051]
• Victor S. Grishchenko:
  Remarks on "Toward Compact Interdomain Routing". , (informal publication)
  [abs/cs/0510052]
• Martin Kutz:
  A pair of trees without a simultaneous geometric embedding in the plane. , (informal publication)
  [abs/cs/0510053]
• Le Zhao, Min Zhang, Shaoping Ma:
  The Nature of Novelty Detection. , (informal publication)
  [abs/cs/0510054]
• Syed Ali Jafar, Maralle J. Fakhereddin:
  Degrees of Freedom in Multiuser MIMO. , (informal publication)
  [abs/cs/0510055]
• Yoon Mo Jung, Jianhong Shen:
  First-Order Modeling and Stability Analysis of Illusory Contours. , (informal publication)
  [abs/cs/0510056]
• Jean-Guillaume Dumas, Dominique Duval:
  Towards a diagrammatic modeling of the LinBox C++ linear algebra library. , (informal publication)
  [abs/cs/0510057]
• Peter Jung:
  Precoding for 2x2 Doubly-Dispersive WSSUS Channels. , (informal publication)
  [abs/cs/0510058]
• Michel Parent, Arnaud de La Fortelle:
  Cybercars : Past, Present and Future of the Technology. , (informal publication)
  [abs/cs/0510059]
• Leif Hanlen, Alex J. Grant:
  Optimal Transmit Covariance for Ergodic MIMO Channels. , (informal publication)
  [abs/cs/0510060]
• Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog:
  Nonmonotonic Trust Management for P2P Applications. , (informal publication)
  [abs/cs/0510061]
• Jamal Saboune, François Charpillet:
  Using Interval Particle Filtering for Marker less 3D Human Motion Capture. , (informal publication)
  [abs/cs/0510062]
• Jamal Saboune, François Charpillet:
  Markerless Human Motion Capture for Gait Analysis. , (informal publication)
  [abs/cs/0510063]
• Rosa M. V. Figueiredo, Valmir C. Barbosa, Nelson Maculan, Cid C. de Souza:
  Acyclic orientations with path constraints. , (informal publication)
  [abs/cs/0510064]
• Adam Wierzbicki, Aneta Zwierko, Zbigniew Kotulski:
  A new authentication protocol for revocable anonymity in ad-hoc networks. , (informal publication)
  [abs/cs/0510065]
• Bruno Courcelle:
  The monadic second-order logic of graphs XVI : Canonical graph<br> decompositions. , (informal publication)
  [abs/cs/0510066]
• Arya Mazumdar, Adrish Banerjee, Ajit Kumar Chaturvedi:
  On the Spread of Random Interleaver. , (informal publication)
  [abs/cs/0510067]
• Sinan Gezici, Zafer Sahinoglu, Hisashi Kobayashi, H. Vincent Poor:
  Ultra Wideband Impulse Radio Systems with Multiple Pulse Types. , (informal publication)
  [abs/cs/0510068]
• Udi Boker, Nachum Dershowitz:
  Comparing Computational Power. , (informal publication)
  [abs/cs/0510069]
• Desmond S. Lun, Muriel Médard, Ralf Koetter, Michelle Effros:
  On Coding for Reliable Communication over Packet Networks. , (informal publication)
  [abs/cs/0510070]
• Aggelos Bletsas, Ashish Khisti, David P. Reed, Andrew Lippman:
  A Simple Cooperative Diversity Method Based on Network Path Selection. , (informal publication)
  [abs/cs/0510071]
• Dumitru Mihai Ionescu, Dung N. Doan, Steven D. Gray:
  On Interleaving Techniques for MIMO Channels and Limitations of Bit Interleaved Coded Modulation. , (informal publication)
  [abs/cs/0510072]
• Christian Attiogbé:
  Semantic Embedding of Petri Nets into Event-B. , (informal publication)
  [abs/cs/0510073]
• Matthew Fluet, Riccardo Pucella:
  Practical Datatype Specializations with Phantom Types and Recursion Schemes. , (informal publication)
  [abs/cs/0510074]
• Mustafa Cenk Gursoy, Sergio Verdú, H. Vincent Poor:
  On-Off Frequency-Shift-Keying for Wideband Fading Channels. , (informal publication)
  [abs/cs/0510075]
• Olivier Pauplin, Jean Louchet, Evelyne Lutton, Michel Parent:
  Applying Evolutionary Optimisation to Robot Obstacle Avoidance. , (informal publication)
  [abs/cs/0510076]
• Oskari Ajanki, Antti Knowles:
  Connection state overhead in a dynamic linear network. , (informal publication)
  [abs/cs/0510077]
• Hua Wang, Pramod Viswanath:
  Vector Gaussian Multiple Description with Individual and Central Receivers. , (informal publication)
  [abs/cs/0510078]
• Joseph Y. Halpern, Riccardo Pucella:
  Evidence with Uncertain Likelihoods. , (informal publication)
  [abs/cs/0510079]
• Peter D. Grünwald, Joseph Y. Halpern:
  When Ignorance is Bliss. , (informal publication)
  [abs/cs/0510080]
• Toan Nguyen, Lizhe Wang, Vittorio Selmin:
  Virtual Environments for multiphysics code validation on Computing Grids. , (informal publication)
  [abs/cs/0510081]
• J. Ignacio Alvarez-Hamelin, Aline Carneiro Viana, Marcelo Dias de Amorim:
  Architectural Considerations for a Self-Configuring Routing Scheme for Spontaneous Networks. , (informal publication)
  [abs/cs/0510082]
• Kerkeni Nizar, Frédéric Alexandre, Mohamed Bedoui Hedi, Laurent Bougrain, Mohamed Dogui:
  Neuronal Spectral Analysis of EEG and Expert Knowledge Integration for Automatic Classification of Sleep Stages. , (informal publication)
  [abs/cs/0510083]
• Michel Fliess:
  Réflexions sur la question fréquentielle en traitement du signal. , (informal publication)
  [abs/cs/0510084]
• Scott T. Rickard, Radu V. Balan, H. Vincent Poor, Sergio Verdú:
  Canonical time-frequency, time-scale, and frequency-scale representations of time-varying channels. , (informal publication)
  [abs/cs/0510085]
• Krishnaram Kenthapadi, Rina Panigrahy:
  Balanced Allocation on Graphs. , (informal publication)
  [abs/cs/0510086]
• J. Grosse:
  MathPSfrag: Creating Publication-Quality Labels in Mathematica Plots. , (informal publication)
  [abs/cs/0510087]
• Rajeev Motwani, Assaf Naor, Rina Panigrahy:
  Lower bounds on Locality Sensitive Hashing. , (informal publication)
  [abs/cs/0510088]
• Rawan Ghnemat, Khalaf Khatatneh, Saleh Oqeili, Cyrille Bertelle, Gérard Henry Edmond Duchamp:
  Automata-based adaptive behavior for economic modeling using game theory. , (informal publication)
  [abs/cs/0510089]
• Jyh-Yang Wu, Sheng-Gwo Chen, Mei-Hsiu Chi:
  A simple effective method for curvatures estimation on triangular meshes. , (informal publication)
  [abs/cs/0510090]
• Marc Schoenauer, Yann Semet:
  An efficient memetic, permutation-based evolutionary algorithm for real-world train timetabling. , (informal publication)
  [abs/cs/0510091]
• Ugo Dal Lago:
  Context Semantics, Linear Logic and Computational Complexity. , (informal publication)
  [abs/cs/0510092]
• M. Tentyukov, J. A. M. Vermaseren, H. M. Staudenmaier:
  ParFORM: recent development. , (informal publication)
  [abs/cs/0510093]
• Angel de Vicente, Nayra Rodriguez:
  Big Science with a Small Budget: Non-Embarrassingly Parallel Applications in a Non-Dedicated Network of Workstations. , (informal publication)
  [abs/cs/0510094]
• Aaron B. Wagner, Saurabha Tavildar, Pramod Viswanath:
  Rate Region of the Quadratic Gaussian Two-Terminal Source-Coding Problem. , (informal publication)
  [abs/cs/0510095]
• A. G. Basden, F. Assemat, T. Butterley, D. Geng, C. D. Saunter, R. W. Wilson:
  Acceleration of adaptive optics simulations using programmable logic. , (informal publication)
  [abs/astro-ph/0510041]
• Michael S. Noble, John C. Houck, John E. Davis, Andrew Young, Michael Nowak:
  Using the Parallel Virtual Machine for Everyday Analysis. , (informal publication)
  [abs/astro-ph/0510688]
• Satya N. Majumdar:
  Brownian Functionals in Physics and Computer Science. , (informal publication)
  [abs/cond-mat/0510064]
• David S. Dean, Satya N. Majumdar:
  Phase Transition in the Aldous-Shields Model of Growing Trees. , (informal publication)
  [abs/cond-mat/0510429]
• David B. Chua, Eric D. Kolaczyk, Mark Crovella:
  Network Kriging. , (informal publication)
  [abs/math/0510013]
• David Eppstein:
  Cubic Partial Cubes from Simplicial Arrangements. , (informal publication)
  [abs/math/0510263]
• Richard D. Gill, Peter D. Güunwald:
  An algorithmic and a geometric characterization of Coarsening At Random. , (informal publication)
  [abs/math/0510276]
• Bernd Fiedler:
  Stationary or static space-times and Young tableaux. , (informal publication)
  [abs/math/0510304]
• Eduardo Cattani, Alicia Dickenstein:
  Counting Solutions to Binomial Complete Intersections. , (informal publication)
  [abs/math/0510520]
• XuanLong Nguyen, Martin J. Wainwright, Michael I. Jordan:
  On divergences, surrogate loss functions, and decentralized detection. , (informal publication)
  [abs/math/0510521]
• Shmuel Friedland, Mostafa Kaveh, Amir Niknejad, Hossein Zare:
  Fast Monte-Carlo Low Rank Approximations for Matrices. , (informal publication)
  [abs/math/0510573]
• A. Vazquez, J. Gama Oliveira, Z. Dezso, K.-I. Goh, I. Kondor, Albert-László Barabási:
  Modeling bursts and heavy tails in human dynamics. , (informal publication)
  [abs/physics/0510117]
• Carl T. Bergstrom, Michael Lachmann:
  The fitness value of information. , (informal publication)
  [abs/q-bio/0510007]
• Jose I. Latorre:
  Image compression and entanglement. , (informal publication)
  [abs/quant-ph/0510031]
• Scott Aaronson:
  QMA/qpoly Is Contained In PSPACE/poly: De-Merlinizing Quantum Protocols. , (informal publication)
  [abs/quant-ph/0510230]
• Alex Samorodnitsky, Luca Trevisan:
  Gowers Uniformity, Influence of Variables, and PCPs. , (informal publication)
  [abs/math/0510264]