CoRR, April 2009

• Tad Hogg, Kristina Lerman:
  Stochastic Models of User-Contributory Web Sites. , (informal publication)
  [abs/0904.0016]
• Josep Argelich, Inês Lynce, João P. Marques Silva:
  On Solving Boolean Multilevel Optimization Problems. , (informal publication)
  [abs/0904.0019]
• Marko A. Rodriguez, Jennifer H. Watkins:
  Faith in the Algorithm, Part 2: Computational Eudaemonics. , (informal publication)
  [abs/0904.0027]
• Youssef Hamadi, Saïd Jabbour, Lakhdar Sais:
  Learning for Dynamic subsumption. , (informal publication)
  [abs/0904.0029]
• Mario R. F. Benevides, L. Menasché Schechter:
  CCS-Based Dynamic Logics for Communicating Concurrent Programs. , (informal publication)
  [abs/0904.0034]
• Anders Høst-Madsen:
  Deterministic Capacity of MIMO Relay Networks. , (informal publication)
  [abs/0904.0037]
• Anatoly Pashkevich, Damien Chablat, Philippe Wenger:
  Stiffness Analysis of Overconstrained Parallel Manipulators. , (informal publication)
  [abs/0904.0052]
• Damien Chablat, Stefan Staicu:
  Kinematics of A 3-PRP planar parallel robot. , (informal publication)
  [abs/0904.0058]
• Michael Huber:
  Authentication and Secrecy Codes for Equiprobable Source Probability Distributions. , (informal publication)
  [abs/0904.0109]
• Raza Ur-Rehman, Stéphane Caro, Damien Chablat, Philippe Wenger:
  Kinematic and Dynamic Analysis of the 2-DOF Spherical Wrist of Orthoglide 5-axis. , (informal publication)
  [abs/0904.0145]
• Pascal Mérindol, Jean-Jacques Pansiot, Stéphane Cateloin:
  The mdt algorithm. , (informal publication)
  [abs/0904.0217]
• Peng Wu, Nihar Jindal:
  Coding Versus ARQ in Fading Channels: How reliable should the PHY be? , (informal publication)
  [abs/0904.0226]
• Genady Grabarnik, Aaron Kershenbaum:
  Safe Reasoning Over Ontologies. , (informal publication)
  [abs/0904.0228]
• Viveck R. Cadambe, Syed Ali Jafar, Chenwei Wang:
  Interference Alignment with Asymmetric Complex Signaling - Settling the Host-Madsen-Nosratinia Conjecture. , (informal publication)
  [abs/0904.0274]
• Khanh Do Ba, Huy L. Nguyen, Huy N. Nguyen, Ronitt Rubinfeld:
  Sublinear Time Algorithms for Earth Mover's Distance. , (informal publication)
  [abs/0904.0292]
• Gennady Agre, Petar Kormushev, Ivan Dilov:
  INFRAWEBS axiom editor - a graphical ontology-driven tool for creating complex logical expressions. , (informal publication)
  [abs/0904.0293]
• Petar Kormushev:
  Design, development and implementation of a tool for construction of declarative functional descriptions of semantic web services based on WSMO methodology. , (informal publication)
  [abs/0904.0300]
• Masahito Hayashi:
  Exponential evaluations in universal random privacy amplification. , (informal publication)
  [abs/0904.0308]
• Petar Kormushev:
  Visual approach for data mining on medical information databases using Fastmap algorithm. , (informal publication)
  [abs/0904.0313]
• Shlomi Dolev, Yuval Elovici, Rami Puzis, Polina Zilberman:
  Incremental Deployment of Network Monitors Based on Group Betweenness Centrality. , (informal publication)
  [abs/0904.0352]
• Vincent Rialle, Catherine Ollivet, Carole Guigui, Christian Hervé:
  What Do Family Caregivers of Alzheimer's Disease Patients Desire in Smart Home Technologies? , (informal publication)
  [abs/0904.0437]
• J. M. Landsberg, Jason Morton, Serguei Norine:
  Holographic algorithms without matchgates. , (informal publication)
  [abs/0904.0471]
• Fang Wu, Bernardo A. Huberman:
  Persistence and Success in the Attention Economy. , (informal publication)
  [abs/0904.0489]
• Yonina C. Eldar, Holger Rauhut:
  Average Case Analysis of Multichannel Sparse Recovery Using Convex Relaxation. , (informal publication)
  [abs/0904.0494]
• Zhi-Han Gao, Fang-Wei Fu:
  The Minimal Polynomial over F_q of Linear Recurring Sequence over F_{q^m}. , (informal publication)
  [abs/0904.0525]
• Pabitra Pal Choudhury, Sudhakar Sahoo, Birendra Kumar Nayak, Sarif Sk. Hassan:
  Theory of Carry Value Transformation (CVT) and its Application in Fractal formation. , (informal publication)
  [abs/0904.0534]
• Jaeok Park, Mihaela van der Schaar:
  Mission-Aware Medium Access Control in Random Access Networks. , (informal publication)
  [abs/0904.0544]
• Petar Kormushev, Kohei Nomoto, Fangyan Dong, Kaoru Hirota:
  Time Hopping technique for faster reinforcement learning in simulations. , (informal publication)
  [abs/0904.0545]
• Petar Kormushev, Kohei Nomoto, Fangyan Dong, Kaoru Hirota:
  Eligibility Propagation to Speed up Time Hopping for Reinforcement Learning. , (informal publication)
  [abs/0904.0546]
• Georg Moser, Andreas Schnabl:
  The Derivational Complexity Induced by the Dependency Pair Method. , (informal publication)
  [abs/0904.0570]
• Gergely Lukácsy, Péter Szeredi:
  Efficient Description Logic Reasoning in Prolog: The DLog system. , (informal publication)
  [abs/0904.0578]
• Karthekeyan Chandrasekaran, Daniel Dadush, Santosh Vempala:
  Thin Partitions: Isoperimetric Inequalities and Sampling Algorithms for some Nonconvex Families. , (informal publication)
  [abs/0904.0583]
• Abbas Dideban, M. Zareiee, Hassane Alla:
  Controller synthesis with very simplified linear constraints in PN model. , (informal publication)
  [abs/0904.0585]
• Hassane Alla:
  Optimal Supervisory Control Synthesis. , (informal publication)
  [abs/0904.0586]
• Van Hung Le, Fei Liu, Dinh Khang Tran:
  Fuzzy Linguistic Logic Programming and its Applications. , (informal publication)
  [abs/0904.0589]
• David N. Levin:
  Performing Nonlinear Blind Source Separation with Signal Invariants. , (informal publication)
  [abs/0904.0643]
• Xi Chen, Decheng Dai, Ye Du, Shang-Hua Teng:
  Settling the Complexity of Arrow-Debreu Equilibria in Markets with Additively Separable Utilities. , (informal publication)
  [abs/0904.0644]
• Nisheeth Srivastava:
  Evolvability need not imply learnability. , (informal publication)
  [abs/0904.0648]
• Michaela Götz, Ashwin Machanavajjhala, Guozhang Wang, Xiaokui Xiao, Johannes Gehrke:
  Privacy in Search Logs. , (informal publication)
  [abs/0904.0682]
• M. Rémon:
  The "P-NP" problem and the deterministic or time-independent nature of Mathematics. , (informal publication)
  [abs/0904.0698]
• Sergey Andreyev:
  Moveable objects and applications, based on them. , (informal publication)
  [abs/0904.0719]
• Linh Anh Nguyen, Andrzej Szalas:
  Optimal Tableau Decision Procedures for PDL. , (informal publication)
  [abs/0904.0721]
• Hans L. Bodlaender, Fedor V. Fomin, Daniel Lokshtanov, Eelko Penninkx, Saket Saurabh, Dimitrios M. Thilikos:
  (Meta) Kernelization. , (informal publication)
  [abs/0904.0727]
