Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Computer Science

Authors and titles for July 2009

Total of 451 entries
Showing up to 1000 entries per page: fewer | more | all
[201] arXiv:0907.2993 [pdf, other]
Title: Improvements for multi-objective flow shop scheduling by Pareto Iterated Local Search
Martin Josef Geiger
Journal-ref: Proceedings of the 8th Metaheuristics International Conference MIC 2009, July 13-16, 2009, Hamburg, Germany, pp 195.1-195.10
Subjects: Artificial Intelligence (cs.AI)
[202] arXiv:0907.3005 [pdf, other]
Title: On some counting problems for semi-linear sets
Flavio D'Alessandro, Benedetto Intrigila, Stefano Varricchio
Comments: 34 pages
Subjects: Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL)
[203] arXiv:0907.3016 [pdf, other]
Title: Duality for Min-Max Orderings and Dichotomy for Min Cost Homomorphisms
Arash Rafiey, Pavol Hell
Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
[204] arXiv:0907.3019 [pdf, other]
Title: Rational Synthesis
Dana Fisman, Orna Kupferman, Yoad Lustig
Comments: 14 pages
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)
[205] arXiv:0907.3045 [pdf, other]
Title: SecSip: A Stateful Firewall for SIP-based Networks
Abdelkader Lahmadi (INRIA Lorraine - LORIA), Olivier Festor (INRIA Lorraine - LORIA)
Journal-ref: 11th IFIP/IEEE International Symposium on Integrated Network Management (2009)
Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)
[206] arXiv:0907.3047 [pdf, other]
Title: Performance of Network and Service Monitoring Frameworks
Abdelkader Lahmadi (INRIA Lorraine - LORIA), Laurent Andrey (INRIA Lorraine - LORIA), Olivier Festor (INRIA Lorraine - LORIA)
Journal-ref: 11th IFIP/IEEE International Symposium on Integrated Network Management (2009)
Subjects: Performance (cs.PF)
[207] arXiv:0907.3068 [pdf, other]
Title: A deterministic truthful PTAS for scheduling related machines
George Christodoulou, Annamaria Kovacs
Subjects: Computer Science and Game Theory (cs.GT)
[208] arXiv:0907.3076 [pdf, other]
Title: On Brambles, Grid-Like Minors, and Parameterized Intractability of Monadic Second-Order Logic
Stephan Kreutzer, Siamak Tazari
Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)
[209] arXiv:0907.3085 [pdf, other]
Title: A Metric Encoding for Bounded Model Checking (extended version)
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[210] arXiv:0907.3095 [pdf, other]
Title: Ethernet Topology Discovery: A Survey
Kamal Ahmat
Subjects: Networking and Internet Architecture (cs.NI)
[211] arXiv:0907.3099 [pdf, other]
Title: Graph Theory and Optimization Problems for Very Large Networks
Kamal Ahmat
Subjects: Networking and Internet Architecture (cs.NI); Artificial Intelligence (cs.AI)
[212] arXiv:0907.3117 [pdf, other]
Title: A Survey on Continuous Time Computations
Olivier Bournez, Manuel Campagnolo
Journal-ref: New Computational Paradigms. Changing Conceptions of What is Computable. (Cooper, S.B. and L{\"o}we, B. and Sorbi, A., Eds.). New York, Springer-Verlag, pages 383-423. 2008
Subjects: Computational Complexity (cs.CC)
[213] arXiv:0907.3118 [pdf, other]
Title: On the Convergence of Population Protocols When Population Goes to Infinity
Olivier Bournez, Philippe Chassaing, Johanne Cohen, Lucas Gerin, Xavier Koegler
Comments: Submitted to Applied Mathematics and Computation. 2009
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[214] arXiv:0907.3123 [pdf, other]
Title: Verification of Timed Automata Using Rewrite Rules and Strategies
Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner
Comments: In the Proceedings BISFAI 2001, Seventh Biennial Bar-Ilan International Symposium on the Foundations of Artificial Intelligence. Ramat-Gan, 2001
Subjects: Logic in Computer Science (cs.LO)
[215] arXiv:0907.3126 [pdf, other]
Title: Population Protocols that Correspond to Symmetric Games
Olivier Bournez, Jeremie Chalopin, Johanne Cohen, Xavier Koegler
Subjects: Computer Science and Game Theory (cs.GT); Distributed, Parallel, and Cluster Computing (cs.DC)
[216] arXiv:0907.3135 [pdf, other]
Title: Fast Searching in Packed Strings
Philip Bille
Comments: To appear in Journal of Discrete Algorithms. Special Issue on CPM 2009
Subjects: Data Structures and Algorithms (cs.DS)
[217] arXiv:0907.3154 [pdf, other]
Title: COMMENTARY ON: Citing and Reading Behavours in High-Energy Physics (arXiv:0906.5418)
Stevan Harnad
Comments: 2 pages
Subjects: Digital Libraries (cs.DL)
[218] arXiv:0907.3177 [pdf, other]
Title: Breaking a Chaotic Cryptographic Scheme Based on Composition Maps
Chengqing Li, David Arroyo, Kwok-Tung Lo
Comments: 9 pages, 7 figures
Subjects: Cryptography and Security (cs.CR)
[219] arXiv:0907.3183 [pdf, other]
Title: Why Did My Query Slow Down?
Nedyalko Borisov, Shivnath Babu, Sandeep Uttamchandani, Ramani Routray, Aameek Singh
Comments: A conference version of this work was published as: Why Did My Query Slow Down, By Nedyalko Borisov, Sandeep Uttamchandani, Ramani Routray, and Aameek Singh, In the Proc. of the 4th Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA, Jan 4-7, 2009
Subjects: Databases (cs.DB)
[220] arXiv:0907.3200 [pdf, other]
Title: A Mathematical Unification of Geometric Crossovers Defined on Phenotype Space
Yourim Yoon, Yong-Hyuk Kim, Alberto Moraglio, Byung-Ro Moon
Comments: 20 pages, 2 figures
Subjects: Neural and Evolutionary Computing (cs.NE); Discrete Mathematics (cs.DM)
[221] arXiv:0907.3202 [pdf, other]
Title: Mathematical Interpretation between Genotype and Phenotype Spaces and Induced Geometric Crossovers
Yourim Yoon, Yong-Hyuk Kim, Alberto Moraglio, Byung-Ro Moon
Comments: 21 pages, 3 figures
Subjects: Neural and Evolutionary Computing (cs.NE); Discrete Mathematics (cs.DM)
[222] arXiv:0907.3208 [pdf, other]
Title: A Linear Vertex Kernel for Maximum Internal Spanning Tree
Fedor V. Fomin, Serge Gaspers, Saket Saurabh, Stéphan Thomassé
Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM)
[223] arXiv:0907.3209 [pdf, other]
Title: Registration of Standardized Histological Images in Feature Space
Ulas Bagci, Li Bai
Comments: SPIE Medical Imaging 2008 - submission
Journal-ref: SPIE Medical Imaging 2008: Image Processing. Edited by Reinhardt, Joseph M.; Pluim, Josien P. W. Proceedings of the SPIE, Volume 6914, pp. 69142V-69142V-9 (2008)
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[224] arXiv:0907.3215 [pdf, other]
Title: Fully Automatic 3D Reconstruction of Histological Images
Ulas Bagci, Li Bai
Comments: IEEE ISBI-08 Submission
Journal-ref: 5th IEEE International Symposium on Biomedical Imaging: From Nano to Macro ISBI-08, pp. 591-594. 2008
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[225] arXiv:0907.3218 [pdf, other]
Title: Parallel AdaBoost Algorithm for Gabor Wavelet Selection in Face Recognition
Ulas Bagci, Li Bai
Comments: IEEE ICIP 2008 Submission
Journal-ref: IEEE International Conference on Image Processing (ICIP-08), San Diego, CA, U.S.A, 12-15 October, 2008
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[226] arXiv:0907.3220 [pdf, other]
Title: Inter Genre Similarity Modelling For Automatic Music Genre Classification
Ulas Bagci, Engin Erzin
Comments: Dafx 2006 submission
Journal-ref: 9th International Conference on Digital Audio Effects (DAFx-06), Montreal, Canada, September 18-20, 2006
Subjects: Sound (cs.SD); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)
[227] arXiv:0907.3226 [pdf, other]
Title: From Causal Semantics To Duration Timed Models
Walid Belkhir
Comments: 14 pages
Subjects: Logic in Computer Science (cs.LO)
[228] arXiv:0907.3230 [pdf, other]
Title: Infinite Oracle Queries in Type-2 Machines (Extended Abstract)
Arno Pauly
Subjects: Logic in Computer Science (cs.LO)
[229] arXiv:0907.3246 [pdf, other]
Title: Wave propagation in filamental cellular automata
Alan Gibbons, Martyn Amos
Comments: To appear in the International Journal of Natural Computing Research. Changes to previous version: (1) Made title more specific, (2) added several explanatory figures, (3) improved background material, (4) several clarifications as requested by referees
Subjects: Formal Languages and Automata Theory (cs.FL); Cellular Automata and Lattice Gases (nlin.CG)
[230] arXiv:0907.3291 [pdf, other]
Title: The Compound Capacity of Polar Codes
S. Hamed Hassani, Satish Babu Korada, Ruediger Urbanke
Comments: 5 pages
Subjects: Information Theory (cs.IT)
[231] arXiv:0907.3315 [pdf, other]
Title: Effective Personalized Recommendation in Collaborative Tagging Systems
Zi-Ke Zhang, Tao Zhou
Subjects: Information Retrieval (cs.IR)
[232] arXiv:0907.3330 [pdf, other]
Title: Inconsistency Robustness in Foundations: Mathematics self proves its own Consistency and Other Matters
Carl Hewitt
Comments: Notation was made consistent with other articles. arXiv admin note: substantial text overlap with arXiv:0812.4852
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)
[233] arXiv:0907.3340 [pdf, other]
Title: A Barzilai-Borwein $l_1$-Regularized Least Squares Algorithm for Compressed Sensing
R. Broughton, I. Coope, P. Renaud, R. Tappenden
Subjects: Numerical Analysis (math.NA); Information Theory (cs.IT)
[234] arXiv:0907.3341 [pdf, other]
Title: Opportunistic Secrecy with a Strict Delay Constraint
Karim Khalil, O. Ozan Koyluoglu, Hesham El Gamal, Moustafa Youssef
Comments: Submitted to IEEE Transactions on Information Theory
Subjects: Information Theory (cs.IT)
[235] arXiv:0907.3342 [pdf, other]
Title: Neural Modeling and Control of Diesel Engine with Pollution Constraints
Mustapha Ouladsine (LSIS), Gérard Bloch (CRAN), Xavier Dovifaaz (CRAN)
Comments: 15 pages
Journal-ref: Journal of Intelligent and Robotic Systems 41, 2-3 (2005) 157-171
Subjects: Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)
[236] arXiv:0907.3348 [pdf, other]
Title: New Binomial Bent Function over the Finite Fields of Odd Characteristic
Tor Helleseth, Alexander Kholosha
Comments: 13 pages
Subjects: Discrete Mathematics (cs.DM); Cryptography and Security (cs.CR)
[237] arXiv:0907.3387 [pdf, other]
Title: Correcting Limited-Magnitude Errors in the Rank-Modulation Scheme
Itzhak Tamo, Moshe Schwartz
Subjects: Information Theory (cs.IT)
[238] arXiv:0907.3402 [pdf, other]
Title: Measuring Password Strength: An Empirical Analysis
Matteo Dell'Amico, Pietro Michiardi, Yves Roudier
Comments: 15 pages, 9 figures
Subjects: Cryptography and Security (cs.CR)
[239] arXiv:0907.3414 [pdf, other]
Title: Reachability-time games on timed automata
Marcin Jurdziński, Ashutosh Trivedi
Journal-ref: In ICALP, Volume 4596 of LNCS, pages 838--849, Springer 2007
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[240] arXiv:0907.3438 [pdf, other]
Title: Stability of Lagrange elements for the mixed Laplacian
Douglas N. Arnold, Marie E. Rognes
Comments: to appear in Calcolo
Journal-ref: Calcolo 46 (2009) 245-260
Subjects: Numerical Analysis (math.NA)
[241] arXiv:0907.3442 [pdf, other]
Title: $hp$-discontinuous Galerkin Methods for the Helmholtz Equation with Large Wave Number
Xiaobing Feng, Haijun Wu
Comments: 27 pages
Subjects: Numerical Analysis (math.NA)
[242] arXiv:0907.3445 [pdf, other]
Title: Investigating the Change of Web Pages' Titles Over Time
Martin Klein, Michael L. Nelson
Comments: 6 pages, 8 figures, 1 table, 1 appendix
Subjects: Information Retrieval (cs.IR); Digital Libraries (cs.DL)
[243] arXiv:0907.3456 [pdf, other]
Title: Exploring Peer Review in the Computer Science Classroom
Scott Turner, Manuel A. Perez-Quinones
Comments: 69 pages
Subjects: Computers and Society (cs.CY)
[244] arXiv:0907.3493 [pdf, other]
Title: Secure Network Coding for Wiretap Networks of Type II
Salim El Rouayheb, Emina Soljanin, Alex Sprintson
Subjects: Information Theory (cs.IT)
[245] arXiv:0907.3497 [pdf, other]
Title: A certifying algorithm for 3-colorability of P5-free graphs
Daniel Bruce, Chinh T. Hoang, Joe Sawada
Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
[246] arXiv:0907.3563 [pdf, other]
Title: The interval constrained 3-coloring problem
Jaroslaw Byrka, Andreas Karrenbauer, Laura Sanita
Comments: minor revision
Subjects: Discrete Mathematics (cs.DM)
[247] arXiv:0907.3573 [pdf, other]
Title: Any decreasing cycle-convergence curve is possible for restarted GMRES
Eugene Vecharynski, Julien Langou
Subjects: Numerical Analysis (math.NA)
[248] arXiv:0907.3574 [pdf, other]
Title: Message Passing Algorithms for Compressed Sensing
David L. Donoho, Arian Maleki, Andrea Montanari
Comments: 6 pages paper + 9 pages supplementary information, 13 eps figure. Submitted to Proc. Natl. Acad. Sci. USA
Subjects: Information Theory (cs.IT); Disordered Systems and Neural Networks (cond-mat.dis-nn); Computation (stat.CO)
[249] arXiv:0907.3576 [pdf, other]
Title: Recovering Signals from Lowpass Data
Yonina C. Eldar, Volker Pohl
Comments: submitted to IEEE Trans. Signal Process. Jul. 2009
Journal-ref: IEEE Signal Process., vol. 58, no. 5, pp. 2636-2646 , May 2010
Subjects: Information Theory (cs.IT)
[250] arXiv:0907.3583 [pdf, other]
Title: Web of Lossy Adapters for Interface Interoperability: An Algorithm and NP-completeness of Minimization
Yoo Chung, Dongman Lee
Comments: 7 pages
Journal-ref: Proc. of ICSESS 2010
Subjects: Software Engineering (cs.SE); Data Structures and Algorithms (cs.DS)
[251] arXiv:0907.3599 [pdf, other]
Title: Gentzen-Prawitz Natural Deduction as a Teaching Tool
Jean-François Monin (VERIMAG - Imag), Cristian Ene (VERIMAG - Imag), Michaël Périn (VERIMAG - Imag)
Subjects: Logic in Computer Science (cs.LO)
[252] arXiv:0907.3604 [pdf, other]
Title: Image Sampling with Quasicrystals
Mark Grundland, Jiri Patera, Zuzana Masakova, Neil A. Dodgson
Comments: For a full resolution version of this paper, along with supplementary materials, please visit at this http URL
Journal-ref: SIGMA 5 (2009), 075, 23 pages
Subjects: Computer Vision and Pattern Recognition (cs.CV); Graphics (cs.GR)
[253] arXiv:0907.3616 [pdf, other]
Title: Optimal Routing and Power Control for a Single Cell, Dense, Ad Hoc Wireless Network
Venkatesh Ramaiyan, Anurag Kumar, Eitan Altman,
Comments: Technical report of WiOpt 2007 paper
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[254] arXiv:0907.3631 [pdf, other]
Title: Interchanging distance and capacity in probabilistic mappings
Reid Andersen, Uriel Feige
Comments: 16 pages, no figures
Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM)
[255] arXiv:0907.3654 [pdf, other]
Title: Optimization of Synthesis Oversampled Complex Filter Banks
Jerome Gauthier, Laurent Duval, Jean-Christophe Pesquet
Journal-ref: IEEE Transactions on Signal Processing, October 2009, Volume 57, Issue 10, p. 3827-3843
Subjects: Information Theory (cs.IT); Systems and Control (eess.SY); Optimization and Control (math.OC)
[256] arXiv:0907.3666 [pdf, other]
Title: Various thresholds for $\ell_1$-optimization in compressed sensing
Mihailo Stojnic
Subjects: Information Theory (cs.IT)
[257] arXiv:0907.3679 [pdf, other]
Title: Block-length dependent thresholds in block-sparse compressed sensing
Mihailo Stojnic
Subjects: Information Theory (cs.IT)
[258] arXiv:0907.3710 [pdf, other]
Title: Throughput metrics and packet delay in TCP/IP networks
A.V. Sukhov, T.G. Sultanov, M.V. Strizhov, A.P. Platonov
Comments: 6 pages, 3 figures
Journal-ref: RIPE 59, Lissabon, 2009
Subjects: Networking and Internet Architecture (cs.NI); Performance (cs.PF)
[259] arXiv:0907.3754 [pdf, other]
Title: On the Geometry of Differential Privacy
Moritz Hardt, Kunal Talwar
Comments: 27 pages
Subjects: Computational Complexity (cs.CC); Cryptography and Security (cs.CR); Data Structures and Algorithms (cs.DS)
[260] arXiv:0907.3777 [pdf, other]
Title: A multiobjective Tabu framework for the optimization and evaluation of wireless systems
Katia Jaffres-Runser (CITI Insa Lyon / INRIA Grenoble Rhône-Alpes, EA 3720, WNET, CITI Insa Lyon / INRIA Grenoble Rhône-Alpes), Jean-Marie Gorce (CITI Insa Lyon / INRIA Grenoble Rhône-Alpes), Cristina Comaniciu (WNET)
Journal-ref: Local Search Techniques: Focus on Tabu Search I-Tech Education and Publishing (Ed.) (2008)
Subjects: Networking and Internet Architecture (cs.NI)
[261] arXiv:0907.3780 [pdf, other]
Title: On Lower Bounds for Constant Width Arithmetic Circuits
V. Arvind, Pushkar S. Joglekar, Srikanth Srinivasan
Comments: 16 pages
Subjects: Computational Complexity (cs.CC)
[262] arXiv:0907.3781 [pdf, other]
Title: Un syst\`eme modulaire d'acquisition automatique de traductions \`a partir du Web
Stéphanie Léon (LIRMM)
Journal-ref: TALN'09 (Traitement Automatique des Langues Naturelles), France (2009)
Subjects: Computation and Language (cs.CL)
[263] arXiv:0907.3793 [pdf, other]
Title: Cross-layer Resource Allocation Scheme for Multi-band High Rate UWB Systems
Ayman Khalil (IETR), Matthieu Crussière (IETR), Jean-François Hélard (IETR)
Subjects: Networking and Internet Architecture (cs.NI)
[264] arXiv:0907.3801 [pdf, other]
Title: The Incidence Chromatic Number of Toroidal Grids
Eric Sopena (LaBRI), Jiaojiao Wu (LaBRI)
Comments: 16 pages
Journal-ref: Discussiones Mathematicae Graph Theory 33 (2013) 315-327
Subjects: Discrete Mathematics (cs.DM)
[265] arXiv:0907.3804 [pdf, other]
Title: Decidability of higher-order matching
Colin Stirling
Comments: appears in LMCS (Logical Methods in Computer Science)
Journal-ref: Logical Methods in Computer Science, Volume 5, Issue 3 (July 30, 2009) lmcs:757
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)
[266] arXiv:0907.3819 [pdf, other]
Title: Self-adaptive web intrusion detection system
Thomas Guyet (Agrocampus Ouest, INRIA - IRISA), René Quiniou (INRIA - IRISA), Wei Wang (NTNU), Marie-Odile Cordier (INRIA - IRISA)
Subjects: Networking and Internet Architecture (cs.NI); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)
[267] arXiv:0907.3823 [pdf, other]
Title: USUM: Update Summary Generation System
C Ravindranath Chowdary, P Sreenivasa Kumar
Journal-ref: Advances in Computational Linguistics, Research in Computing Science Vol. 41, 2009, pp. 229-240
Subjects: Information Retrieval (cs.IR)
[268] arXiv:0907.3826 [pdf, other]
Title: Experimental DML over digital repositories in Japan
Takao Namiki, Hiraku Kuroda, Shunsuke Naruse
Journal-ref: Proceedings of Towards a Digital Mathematics Library 2009, Grand Bend, Ontario, Canada (2009)
Subjects: Digital Libraries (cs.DL)
[269] arXiv:0907.3861 [pdf, other]
Title: Sharp Stability Estimates for the Force-based Quasicontinuum Method
Matthew Dobson, Mitchell Luskin, Christoph Ortner
Comments: 22 pages, 1 figure
Journal-ref: SIAM J. Multiscale Modeling & Simulation, 8:782-802, 2010
Subjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph)
[270] arXiv:0907.3867 [pdf, other]
Title: Artificial Dendritic Cells: Multi-faceted Perspectives
Julie Greensmith, Uwe Aickelin
Comments: 24 pages, 6 figures,
Journal-ref: Human-Centric Information Processing Through Granular Modelling, 182, 375-395, 2009
Subjects: Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Multiagent Systems (cs.MA)
[271] arXiv:0907.3874 [pdf, other]
Title: Deep Diving into BitTorrent Locality
Ruben Cuevas, Nikolaos Laoutaris, Xiaoyuan Yang, Georgos Siganos, Pablo Rodriguez
Comments: Please cite the conference version of this paper appearing in the Proceedings of IEEE INFOCOM'11
Subjects: Networking and Internet Architecture (cs.NI); Computers and Society (cs.CY)
[272] arXiv:0907.3965 [pdf, other]
Title: P != NP Proof
André Luiz Barbosa
Comments: 25 pages and 3 new great ideas!
Subjects: Computational Complexity (cs.CC)
[273] arXiv:0907.3977 [pdf, other]
Title: Throughput-Optimal Opportunistic Scheduling in the Presence of Flow-Level Dynamics
Shihuan Liu, Lei Ying, R. Srikant
Comments: 15 pages
Subjects: Networking and Internet Architecture (cs.NI)
[274] arXiv:0907.3983 [pdf, other]
Title: Service-oriented high level architecture
Wenguang Wang, Wenguang Yu, Qun Li, Weiping Wang, Xichun Liu (College of Information System and Management, National University of Defense Technology, Changsha, China)
Comments: 12 pages, 3 figures, 2 tables, Proceedings of 2008 European Simulation Interoperability Workshop, 08E-SIW-022
Subjects: Software Engineering (cs.SE)
[275] arXiv:0907.3986 [pdf, other]
Title: Contextual Bandits with Similarity Information
Aleksandrs Slivkins
Comments: This is the full version of a conference paper in COLT 2011, to appear in JMLR in 2014. A preliminary version of this manuscript (with all the results) has been posted to arXiv in February 2011. An earlier version on arXiv, which does not include the results in Section 6, dates back to July 2009. The present revision addresses various presentation issues pointed out by journal referees
Subjects: Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG)
[276] arXiv:0907.4006 [pdf, other]
Title: Arithmetic Circuits and the Hadamard Product of Polynomials
V. Arvind, Pushkar S. Joglekar, Srikanth Srinivasan
Comments: 20 pages
Subjects: Computational Complexity (cs.CC)
[277] arXiv:0907.4031 [pdf, other]
Title: Cognitive MAC Protocols for General Primary Network Models
Omar Mehanna, Ahmed Sultan, Hesham El Gamal
Comments: 12 pages, 8 figures, submitted to IEEE Transactions on Mobile Computing
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[278] arXiv:0907.4036 [pdf, other]
Title: The Living Application: a Self-Organising System for Complex Grid Tasks
D. Groen, S. Harfst, S. Portegies Zwart
Comments: 26 pages, 3 figures, accepted by IJHPCA
Journal-ref: International Journal of High Performance Computing Applications May 2010 vol. 24 no. 2 185-193
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Astrophysics of Galaxies (astro-ph.GA); Networking and Internet Architecture (cs.NI)
[279] arXiv:0907.4066 [pdf, other]
Title: Existence and approximation of a (regularized) Oldroyd-B model
John W. Barrett, Sebastien Boyaval
Comments: 52 pages, 1 figure
Journal-ref: Math. Models Methods Appl. Sci. 21, 1783 (2011)
Subjects: Numerical Analysis (math.NA)
[280] arXiv:0907.4068 [pdf, other]
Title: Cutting a Convex Polyhedron Out of a Sphere
Syed Ishtiaque Ahmed, Masud Hasan, Md. Ariful Islam
Comments: 10 pages
Subjects: Computational Geometry (cs.CG); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
[281] arXiv:0907.4085 [pdf, other]
Title: A Secure Wireless Routing Protocol Using Enhanced Chain Signatures
Amitabh Saxena
Comments: Extended version
Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)
[282] arXiv:0907.4100 [pdf, other]
Title: Beyond Turing Machines
Kurt Ammon
Subjects: Artificial Intelligence (cs.AI)
[283] arXiv:0907.4128 [pdf, other]
Title: Relativized hyperequivalence of logic programs for modular programming
Miroslaw Truszczyński, Stefan Woltran
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[284] arXiv:0907.4130 [pdf, other]
Title: Spending is not Easier than Trading: On the Computational Equivalence of Fisher and Arrow-Debreu Equilibria
Xi Chen, Shang-Hua Teng
Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC)
[285] arXiv:0907.4166 [pdf, other]
Title: Budget Constrained Auctions with Heterogeneous Items
Sayan Bhattacharya, Gagan Goel, Sreenivas Gollapudi, Kamesh Munagala
Comments: Final version accepted to STOC '10. Incorporates significant reviewer comments
Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS)
[286] arXiv:0907.4169 [pdf, other]
Title: Primitive Recursive Presentations of Automata and their Products
Victor Yodaiken
Comments: 11 pages
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[287] arXiv:0907.4176 [pdf, other]
Title: The Basic Discrete Hilbert Transform with an Information Hiding Application
Renuka Kandregula
Comments: 13 pages
Subjects: Cryptography and Security (cs.CR)
[288] arXiv:0907.4180 [pdf, other]
Title: On Descriptional Complexity of the Planarity Problem for Gauss Words
Vitaliy Kurlin, Alexei Lisitsa, Igor Potapov, Rafiq Saleh
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC)
[289] arXiv:0907.4230 [pdf, other]
Title: The Semigroup of Combinatorial Configurations
Maria Bras-Amorós, Klara Stokes
Comments: Title changed, article shortened
Subjects: Discrete Mathematics (cs.DM)
[290] arXiv:0907.4251 [pdf, other]
Title: Buffered Aloha with K-Exponential Backoff -- Part I: Stability and Throughput Analysis
Tony T. Lee, Lin Dai
Subjects: Networking and Internet Architecture (cs.NI)
[291] arXiv:0907.4254 [pdf, other]
Title: Buffered Aloha with K-Exponential Backoff -- Part II: Delay Analysis
Lin Dai, Tony T. Lee
Subjects: Networking and Internet Architecture (cs.NI)
[292] arXiv:0907.4273 [pdf, other]
Title: On the Duality of Probing and Fault Attacks
Berndt M. Gammel, Stefan Mangard
Journal-ref: Cryptology ePrint Archive, Report 2009/352
Subjects: Cryptography and Security (cs.CR)
[293] arXiv:0907.4283 [pdf, other]
Title: Domination Problems in Nowhere-Dense Classes of Graphs
Anuj Dawar, Stephan Kreutzer
Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM)
[294] arXiv:0907.4296 [pdf, other]
Title: Algorithms for Glushkov K-graphs
Pascal Caron, Marianne Flouret
Comments: 31 pages, 20 figures, 1 table
Subjects: Formal Languages and Automata Theory (cs.FL)
[295] arXiv:0907.4311 [pdf, other]
Title: Parametric packing of selfish items and the subset sum algorithm
Leah Epstein, Elena Kleiman, Julian Mestre
Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS)
[296] arXiv:0907.4316 [pdf, other]
Title: Modular Verification of Recursive Programs
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Comments: 21 pages. appeared in: Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 5533 Springer 2009
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[297] arXiv:0907.4354 [pdf, other]
Title: Learning Object Location Predictors with Boosting and Grammar-Guided Feature Extraction
Damian Eads (1), Edward Rosten (2), David Helmbold (1) ((1) University of California Santa Cruz, (2) University of Cambridge)
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[298] arXiv:0907.4356 [pdf, other]
Title: Convergence of Local Dynamics to Balanced Outcomes in Exchange Networks
Yossi Azar, Benjamin Birnbaum, L. Elisa Celis, Nikhil R. Devanur, Yuval Peres
Comments: Full version of FOCS 2009 paper
Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS)
[299] arXiv:0907.4364 [pdf, other]
Title: Dynamic Deformation of Uniform Elastic Two-Layer Objects
Miao Song
Comments: 96 pages, 46 pages; master's thesis; August 2007; also available at this http URL
Subjects: Graphics (cs.GR)
[300] arXiv:0907.4385 [pdf, other]
Title: The Cost of Stability in Coalitional Games
Yoram Bachrach, Edith Elkind, Reshef Meir, Dmitrii Pasechnik, Michael Zuckerman, Joerg Rothe, Jeffrey S. Rosenschein
Comments: 20 pages; will be presented at SAGT'09
Journal-ref: Proceedings of SAGT 2009, LNCS, 5814, 122-134
Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)
[301] arXiv:0907.4426 [pdf, other]
Title: Evolution of Digital Logic Functionality via a Genetic Algorithm
Christopher M. Frenz, Steve Peters, Wilson Julien
Comments: Frenz, C.M., Peters, S., Julien, W. (2009) Evolution of Digital Logic Functionality via a Genetic Algorithm, Proceedings of the 2009 International Conference on Genetic and Evolutionary Methods (GEM 2009), 99-101
Subjects: Neural and Evolutionary Computing (cs.NE)
[302] arXiv:0907.4447 [pdf, other]
Title: Graphical Probabilistic Routing Model for OBS Networks with Realistic Traffic Scenario
Martin Levesque, Halima Elbiaze
Comments: 6 pages
Journal-ref: IEEE Globecom 2009, Hawaii, United States, November 30 - December 4, 2009
Subjects: Networking and Internet Architecture (cs.NI); Artificial Intelligence (cs.AI)
[303] arXiv:0907.4468 [pdf, other]
Title: What type of distribution for packet delay in a global network should be used in the control theory?
A.M. Sukhov, N. Kuznetsova
Comments: 5 pages, 2 figures
Subjects: Networking and Internet Architecture (cs.NI)
[304] arXiv:0907.4471 [pdf, other]
Title: Strategies and performances of Soft Input Decryption
Natasa Zivic
Comments: International Journal of Computer science and Information security, 12 pages, IJCSIS Volume 1
Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR)
[305] arXiv:0907.4477 [pdf, other]
Title: Full abstraction for nominal general references
Nikos Tzevelekos
Journal-ref: Logical Methods in Computer Science, Volume 5, Issue 3 (September 11, 2009) lmcs:918
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[306] arXiv:0907.4488 [pdf, other]
Title: Vertex Cover Problem Parameterized Above and Below Tight Bounds
Gregory Gutin, Eun Jung Kim, Michael Lampis, Valia Mitsou
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[307] arXiv:0907.4509 [pdf, other]
Title: Pattern Recognition Theory of Mind
Gilberto de Paiva
Subjects: Artificial Intelligence (cs.AI)
[308] arXiv:0907.4521 [pdf, other]
Title: Grassmannian Beamforming for MIMO-OFDM Systems with Frequency and Spatially Correlated Channels Using Huffman Coding
Igor Gutman, Doron Ezri, Dov Wulich
Subjects: Information Theory (cs.IT)
[309] arXiv:0907.4531 [pdf, other]
Title: Clone Theory and Algebraic Logic
Zhaohua Luo
Subjects: Logic in Computer Science (cs.LO)
[310] arXiv:0907.4547 [pdf, other]
Title: Quotient Complexity of Regular Languages
Janusz Brzozowski
Journal-ref: EPTCS 3, 2009, pp. 17-28
Subjects: Formal Languages and Automata Theory (cs.FL)
[311] arXiv:0907.4554 [pdf, other]
Title: The Nondeterministic Waiting Time Algorithm: A Review
John Jack (Louisiana Tech University), Andrei Paun (Louisiana Tech University, INCDSB, UPM)
Journal-ref: EPTCS 3, 2009, pp. 29-46
Subjects: Formal Languages and Automata Theory (cs.FL); Other Computer Science (cs.OH)
[312] arXiv:0907.4561 [pdf, other]
Title: Fact Sheet on Semantic Web
York Sure
Subjects: Artificial Intelligence (cs.AI)
[313] arXiv:0907.4573 [pdf, other]
Title: Solving MAX-r-SAT Above a Tight Lower Bound
Noga Alon, Gregory Gutin, Eun Jung Kim, Stefan Szeider, Anders Yeo
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[314] arXiv:0907.4576 [pdf, other]
Title: Slowly synchronizing automata with zero and incomplete sets
E. V. Pribavkina
Comments: 9 pages, 6 figures
Subjects: Formal Languages and Automata Theory (cs.FL)
[315] arXiv:0907.4622 [pdf, other]
Title: Aneka: A Software Platform for .NET-based Cloud Computing
Christian Vecchiola, Xingchen Chu, Rajkumar Buyya
Comments: 30 pages, 10 figures
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Engineering, Finance, and Science (cs.CE); Networking and Internet Architecture (cs.NI); Operating Systems (cs.OS); Programming Languages (cs.PL); Software Engineering (cs.SE)
[316] arXiv:0907.4631 [pdf, other]
Title: A Krylov subspace algorithm for evaluating the phi-functions appearing in exponential integrators
Jitse Niesen, Will M. Wright
Comments: 20 pages, 3 colour figures, code available from this http URL . v2: Various changes to improve presentation as suggested by the referee
Journal-ref: ACM Trans. Math. Software 38 (2012) Article 22
Subjects: Numerical Analysis (math.NA)
[317] arXiv:0907.4640 [pdf, other]
Title: Small-step and big-step semantics for call-by-need
Keiko Nakata, Masahito Hasegawa
Comments: 29 pages
Subjects: Programming Languages (cs.PL)
[318] arXiv:0907.4653 [pdf, other]
Title: Distributed MIMO radar using compressive sampling
Athina P. Petropulu, Yao Yu, H. Vincent Poor
Journal-ref: Proc. 42th Asilomar Conf.Signals, Syst. Comput, pp. 203 - 207, Nov. 2008
Subjects: Information Theory (cs.IT)
[319] arXiv:0907.4695 [pdf, other]
Title: Translation and modern interpretation of Laplace's Th\'eorie Analytique des Probabilit\'es, pages 505-512, 516-520
Julien Langou
Subjects: Numerical Analysis (math.NA); Statistics Theory (math.ST)
[320] arXiv:0907.4697 [pdf, other]
Title: Unsupervised and Non Parametric Iterative Soft Bit Error Rate Estimation for Any Communications System
Samir Saoudi, Tarik Ait-Idir, Yukou Mochida
Comments: This paper has been withdrawn by the author because it was not accepted as it is for publication in IEEE Transactions on Communications
Subjects: Information Theory (cs.IT)
[321] arXiv:0907.4705 [pdf, other]
Title: Compressive Sensing for MIMO Radar
Yao Yu, Athina P.Petropulu, H. Vincent Poor
Journal-ref: Proc. IEEE International Conf. Acoust.Speech Signal Process, pp. 3017 - 3020, Apr. 2008
Subjects: Information Theory (cs.IT)
[322] arXiv:0907.4740 [pdf, other]
Title: Positional Effects on Citation and Readership in arXiv
Asif-ul Haque, Paul Ginsparg
Comments: 28 pages, to appear in JASIST
Journal-ref: JASIST 60, 2203-2218 (Nov 2009)
Subjects: Digital Libraries (cs.DL); Instrumentation and Methods for Astrophysics (astro-ph.IM); High Energy Physics - Phenomenology (hep-ph); High Energy Physics - Theory (hep-th); Physics and Society (physics.soc-ph)
[323] arXiv:0907.4743 [pdf, other]
Title: Alice Meets Bob: A Comparative Usability Study of Wireless Device Pairing Methods for a "Two-User" Setting
Arun Kumar, Nitesh Saxena, Ersin Uzun
Comments: 16 pages manuscript. Keywords: Wireless Security, Device Authentication, Pairing, Usability
Subjects: Cryptography and Security (cs.CR); Human-Computer Interaction (cs.HC)
[324] arXiv:0907.4760 [pdf, other]
Title: Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability
Christel Baier (Technische Universität Dresden), Nathalie Bertrand (INRIA Rennes), Marcus Größer (Technische Universität Dresden)
Journal-ref: EPTCS 3, 2009, pp. 3-16
Subjects: Formal Languages and Automata Theory (cs.FL)
[325] arXiv:0907.4775 [pdf, other]
Title: Complexity Classes of Equivalence Problems Revisited
Lance Fortnow, Joshua A. Grochow
Comments: 21 pages
Journal-ref: Information and Computation 209(4):748-763, April 2011
Subjects: Computational Complexity (cs.CC)
[326] arXiv:0907.4810 [pdf, other]
Title: The Open Cloud Testbed: A Wide Area Testbed for Cloud Computing Utilizing High Performance Network Services
Robert Grossman, Yunhong Gu, Michal Sabala, Collin Bennet, Jonathan Seidman, Joe Mambratti
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[327] arXiv:0907.4815 [pdf, other]
Title: A Survey on BGP Issues and Solutions
Amit Narayanan
Subjects: Networking and Internet Architecture (cs.NI)
[328] arXiv:0907.4852 [pdf, other]
Title: The Distributions in Nature and Entropy Principle
Oded Kafri
Comments: 19 pages 5 figures
Subjects: Discrete Mathematics (cs.DM); Data Analysis, Statistics and Probability (physics.data-an)
[329] arXiv:0907.4870 [pdf, other]
Title: Tunable locally-optimal geographical forwarding in wireless sensor networks with sleep-wake cycling nodes
K. P. Naveen, A. Kumar
Comments: 13 Pages, 6 Figures
Subjects: Networking and Internet Architecture (cs.NI)
[330] arXiv:0907.4876 [pdf, other]
Title: Architecture and Performance Models for QoS-Driven Effective Peering of Content Delivery Networks
Mukaddim Pathan, Rajkumar Buyya
Comments: 31 pages, 19 figures
Journal-ref: Multiagent and Grid Systems, Volume 5, Number 2, Pages: 165-195, ISSN: 1574-1702, IOS Press, Amsterdam, The Netherlands, July 2009
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Networking and Internet Architecture (cs.NI)
[331] arXiv:0907.4877 [pdf, other]
Title: Fingerprints in the Ether: Using the Physical Layer for Wireless Authentication
Liang Xiao, Larry Greenstein, Narayan Mandayam, Wade Trappe
Comments: 5 pages, 10 figures, ICC
Journal-ref: ICC, pp. 4646-4651, Glasgow, Scotland, Jun. 2007
Subjects: Cryptography and Security (cs.CR)
[332] arXiv:0907.4878 [pdf, other]
Title: Modeling and Simulation of Scalable Cloud Computing Environments and the CloudSim Toolkit: Challenges and Opportunities
Rajkumar Buyya, Rajiv Ranjan, Rodrigo N. Calheiros
Comments: 11 pages, 11 figures
Journal-ref: Proceedings of the 7th High Performance Computing and Simulation (HPCS 2009) Conference, Leipzig, Germany, June 21 - 24, 2009
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Networking and Internet Architecture (cs.NI)
[333] arXiv:0907.4881 [pdf, other]
Title: Approximate mechanism for measuring stability of Internet link in aggregated Internet pipe
Vipin M, Mohamed Imran K R
Comments: 8 pages, 5 figures
Subjects: Networking and Internet Architecture (cs.NI); Performance (cs.PF)
[334] arXiv:0907.4885 [pdf, other]
Title: Growth Rate of the Weight Distribution of Doubly-Generalized LDPC Codes: General Case and Efficient Evaluation
Mark F. Flanagan, Enrico Paolini, Marco Chiani, Marc P. C. Fossorier
Comments: 6 pages, 1 figure. Proc. IEEE Globecom 2009, Hawaii, USA, November 30 - December 4, 2009
Subjects: Information Theory (cs.IT)
[335] arXiv:0907.4908 [pdf, other]
Title: MIMO-Assisted Channel-Based Authentication in Wireless Networks
Liang Xiao, Larry Greenstein, Narayan Mandayam, Wade Trappe
Comments: 5 pages, 6 figures, CISS
Journal-ref: Proc. Conference on Information Sciences and Systems (CISS), pp. 642-646, Princeton, NJ, Mar. 2008
Subjects: Cryptography and Security (cs.CR)
[336] arXiv:0907.4919 [pdf, other]
Title: Using the Physical Layer for Wireless Authentication in Time-Variant Channels
Liang Xiao, Larry Greenstein, Narayan Mandayam, Wade Trappe
Comments: 10 pages, 6 figures
Journal-ref: IEEE Transactions on Wireless Communications, vol. 7, pp. 2571-2579, Jul. 2008
Subjects: Cryptography and Security (cs.CR)
[337] arXiv:0907.4957 [pdf, other]
Title: Iterative pushdown automata and hyperbolic contour words
Maurice Margenstern
Comments: 15 pages, 6 figures
Subjects: Computational Geometry (cs.CG); Formal Languages and Automata Theory (cs.FL)
[338] arXiv:0907.4960 [pdf, other]
Title: Ezhil: A Tamil Programming Language
Muthiah Annamalai
Comments: 6 pages, Tamil UTF-8 characters
Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL)
[339] arXiv:0907.4984 [pdf, other]
Title: Automatic local Gabor Features extraction for face recognition
Yousra Ben Jemaa, Sana Khanfir
Comments: 7 pages, International Journal of Computer Science and Information Security, IJCSIS, Impact Factor 0.423
Journal-ref: IJCSIS July 2009, Volume 3, ISSN 1947 5500
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[340] arXiv:0907.4994 [pdf, other]
Title: A Proposed Algorithm to improve security & Efficiency of SSL-TLS servers using Batch RSA decryption
R.K.Pateriya, J.L.Rana, S.C. Shrivastava, Jaideep Patel
Comments: 5 pages, International Journal of Computer Science and Information Security, IJCSIS, Impact Factor 0.423
Journal-ref: IJCSIS July 2009, Volume 3, ISSN 1947 5500
Subjects: Cryptography and Security (cs.CR)
[341] arXiv:0907.4996 [pdf, other]
Title: Cooperative Jamming for Wireless Physical Layer Security
Lun Dong, Zhu Han, Athina P. Petropulu, H. Vincent Poor
Comments: 4 pages, 3 figures, in Proceedings of IEEE Workshop on Statistical Signal Processing (SSP 2009), Cardiff, Wales, UK, Aug. - Sept. 2009
Subjects: Information Theory (cs.IT)
[342] arXiv:0907.5016 [pdf, other]
Title: How much does a Hamiltonian cycle weigh?
Hurlee Gonchigdanzan
Subjects: Discrete Mathematics (cs.DM)
[343] arXiv:0907.5024 [pdf, other]
Title: Living at the Edge: A Large Deviations Approach to the Outage MIMO Capacity
P. Kazakopoulos, P. Mertikopoulos, A. L. Moustakas, G. Caire
Comments: Accepted for publication, IEEE Transactions on Information Theory (2010). Part of this work appears in the Proc. IEEE Information Theory Workshop, June 2009, Volos, Greece
Journal-ref: IEEE Transactions on Information Theory, vol. 57, no 4, p. 1984, April 2011
Subjects: Information Theory (cs.IT); Statistical Mechanics (cond-mat.stat-mech); Applications (stat.AP)
[344] arXiv:0907.5030 [pdf, other]
Title: Existence of new inequalities for representable polymatroids
Terence Chan, Alex Grant, Doris Kern
Subjects: Information Theory (cs.IT)
[345] arXiv:0907.5032 [pdf, other]
Title: Restart Strategy Selection using Machine Learning Techniques
Shai Haim, Toby Walsh
Comments: 14 pages, 4 figures
Subjects: Artificial Intelligence (cs.AI)
[346] arXiv:0907.5033 [pdf, other]
Title: Online Search Cost Estimation for SAT Solvers
Shai Haim, Toby Walsh
Comments: 8 pages, 9 figures
Subjects: Artificial Intelligence (cs.AI)
[347] arXiv:0907.5038 [pdf, other]
Title: An Explicit Construction of Gauss-Jordan Elimination Matrix
Yi Li
Subjects: Symbolic Computation (cs.SC); Numerical Analysis (math.NA)
[348] arXiv:0907.5055 [pdf, other]
Title: Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation
Fevzi Belli, Mutlu Beyazit
Journal-ref: EPTCS 3, 2009, pp. 69-77
Subjects: Formal Languages and Automata Theory (cs.FL)
[349] arXiv:0907.5058 [pdf, other]
Title: Testing the Equivalence of Regular Languages
Marco Almeida (<a href="http://LIACC-U.Porto" rel="external noopener nofollow" class="link-external link-http">this http URL</a>), Nelma Moreira (<a href="http://LIACC-U.Porto" rel="external noopener nofollow" class="link-external link-http">this http URL</a>), Rogério Reis (<a href="http://LIACC-U.Porto" rel="external noopener nofollow" class="link-external link-http">this http URL</a>)
Journal-ref: EPTCS 3, 2009, pp. 47-57
Subjects: Formal Languages and Automata Theory (cs.FL)
[350] arXiv:0907.5063 [pdf, other]
Title: On Measuring Non-Recursive Trade-Offs
Hermann Gruber, Markus Holzer, Martin Kutrib
Journal-ref: EPTCS 3, 2009, pp. 141-150
Subjects: Formal Languages and Automata Theory (cs.FL); Information Theory (cs.IT)
[351] arXiv:0907.5072 [pdf, other]
Title: Nondeterministic State Complexity of Positional Addition
Galina Jirásková (Slovak Academy of Sciences), Alexander Okhotin (University of Turku)
Journal-ref: EPTCS 3, 2009, pp. 151-161
Subjects: Formal Languages and Automata Theory (cs.FL)
[352] arXiv:0907.5074 [pdf, other]
Title: Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi
Comments: 27 pages
Journal-ref: Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM'09). Pgg. 13--22, IEEE Computer Society Press, November 2009
Subjects: Logic in Computer Science (cs.LO)
[353] arXiv:0907.5083 [pdf, other]
Title: Serializing the Parallelism in Parallel Communicating Pushdown Automata Systems
M. Sakthi Balan (Infosys)
Journal-ref: EPTCS 3, 2009, pp. 59-68
Subjects: Formal Languages and Automata Theory (cs.FL); Computation and Language (cs.CL); Distributed, Parallel, and Cluster Computing (cs.DC)
[354] arXiv:0907.5096 [pdf, other]
Title: Negative circuits and sustained oscillations in asynchronous automata networks
Adrien Richard
Subjects: Discrete Mathematics (cs.DM)
[355] arXiv:0907.5111 [pdf, other]
Title: On the Shuffle Automaton Size for Words
Franziska Biegler, Mark Daley, Ian McQuillan
Journal-ref: EPTCS 3, 2009, pp. 79-89
Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM)
[356] arXiv:0907.5119 [pdf, other]
Title: On the Size Complexity of Non-Returning Context-Free PC Grammar Systems
Erzsébet Csuhaj-Varjú, György Vaszil
Journal-ref: EPTCS 3, 2009, pp. 91-100
Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA)
[357] arXiv:0907.5120 [pdf, other]
Title: On the Number of Membranes in Unary P Systems
Rudolf Freund, Andreas Klein, Martin Kutrib
Journal-ref: EPTCS 3, 2009, pp. 101-109
Subjects: Formal Languages and Automata Theory (cs.FL)
[358] arXiv:0907.5121 [pdf, other]
Title: On Languages Accepted by P/T Systems Composed of joins
Pierluigi Frisco (Heriot-Watt University), Oscar H. Ibarra (University of California)
Journal-ref: EPTCS 3, 2009, pp. 111-120
Subjects: Formal Languages and Automata Theory (cs.FL)
[359] arXiv:0907.5124 [pdf, other]
Title: State Complexity Approximation
Yuan Gao, Sheng Yu
Journal-ref: EPTCS 3, 2009, pp. 121-130
Subjects: Formal Languages and Automata Theory (cs.FL)
[360] arXiv:0907.5125 [pdf, other]
Title: Rewrite based Verification of XML Updates
Florent Jacquemard (INRIA Saclay - Ile de France), Michael Rusinowitch (INRIA Lorraine - LORIA / LIFC)
Subjects: Logic in Computer Science (cs.LO)
[361] arXiv:0907.5127 [pdf, other]
Title: Translation from Classical Two-Way Automata to Pebble Two-Way Automata
Viliam Geffert, Lubomíra Ištoňová
Journal-ref: EPTCS 3, 2009, pp. 131-140
Subjects: Formal Languages and Automata Theory (cs.FL)
[362] arXiv:0907.5128 [pdf, other]
Title: Bounded Languages Meet Cellular Automata with Sparse Communication
Martin Kutrib, Andreas Malcher
Journal-ref: EPTCS 3, 2009, pp. 163-172
Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC)
[363] arXiv:0907.5130 [pdf, other]
Title: Small Universal Accepting Networks of Evolutionary Processors with Filtered Connections
Remco Loos, Florin Manea, Victor Mitrana
Journal-ref: EPTCS 3, 2009, pp. 173-182
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC)
[364] arXiv:0907.5132 [pdf, other]
Title: Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvement
Tomáš Masopust, Alexander Meduna
Journal-ref: EPTCS 3, 2009, pp. 183-192
Subjects: Formal Languages and Automata Theory (cs.FL)
[365] arXiv:0907.5136 [pdf, other]
Title: Capacity Bounded Grammars and Petri Nets
Ralf Stiebe, Sherzod Turaev
Journal-ref: EPTCS 3, 2009, pp. 193-203
Subjects: Formal Languages and Automata Theory (cs.FL)
[366] arXiv:0907.5141 [pdf, other]
Title: Cooperative Training for Attribute-Distributed Data: Trade-off Between Data Transmission and Performance
Haipeng Zheng, Sanjeev R. Kulkarni, H. Vincent Poor
Journal-ref: Proceedings of IEEE Fusion 2009
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA)
[367] arXiv:0907.5155 [pdf, other]
Title: On Classification from Outlier View
C. A. Hsiao
Comments: Conclusion renewed; IAENG International Journal of Computer Science, Volume 37, Issue 4, Nov, 2010
Subjects: Artificial Intelligence (cs.AI)
[368] arXiv:0907.5162 [pdf, other]
Title: Programming with Quantum Communication
Anya Tafliovich, Eric C. R. Hehner
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[369] arXiv:0907.5165 [pdf, other]
Title: Interference alignment-based sum capacity bounds for random dense Gaussian interference networks
Oliver Johnson, Matthew Aldridge, Robert Piechocki
Comments: 23 pages
Journal-ref: IEEE Transactions on Information Theory, 57:1, 282-290, 2011
Subjects: Information Theory (cs.IT)
[370] arXiv:0907.5168 [pdf, other]
Title: Collaborative Training in Sensor Networks: A graphical model approach
Haipeng Zheng, Sanjeev R. Kulkarni, H. Vincent Poor
Journal-ref: Proceedings of IEEE International Workshop on Machine Learning for Signal Processing, 2009
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA)
[371] arXiv:0907.5219 [pdf, other]
Title: A Note on the Power of Truthful Approximation Mechanisms
Shahar Dobzinski
Subjects: Computer Science and Game Theory (cs.GT)
[372] arXiv:0907.5226 [pdf, other]
Title: Recursive Random Number Generator Using Prime Reciprocals
Subhash Kak
Comments: 4 pages
Subjects: Cryptography and Security (cs.CR)
[373] arXiv:0907.5231 [pdf, other]
Title: Convergence of the Natural hp-BEM for the Electric Field Integral Equation on Polyhedral Surfaces
Alexei Bespalov, Norbert Heuer, Ralf Hiptmair
Subjects: Numerical Analysis (math.NA)
[374] arXiv:0907.5233 [pdf, other]
Title: Analysis of Internet Measurement Systems for Optimized Anomaly Detection System Design
Sean McPherson, Antonio Ortega
Comments: 18 Pages, 10 Figures
Subjects: Networking and Internet Architecture (cs.NI)
[375] arXiv:0907.5234 [pdf, other]
Title: A numerical study of fluids with pressure dependent viscosity flowing through a rigid porous medium
K. B. Nakshatrala, K. R. Rajagopal
Subjects: Numerical Analysis (math.NA)
[376] arXiv:0907.5257 [pdf, other]
Title: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems
Jürgen Dassow, Giovanni Pighizzini, Bianca Truthe
Journal-ref: EPTCS 3, 2009
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC)
[377] arXiv:0907.5269 [pdf, other]
Title: Fast Detour Computation for Ride Sharing
Robert Geisberger, Dennis Luxen, Sabine Neubauer, Peter Sanders, Lars Volker
Comments: 5 pages, 2 figure environment, 4 includegraphics
Subjects: Data Structures and Algorithms (cs.DS)
[378] arXiv:0907.5287 [pdf, other]
Title: Propelinear structure of Z_{2k}-linear codes
J. Borges, C. Fernandez-Cordoba, J. Rifa
Journal-ref: Electronic Notes in Discrete Mathematics, Volume 10, November 2001, Pages 100-102
Subjects: Information Theory (cs.IT)
[379] arXiv:0907.5290 [pdf, other]
Title: Program structure
Alex Shkotin
Comments: 22 pages, 4 figures
Subjects: Programming Languages (cs.PL)
[380] arXiv:0907.5321 [pdf, other]
Title: Multiple pattern classification by sparse subspace decomposition
Tomoya Sakai
Comments: 8 pages, 3 figures, 2nd IEEE International Workshop on Subspace Methods, Workshop Proceedings of ICCV 2009
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[381] arXiv:0907.5372 [pdf, other]
Title: Speedup in the Traveling Repairman Problem with Unit Time Windows
Greg N. Frederickson, Barry Wittman
Comments: 16 pages, 3 figures
Subjects: Data Structures and Algorithms (cs.DS)
[382] arXiv:0907.5388 [pdf, other]
Title: Providing Secrecy With Structured Codes: Tools and Applications to Two-User Gaussian Channels
Xiang He, Aylin Yener
Comments: 50 pages. Submitted to IEEE Transactions on Information Theory
Subjects: Information Theory (cs.IT)
[383] arXiv:0907.5397 [pdf, other]
Title: Telescoping Recursive Representations and Estimation of Gauss-Markov Random Fields
Divyanshu Vats, Jose M. F. Moura
Comments: To appear in the Transactions on Information Theory
Journal-ref: IEEE Transactions on Information Theory, vol. 57, no. 3, pp 1645-1663, March 2011
Subjects: Information Theory (cs.IT); Statistics Theory (math.ST)
[384] arXiv:0907.5402 [pdf, other]
Title: Optimal Scheduling for Fair Resource Allocation in Ad Hoc Networks with Elastic and Inelastic Traffic
Juan Jose Jaramillo, R. Srikant
Subjects: Networking and Internet Architecture (cs.NI)
[385] arXiv:0907.5427 [pdf, other]
Title: Betweenness Parameterized Above Tight Lower Bound
Gregory Gutin, Eun Jung Kim, Matthias Mnich, Anders Yeo
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[386] arXiv:0907.5429 [pdf, other]
Title: Knowledge Elecitation for Factors Affecting Taskforce Productivity using a Questionnaire
Muhammad Sohail, Abdur Rashid Khan
Comments: 7 pages, International Journal of Computer Science and Information Security, ISSN 1947 5500, Impact Factor 0.423
Journal-ref: International Journal of Computer Science and Information Security, IJCSIS, July 2009, Volume 3. No.1
Subjects: Computers and Society (cs.CY); General Literature (cs.GL)
[387] arXiv:0907.5430 [pdf, other]
Title: Dynamic control of Coding in Delay Tolerant Networks
Eitan Altman, Francesco De Pellegrini, Lucile Sassatelli
Subjects: Networking and Internet Architecture (cs.NI)
[388] arXiv:0907.5433 [pdf, other]
Title: Efficient Web Log Mining using Doubly Linked Tree
Ratnesh Kumar Jain, Dr. R. S. Kasana, Dr. Suresh Jain
Comments: 5 pages, International Journal of Computer Science and Information Security, ISSN 1947 5500, Impact Factor 0.423
Journal-ref: International Journal of Computer Science and Information Security, IJCSIS, July 2009, Volume 3. No.1, USA
Subjects: Information Retrieval (cs.IR); Information Theory (cs.IT)
[389] arXiv:0907.5438 [pdf, other]
Title: Key Distribution Scheme without Deployment Knowledge
Pranav Agrawal, Joy Kuri
Comments: 8 pages, 5 figures, Accepted in ICUMT 2009
Subjects: Cryptography and Security (cs.CR)
[390] arXiv:0907.5441 [pdf, other]
Title: A Hop-by-Hop Congestion-Aware Routing Protocol for Heterogeneous Mobile Ad-hoc Networks
B.Narasimhan, S.Santhosh baboo
Comments: 7 pages, International Journal of Computer Science and Information Security, ISSN 1947 5500, Impact Factor 0.423
Journal-ref: International Journal of Computer Science and Information Security, IJCSIS, July 2009, Volume 3. No.1, USA
Subjects: Networking and Internet Architecture (cs.NI)
[391] arXiv:0907.5442 [pdf, other]
Title: On Computing Compression Trees for Data Collection in Sensor Networks
Jian Li, Amol Deshpande, Samir Khuller
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[392] arXiv:0907.5443 [pdf, other]
Title: Dynamic Bandwidth Management in Distributed VoD based on the User Class Using Agents
H S Guruprasad, H D Maheshappa
Comments: 7 pages, International Journal of Computer Science and Information Security, ISSN 1947 5500, Impact Factor 0.423
Journal-ref: International Journal of Computer Science and Information Security, IJCSIS, July 2009, Volume 3. No.1, USA
Subjects: Networking and Internet Architecture (cs.NI); Performance (cs.PF)
[393] arXiv:0907.5469 [pdf, other]
Title: Feasibility/Desirability Games for Normal Form Games, Choice Models and Evolutionary Games
Pierre Lescanne (LIP)
Comments: 17 pages
Subjects: Computer Science and Game Theory (cs.GT)
[394] arXiv:0907.5474 [pdf, other]
Title: Optimal Angular Resolution for Face-Symmetric Drawings
David Eppstein, Kevin A. Wortman
Comments: 10 pages, 6 figures
Subjects: Data Structures and Algorithms (cs.DS)
[395] arXiv:0907.5477 [pdf, other]
Title: A Nonlinear Approach to Dimension Reduction
Lee-Ad Gottlieb, Robert Krauthgamer
Subjects: Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS); Functional Analysis (math.FA); Metric Geometry (math.MG)
[396] arXiv:0907.5481 [pdf, other]
Title: Treewidth of Erd\"{o}s-R\'{e}nyi Random Graphs, Random Intersection Graphs, and Scale-Free Random Graphs
Yong Gao
Subjects: Discrete Mathematics (cs.DM)
[397] arXiv:0907.5488 [pdf, other]
Title: Network Coding for Delay Tolerant Networks with Byzantine Adversaries
Lucile Sassatelli, Muriel Medard
Subjects: Networking and Internet Architecture (cs.NI)
[398] arXiv:0907.5489 [pdf, other]
Title: On Delay Constrained Multicast Capacity of Large-Scale Mobile Ad-Hoc Networks
Shan Zhou, Lei Ying
Comments: 12 pages,8 figures, conference
Subjects: Networking and Internet Architecture (cs.NI)
[399] arXiv:0907.5500 [pdf, other]
Title: Decoding Finger Flexion using amplitude modulation from band-specific ECoG
Nanying Liang (INRIA Lorraine - LORIA), Laurent Bougrain (INRIA Lorraine - LORIA)
Journal-ref: European Symposium on Artificial Neural Networks (ESANN) (2009) 467-472
Subjects: Human-Computer Interaction (cs.HC)
[400] arXiv:0907.5527 [pdf, other]
Title: Proof Theory at Work: Complexity Analysis of Term Rewrite Systems
Georg Moser
Comments: Cumulative Habilitation Thesis, submitted to the University of Innsbruck
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Symbolic Computation (cs.SC); Software Engineering (cs.SE)
[401] arXiv:0907.5538 [pdf, other]
Title: A preliminary XML-based search system for planetary data
Francesco Carraro, Sergio Fonte, Diego Turrini, Maria Cristina De Sanctis, Livia Giacomini
Comments: 10 pages, 5 figures, submitted to Computers and Geosciences
Subjects: Information Retrieval (cs.IR); Earth and Planetary Astrophysics (astro-ph.EP); Databases (cs.DB); Geophysics (physics.geo-ph)
[402] arXiv:0907.5575 [pdf, other]
Title: A hitting set construction, with application to arithmetic circuit lower bounds
Pascal Koiran (LIP)
Comments: 14 pages
Subjects: Computational Complexity (cs.CC)
[403] arXiv:0907.5598 [pdf, other]
Title: Convergence of Expected Utility for Universal AI
Peter de Blanc
Subjects: Artificial Intelligence (cs.AI)
[404] arXiv:0907.0001 (cross-list from math.CO) [pdf, other]
Title: On weight distributions of perfect colorings and completely regular codes
Denis Krotov (Sobolev Institute of Mathematics, Novosibirsk, Russia)
Comments: 17pp; partially presented at "Optimal Codes and Related Topics" OC2009, Varna (Bulgaria). V.2: the title was changed (old: "On weight distributions of perfect structures"), Sect.5 "Weight enumerators ..." was added
Journal-ref: Des. Codes Cryptogr. 61(3) 2011, 315-329
Subjects: Combinatorics (math.CO); Information Theory (cs.IT)
[405] arXiv:0907.0002 (cross-list from math.CO) [pdf, other]
Title: On the binary codes with parameters of doubly-shortened 1-perfect codes
Denis Krotov (Sobolev Institute of Mathematics, Novosibirsk, Russia)
Comments: 12pp
Journal-ref: Des. Codes Cryptogr. 57(2) 2010, 181-194
Subjects: Combinatorics (math.CO); Information Theory (cs.IT)
[406] arXiv:0907.0049 (cross-list from quant-ph) [pdf, other]
Title: No More Perfect Codes: Classification of Perfect Quantum Codes
Zhuo Li, Lijuan Xing
Comments: 3 pages, no figure
Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
[407] arXiv:0907.0375 (cross-list from math.PR) [pdf, other]
Title: Interacting branching processes and linear file-sharing networks
L. Leskelä (MSA), Philippe Robert (INRIA), Florian Simatos
Journal-ref: Advances in Applied Probability, 42(3), 2010
Subjects: Probability (math.PR); Networking and Internet Architecture (cs.NI)
[408] arXiv:0907.0455 (cross-list from physics.soc-ph) [pdf, other]
Title: The Peter Principle Revisited: A Computational Study
Alessandro Pluchino, Andrea Rapisarda, Cesare Garofalo
Comments: final version published on Physica A, 10 pages, 4 figures, 1 table (for on-line supplementary material see the link: this http URL)
Journal-ref: Physica A 389 (2010) 467-472
Subjects: Physics and Society (physics.soc-ph); Computer Science and Game Theory (cs.GT); Adaptation and Self-Organizing Systems (nlin.AO); Popular Physics (physics.pop-ph)
[409] arXiv:0907.0540 (cross-list from math.RA) [pdf, other]
Title: Inversive Meadows and Divisive Meadows
J. A. Bergstra, C. A. Middelburg
Comments: 18 pages; error corrected; 29 pages, combined with arXiv:0909.2088 [math.RA] and arXiv:0909.5271 [math.RA]
Journal-ref: Journal of Applied Logic, 9(3):203--220, 2011
Subjects: Rings and Algebras (math.RA); Logic in Computer Science (cs.LO)
[410] arXiv:0907.0689 (cross-list from math-ph) [pdf, other]
Title: Computation of fluxes of conservation laws
Alexei F. Cheviakov
Comments: Accepted to Journal of Engineering Mathematics, 2009
Subjects: Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Numerical Analysis (math.NA)
[411] arXiv:0907.0748 (cross-list from math.OC) [pdf, other]
Title: Gossip consensus algorithms via quantized communication
Ruggero Carli, Fabio Fagnani, Paolo Frasca, Sandro Zampieri
Comments: Accepted for publication
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
[412] arXiv:0907.0944 (cross-list from astro-ph.IM) [pdf, other]
Title: Spread spectrum for imaging techniques in radio interferometry
Y. Wiaux, G. Puy, Y. Boursier, P. Vandergheynst
Comments: 10 pages, 3 figures. Version 2 matches version accepted for publication in MNRAS. Changes include minor clarifications
Journal-ref: Mon. Not. R. Astron. Soc. 400 (2009) 1029
Subjects: Instrumentation and Methods for Astrophysics (astro-ph.IM); Information Theory (cs.IT)
[413] arXiv:0907.1050 (cross-list from physics.soc-ph) [pdf, other]
Title: Diffusion of scientific credits and the ranking of scientists
Filippo Radicchi, Santo Fortunato, Benjamin Markines, Alessandro Vespignani
Comments: Revised version. 11 pages, 10 figures, 1 table. The portal to compute the rankings of scientists is at this http URL
Journal-ref: Phys. Rev. E 80, 056103 (2009)
Subjects: Physics and Society (physics.soc-ph); Digital Libraries (cs.DL); Data Analysis, Statistics and Probability (physics.data-an)
[414] arXiv:0907.1100 (cross-list from stat.CO) [pdf, other]
Title: Riemannian Manifold Hamiltonian Monte Carlo
Mark Girolami, Ben Calderhead, Siu A. Chin
Comments: This paper has been withdrawn by the posting author because he is no longer a co-author of this work
Subjects: Computation (stat.CO); Numerical Analysis (math.NA); Statistics Theory (math.ST)
[415] arXiv:0907.1201 (cross-list from math.DS) [pdf, other]
Title: Generating Product Systems
Nir Avni, Benjamin Weiss
Subjects: Dynamical Systems (math.DS); Information Theory (cs.IT)
[416] arXiv:0907.1224 (cross-list from physics.data-an) [pdf, other]
Title: Effect of user tastes on personalized recommendation
Jian-Guo Liu, Tao Zhou, Qiang Guo, Bing-Hong Wang, Yi-Cheng Zhang
Comments: 8 pages, 4 figures
Journal-ref: IJMPC 20(12) 2009 1925-1932
Subjects: Data Analysis, Statistics and Probability (physics.data-an); Information Retrieval (cs.IR); Physics and Society (physics.soc-ph)
[417] arXiv:0907.1228 (cross-list from physics.data-an) [pdf, other]
Title: Degree correlation effect of bipartite network on personalized recommendation
Jian-Guo Liu, Tao Zhou, Zhao-Guo Xuan, Hong-An Che, Bing-Hong Wang, Yi-Cheng Zhang
Comments: 9 pages, 3 figures
Journal-ref: IJMPC 21(01) 2010 137-147
Subjects: Data Analysis, Statistics and Probability (physics.data-an); Information Retrieval (cs.IR); Physics and Society (physics.soc-ph)
[418] arXiv:0907.1297 (cross-list from quant-ph) [pdf, other]
Title: Bounds on the quantum satisfiability threshold
Sergey Bravyi, Cristopher Moore, Alexander Russell
Subjects: Quantum Physics (quant-ph); Statistical Mechanics (cond-mat.stat-mech); Computational Complexity (cs.CC)
[419] arXiv:0907.1356 (cross-list from math.NT) [pdf, other]
Title: The Erd\H{o}s--Moser equation $1^k+2^k+...+(m-1)^k=m^k$ revisited using continued fractions
Yves Gallot (Toulouse, France), Pieter Moree (Bonn, Germany), Wadim Zudilin (Newcastle, NSW, Australia)
Comments: 17 pages
Journal-ref: Math. Comp. 80 (2011), no. 274, 1221--1237
Subjects: Number Theory (math.NT); Classical Analysis and ODEs (math.CA); Numerical Analysis (math.NA)
[420] arXiv:0907.1455 (cross-list from physics.soc-ph) [pdf, other]
Title: Is scientific literature subject to a sell-by-date? A general methodology to analyze the durability of scientific documents
Rodrigo Costas, Thed N. van Leeuwen, Anthony F.J. van Raan
Comments: 26 pages, 9 tables, 5 figures
Subjects: Physics and Society (physics.soc-ph); Digital Libraries (cs.DL); Data Analysis, Statistics and Probability (physics.data-an)
[421] arXiv:0907.1558 (cross-list from physics.soc-ph) [pdf, other]
Title: Towards the quantification of the semantic information encoded in written language
Marcelo A. Montemurro, Damian Zanette
Comments: 19 pages, 4 figures
Journal-ref: Advances in Complex Systems, Volume 13, Issue 2 (2010), pp. 135-153
Subjects: Physics and Society (physics.soc-ph); Computation and Language (cs.CL); Data Analysis, Statistics and Probability (physics.data-an)
[422] arXiv:0907.1579 (cross-list from quant-ph) [pdf, other]
Title: The Computational Power of Minkowski Spacetime
Jacob D. Biamonte
Comments: 6 pages, LaTeX, feedback welcome
Journal-ref: J.Phys.Conf.Ser.229:012020,2010
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); General Relativity and Quantum Cosmology (gr-qc); Classical Physics (physics.class-ph)
[423] arXiv:0907.1586 (cross-list from hep-ex) [pdf, other]
Title: Data Preservation and Long Term Analysis in High Energy Physics
David M. South
Comments: To appear in the proceedings of 44th Rencontres de Moriond on QCD and High Energy Interactions, La Thuile, Valle d'Aosta, Italy, 14-21 Mar 2009. 4 pages, 2 figures + 1 photo, 1 style file
Subjects: High Energy Physics - Experiment (hep-ex); Digital Libraries (cs.DL); Data Analysis, Statistics and Probability (physics.data-an)
[424] arXiv:0907.1587 (cross-list from physics.comp-ph) [pdf, other]
Title: Continuum multi-physics modeling with scripting languages: the Nsim simulation compiler prototype for classical field theory
Thomas Fischbacher, Hans Fangohr
Comments: 50 pages, 5 figures
Subjects: Computational Physics (physics.comp-ph); Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Distributed, Parallel, and Cluster Computing (cs.DC)
[425] arXiv:0907.1925 (cross-list from nlin.CG) [pdf, other]
Title: Modeling self-organizing traffic lights with elementary cellular automata
Carlos Gershenson, David A. Rosenblueth
Comments: 33 pages, 11 Figures, 3 Tables
Journal-ref: Complex Systems: 19(4):305-322, 2011
Subjects: Cellular Automata and Lattice Gases (nlin.CG); Statistical Mechanics (cond-mat.stat-mech); Artificial Intelligence (cs.AI); Adaptation and Self-Organizing Systems (nlin.AO)
[426] arXiv:0907.2079 (cross-list from math.OC) [pdf, other]
Title: An Augmented Lagrangian Approach for Sparse Principal Component Analysis
Zhaosong Lu, Yong Zhang
Comments: 42 pages
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Statistics Theory (math.ST); Applications (stat.AP); Computation (stat.CO); Methodology (stat.ME); Machine Learning (stat.ML)
[427] arXiv:0907.2210 (cross-list from math.PR) [pdf, other]
Title: On the philosophy of Cram\'er-Rao-Bhattacharya Inequalities in Quantum Statistics
K. R. Parthasarathy
Subjects: Probability (math.PR); Information Theory (cs.IT); Statistics Theory (math.ST)
[428] arXiv:0907.2214 (cross-list from math.OC) [pdf, other]
Title: Quasi-Newton methods on Grassmannians and multilinear approximations of tensors
Berkant Savas, Lek-Heng Lim
Comments: 42 pages; 11 figures
Subjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
[429] arXiv:0907.2393 (cross-list from physics.soc-ph) [pdf, other]
Title: Multiscale Network Reduction Methodologies: Bistochastic and Disparity Filtering of Human Migration Flows between 3,000+ U. S. Counties
Paul B. Slater
Comments: 35 pages, 12 figures, some rewriting. Dendrogram included as EPAPS file
Subjects: Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI); Data Analysis, Statistics and Probability (physics.data-an); Applications (stat.AP)
[430] arXiv:0907.2397 (cross-list from math.HO) [pdf, other]
Title: How Ordinary Elimination Became Gaussian Elimination
Joseph F. Grcar
Comments: 56 pages, 21 figures, 1 table
Journal-ref: Historia Math., vol. 38, no. 2, pp. 163-218, 2011
Subjects: History and Overview (math.HO); Numerical Analysis (math.NA)
[431] arXiv:0907.2465 (cross-list from quant-ph) [pdf, other]
Title: The Transactional Nature of Quantum Information
Subhash Kak
Comments: Presented at the 11th International Conference on Squeezed States and Uncertainty Relations and 4th Feynman Festival, Olomouc, Czech Republic, June 22-26, 2009
Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
[432] arXiv:0907.2557 (cross-list from math-ph) [pdf, other]
Title: The Multiple Zeta Value Data Mine
J. Blümlein, D.J. Broadhurst, J.A.M. Vermaseren
Journal-ref: Comput.Phys.Commun.181:582-625,2010
Subjects: Mathematical Physics (math-ph); Mathematical Software (cs.MS); High Energy Physics - Phenomenology (hep-ph); High Energy Physics - Theory (hep-th); Algebraic Geometry (math.AG); Number Theory (math.NT)
[433] arXiv:0907.2639 (cross-list from math.OC) [pdf, other]
Title: Basis Reduction, and the Complexity of Branch-and-Bound
Gabor Pataki, Mustafa Tural
Comments: 15 pages, 1 figure
Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
[434] arXiv:0907.2914 (cross-list from astro-ph.IM) [pdf, other]
Title: Managing Information for Sparsely Distributed Articles and Readers: The Virtual Journals of the Joint Institute for Nuclear Astrophysics (JINA)
Richard H. Cyburt, Sam M. Austin, Timothy C. Beers, Alfredo Estrade, Ryan M. Ferguson, A. Sakharuk, Karl Smith, Scott Warren
Comments: submitted, 9 pages, 5 figures, 1 table. this http URL
Subjects: Instrumentation and Methods for Astrophysics (astro-ph.IM); Astrophysics of Galaxies (astro-ph.GA); Solar and Stellar Astrophysics (astro-ph.SR); Digital Libraries (cs.DL); Nuclear Experiment (nucl-ex); Nuclear Theory (nucl-th)
[435] arXiv:0907.3397 (cross-list from math.RA) [pdf, other]
Title: The Gray Image of Codes over Finite Chain Rings
Somphong Jitman, Patanee Udomkavanich
Comments: Submit to Discrete Mathematics
Subjects: Rings and Algebras (math.RA); Information Theory (cs.IT)
[436] arXiv:0907.3520 (cross-list from astro-ph.IM) [pdf, other]
Title: Exploring the Use of Virtual Worlds as a Scientific Research Platform: The Meta-Institute for Computational Astrophysics (MICA)
S. G. Djorgovski, P. Hut, S. McMillan, E. Vesperini, R. Knop, W. Farr, M. J. Graham
Comments: 15 pages, to appear in the refereed proceedings of "Facets of Virtual Environments" (FaVE 2009), eds. F. Lehmann-Grube, J. Sablating, et al., ICST Lecture Notes Ser., Berlin: Springer Verlag (2009); version with full resolution color figures is available at this http URL
Subjects: Instrumentation and Methods for Astrophysics (astro-ph.IM); Computers and Society (cs.CY); Physics Education (physics.ed-ph)
[437] arXiv:0907.3859 (cross-list from math.SP) [pdf, other]
Title: On condition numbers of polynomial eigenvalue problems with nonsingular leading coefficients
Nikolaos Papathanasiou, Panayiotis Psarrakos
Comments: 4 figures
Subjects: Spectral Theory (math.SP); Numerical Analysis (math.NA)
[438] arXiv:0907.3920 (cross-list from quant-ph) [pdf, other]
Title: Quantum algorithms for testing properties of distributions
Sergey Bravyi, Aram W. Harrow, Avinatan Hassidim
Comments: 20 pages
Journal-ref: IEEE. Trans. Inf. Th., vol. 57, no. 6, pp. 3971--3981, June 2011
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)
[439] arXiv:0907.3942 (cross-list from q-bio.PE) [pdf, other]
Title: A Fast Algorithm for Computing Geodesic Distances in Tree Space
Megan Owen, J. Scott Provan
Comments: 20 pages, 5 figures. Added new section on including common edges and leaf edge-lengths in the algorithm, clarified starting point for algorithm, added references, other minor improvements. To appear in IEEE/ACM Transactions on Computational Biology and Bioinformatics
Subjects: Populations and Evolution (q-bio.PE); Computational Geometry (cs.CG); Discrete Mathematics (cs.DM); Metric Geometry (math.MG)
[440] arXiv:0907.3970 (cross-list from math.NT) [pdf, other]
Title: Infinite Families of Recursive Formulas Generating Power Moments of Kloosterman Sums: Symplectic Case
Dae San Kim
Comments: 21 pages
Subjects: Number Theory (math.NT); Information Theory (cs.IT)
[441] arXiv:0907.3972 (cross-list from math.NT) [pdf, other]
Title: Infinite Families of Recursive Formulas Generating Power Moments of Kloosterman Sums: O\^{+}(2n, 2\^{r}) Case
Dae San Kim
Comments: 21pages
Subjects: Number Theory (math.NT); Information Theory (cs.IT)
[442] arXiv:0907.3974 (cross-list from math.NT) [pdf, other]
Title: Simple Recursive Formulas Generating Power Moments of Kloosterman Sums
Dae San Kim
Comments: 8 pages
Subjects: Number Theory (math.NT); Information Theory (cs.IT)
[443] arXiv:0907.4355 (cross-list from math.FA) [pdf, other]
Title: Decompositions of Trigonometric Polynomials with Applications to Multivariate Subdivision Schemes
Nira Dyn, Maria Skopina
Comments: 30 pages
Subjects: Functional Analysis (math.FA); Numerical Analysis (math.NA)
[444] arXiv:0907.4583 (cross-list from math.CO) [pdf, other]
Title: Syndeticity and independent substitutions
Fabien Durand (LAMFA), Michel Rigo
Journal-ref: Advances in Applied Mathematics, 42 (2009) 1-22
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
[445] arXiv:0907.4667 (cross-list from math.CO) [pdf, other]
Title: Further applications of a power series method for pattern avoidance
Narad Rampersad
Comments: 7 pages
Subjects: Combinatorics (math.CO); Formal Languages and Automata Theory (cs.FL)
[446] arXiv:0907.4764 (cross-list from math.CO) [pdf, other]
Title: The monodromy pairing and discrete logarithm on the Jacobian of finite graphs
Farbod Shokrieh
Journal-ref: J. Math. Cryptol. 4 (2010), 43--56
Subjects: Combinatorics (math.CO); Cryptography and Security (cs.CR); Algebraic Geometry (math.AG)
[447] arXiv:0907.4803 (cross-list from physics.soc-ph) [pdf, other]
Title: Community Detection with and without Prior Information
Armen E. Allahverdyan, Greg Ver Steeg, Aram Galstyan
Comments: 6 pages, 2 figures
Journal-ref: Europhysics Letters 90, p.18002, 2010
Subjects: Physics and Society (physics.soc-ph); Statistical Mechanics (cond-mat.stat-mech); Computers and Society (cs.CY); Data Analysis, Statistics and Probability (physics.data-an); Quantitative Methods (q-bio.QM)
[448] arXiv:0907.4918 (cross-list from physics.class-ph) [pdf, other]
Title: Boussinesq Systems of Bona-Smith Type on Plane Domains: Theory and Numerical Analysis
Vassilios Dougalis, Dimitrios Mitsotakis (LM-Orsay), Jean-Claude Saut (LM-Orsay)
Subjects: Classical Physics (physics.class-ph); Analysis of PDEs (math.AP); Numerical Analysis (math.NA)
[449] arXiv:0907.5043 (cross-list from physics.pop-ph) [pdf, other]
Title: Online-offline activities and game-playing behaviors of avatars in a massive multiplayer online role-playing game
Zhi-Qiang Jiang (ECUST), Wei-Xing Zhou (ECUST), Qun-Zhao Tan (SNDA)
Comments: 6 EPL pages including 10 eps figures
Journal-ref: EPL 88, 48007 (2009)
Subjects: Popular Physics (physics.pop-ph); Multiagent Systems (cs.MA); Physics and Society (physics.soc-ph)
[450] arXiv:0907.5126 (cross-list from stat.AP) [pdf, other]
Title: A population-modulated bibliometric measure with an application in the field of statistics
John Panaretos, Chrisovaladis Malesios
Subjects: Applications (stat.AP); Digital Libraries (cs.DL); Physics and Society (physics.soc-ph)
[451] arXiv:0907.5138 (cross-list from math.CO) [pdf, other]
Title: Cutwidth and degeneracy of graphs
Benoit Kloeckner (IF)
Comments: v2: slightly shortened, some typos corrected.
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
Total of 451 entries
Showing up to 1000 entries per page: fewer | more | all