• Jaime Anguita, Michael Chertkov, Mark A. Neifeld, Bane V. Vasic:
  Bethe Free Energy Approach to LDPC Decoding on Memory Channels. , (informal publication)
  [abs/0904.0747]
• Yasutada Oohama:
  Distributed Source Coding of Correlated Gaussian Remote Sources. , (informal publication)
  [abs/0904.0751]
• Srimathy Srinivasan, Andrew Thangaraj:
  Codes on Planar Graphs. , (informal publication)
  [abs/0904.0768]
• Ioannis Z. Koukoutsidis, Petros I. Papaioannou, Michael E. Theologou:
  Effect of cell residence time variance on the performance of an advanced paging algorithm. , (informal publication)
  [abs/0904.0771]
• Richard G. Clegg, Raul Landa, Uli Harder, Miguel Rio:
  Evaluating and Optimising Models of Network Growth. , (informal publication)
  [abs/0904.0785]
• Shachar Lovett:
  The density of weights of Generalized Reed--Muller codes. , (informal publication)
  [abs/0904.0811]
• Azadeh Khaleghi, Frank R. Kschischang:
  Projective Space Codes for the Injection Metric. , (informal publication)
  [abs/0904.0813]
• Corinna Cortes, Mehryar Mohri, Dmitry Pechyony, Ashish Rastogi:
  Stability Analysis and Learning Bounds for Transductive Regression Algorithms. , (informal publication)
  [abs/0904.0814]
• Ivana Stojanovic, William C. Karl:
  Imaging of moving targets with multi-static SAR using an overcomplete dictionary. , (informal publication)
  [abs/0904.0821]
• M. Anand, P. R. Kumar:
  On approximating Gaussian relay networks by deterministic networks. , (informal publication)
  [abs/0904.0828]
• David Pritchard:
  Approximability of Sparse Integer Programs. , (informal publication)
  [abs/0904.0859]
• Lorenzo Cappellari:
  On Superposition Coding for the Wyner-Ziv Problem. , (informal publication)
  [abs/0904.0879]
• Michael Hay, Vibhor Rastogi, Gerome Miklau, Dan Suciu:
  Boosting the Accuracy of Differentially-Private Queries Through Consistency. , (informal publication)
  [abs/0904.0942]
• Amelia Sparavigna:
  Color Dipole Moments for Edge Detection. , (informal publication)
  [abs/0904.0962]
• Kohtaro Tadaki:
  A statistical mechanical interpretation of algorithmic information theory III: Composite systems and fixed points. , (informal publication)
  [abs/0904.0973]
• Martin Avanzini, Georg Moser:
  Dependency Pairs and Polynomial Path Orders. , (informal publication)
  [abs/0904.0981]
• Sahbi Sidhom:
  Approche conceptuelle par un processus d'annotation pour la représentation et la valorisation de contenus informationnels en intelligence économique (IE). , (informal publication)
  [abs/0904.0986]
• Wolfgang W. Bein, Leah Epstein, Lawrence L. Larmore, John Noga:
  A Program to Determine the Exact Competitive Ratio of List s-Batching with Unit Jobs. , (informal publication)
  [abs/0904.1002]
• Christophe Tournier, Sylvain Lavernhe, Claire Lartigue:
  5-axis High Speed Milling Optimisation. , (informal publication)
  [abs/0904.1083]
• Kwamiwi Mawussi, Sylvain Lavernhe, Claire Lartigue:
  Usinage de poches en UGV - Aide au choix de stratégies. , (informal publication)
  [abs/0904.1084]
• David Nowak:
  On formal verification of arithmetic-based cryptographic primitives. , (informal publication)
  [abs/0904.1110]
• David Arthur, Bodo Manthey, Heiko Röglin:
  k-Means has Polynomial Smoothed Complexity. , (informal publication)
  [abs/0904.1113]
• Xiujie Huang, Aleksandar Kavcic, Xiao Ma:
  Upper Bounds on the Capacities of Non-Controllable Finite-State Channels with/without Feedback. , (informal publication)
  [abs/0904.1150]
• Björn Grohmann:
  A New Key-Agreement-Protocol. , (informal publication)
  [abs/0904.1186]
• Arian Maleki:
  Coherence Analysis of Iterative Thresholding Algorithms. , (informal publication)
  [abs/0904.1193]
• Navin Goyal, Luis Rademacher:
  Learning convex bodies is hard. , (informal publication)
  [abs/0904.1227]
• Kang Ning, Hon Wai Leong:
  The Distribution and Deposition Algorithm for Multiple Sequences Sets. , (informal publication)
  [abs/0904.1242]
• Raffaele Bruno, Vania Conan, Stéphane Rousseau:
  Maximizing the number of accepted flows in TDMA-based wireless ad hoc networks is APX-complete. , (informal publication)
  [abs/0904.1243]
• Jinzhong Niu, Simon Parsons:
  An Investigation Report on Auction Mechanism Design. , (informal publication)
  [abs/0904.1258]
• Marius Kleiner, Bixio Rimoldi:
  Asymptotically Optimal Joint Source-Channel Coding with Minimal Delay. , (informal publication)
  [abs/0904.1281]
• Manabu Inuma, Akira Otsuka, Hideki Imai:
  Theoretical framework for constructing matching algorithms in biometric authentication systems. , (informal publication)
  [abs/0904.1284]
• Monojit Choudhury, Animesh Mukherjee, Anupam Basu, Niloy Ganguly, Ashish Garg, Vaibhav Jalan:
  Language Diversity across the Consonant Inventories: A Study in the Framework of Complex Networks. , (informal publication)
  [abs/0904.1289]
• Jean-Luc Fouquet, Jean-Marie Vanherpe:
  On the perfect matching index of bridgeless cubic graphs. , (informal publication)
  [abs/0904.1296]
• Moritz Riede, Rico Schueppel, Kristian O. Sylvester-Hvid, Martin Kuehne, Michael C. Roettger, Klaus Zimmermann, Andreas W. Liehr:
  On the Communication of Scientific Results: The Full-Metadata Format. , (informal publication)
  [abs/0904.1299]
• Stephan Kreutzer:
  On the Parameterised Intractability of Monadic Second-Order Logic. , (informal publication)
  [abs/0904.1302]
• Hao Zhang, Gang Li, Huadong Meng:
  A Class of Novel STAP Algorithms Using Sparse Recovery Technique. , (informal publication)
  [abs/0904.1313]
• Jian Li, Barna Saha, Amol Deshpande:
  A Unified Approach to Ranking in Probabilistic Databases. , (informal publication)
  [abs/0904.1366]
• Javier M. Paredes, Babak H. Khalaj, Alex B. Gershman:
  Cooperative Transmission for Wireless Relay Networks Using Low-Rate Feedback. , (informal publication)
  [abs/0904.1369]
• Hooman Shirani-Mehr, Giuseppe Caire:
  MIMO Downlink Scheduling with Non-Perfect Channel State Knowledge. , (informal publication)
  [abs/0904.1409]
• Shiva Kintali, Laura J. Poplawski, Rajmohan Rajaraman, Ravi Sundaram, Shang-Hua Teng:
  Reducibility Among Fractional Stability Problems. , (informal publication)
  [abs/0904.1435]
• Chaomei Chen, Yue Chen, Mark Horowitz, Haiyan Hou, Zeyuan Liu, Donald Pellegrino:
  Towards an explanatory and computational theory of scientific discovery. , (informal publication)
  [abs/0904.1439]
• Radha Krishna Ganti, Martin Haenggi:
  Spatial and Temporal Correlation of the Interference in ALOHA Ad Hoc Networks. , (informal publication)
  [abs/0904.1444]
• Yaming Yu, Oliver Johnson:
  Concavity of entropy under thinning. , (informal publication)
  [abs/0904.1446]
• Francesco Ranzato, Francesco Tapparo:
  Computing Stuttering Simulations. , (informal publication)
  [abs/0904.1488]
• Luigi Santocanale, J. Robin B. Cockett:
  On the word problem for SP-categories, and the properties of two-way communication. , (informal publication)
  [abs/0904.1529]
• Jianfeng Zhang, Guy Chavent, Jérôme Jaffré:
  Estimating nonlinearities in twophase flow in porous media. , (informal publication)
  [abs/0904.1534]
• Pal Anders Floor, Tor A. Ramstad:
  On the Analysis of Shannon-Kotel'nikov Mappings. , (informal publication)
  [abs/0904.1538]
• Fedor Zhdanov, Vladimir Vovk, Brian Burford, Dmitry Devetyarov, Ilia Nouretdinov, Alexander Gammerman:
  Online prediction of ovarian cancer. , (informal publication)
  [abs/0904.1579]
• Andriy Myronenko, Xubo B. Song:
  On the closed-form solution of the rotation matrix arising in computer vision problems. , (informal publication)
  [abs/0904.1613]
• Juan C. Meza, Scott Campbell, David H. Bailey:
  Mathematical and Statistical Opportunities in Cyber Security. , (informal publication)
  [abs/0904.1616]
• Yoichi Yamazaki, Fangyan Dong, Yuta Masuda, Yukiko Uehara, Petar Kormushev, Hai An Vu, Phuc Quang Le, Kaoru Hirota:
  Fuzzy inference based mentality estimation for eye robot agent. , (informal publication)
  [abs/0904.1629]
• Aaron Sterling:
  Self-Assembly of a Statistically Self-Similar Fractal. , (informal publication)
  [abs/0904.1630]
• Yoichi Yamazaki, Fangyan Dong, Yuta Masuda, Yukiko Uehara, Petar Kormushev, Hai An Vu, Phuc Quang Le, Kaoru Hirota:
  Intent expression using eye robot for mascot robot system. , (informal publication)
  [abs/0904.1631]
• Cedric Chauve, Aïda Ouangraoua:
  A 3-approximation algorithm for computing a parsimonious first speciation in the gene duplication model. , (informal publication)
  [abs/0904.1645]
• Joost Vennekens, Marc Denecker, Maurice Bruynooghe:
  CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming. , (informal publication)
  [abs/0904.1672]
• Idan Goldenberg, David Burshtein:
  Error Bounds for Repeat-Accumulate Codes Decoded via Linear Programming. , (informal publication)
  [abs/0904.1692]
• Walid Belkhir:
  Undirected Graphs of Entanglement 3. , (informal publication)
  [abs/0904.1696]
• Walid Belkhir:
  The Star Height Hierarchy Vs. The Variable Hierarchy. , (informal publication)
  [abs/0904.1701]
• Walid Belkhir:
  Closure Under Minors of Undirected Entanglement. , (informal publication)
  [abs/0904.1703]
• Evripidis Bampis, Alexander Kononov, Giorgio Lucarelli, Ioannis Milis:
  Bounded Max-Colorings of Graphs. , (informal publication)
  [abs/0904.1705]
• Tarik Ait-Idir, Houda Chafnaji, Samir Saoudi:
  Turbo Packet Combining for Broadband Space-Time BICM Hybrid-ARQ Systems with Co-Channel Interference. , (informal publication)
  [abs/0904.1712]
• Sugumar Murugesan, Philip Schniter:
  Joint Opportunistic Scheduling in Multi-Cellular Systems. , (informal publication)
  [abs/0904.1729]
• Jay Kumar Sundararajan, Devavrat Shah, Muriel Médard:
  Feedback-based online network coding. , (informal publication)
  [abs/0904.1730]
• Julien Cassaigne, François Nicolas:
  On polynomial growth functions of D0L-systems. , (informal publication)
  [abs/0904.1752]
• Sugumar Murugesan, Philip Schniter:
  Opportunistic Multiuser Scheduling in a Three State Markov-modeled Downlink. , (informal publication)
  [abs/0904.1754]
• Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
  Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions. , (informal publication)
  [abs/0904.1783]
• Wei Zhang, Xiang-Gen Xia:
  A Design of Space-Time Block Codes Achieving Full Diversity with Partial Interference Cancellation Group Decoding. , (informal publication)
  [abs/0904.1812]
• Usman A. Khan, Soummya Kar, José M. F. Moura:
  Higher Dimensional Consensus: Learning in Large-Scale Networks. , (informal publication)
  [abs/0904.1840]
• Stevan Harnad:
  On Fodor on Darwin on Evolution. , (informal publication)
  [abs/0904.1888]
• Stevan Harnad:
  First Person Singular. , (informal publication)
  [abs/0904.1889]
• Tal Philosof, Ram Zamir, Uri Erez, Ashish Khisti:
  Lattice Strategies for the Dirty Multiple Access Channel. , (informal publication)
  [abs/0904.1892]
• Shenghao Yang, Raymond W. Yeung, Chi Kin Ngai:
  Refined Coding Bounds and Code Constructions for Coherent Network Error Correction. , (informal publication)
  [abs/0904.1897]
• Stéphane Grumbach, Zhilin Wu:
  On Distributed Model Checking of MSO on Graphs. , (informal publication)
  [abs/0904.1902]
• Qi Chen, Chen He, Ling-ge Jiang, Qingchuan Wang:
  Average Entropy Functions. , (informal publication)
  [abs/0904.1907]
• Andriyan Bayu Suksmono:
  Compressive Sampling with Known Spectral Energy Density. , (informal publication)
  [abs/0904.1910]
• Stéphane Grumbach, Zhilin Wu:
  Logical locality entails frugal distributed computation over graphs. , (informal publication)
  [abs/0904.1915]
• Zhilin Wu, Stéphane Grumbach:
  Feasibility of Motion Planning on Acyclic and Strongly Connected Directed Graphs. , (informal publication)
  [abs/0904.1920]
• Vincent Limouzy:
  Seidel Minor, Permutation Graphs and Combinatorial Properties. , (informal publication)
  [abs/0904.1923]
• Obi L. Griffith, Byron J. Gao, Mikhail Bilenky, Yuliya Prichyna, Martin Ester, Steven J. M. Jones:
  KiWi: A Scalable Subspace Clustering Algorithm for Gene Expression Analysis. , (informal publication)
  [abs/0904.1931]
• Vaneet Aggarwal, Lalitha Sankar, A. Robert Calderbank, H. Vincent Poor:
  Ergodic Layered Erasure One-Sided Interference Channels. , (informal publication)
  [abs/0904.1956]
• Zi-Ke Zhang, Tao Zhou, Yi-Cheng Zhang:
  Personalized Recommendation via Integrated Diffusion on User-Item-Tag Tripartite Graphs. , (informal publication)
  [abs/0904.1989]
• David I. Spivak:
  Simplicial Databases. , (informal publication)
  [abs/0904.2012]
• J. Xie, Y. Jiang:
  Stochastic Service Guarantee Analysis Based on Time-Domain Models. , (informal publication)
  [abs/0904.2018]
• Roxana Smarandache, Pascal O. Vontobel:
  Absdet-Pseudo-Codewords and Perm-Pseudo-Codewords: Definitions and Properties. , (informal publication)
  [abs/0904.2022]
• Björn Grohmann:
  A new Protocol for 1-2 Oblivious Transfer. , (informal publication)
  [abs/0904.2023]
• Jelani Nelson, David P. Woodruff:
  A Near-Optimal Algorithm for L1-Difference. , (informal publication)
  [abs/0904.2027]
• Tao Chen, Honggang Zhang, Marcos Katz:
  Cloud Networking Formation in CogMesh Environment. , (informal publication)
  [abs/0904.2028]
• Chunhua Shen, Hanxi Li:
  Boosting through Optimization of Margin Distributions. , (informal publication)
  [abs/0904.2037]
• Ewout van den Berg, Michael P. Friedlander:
  Joint-sparse recovery from multiple measurements. , (informal publication)
  [abs/0904.2051]
• Chandan Saha, Ramprasad Saptharishi, Nitin Saxena:
  The Power of Depth 2 Circuits over Algebras. , (informal publication)
  [abs/0904.2058]
• Zhigang Cao, Xiaoguang Yang:
  Complementary Weighted Multiple Majority Games. , (informal publication)
  [abs/0904.2060]
• Zhigang Cao, Xiaoguang Yang:
  Selfish Bin Covering. , (informal publication)
  [abs/0904.2061]
• Roberto Amadio:
  On stratified regions. , (informal publication)
  [abs/0904.2076]
• Christophe Domingues, Samir Otmane, Frédéric Davesne, Malik Mallem:
  A Distributed Software Architecture for Collaborative Teleoperation based on a VR Platform and Web Application Interoperability. , (informal publication)
  [abs/0904.2096]
• Greg Aloupis, Jean Cardinal, Sébastien Collette, S. Imahori, M. Korman, Stefan Langerman, O. Schwartz, Shakhar Smorodinsky, Perouz Taslakian:
  Colorful Strips. , (informal publication)
  [abs/0904.2115]
• Tamara Mchedlidze, Antonios Symvonis:
  Crossing-Optimal Acyclic HP-Completion for Outerplanar st-Digraphs. , (informal publication)
  [abs/0904.2129]
• Sonia Estévez Martín, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda, Fernando Sáenz-Pérez, Antonio J. Fernández:
  On the Cooperation of the Constraint Domains H, R and FD in CFLP. , (informal publication)
  [abs/0904.2136]
• Debprakash Patnaik, Srivatsan Laxman, Naren Ramakrishnan:
  Inferring Dynamic Bayesian Networks using Frequent Episode Mining. , (informal publication)
  [abs/0904.2160]
• Imran A. Pirwani, Mohammad R. Salavatipour:
  A PTAS for Minimum Clique Partition in Unit Disk Graphs. , (informal publication)
  [abs/0904.2203]
• Jinquan Luo:
  On Binary Cyclic Codes with Five Nonzero Weights. , (informal publication)
  [abs/0904.2237]
• Juha Honkala:
  The equality problem for infinite words generated by primitive morphisms. , (informal publication)
  [abs/0904.2257]
• Saloua Chettibi:
  A Comprehensive study of a New Multipath Energy Aware Routing Protocol for Mobile Ad-hoc Networks. , (informal publication)
  [abs/0904.2290]
• Chan Zhou, Gerhard Wunder:
  A Fundamental Characterization of Stability in Broadcast Queueing Systems. , (informal publication)
  [abs/0904.2302]
• Ching-Lueh Chang, Yuh-Dauh Lyuu:
  On irreversible dynamic monopolies in general graphs. , (informal publication)
  [abs/0904.2306]
• Piotr Berman, Marek Karpinski, Andrzej Lingas:
  Exact and Approximation Algorithms for Geometric and Capacitated Set Cover Problems with Applications. , (informal publication)
  [abs/0904.2310]
• Tsachy Weissman, Haim H. Permuter:
  Source Coding with a Side Information "Vending Machine". , (informal publication)
  [abs/0904.2311]
• Sherief Abdallah:
  Why Global Performance is a Poor Metric for Verifying Convergence of Multi-agent Learning. , (informal publication)
  [abs/0904.2320]
• Carsten Schneider:
  A Symbolic Summation Approach to Find Optimal Nested Sum Representations. , (informal publication)
  [abs/0904.2323]
• Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
  Explicit fairness in testing semantics.
  [abs/0904.2340]
• Akiko Manada, Navin Kashyap:
  The Zeta Function of a Periodic-Finite-Type Shift. , (informal publication)
  [abs/0904.2375]
• Stefan Milius, Lawrence S. Moss:
  The Category Theoretic Solution of Recursive Program Schemes. , (informal publication)
  [abs/0904.2385]
• Patrick Briest, Shuchi Chawla, Robert D. Kleinberg, S. Matthew Weinberg:
  Pricing Randomized Allocations. , (informal publication)
  [abs/0904.2400]
• S. M. Sadegh Tabatabaei Yazdi, Serap A. Savari:
  A Combinatorial Study of Linear Deterministic Relay Networks. , (informal publication)
  [abs/0904.2401]
• Rasmus Jacobsen, Karsten Fyhn Nielsen, Petar Popovski, Torben Larsen:
  Reliable Identification of RFID Tags Using Multiple Independent Reader Sessions. , (informal publication)
  [abs/0904.2441]
• Francesc Rosselló, Gabriel Valiente:
  All that Glisters is not Galled. , (informal publication)
  [abs/0904.2448]
• Marc Mezzarobba, Bruno Salvy:
  Effective Bounds for P-Recursive Sequences. , (informal publication)
  [abs/0904.2452]
• Emmanuel Jeandel, Guillaume Theyssier:
  Subshifts, Languages and Logic. , (informal publication)
  [abs/0904.2457]
• Peter Harremoës:
  Joint Range of Rényi Entropies. , (informal publication)
  [abs/0904.2477]
• Alexandre Graell i Amat, Eirik Rosnes:
  Good Concatenated Code Ensembles for the Binary Erasure Channel. , (informal publication)
  [abs/0904.2482]
• Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak:
  One-Counter Markov Decision Processes. , (informal publication)
  [abs/0904.2511]
• Florent R. Madelaine:
  Universal Structures and the logic of Forbidden Patterns.
  [abs/0904.2521]
• David H. Wolpert, Gregory Benford:
  What does Newcomb's paradox teach us? , (informal publication)
  [abs/0904.2540]
• Heidi Gebauer:
  Disproof of the Neighborhood Conjecture with Implications to SAT. , (informal publication)
  [abs/0904.2541]
• Anil Maheshwari, Stefanie Wuhrer:
  Geodesic Paths On 3D Surfaces: Survey and Open Problems. , (informal publication)
  [abs/0904.2550]
• Anna Adamaszek, Artur Czumaj, Andrzej Lingas:
  PTAS for k-tour cover problem on the plane for moderately large values of k. , (informal publication)
  [abs/0904.2576]
• José Avelino Manzano Lizcano, Samuel Ángel Jaramillo Flórez:
  New technologies for high speed computer networks: a wavelet approach. , (informal publication)
  [abs/0904.2584]
• Brice Djeumou, Elena Veronica Belmega, Samson Lasaulce:
  Interference Relay Channels - Part I: Transmission Rates. , (informal publication)
  [abs/0904.2585]
• Elena Veronica Belmega, Brice Djeumou, Samson Lasaulce:
  Interference Relay Channels - Part II: Power Allocation Games. , (informal publication)
  [abs/0904.2587]
• Mark Levene, Trevor I. Fenner:
  A Methodology for Learning Players' Styles from Game Records. , (informal publication)
  [abs/0904.2595]
• James Petterson, Tibério S. Caetano, Julian John McAuley, Jin Yu:
  Exponential Family Graph Matching and Ranking. , (informal publication)
  [abs/0904.2623]
• Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann:
  Better Quality in Synthesis through Quantitative Objectives. , (informal publication)
  [abs/0904.2638]
• Jean Daligault, Stéphan Thomassé:
  On Finding Directed Trees with Many Leaves. , (informal publication)
  [abs/0904.2658]
• Ugo Dal Lago, Martin Hofmann:
  Bounded Linear Logic, Revisited. , (informal publication)
  [abs/0904.2675]
• LianLin Li, Wenji Zhang, Fang Li:
  Compressive Diffraction Tomography for Weakly Scattering. , (informal publication)
  [abs/0904.2695]
• Mingyu Xiao:
  New Branching Rules: Improvements on Independent Set and Vertex Cover in Sparse Graphs. , (informal publication)
  [abs/0904.2712]
• Clémence Magnien, Frédéric Ouédraogo, Guillaume Valadon, Matthieu Latapy:
  Fast dynamics in Internet topology: preliminary observations and explanations. , (informal publication)
  [abs/0904.2716]
• MinJi Kim, Luísa Lima, Fang Zhao, João Barros, Muriel Médard, Ralf Koetter, Ton Kalker, Keesook Han:
  On Counteracting Byzantine Attacks in Network Coded Peer-to-Peer Networks. , (informal publication)
  [abs/0904.2722]
• Clémence Magnien, Matthieu Latapy, Michel Habib:
  Fast Computation of Empirically Tight Bounds for the Diameter of Massive Graphs. , (informal publication)
  [abs/0904.2728]
• Fabien Viger, Brice Augustin, Xavier Cuvellier, Clémence Magnien, Matthieu Latapy, Timur Friedman, Renata Teixeira:
  Detection, Understanding, and Prevention of Traceroute Measurement Artifacts. , (informal publication)
  [abs/0904.2733]
• Andrea Montanari, Ricardo Restrepo, Prasad Tetali:
  Reconstruction and Clustering in Random Constraint Satisfaction Problems. , (informal publication)
  [abs/0904.2751]
• Frédéric Chyzak, Manuel Kauers, Bruno Salvy:
  A Non-Holonomic Systems Approach to Special Function Identities. , (informal publication)
  [abs/0904.2761]
• Amit K. Awasthi, Sanjay Chaudhary:
  Non Homogeneous Poisson Process Model based Optimal Modular Software Testing using Fault Tolerance. , (informal publication)
  [abs/0904.2769]
• Daniel Král:
  Decomposition width - a new width parameter for matroids. , (informal publication)
  [abs/0904.2785]
• Elena S. Vishnevksaya:
  Principle of development. , (informal publication)
  [abs/0904.2827]
• Sergei V. Fedorenko:
  A simple algorithm for decoding both errors and erasures of Reed-Solomon codes. , (informal publication)
  [abs/0904.2861]
• Prabir Barooah, João P. Hespanha:
  Error Scaling Laws for Linear Optimal Estimation from Relative Measurements. , (informal publication)
  [abs/0904.2863]
• Manfred Kufleitner, Pascal Weil:
  On FO2 quantifier alternation over words. , (informal publication)
  [abs/0904.2894]
• Amir Hamed Mohsenian Rad, Jianwei Huang, Vincent W. S. Wong, Sidharth Jaggi, Robert Schober:
  Inter-Session Network Coding with Strategic Users: A Game-Theoretic Analysis of Network Coding. , (informal publication)
  [abs/0904.2921]
• Fahem Kebair, Frédéric Serin:
  Towards an Intelligent System for Risk Prevention and Management. , (informal publication)
  [abs/0904.2953]
• Fahem Kebair, Frédéric Serin:
  Agent-Based Decision Support System to Prevent and Manage Risk Situations. , (informal publication)
  [abs/0904.2954]
• Carl Hewitt:
  Middle History of Logic Programming. , (informal publication)
  [abs/0904.3036]
• Heping Hu, Yingyu Zhang, Zhengding Lu:
  An efficient quantum search engine on unsorted database. , (informal publication)
  [abs/0904.3060]
• Miklós Csürös:
  Approximate counting with a floating-point counter. , (informal publication)
  [abs/0904.3062]
• Carlos M. Fernandes, Juan Julián Merelo Guervós, Agostinho C. Rosa:
  Using Dissortative Mating Genetic Algorithms to Track the Extrema of Dynamic Deceptive Functions. , (informal publication)
  [abs/0904.3063]
• Michael A. Popov:
  P vs NP Problem in the field anthropology. , (informal publication)
  [abs/0904.3074]
• Arnaud Casteigts, Serge Chaumette, Frédéric Guinand, Yoann Pigné:
  Distributed Maintenance of Anytime Available Spanning Trees in Dynamic Networks. , (informal publication)
  [abs/0904.3087]
• Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto:
  Counting Paths and Packings in Halves. , (informal publication)
  [abs/0904.3093]
• Daniil Musatov, Andrei E. Romashchenko, Alexander Shen:
  Variations on Muchnik's Conditional Complexity Theorem. , (informal publication)
  [abs/0904.3116]
• Hao Chen:
  CRT-Based High Speed Parallel Architecture for Long BCH Encoding. , (informal publication)
  [abs/0904.3148]
• Takeaki Uno, Masashi Sugiyama, Koji Tsuda:
  Efficient Construction of Neighborhood Graphs by the Multiple Sorting Method. , (informal publication)
  [abs/0904.3151]
• Stéphane Grumbach, Fang Wang, Zhilin Wu:
  On the distributed evaluation of recursive queries over graphs. , (informal publication)
  [abs/0904.3157]
• David N. C. Tse, Roy D. Yates:
  Fading Broadcast Channels with State Information at the Receivers. , (informal publication)
  [abs/0904.3165]
• Christoph Dürr, Flavio Guiñez, Martín Matamala:
  Reconstructing 3-colored grids from horizontal and vertical projections is NP-hard. , (informal publication)
  [abs/0904.3169]
• Fredrik Kuivinen:
  On the Complexity of Submodular Function Minimisation on Diamonds. , (informal publication)
  [abs/0904.3183]
• Oussama Allali, Matthieu Latapy, Clémence Magnien:
  Measurement of eDonkey Activity with Distributed Honeypots. , (informal publication)
  [abs/0904.3215]
• Fabien Tarissan, Matthieu Latapy, Christophe Prieur:
  Efficient Measurement of Complex Networks Using Link Queries. , (informal publication)
  [abs/0904.3222]
• Manuel Oriol:
  The Business of Selling Electronic Documents. , (informal publication)
  [abs/0904.3243]
• Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto:
  On evaluation of permanents. , (informal publication)
  [abs/0904.3251]
• John S. Hamel:
  A Thermodynamic Turing Machine: Artificial Molecular Computing Using Classical Reversible Logic Switching Networks. , (informal publication)
  [abs/0904.3273]
• Shariq Bashir, Abdul Rauf Baig:
  FastLMFI: An Efficient Approach for Local Maximal Patterns Propagation and Maximal Patterns Superset Checking. , (informal publication)
  [abs/0904.3310]
• Shariq Bashir, Abdul Rauf Baig:
  HybridMiner: Mining Maximal Frequent Itemsets Using Hybrid Database Representation Approach. , (informal publication)
  [abs/0904.3312]
• Shariq Bashir, Abdul Rauf Baig:
  Ramp: Fast Frequent Itemset Mining with Efficient Bit-Vector Projection Technique. , (informal publication)
  [abs/0904.3316]
• Shariq Bashir, Zahoor Jan, Abdul Rauf Baig:
  Fast Algorithms for Mining Interesting Frequent Itemsets without Minimum Support. , (informal publication)
  [abs/0904.3319]
• Shariq Bashir, Saad Razzaq, Umer Maqbool, Sonya Tahir, Abdul Rauf Baig:
  Using Association Rules for Better Treatment of Missing Values. , (informal publication)
  [abs/0904.3320]
• Shariq Bashir, Saad Razzaq, Umer Maqbool, Sonya Tahir, Abdul Rauf Baig:
  Introducing Partial Matching Approach in Association Rules for Better Treatment of Missing Values. , (informal publication)
  [abs/0904.3321]
• Michael Ummels, Dominik Wojtczak:
  Decision Problems for Nash Equilibria in Stochastic Games. , (informal publication)
  [abs/0904.3325]
• Chris Gioran, Ioannis Kontoyiannis:
  Lossy Compression in Near-Linear Time via Efficient Random Codebooks and Databases. , (informal publication)
  [abs/0904.3340]
• Majid Fozunbal:
  A Subsequence-Histogram Method for Generic Vocabulary Recognition over Deletion Channels. , (informal publication)
  [abs/0904.3351]
• Istvan Szita, András Lörincz:
  Optimistic Initialization and Greediness Lead to Polynomial Time Learning in Factored MDPs - Extended Version. , (informal publication)
  [abs/0904.3352]
• Yoav Freund:
  A method for Hedging in continuous time. , (informal publication)
  [abs/0904.3356]
• Mark Daley, Michael Domaratzki, Kai Salomaa:
  State complexity of orthogonal catenation. , (informal publication)
  [abs/0904.3366]
• Sunder Lal, Vandani Verma:
  Identity Based Strong Designated Verifier Parallel Multi-Proxy Signature Scheme. , (informal publication)
  [abs/0904.3420]
• Sunder Lal, Vandani Verma:
  Some Proxy Signature and Designated verifier Signature Schemes over Braid Groups. , (informal publication)
  [abs/0904.3422]
• Bhupendra Gupta:
  Comment to "Coverage by Randomly Deployed Wireless Sensor Networks". , (informal publication)
  [abs/0904.3444]
• Praveen Sivadasan, P. Sojan Lal:
  JConstHide: A Framework for Java Source Code Constant Hiding. , (informal publication)
  [abs/0904.3458]
• Giorgi Japaridze:
  Toggling operators in computability logic. , (informal publication)
  [abs/0904.3469]
• Sayan Bhattacharya, Vincent Conitzer, Kamesh Munagala, Lirong Xia:
  Incentive Compatible Budget Elicitation in Multi-unit Auctions. , (informal publication)
  [abs/0904.3501]
• Ferdinando Cicalese, Eduardo Sany Laber, Marco Molinaro:
  On the Complexity of Searching in Trees: Average-case Minimization. , (informal publication)
  [abs/0904.3503]
• David Monniaux:
  On using floating-point computations to help an exact linear arithmetic decision procedure. , (informal publication)
  [abs/0904.3525]
• Pierre Lescanne:
  Deconstruction of Infinite Extensive Games using coinduction. , (informal publication)
  [abs/0904.3528]
• Papin Nicolae, Tiberiu Marius Karnyanszky:
  Internet: Romania vs. Europe. , (informal publication)
  [abs/0904.3552]
• Bican Xia, Zhihai Zhang:
  Termination of Linear Programs with Nonlinear Constraints. , (informal publication)
  [abs/0904.3588]
• Florian Huc, Aubin Jarry:
  VRAC: Virtual Raw Anchor Coordinates Routing in Sensor Networks -- Concepts and Experimental Protocol. , (informal publication)
  [abs/0904.3611]
• Florentin Neumann, Andrea Reichenberger, Martin Ziegler:
  Variations of the Turing Test in the Age of Internet and Virtual Reality. , (informal publication)
  [abs/0904.3612]
• Diana Sophia Codat:
  Les technologies de l'information et de la communication au niveau mondial et en Roumanie dans les dernieres annees. , (informal publication)
  [abs/0904.3629]
• Ioan Despi, Lucian Luca:
  On the Ambiguity of Commercial Open Source. , (informal publication)
  [abs/0904.3631]
• Alexandra Fortis:
  Business Process Modeling Notation - An Overview. , (informal publication)
  [abs/0904.3633]
• Florin Fortis, Alexandra Fortis:
  Tailored business solutions by workflow technologies. , (informal publication)
  [abs/0904.3634]
• Vladimir V. Gotsulenko, Lyudmila A. Gaponova:
  On one method of boundary value problem regularization by passage to the limit. , (informal publication)
  [abs/0904.3638]
• Farzan Haddadi, Mohammad Mahdi Nayebi, Mohammad Reza Aref:
  Direction-of-Arrival Estimation for Temporally Correlated Narrowband Signals. , (informal publication)
  [abs/0904.3642]
• Tiberiu Marius Karnyanszky, Mihai Titu:
  Computer Aided Optimization of the Unconventional Processing. , (informal publication)
  [abs/0904.3648]
• Dan L. Lacrama, Ioan Snep:
  The use of invariant moments in hand-written character recognition. , (informal publication)
  [abs/0904.3650]
• Amnon Shashua:
  Introduction to Machine Learning: Class Notes 67577. , (informal publication)
  [abs/0904.3664]
• Alin Munteanu, Cristina Ofelia Sofran:
  Considerations upon the Machine Learning Technologies. , (informal publication)
  [abs/0904.3667]
• Alin Munteanu, Cristina Ofelia Sofran:
  Collaborative systems and multiagent systems. , (informal publication)
  [abs/0904.3669]
• Arindam Mitra:
  Quantum theory can be collectively verified. , (informal publication)
  [abs/0904.3677]
• Dieter Penteliuc Cotosman:
  The Multimedia Product - between Design and Information, Design and Utility and Design and Entertainment. , (informal publication)
  [abs/0904.3693]
• Dieter Penteliuc-Cotosman:
  The new multimedia educational technologies, used in open and distance learning. , (informal publication)
  [abs/0904.3694]
• Rolf Andreas Rasenack, Karsten Wolke, Kostyantyn Yermashov, Karl Hayo Siemsen:
  Semantic Linkage of Control Systems. , (informal publication)
  [abs/0904.3698]
• Guillaume Erétéo, Fabien L. Gandon, Olivier Corby, Michel Buffa:
  Semantic Social Network Analysis. , (informal publication)
  [abs/0904.3701]
• Mihai Timis:
  Output Width Signal Control In Asynchronous Digital Systems Using External Clock Signal. , (informal publication)
  [abs/0904.3711]
• Mihai Timis:
  Output Width Signal Control In Asynchronous Digital Systems Using Monostable Circuits. , (informal publication)
  [abs/0904.3714]
• Radu Vultur:
  Mesh. , (informal publication)
  [abs/0904.3715]
• Karsten Wolke, Kostyantyn Yermashov, K. H. Siemsen, Rolf Andreas Rasenack:
  Failover of Software Services with State Replication. , (informal publication)
  [abs/0904.3716]
• Kostyantyn Yermashov, K. H. Siemsen, Karsten Wolke, Rolf Andreas Rasenack:
  Architecture of the Neurath Basic Model View Controller. , (informal publication)
  [abs/0904.3718]
• David Eppstein, Emma S. Spiro:
  The h-Index of a Graph and its Application to Dynamic Subgraph Statistics. , (informal publication)
  [abs/0904.3741]
• Wenliang Du, David Eppstein, Michael T. Goodrich, George S. Lueker:
  On the Approximability of Geometric and Geographic Generalization and the Min-Max Bin Covering Problem. , (informal publication)
  [abs/0904.3756]
• Charalampos E. Tsourakakis, Mihail N. Kolountzakis, Gary L. Miller:
  Approximate Triangle Counting. , (informal publication)
  [abs/0904.3761]
• Roy C. Timo, Kim Blackmore, Leif Hanlen:
  Word-Valued Sources: an Ergodic Theorem, an AEP and the Conservation of Entropy. , (informal publication)
  [abs/0904.3778]
• Serguei A. Mokhov, Joey Paquet:
  Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle. , (informal publication)
  [abs/0904.3789]
• Reginald D. Smith:
  Internet Traffic Periodicities and Oscillations: A Brief Review. , (informal publication)
  [abs/0904.3797]
• Forrest Sheng Bao, Jue-Ming Gao, Jing Hu, Donald Yu-Chun Lie, Yuanlin Zhang, K. J. Oommen:
  Automated Epilepsy Diagnosis Using Interictal Scalp EEG. , (informal publication)
  [abs/0904.3808]
• Annick Valibouze:
  La Résolvante de Lagrange et ses Applications. , (informal publication)
  [abs/0904.3827]
• J. Bühler, G. Wunder:
  On Capacity Computation for the Two-User Binary Multiple-Access Channel. , (informal publication)
  [abs/0904.3894]
• Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Nima Zeini Jahromi:
  On Smoothed Analysis of Quicksort and Hoare's Find. , (informal publication)
  [abs/0904.3898]
• Frank Ferraro, Garrett Hall, Andrew Wood:
  Refutation of Aslam's Proof that NP = P. , (informal publication)
  [abs/0904.3912]
• Andrew Keenan Richardson, Cole Arthur Brown:
  A Critique of "Solving the P/NP Problem Under Intrinsic Uncertainty". , (informal publication)
  [abs/0904.3927]
• Sagarmoy Dutta, Piyush P. Kurur:
  Representating groups on graphs. , (informal publication)
  [abs/0904.3941]
• Christopher O. Ward:
  Better Global Polynomial Approximation for Image Rectification. , (informal publication)
  [abs/0904.3944]
• V. Wiktor Marek, Jeffrey B. Remmel:
  Guarded resolution for answer set programming. , (informal publication)
  [abs/0904.3953]
• R. Rajesh, Vinod Sharma, V. K. Varshenya:
  Joint Source-Channel Coding on a Multiple Access Channel with Side Information. , (informal publication)
  [abs/0904.4006]
• Yong Yao:
  Termination of the Sequence of SDS Sets and Machine Decision for Positive Semi-definite Forms. , (informal publication)
  [abs/0904.4030]
• Jie Luo, Mario A. Nascimento:
  Content-Based Sub-Image Retrieval with Relevance Feedback. , (informal publication)
  [abs/0904.4041]
• Saloua Chettibi:
  Un protocole de routage à basse consommation d'énergie pour les MANETs. , (informal publication)
  [abs/0904.4048]
• Zhenning Kong, Salah A. Aly, Emina Soljanin:
  Decentralized Coding Algorithms for Distributed Storage in Wireless Sensor Networks. , (informal publication)
  [abs/0904.4057]
• Jeff Arnold, Tim Abbott, Waseem Daher, Gregory Price, Nelson Elhage, Geoffrey Thomas, Anders Kaseorg:
  Security impact ratings considered harmful. , (informal publication)
  [abs/0904.4058]
• Agnes Hui Chan, Rajmohan Rajaraman, Zhifeng Sun, Feng Zhu:
  Approximation Algorithms for Key Management in Secure Multicast. , (informal publication)
  [abs/0904.4061]
• Ioannis Z. Emiris, Angelos Mantzaflaris:
  Multihomogeneous Resultant Formulae for Systems with Scaled Support. , (informal publication)
  [abs/0904.4064]
• Mikolaj Bojanczyk:
  Two-Way Unary Temporal Logic over Trees.
  [abs/0904.4119]
• Ugo Dal Lago, Simone Martini:
  On Constructor Rewrite Systems and the Lambda-Calculus. , (informal publication)
  [abs/0904.4120]
• Danny van Dyk, Markus Geveler, Sven Mallach, Dirk Ribbrock, Dominik Goeddeke, Carsten Gutwenger:
  HONEI: A collection of libraries for numerical computations targeting multiple processor architectures. , (informal publication)
  [abs/0904.4152]
• Jeong-woo Cho, Yuming Jiang:
  Fundamentals of the Backoff Process in 802.11. , (informal publication)
  [abs/0904.4155]
• O. Ignatenko:
  Denial of service attack in the Internet: agent-based intrusion detection and reaction. , (informal publication)
  [abs/0904.4174]
• Nicolas Bonnel, Pierre-Francois Marteau, Gildas Ménier:
  Parallel Random Apollonian Networks. , (informal publication)
  [abs/0904.4176]
• Husam Alustwani, Jacques M. Bahi, Ahmed Mostefaoui, Michel Salomon:
  Java Technology : a Strategic Solution for Interactive Distributed Applications. , (informal publication)
  [abs/0904.4181]
• Shahar Dobzinski, Shaddin Dughmi:
  On the Power of Randomization in Algorithmic Mechanism Design. , (informal publication)
  [abs/0904.4193]
• Jérôme Lacan, Emmanuel Lochin, Pierre-Ugo Tournoux, Amine Bouabdallah, Vincent Roca:
  On-the-fly coding for time-constrained applications. , (informal publication)
  [abs/0904.4202]
• Cong Shen, Michael P. Fitz:
  Opportunistic Spatial Orthogonalization and Its Application in Fading Cognitive Radio Networks. , (informal publication)
  [abs/0904.4283]
• David Eppstein, Elena Mumford:
  Orientation-Constrained Rectangular Layouts. , (informal publication)
  [abs/0904.4312]
• Prabhu Manyem:
  Lower Bounds on Syntactic Logic Expressions for Optimization Problems and Duality using Lagrangean Dual to characterize optimality conditions. , (informal publication)
  [abs/0904.4331]
• Roland Tresch, Maxime Guillaud, Erwin Riegler:
  On the Achievability of Interference Alignment in the K-User Constant MIMO Interference Channel. , (informal publication)
  [abs/0904.4343]
• Jean-Philippe Auzelle, Olivier Nartz, Jean-Yves Bron:
  Ingénierie système d'un système d'information d'entreprise centré sur le produit basée sur un cadre de modélisation multi-échelles : application à un cas d'étude de l'AIP lorrain. , (informal publication)
  [abs/0904.4411]
• Anne Canteaut, María Naya-Plasencia:
  Computing the biases of parity-check relations. , (informal publication)
  [abs/0904.4412]
• Lukas Kencl, Martin Loebl:
  DNA-Inspired Information Concealing. , (informal publication)
  [abs/0904.4449]
• Michael T. Goodrich:
  The Mastermind Attack on Genomic Data. , (informal publication)
  [abs/0904.4458]
• András Z. Salamon, Vashti Galpin:
  Bounds on series-parallel slowdown. , (informal publication)
  [abs/0904.4512]
• Paul Tune, Sibiraj Bhaskaran Pillai, Stephen V. Hanly:
  Number of Measurements in Sparse Signal Recovery. , (informal publication)
  [abs/0904.4525]
• Cenk M. Yetis, Syed Ali Jafar, Ahmet H. Kayran:
  Feasibility Conditions for Interference Alignment. , (informal publication)
  [abs/0904.4526]
• Alberto Piatti, Marco Zaffalon, Fabio Trojani, Marcus Hutter:
  Limits of Learning about a Categorical Latent Variable under Prior Near-Ignorance. , (informal publication)
  [abs/0904.4527]
• Fei Li, Zhi Zhang:
  Online Maximizing Weighted Throughput In A Fading Channel. , (informal publication)
  [abs/0904.4530]
• Amin Aminzadeh Gohari, Venkat Anantharam:
  Evaluation of Marton's Inner Bound for the General Broadcast Channel. , (informal publication)
  [abs/0904.4541]
• Amin Aminzadeh Gohari, Venkat Anantharam:
  A Generalized Cut-Set Bound. , (informal publication)
  [abs/0904.4542]
• Juan Manuel Torres Moreno, Mirta B. Gordon:
  Adaptive Learning with Binary Neurons. , (informal publication)
  [abs/0904.4587]
• Robert Engström, Tommy Färnqvist, Peter Jonsson, Johan Thapper:
  Graph Homomorphisms, Circular Colouring, and Fractional Covering by H-cuts. , (informal publication)
  [abs/0904.4600]
• Srivatsan Laxman, Basel Shadid, P. S. Sastry, K. P. Unnikrishnan:
  Temporal data mining for root-cause analysis of machine faults in automotive assembly lines. , (informal publication)
  [abs/0904.4608]
• Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
  Dynamic FTSS in Asynchronous Systems: the Case of Unison. , (informal publication)
  [abs/0904.4615]
• Mikhail J. Atallah, Marina Blanton, Michael T. Goodrich, Stanislas Polu:
  Discrepancy-Sensitive Dynamic Fractional Cascading, Dominated Maxima Searching, and 2-d Nearest Neighbors in Any Minkowski Metric. , (informal publication)
  [abs/0904.4670]
• Cyril Allauzen, Mehryar Mohri:
  Linear-Space Computation of the Edit-Distance between a String and a Finite Automaton. , (informal publication)
  [abs/0904.4686]
• George Tsatsaronis, Maria Halkidi, Emmanouel A. Giakoumakis:
  Quality Classifiers for Open Source Software Repositories. , (informal publication)
  [abs/0904.4708]
• Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani:
  Software Model Checking via Large-Block Encoding. , (informal publication)
  [abs/0904.4709]
• Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan:
  Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms. , (informal publication)
  [abs/0904.4727]
• Ghadamali Bagherikaram, Abolfazl S. Motahari, Amir K. Khandani:
  The Secrecy Capacity Region of the Degraded Vector Gaussian Broadcast Channel. , (informal publication)
  [abs/0904.4735]
• Brian M. Kurkoski, Justin Dauwels:
  Belief-Propagation Decoding of Lattices Using Gaussian Mixtures. , (informal publication)
  [abs/0904.4741]
• Giulio Manzonetto:
  Models and theories of lambda calculus. , (informal publication)
  [abs/0904.4756]
• Rémi Gribonval, Karin Schnass:
  Dictionary Identification - Sparse Matrix-Factorisation via $\ell_1$-Minimisation. , (informal publication)
  [abs/0904.4774]
• Houda Chafnaji, Tarik Ait-Idir, Samir Saoudi, Athanasios V. Vasilakos:
  Frequency Domain Hybrid-ARQ Chase Combining for Broadband MIMO CDMA Systems. , (informal publication)
  [abs/0904.4789]
• Nikolaos Mavridis, Shervin Emami, Chandan Datta, Wajahat Kamzi, Chiraz BenAbdelkader, Panos Toulis, Andry Tanoto, Tamer F. Rabie:
  FaceBots: Steps Towards Enhanced Long-Term Human-Robot Interaction by Utilizing and Publishing Online Social Information. , (informal publication)
  [abs/0904.4836]
• Miquel Payaró, Daniel Pérez Palomar:
  On optimal precoding in linear vector Gaussian channels with arbitrary input distribution. , (informal publication)
  [abs/0904.4900]
• Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Mooly Sagiv, Siddharth Srivastava, Greta Yorsh:
  Simulating reachability using first-order logic with applications to verification of linked data structures.
  [abs/0904.4902]
• Michael T. Goodrich:
  On the Algorithmic Complexity of the Mastermind Game with Black-Peg Results. , (informal publication)
  [abs/0904.4911]
• Athanasios S. Lioumpas, George K. Karagiannidis:
  Variable-Rate M-PSK Communications without Channel Amplitude Estimation. , (informal publication)
  [abs/0904.4926]
• Danko Ilik, Gyesik Lee, Hugo Herbelin:
  Kripke Models for Classical Logic. , (informal publication)
  [abs/0904.0071]
• G. A. Kohring:
  Complex Dependencies in Large Software Systems. , (informal publication)
  [abs/0904.0087]
• Jonathan Asher Cohen:
  Coherence for rewriting 2-theories. , (informal publication)
  [abs/0904.0125]
• Alejandro Lorca, José Luis Vázquez-Poletti, Eduardo Huedo, Ignacio Martín Llorente:
  Grid porting of Bhabha scattering code through a master-worker scheme. , (informal publication)
  [abs/0904.0166]
• Vladimir V. Bytev, Mikhail Yu. Kalmykov, Bernd A. Kniehl:
  Differential reduction of generalized hypergeometric functions in application to Feynman diagrams: One-variable case. , (informal publication)
  [abs/0904.0214]
• Michel Fliess, Cédric Join:
  Model-free control and intelligent PID controllers: towards a possible trivialization of nonlinear control? , (informal publication)
  [abs/0904.0322]
• Marco Budinich:
  On Computational Complexity of Clifford Algebra. , (informal publication)
  [abs/0904.0417]
• Lenka Zdeborová, Michael Chertkov:
  Message Passing for Optimization and Control of Power Grid: Toy Model of Distribution with Ancillary Lines. , (informal publication)
  [abs/0904.0477]
• Vivien Robinet, Gilles Bisson, Mirta B. Gordon, Benoît Lemaire:
  Induction of High-level Behaviors from Problem-solving Traces using Machine Learning Tools. , (informal publication)
  [abs/0904.0776]
• Weiyu Xu, M. Amin Khajehnejad, Amir Salman Avestimehr, Babak Hassibi:
  Breaking through the Thresholds: an Analysis for Iterative Reweighted $\ell_1$ Minimization via the Grassmann Angle Framework. , (informal publication)
  [abs/0904.0994]
• Jaime Sanudo, Ricardo López-Ruiz:
  Alternative evaluation of statistical indicators in atoms: the non-relativistic and relativistic cases. , (informal publication)
  [abs/0904.1144]
• Kohtaro Tadaki:
  Chaitin Omega numbers and halting problems. , (informal publication)
  [abs/0904.1149]
• Oleg Pikhurko:
  Finding an Unknown Acyclic Orientation of a Given Graph. , (informal publication)
  [abs/0904.1229]
• Mark Herrera, David C. Roberts, Natali Gulbahce:
  Mapping the evolution of scientific ideas. , (informal publication)
  [abs/0904.1234]
• Sudhir R. Ghorpade, Sartaj Ul Hasan, Meena Kumari:
  Primitive Polynomials, Singer Cycles, and Word Oriented Linear Feedback Shift Registers. , (informal publication)
  [abs/0904.1331]
• Antoine Sinton:
  Recovering the state sequence of hidden Markov models using mean-field approximations. , (informal publication)
  [abs/0904.1700]
• M. Ángeles Serrano, Marián Boguñá, Alessandro Vespignani:
  Extracting the multiscale backbone of complex weighted networks. , (informal publication)
  [abs/0904.2389]
• René David:
  A short proof that adding some permutation rules to beta preserves SN. , (informal publication)
  [abs/0904.2955]
• Federico Ricci-Tersenghi, Guilhem Semerjian:
  On the cavity method for decimated random constraint satisfaction problems and the analysis of belief propagation guided decimation algorithms. , (informal publication)
  [abs/0904.3395]
• Deanna Needell:
  Noisy Signal Recovery via Iterative Reweighted L1-Minimization. , (informal publication)
  [abs/0904.3780]
• Solange Ghernaouti-Helie, Igli Tashi, Thomas Laenger, Christian Monyk:
  SECOQC Business White Paper. , (informal publication)
  [abs/0904.4073]
• Jiansheng Yang, Yunying Zhang:
  On the Upper Bounds of MDS Codes. , (informal publication)
  [abs/0904.4094]
• Arnab Bhattacharyya, Bernhard Haeupler:
  Robust Regulatory Networks. , (informal publication)
  [abs/0904.4360]
• Yuri I. Manin:
  Renormalization and computation I: motivation and background. , (informal publication)
  [abs/0904.4921]