Computer Science

Authors and titles for March 2010

[451] arXiv:1003.4919 [pdf, other]

Title: Doubly Perfect Nonlinear Boolean Permutations

Laurent Poinsot (LIPN)

Journal-ref: Journal of Discrete Mathematical Sciences and Cryptography 13, 6 (2010) 571-582

Subjects: Discrete Mathematics (cs.DM); Cryptography and Security (cs.CR)

[452] arXiv:1003.4924 [pdf, other]

Title: Common Frame of reference in collaborative virtual environments and their impact on presence

Amine Chellali (IRCCyN), Cédric Dumas (IRCCyN), Isabelle Milleville-Pennel (IRCCyN), Eric Nouri (IRCCyN)

Journal-ref: The 10th Annual International Workshop on Presence, Barcelone : Spain (2007)

Subjects: Human-Computer Interaction (cs.HC)

[453] arXiv:1003.4942 [pdf, other]

Title: Approximate Dynamic Programming using Halfspace Queries and Multiscale Monge decomposition

Gary L. Miller, Richard Peng, Russell Schwartz, Charalampos E. Tsourakakis

Comments: 1) 12 pages 2) Updated 2nd Version: Removed section 3.3 of 1st version, updated references (for more details see this http URL)

Subjects: Data Structures and Algorithms (cs.DS); Computational Geometry (cs.CG)

[454] arXiv:1003.4963 [pdf, other]

Title: Bounded Degree Planar Geometric Spanners

Paz Carmi, Lilach Chaitman

Subjects: Computational Geometry (cs.CG)

[455] arXiv:1003.4972 [pdf, other]

Title: Quickest Time Herding and Detection for Optimal Social Learning

Vikram Krishnamurthy

Comments: This paper is an old/outdated version of the paper "Bayesian Sequential Detection with Phase-Distributed Change Time and Nonlinear Penalty -- A Lattice programming approach" arXiv:1011.5298

Subjects: Information Theory (cs.IT); Optimization and Control (math.OC); Physics and Society (physics.soc-ph)

[456] arXiv:1003.5042 [pdf, other]

Title: Local Popularity based Page Link Analysis

C Ravindranath Chowdary

Subjects: Information Retrieval (cs.IR)

[457] arXiv:1003.5056 [pdf, other]

Title: Cubes convexes

Sebastien Nedjar (LIF), Alain Casali (LIF), Rosine Cicchetti (LIF), Lotfi Lakhal (LIF)

Journal-ref: Revue des Sciences et Technologies de l'Information (S\'erie Ing\'enierie des Syst\`emes d'Information) 11, 6 (2006) 11-31

Subjects: Databases (cs.DB)

[458] arXiv:1003.5068 [pdf, other]

Title: On the stability of flow-aware CSMA

T. Bonald (Telecom ParisTech, Paris, France), M. Feuillet (INRIA, Rocquencourt, France)

Subjects: Performance (cs.PF); Networking and Internet Architecture (cs.NI); Probability (math.PR)

[459] arXiv:1003.5080 [pdf, other]

Title: Transparent Anonymization: Thwarting Adversaries Who Know the Algorithm

Xiaokui Xiao, Yufei Tao, Nick Koudas

Comments: To appear in the ACM Transaction on Database Systems (TODS)

Subjects: Databases (cs.DB)

[460] arXiv:1003.5097 [pdf, other]

Title: Power Loading in Parallel Diversity Channels Based on Statistical Channel Information

J. P. Coon, R. Cepeda

Comments: 6 pages, 7 figures

Subjects: Information Theory (cs.IT)

[461] arXiv:1003.5104 [pdf, other]

Title: Resilient networking in wireless sensor networks

Ochirkhand Erdene-Ochir (CITI Insa Lyon / INRIA Grenoble Rhône-Alpes), Marine Minier (CITI Insa Lyon / INRIA Grenoble Rhône-Alpes), Fabrice Valois (CITI Insa Lyon / INRIA Grenoble Rhône-Alpes), Apostolos Kountouris (FT R&D)

Subjects: Networking and Internet Architecture (cs.NI)

[462] arXiv:1003.5105 [pdf, other]

Title: Towards increasing diversity for the relaying of LT Fountain Codes in Wireless Sensor Networks

Apavatjrut Anya (CITI Insa Lyon / INRIA Grenoble Rhône-Alpes), Claire Goursaud (CITI Insa Lyon / INRIA Grenoble Rhône-Alpes), Katia Jaffrès-Runser (CITI Insa Lyon / INRIA Grenoble Rhône-Alpes, WNET), Cristina Comaniciu (WNET), Jean-Marie Gorce (CITI Insa Lyon / INRIA Grenoble Rhône-Alpes)

Subjects: Networking and Internet Architecture (cs.NI)

[463] arXiv:1003.5173 [pdf, other]

Title: LEXSYS: Architecture and Implication for Intelligent Agent systems

Charles A. B. Robert (LORIA)

Subjects: Artificial Intelligence (cs.AI)

[464] arXiv:1003.5192 [pdf, other]

Title: wiki.openmath.org - how it works, how you can participate

Christoph Lange

Comments: OpenMath workshop 2009 (this http URL)

Subjects: Digital Libraries (cs.DL); Mathematical Software (cs.MS); History and Overview (math.HO)

[465] arXiv:1003.5196 [pdf, other]

Title: SWiM -- A Semantic Wiki for Mathematical Knowledge Management

Christoph Lange

Journal-ref: S. Bechhofer, M. Hauswirth, J. Hoffmann, M. Koubarakis. The Semantic Web: Research and Applications. ESWC 2008. LNCS 5021, Springer 2008

Subjects: Digital Libraries (cs.DL); Mathematical Software (cs.MS); History and Overview (math.HO)

[466] arXiv:1003.5197 [pdf, other]

Title: Lazy Evaluation and Delimited Control

Ronald Garcia (Carnegie Mellon University), Andrew Lumsdaine (Indiana University), Amr Sabry (Indiana University)

Journal-ref: Logical Methods in Computer Science, Volume 6, Issue 3 (July 11, 2010) lmcs:1013

Subjects: Programming Languages (cs.PL)

[467] arXiv:1003.5212 [pdf, other]

Title: Diversity-Multiplexing Tradeoff of Cooperative Communication with Linear Network Coded Relays

Hakan Topakkaya, Zhengdao Wang

Comments: Submitted to IEEE Globecom conference 2010. 5 pages, 6 figures.

Subjects: Information Theory (cs.IT)

[468] arXiv:1003.5238 [pdf, other]

Title: An efficient algorithm for the parallel solution of high-dimensional differential equations

Stefan Klus, Tuhin Sahai, Cong Liu, Michael Dellnitz

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Numerical Analysis (math.NA)

[469] arXiv:1003.5239 [pdf, other]

Title: Cross-Layer Designs in Coded Wireless Fading Networks with Multicast

Ketan Rajawat, Nikolaos Gatsis, Georgios B. Giannakis

Comments: Accepted in IEEE/ACM Transactions on Networking; revision pending

Subjects: Networking and Internet Architecture (cs.NI); Optimization and Control (math.OC)

[470] arXiv:1003.5249 [pdf, other]

Title: Active Testing for Face Detection and Localization

Raphael Sznitman, Bruno Jedynak

Comments: 16 pages, 5 figures, accepted in IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI), 2010

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[471] arXiv:1003.5257 [pdf, other]

Title: Enforcing the non-negativity constraint and maximum principles for diffusion with decay on general computational grids

H. Nagarajan, K. B. Nakshatrala

Subjects: Numerical Analysis (math.NA)

[472] arXiv:1003.5263 [pdf, other]

Title: A Proof, Based on the Euler Sum Acceleration, of the Recovery of an Exponential (Geometric) Rate of Convergence for the Fourier Series of a Function with Gibbs Phenomenon

John P. Boyd

Comments: A short version, only one-third as long, will appear in the Proceedings of ICOSAHOM '09

Subjects: Numerical Analysis (math.NA); Geophysics (physics.geo-ph)

[473] arXiv:1003.5290 [pdf, other]

Title: A posteriori error estimates for approximate solutions of Barenblatt-Biot poroelastic model

J. M. Nordbotten, T. Rahman, S. I. Repin, J. Valdman

Comments: 12 pages

Subjects: Numerical Analysis (math.NA)

[474] arXiv:1003.5303 [pdf, other]

Title: Determinating Timing Channels in Compute Clouds

Amittai Aviram, Sen Hu, Bryan Ford, Ramakrishna Gummadi

Comments: 6 pages, 4 figures

Subjects: Operating Systems (cs.OS); Cryptography and Security (cs.CR)

[475] arXiv:1003.5304 [pdf, other]

Title: Review of Lattice-based Public key Cryptography(Russian)

V.S. Usatyuk

Comments: 13 pages, 12 figures

Subjects: Cryptography and Security (cs.CR)

[476] arXiv:1003.5305 [pdf, other]

Title: Rational Value of Information Estimation for Measurement Selection

David Tolpin, Solomon Eyal Shimony

Comments: 7 pages, 2 figures, presented at URPDM2010; plots fixed

Subjects: Artificial Intelligence (cs.AI)

[477] arXiv:1003.5309 [pdf, other]

Title: Gossip Algorithms for Distributed Signal Processing

Alexandros G. Dimakis, Soummya Kar, Jose M.F. Moura, Michael G. Rabbat, Anna Scaglione

Comments: Submitted to Proceedings of the IEEE, 29 pages

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)

[478] arXiv:1003.5320 [pdf, other]

Title: The Video Genome

Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[479] arXiv:1003.5324 [pdf, other]

Title: Stable Nash equilibria of medium access games under symmetric, socially altruistic behavior

G. Kesidis, Y. Jin, A.P. Azad, E. Altman

Subjects: Computer Science and Game Theory (cs.GT); Networking and Internet Architecture (cs.NI)

[480] arXiv:1003.5325 [pdf, other]

Title: What's in a Session: Tracking Individual Behavior on the Web

Mark Meiss, John Duncan, Bruno Gonçalves, José J. Ramasco, Filippo Menczer

Comments: 10 pages, 13 figures, 1 table

Journal-ref: Proceedings of the 20th ACM conference on Hypertext and hypermedia, 173-182 (2009)

Subjects: Human-Computer Interaction (cs.HC); Multiagent Systems (cs.MA); Physics and Society (physics.soc-ph)

[481] arXiv:1003.5326 [pdf, other]

Title: Truth and Envy in Capacitated Allocation Games

Edith Cohen, Michal Feldman, Amos Fiat, Haim Kaplan, Svetlana Olonetsky

Subjects: Computer Science and Game Theory (cs.GT)

[482] arXiv:1003.5327 [pdf, other]

Title: Agents, Bookmarks and Clicks: A topical model of Web traffic

Mark Meiss, Bruno Gonçalves, José J. Ramasco, Alessandro Flammini, Filippo Menczer

Comments: 10 pages, 16 figures, 1 table - Long version of paper to appear in Proceedings of the 21th ACM conference on Hypertext and Hypermedia

Journal-ref: Proceedings of the 21th ACM conference on Hypertext and hypermedia, 229 (2010)

Subjects: Networking and Internet Architecture (cs.NI); Information Retrieval (cs.IR); Multiagent Systems (cs.MA); Physics and Society (physics.soc-ph)

[483] arXiv:1003.5328 [pdf, other]

Title: On the Interplay between Incentive Compatibility and Envy Freeness

Edith Cohen, Michal Feldman, Amos Fiat, Haim Kaplan, Svetlana Olonetsky

Subjects: Computer Science and Game Theory (cs.GT)

[484] arXiv:1003.5330 [pdf, other]

Title: Lin-Kernighan Heuristic Adaptations for the Generalized Traveling Salesman Problem

Daniel Karapetyan, Gregory Gutin

Comments: 25 pages

Journal-ref: European Journal of Operational Research 208(3), pages 221-232, 2011

Subjects: Data Structures and Algorithms (cs.DS)

[485] arXiv:1003.5342 [pdf, other]

Title: Improving Waiting Time of Tasks Scheduled Under Preemptive Round Robin Using Changeable Time Quantum

Samih Mohemmed Mostafa

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[486] arXiv:1003.5345 [pdf, other]

Title: Bounds for the Sum Capacity of Binary CDMA Systems in Presence of Near-Far Effect

P. Pad, M. H. Shafinia, S. M. Mansouri, P. Kabir, F. Marvasti

Subjects: Information Theory (cs.IT)

[487] arXiv:1003.5349 [pdf, other]

Title: On the optimality of Orthogonal Greedy Algorithm for M-coherent dictionaries

Eugene Livshitz

Subjects: Numerical Analysis (math.NA)

[488] arXiv:1003.5350 [pdf, other]

Title: An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications

Daniel J. Dougherty

Journal-ref: EPTCS 21, 2010, pp. 77-89

Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[489] arXiv:1003.5363 [pdf, other]

Title: Proceedings FM-09 Workshop on Formal Methods for Aerospace

Manuela Bujorianu (University of Manchester, UK), Michael Fisher (University of Liverpool, UK)

Journal-ref: EPTCS 20, 2010

Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[490] arXiv:1003.5372 [pdf, other]

Title: Learning Recursive Segments for Discourse Parsing

Stergos Afantenos, Pascal Denis, Philippe Muller, Laurence Danlos

Comments: published at LREC 2010

Subjects: Computation and Language (cs.CL)

[491] arXiv:1003.5383 [pdf, other]

Title: Automatic analysis of distance bounding protocols

Sreekanth Malladi, Bezawada Bruhadeshwar, Kishore Kothapalli

Comments: 22 pages, Appeared in Foundations of Computer Security, (Affiliated workshop of LICS 2009, Los Angeles, CA).

Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)

[492] arXiv:1003.5384 [pdf, other]

Title: Protocol indepedence through disjoint encryption under Exclusive-OR

Sreekanth Malladi

Comments: 22 pages, In Proceedings, Foundations of Security and Privacy (FCS-PrivMod 2010).

Subjects: Cryptography and Security (cs.CR); Symbolic Computation (cs.SC)

[493] arXiv:1003.5385 [pdf, other]

Title: How to prevent type-flaw attacks on security protocols under algebraic properties

Sreekanth Malladi, Pascal Lafourcade

Comments: 16 pages, Appeared in proceedings of Security with Rewriting Techniques (SecRet09), Affiliated to CSF Symposium 2009, Port Jefferson, NY.

Subjects: Cryptography and Security (cs.CR)

[494] arXiv:1003.5399 [pdf, other]

Title: Spatial logics with connectedness predicates

Roman Kontchakov (Birkbeck College London), Ian Pratt-Hartmann (Department of Computer Science, Manchester University), Frank Wolter (Department of Computer Science, University of Liverpool), Michael Zakharyaschev (Birkbeck College London)

Comments: Some results of the paper were presented at LPAR 2008 and ECAI 2000

Journal-ref: Logical Methods in Computer Science, Volume 6, Issue 3 (August 18, 2010) lmcs:1229

Subjects: Logic in Computer Science (cs.LO)

[495] arXiv:1003.5406 [pdf, other]

Title: Disabling equational theories in unification for cryptographic protocol analysis through tagging

Sreekanth Malladi

Comments: 8 pages, submitted for publication

Subjects: Cryptography and Security (cs.CR); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[496] arXiv:1003.5413 [pdf, other]

Title: Modeling Multi-Point Transport Protocol in P2P Networks

Yong-Xiang Zhao, Chang-Jia Chen

Subjects: Networking and Internet Architecture (cs.NI)

[497] arXiv:1003.5429 [pdf, other]

Title: Preventing Distributed Denial-of-Service Attacks on the IMS Emergency Services Support through Adaptive Firewall Pinholing

Andreea Ancuta Onofrei (1), Yacine Rebahi (1), Thomas Magedanz (1), (1)Fokus Fraunhofer Institute, Germany

Comments: 17 Pages, IJNGN Journal

Journal-ref: International Journal of Next-Generation Networks 2.1 (2010) 1-17

Subjects: Networking and Internet Architecture (cs.NI); Cryptography and Security (cs.CR)

[498] arXiv:1003.5431 [pdf, other]

Title: Securing Internet Protocol (IP) Storage: A Case Study

Siva Rama Krishnan Somayaji (1), Ch.A.S Murty (2), ((1)VIT University, India, (2)C-DAC, Hyderabad, India)

Comments: 10 Pages, IJNGN Journal

Journal-ref: International Journal of Next-Generation Networks 2.1 (2010) 19-28

Subjects: Networking and Internet Architecture (cs.NI)

[499] arXiv:1003.5432 [pdf, other]

Title: Computer Network Topology Design in Limelight of Pascal Graph Property

Sanjay Kumar Pal (1), Samar Sen Sarma (2), ((1)NSHM College of Management & Technology, India, (2) University of Calcutta, India)

Comments: 6 Pages, IJNGN Journal

Journal-ref: International Journal of Next-Generation Networks 2.1 (2010) 30-35

Subjects: Networking and Internet Architecture (cs.NI)

[500] arXiv:1003.5435 [pdf, other]

Title: Image Compression and Watermarking scheme using Scalar Quantization

Kilari Veera Swamy (1), B.Chandra Mohan (2), Y.V.Bhaskar Reddy (3), S.Srinivas Kumar (4) ((1) QISCET, Ongole, India, (2) BEC, Bapatla, India, (3) QISCET, Ongole, India and (4) JNTU, Kakinada, India)

Comments: 11 Pages, IJNGN Journal 2010

Journal-ref: International Journal of Next-Generation Networks 2.1 (2010) 37-47

Subjects: Computer Vision and Pattern Recognition (cs.CV); Multimedia (cs.MM)

[501] arXiv:1003.5437 [pdf, other]

Title: Improved Packet Forwarding Approach in Vehicular Ad Hoc Networks Using RDGR Algorithm

K.Prasanth (1), Dr.K.Duraiswamy (2), K.Jayasudha (3), Dr.C.Chandrasekar (4), ((1) <a href="http://K.S.Rangasamy" rel="external noopener nofollow" class="link-external link-http">this http URL</a> College of Technology, India, (2) <a href="http://K.S.Rangasamy" rel="external noopener nofollow" class="link-external link-http">this http URL</a> College of Technology, India, (3) K.S.R College of Engineering, India, (4) Periyar University, India)

Comments: 14 Pages, IJNGN Journal

Journal-ref: International Journal of Next-Generation Networks 2.1 (2010) 64-77

Subjects: Networking and Internet Architecture (cs.NI)

[502] arXiv:1003.5438 [pdf, other]

Title: A Performance Analysis for UMTS Packet Switched Network Based on Multivariate KPIS

Ye Ouyang, M. Hosein Fallah, (Stevens Institute of Technology, USA)

Comments: 15 Pages, IJNGN Journal

Journal-ref: International Journal of Next-Generation Networks 2.1 (2010) 79-92

Subjects: Networking and Internet Architecture (cs.NI)

[503] arXiv:1003.5439 [pdf, other]

Title: Design of A Low Power Low Voltage CMOS Opamp

Ratul Kr. Baruah (Tezpur University, India)

Comments: 8 Pages, VLSICS Journal

Journal-ref: International Journal Of VLSI Design & Communication Systems 1.1 (2010) 1-8

Subjects: Other Computer Science (cs.OH)

[504] arXiv:1003.5440 [pdf, other]

Title: QoS Based Capacity Enhancement for WCDMA Network with Coding Scheme

K.Ayyappan (1), R. Kumar (2) ((1) Rajiv Gandhi College of Engineering and Technology, India, (2) SRM University, India)

Comments: 10 Pages, VLSICS Journal

Journal-ref: International Journal Of VLSI Design & Communication Systems 1.1 (2010) 10-19

Subjects: Networking and Internet Architecture (cs.NI)

[505] arXiv:1003.5442 [pdf, other]

Title: Arithmetic Operations in Multi-Valued Logic

Vasundara Patel (1), K. S. Gurumurthy (2) ((1) Vishweshwaraiah Technological University, India, (2) UVCE, Bangalore, India)

Comments: 12 Pages, VLSICS Journal 2010

Journal-ref: International Journal Of VLSI Design & Communication Systems 1.1 (2010) 21-32

Subjects: Other Computer Science (cs.OH)

[506] arXiv:1003.5447 [pdf, other]

Title: Relating Nominal and Higher-order Abstract Syntax Specifications

Andrew Gacek

Comments: To appear in PPDP 2010

Subjects: Logic in Computer Science (cs.LO)

[507] arXiv:1003.5455 [pdf, other]

Title: Towards physical laws for software architecture

A.D. Chepelianskii

Subjects: Software Engineering (cs.SE); Information Retrieval (cs.IR); Data Analysis, Statistics and Probability (physics.data-an); Physics and Society (physics.soc-ph)

[508] arXiv:1003.5458 [pdf, other]

Title: Seidel complementation on ($P_5$, $House$, $Bull$)-free graphs

Jean-Luc Fouquet (LIFO), Jean-Marie Vanherpe (LIFO)

Subjects: Discrete Mathematics (cs.DM)

[509] arXiv:1003.5459 [pdf, other]

Title: On a family of cubic graphs containing the flower snarks

Jean-Luc Fouquet (LIFO), Henri Thuillier (LIFO), Jean-Marie Vanherpe (LIFO)

Journal-ref: Discussiones Mathematicae Graph Theory 30, 2 (2010) 289-314

Subjects: Discrete Mathematics (cs.DM)

[510] arXiv:1003.5461 [pdf, other]

Title: A Note on Integer Factorization Using Lattices

Antonio Ignacio Vera (INRIA Lorraine - LORIA)

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM)

[511] arXiv:1003.5474 [pdf, other]

Title: Angle Tree: Nearest Neighbor Search in High Dimensions with Low Intrinsic Dimensionality

Ilia Zvedeniouk, Sanjay Chawla

Comments: To be submitted to IEEE Transactions on Pattern Analysis and Machine Intelligence

Subjects: Data Structures and Algorithms (cs.DS)

[512] arXiv:1003.5480 [pdf, other]

Title: Truthful Fair Division

Elchanan Mossel, Omer Tamuz

Comments: 10 pages

Journal-ref: Algorithmic Game Theory, volume 6386 of Lecture Notes in Computer Science, pages 288-299. Springer Berlin / Heidelberg, 2010 (SAGT 2010)

Subjects: Computer Science and Game Theory (cs.GT)

[513] arXiv:1003.5509 [pdf, other]

Title: An LSB Data Hiding Technique Using Prime Numbers

Sandipan Dey, Ajith Abraham, Sugata Sanyal

Comments: 6 Pages, 7 Figures, Third International Symposium on Information Assurance and Security, August 29-31, 2007, Manchester, United Kingdom, IEEE Computer Society press, USA, ISBN 0-7695-2876-7, pp. 101-106, 2007.

Subjects: Cryptography and Security (cs.CR)

[514] arXiv:1003.5510 [pdf, other]

Title: EphPub: Toward Robust Ephemeral Publishing

Claude Castelluccia, Emiliano De Cristofaro, Aurelien Francillon, Mohamed-Ali Kaafar

Comments: Proceedings of IEEE ICNP 2011

Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)

[515] arXiv:1003.5511 [pdf, other]

Title: Categorical Models for a Semantically Linear Lambda-calculus

Marco Gaboardi, Mauro Piccolo

Journal-ref: EPTCS 22, 2010, pp. 1-13

Subjects: Logic in Computer Science (cs.LO)

[516] arXiv:1003.5512 [pdf, other]

Title: Resource-Bound Quantification for Graph Transformation

Paolo Torrini, Reiko Heckel

Journal-ref: EPTCS 22, 2010, pp. 14-25

Subjects: Logic in Computer Science (cs.LO)

[517] arXiv:1003.5513 [pdf, other]

Title: Uniqueness Typing for Resource Management in Message-Passing Concurrency

Edsko de Vries, Adrian Francalanza, Matthew Hennessy

Journal-ref: EPTCS 22, 2010, pp. 26-37

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[518] arXiv:1003.5515 [pdf, other]

Title: Labelled Lambda-calculi with Explicit Copy and Erase

Maribel Fernández, Nikolaos Siafakas

Journal-ref: EPTCS 22, 2010, pp. 49-64

Subjects: Logic in Computer Science (cs.LO)

[519] arXiv:1003.5517 [pdf, other]

Title: Competition with Dynamic Spectrum Leasing

Lingjie Duan, Jianwei Huang, Biying Shou

Comments: A shorter version appears in IEEE DySPAN 2010. This version has been submitted to IEEE/ACM Transactions on Networking.

Subjects: Networking and Internet Architecture (cs.NI)

[520] arXiv:1003.5518 [pdf, other]

Title: On Linear Information Systems

A. Bucciarelli, A. Carraro, T. Ehrhard, A. Salibra

Journal-ref: EPTCS 22, 2010, pp. 38-48

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[521] arXiv:1003.5525 [pdf, other]

Title: Searching publications on operating systems

C. A. Middelburg

Comments: 8 pages

Subjects: Operating Systems (cs.OS)

[522] arXiv:1003.5619 [pdf, other]

Title: Flexible Authentication Technique for Ubiquitous Wireless Communication using Passport and Visa Tokens

Abdullah M.Almuhaideb, Mohammed A. Alhabeeb, Phu D.Le, Bala Srinivasan

Journal-ref: Journal of Telecommunications, Volume 1, Issue 2, pp1-10, March 2010

Subjects: Networking and Internet Architecture (cs.NI)

[523] arXiv:1003.5623 [pdf, other]

Title: Spoken Language Identification Using Hybrid Feature Extraction Methods

Pawan Kumar, Astik Biswas, A .N. Mishra, Mahesh Chandra

Journal-ref: Journal of Telecommunications, Volume 1, Issue 2, pp11-15, March 2010

Subjects: Sound (cs.SD); Machine Learning (cs.LG)

[524] arXiv:1003.5627 [pdf, other]

Title: Wavelet-Based Mel-Frequency Cepstral Coefficients for Speaker Identification using Hidden Markov Models

Mahmoud I. Abdalla, Hanaa S. Ali

Journal-ref: Journal of Telecommunications, Volume 1, Issue 2, pp16-21, March 2010

Subjects: Sound (cs.SD); Machine Learning (cs.LG)

[525] arXiv:1003.5629 [pdf, other]

Title: Bit Error Rate Performance Analysis on Modulation Techniques of Wideband Code Division Multiple Access

M. A. Masud, M. Samsuzzaman, M. A.Rahman

Journal-ref: Journal of Telecommunications,Volume 1, Issue 2, pp22-29, March 2010

Subjects: Other Computer Science (cs.OH)

[526] arXiv:1003.5631 [pdf, other]

Title: A Mobile Message Scheduling and Delivery System using m-Learning framework

Moumita Majumder, Sumit Dhar

Journal-ref: Journal of Telecommunications,Volume 1, Issue 2, pp30-34, March 2010

Subjects: Other Computer Science (cs.OH)

[527] arXiv:1003.5633 [pdf, other]

Title: Performance Analysis of Best suited Adaptive Equalization Algorithm for Optical Communication

Tarek Hasan-Al-Mahmud, M.Mahbubur Rahman, Sumon Kumar Debnath

Journal-ref: Journal of Telecommunications,Volume 1, Issue 2, pp35-41, March 2010

Subjects: Other Computer Science (cs.OH)

[528] arXiv:1003.5635 [pdf, other]

Title: Web-Based Learning and Training for Virtual Metrology Lab

Fahad Al-Zahrani

Journal-ref: Journal of Telecommunications,Volume 1, Issue 2, pp42-54, March 2010

Subjects: Other Computer Science (cs.OH)

[529] arXiv:1003.5648 [pdf, other]

Title: The Error-Pattern-Correcting Turbo Equalizer

Hakim Alhussien, Jaekyun Moon

Comments: This work has been submitted to the special issue of the IEEE Transactions on Information Theory titled: "Facets of Coding Theory: from Algorithms to Networks". This work was supported in part by the NSF Theoretical Foundation Grant 0728676.

Journal-ref: Alhussien, H.; Moon, J.; , "The Error-Pattern-Correcting Turbo Equalizer: Spectrum Thinning at High SNRs," Information Theory, IEEE Transactions on , vol.57, no.2, pp.953-971, Feb. 2011

Subjects: Information Theory (cs.IT)

[530] arXiv:1003.5693 [pdf, other]

Title: An Iteratively Decodable Tensor Product Code with Application to Data Storage

Hakim Alhussien, Jaekyun Moon

Comments: Hakim Alhussien, Jaekyun Moon, "An Iteratively Decodable Tensor Product Code with Application to Data Storage"

Journal-ref: IEEE Journal on Selected Areas in Communications, vol.28, no.2, pp.228-240, February 2010.

Subjects: Information Theory (cs.IT)

[531] arXiv:1003.5699 [pdf, other]

Title: Predicting the Future with Social Media

Sitaram Asur, Bernardo A. Huberman

Subjects: Computers and Society (cs.CY); Physics and Society (physics.soc-ph)

[532] arXiv:1003.5716 [pdf, other]

Title: Proceedings First International Workshop on Linearity

Mário Florido, Ian Mackie

Journal-ref: EPTCS 22, 2010

Subjects: Logic in Computer Science (cs.LO)

[533] arXiv:1003.5746 [pdf, other]

Title: BitTorrent Experiments on Testbeds: A Study of the Impact of Network Latencies

Ashwin Rao (INRIA Sophia Antipolis / INRIA Rhône-Alpes), Arnaud Legout (INRIA Sophia Antipolis / INRIA Rhône-Alpes), Walid Dabbous (INRIA Sophia Antipolis / INRIA Rhône-Alpes)

Journal-ref: JDIR, Sophia Antipolis : France (2010)

Subjects: Networking and Internet Architecture (cs.NI)

[534] arXiv:1003.5749 [pdf, other]

Title: Etiqueter un corpus oral par apprentissage automatique à l'aide de connaissances linguistiques

Iris Eshkol (CORAL), Isabelle Tellier (LIFO), Taalab Samer (LIFO), Sylvie Billot (LIFO)

Journal-ref: 10\`emes Journ\'ees Internationales d'Analyse statistique des Donn\'ees Textuelles JADT'2010, Rome : Italie (2010)

Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL)

[535] arXiv:1003.5758 [pdf, other]

Title: Proceedings Tenth International Workshop on Rule-Based Programming

Ian Mackie, Anamaria Martins Moreira

Journal-ref: EPTCS 21, 2010

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[536] arXiv:1003.5771 [pdf, other]

Title: Analysis of a CSMA-Based Wireless Network: Feasible Throughput Region and Power Consumption

Fu-Te Hsu, Hsuan-Jung Su

Comments: submitted to IEEE Transactions on Communications

Subjects: Computer Science and Game Theory (cs.GT); Information Theory (cs.IT)

[537] arXiv:1003.5775 [pdf, other]

Title: The impact of cell site re-homing on the performance of umts core networks

Ye Ouyang (1), M. Hosein Fallah (1), ((1)Stevens Institute of Technology, USA)

Comments: 14 Pages, IJNGN Journal

Journal-ref: International Journal of Next-Generation Networks 2.1 (2010) 49-62

Subjects: Networking and Internet Architecture (cs.NI)

[538] arXiv:1003.5777 [pdf, other]

Title: Specifying Reusable Components

Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer

Journal-ref: Proceedings of the 3rd International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'10). Lecture Notes in Computer Science, 6217:127--141, Springer-Verlag, August 2010

Subjects: Software Engineering (cs.SE)

[539] arXiv:1003.5782 [pdf, other]

Title: Bricks and conjectures of Berge, Fulkerson and Seymour

Vahan Mkrtchyan, Eckhard Steffen

Comments: 4 pages

Subjects: Discrete Mathematics (cs.DM)

[540] arXiv:1003.5783 [pdf, other]

Title: Measures of edge-uncolorability

Vahan Mkrtchyan, Eckhard Steffen

Comments: 9 pages

Journal-ref: Discrete Mathematics 312/2 (2012) pp. 476--478

Subjects: Discrete Mathematics (cs.DM)

[541] arXiv:1003.5787 [pdf, other]

Title: A secured Cryptographic Hashing Algorithm

Rakesh Mohanty, Niharjyoti Sarangi, Sukant kumar Bishi

Comments: 4 pages,2 figures, 1 tabular data set

Subjects: Cryptography and Security (cs.CR)

[542] arXiv:1003.5794 [pdf, other]

Title: Scalable Group Management in Large-Scale Virtualized Clusters

Wei Zhou, Lei Wang, Dan Meng, Lin Yuan, Jianfeng Zhan

Comments: 9 pages

Journal-ref: The Journal of High Technology Letters, January, 2011

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[543] arXiv:1003.5803 [pdf, other]

Title: Why the Internet is so 'small'?

Shi Zhou

Journal-ref: EuropeComm 2009, LNICST 16, pp. 4-12, 2009

Subjects: Networking and Internet Architecture (cs.NI)

[544] arXiv:1003.5821 [pdf, other]

Title: Tuning CLD Maps

Roberto Marazzato, Amelia Carolina Sparavigna

Comments: Keywords: coherence length, image analysis, 2D textures; texture functions; defect localisation; directional defect pattern; optimization; histogram

Journal-ref: International Journal of Software Engineering and Computing, 2011, Volume 3, Issue 1, Pages 17-23

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[545] arXiv:1003.5861 [pdf, other]

Title: Robust multi-camera view face recognition

Dakshina Ranjan Kisku, Hunny Mehrotra, Phalguni Gupta, Jamuna Kanta Sing

Comments: 10 pages, 3 figures, IJCA

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[546] arXiv:1003.5865 [pdf, other]

Title: Offline Signature Identification by Fusion of Multiple Classifiers using Statistical Learning Theory

Dakshina Ranjan Kisku, Phalguni Gupta, Jamuna Kanta Sing

Comments: 11 pages, 3 figures, IJSIA 2010

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[547] arXiv:1003.5874 [pdf, other]

Title: Stability of epsilon-Kernels

Pankaj K. Agarwal, Jeff M. Phillips, Hai Yu

Comments: 15 pages, 7 figures

Subjects: Computational Geometry (cs.CG)

[548] arXiv:1003.5884 [pdf, other]

Title: CWTS crown indicator measures citation impact of a research group's publication oeuvre

Henk F. Moed

Comments: Letter to the editor; reply to paper arXiv:1002.2769

Subjects: Digital Libraries (cs.DL); Physics and Society (physics.soc-ph)

[549] arXiv:1003.5886 [pdf, other]

Title: Development of a multi-user handwriting recognition system using Tesseract open source OCR engine

Sandip Rakshit, Subhadip Basu

Comments: Proc. International Conference on C3IT (2009) 240-247

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[550] arXiv:1003.5891 [pdf, other]

Title: Recognition of Handwritten Roman Script Using Tesseract Open source OCR Engine

Sandip Rakshit, Subhadip Basu

Comments: Proc. National Conference on NAQC (2008) 141-145

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[551] arXiv:1003.5893 [pdf, other]

Title: Recognition of Handwritten Textual Annotations using Tesseract Open Source OCR Engine for information Just In Time (iJIT)

Sandip Rakshit, Subhadip Basu, Hisashi Ikeda

Comments: Proc. Int. Conf. on Information Technology and Business Intelligence (2009) 117-125

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[552] arXiv:1003.5897 [pdf, other]

Title: Development of a Multi-User Recognition Engine for Handwritten Bangla Basic Characters and Digits

Sandip Rakshit, Debkumar Ghosal, Tanmoy Das, Subhrajit Dutta, Subhadip Basu

Comments: Proc. (CD) Int. Conf. on Information Technology and Business Intelligence (2009)

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[553] arXiv:1003.5898 [pdf, other]

Title: Recognition of handwritten Roman Numerals using Tesseract open source OCR engine

Sandip Rakshit, Amitava Kundu, Mrinmoy Maity, Subhajit Mandal, Satwika Sarkar, Subhadip Basu

Comments: Proc. Int. Conf. on Advances in Computer Vision and Information Technology (2009) 572-577

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[554] arXiv:1003.5899 [pdf, other]

Title: Geometric Algebra Model of Distributed Representations

Agnieszka Patyk

Comments: 30 pages, 19 figures

Subjects: Artificial Intelligence (cs.AI)

[555] arXiv:1003.5907 [pdf, other]

Title: Faster Approximation Schemes for Fractional Multicommodity Flow Problems via Dynamic Graph Algorithms

Aleksander Madry

Subjects: Data Structures and Algorithms (cs.DS)

[556] arXiv:1003.5954 [pdf, other]

Title: Multi-Stage Programs are Generalized Arrows

Adam Megacz

Comments: This paper is obsolete and has been superceded by {\it Multi-Level Programs are Generalized Arrows} available here: https://arxiv.boxedpaper.com/pdf/1007.2885

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Category Theory (math.CT)

[557] arXiv:1003.5956 [pdf, other]

Title: Unbiased Offline Evaluation of Contextual-bandit-based News Article Recommendation Algorithms

Lihong Li, Wei Chu, John Langford, Xuanhui Wang

Comments: 10 pages, 7 figures, revised from the published version at the WSDM 2011 conference

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Robotics (cs.RO); Machine Learning (stat.ML)

[558] arXiv:1003.5966 [pdf, other]

Title: Integer-Forcing Linear Receivers

Jiening Zhan, Bobak Nazer, Uri Erez, Michael Gastpar

Comments: 40 pages, 16 figures, to appear in the IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[559] arXiv:1003.5979 [pdf, other]

Title: Qualitative Properties of alpha-Weighted Scheduling Policies

Devavrat Shah, John N. Tsitsiklis, Yuan Zhong

Comments: 13 pages

Subjects: Networking and Internet Architecture (cs.NI); Optimization and Control (math.OC)

[560] arXiv:1003.5993 [pdf, other]

Title: A Triple-Error-Correcting Cyclic Code from the Gold and Kasami-Welch APN Power Functions

Xiangyong Zeng, Jinyong Shan, Lei Hu

Comments: 29 pages

Subjects: Discrete Mathematics (cs.DM); Information Theory (cs.IT)

[561] arXiv:1003.6013 [pdf, other]

Title: Optimal (v, 4, 2, 1) optical orthogonal codes with small parameters

Tsonka Baicheva, Svetlana Topalova

Comments: This paper has been withdrawn by authors

Subjects: Discrete Mathematics (cs.DM)

[562] arXiv:1003.6030 [pdf, other]

Title: Variable Threshold MOSFET Approach (Through Dynamic Threshold MOSFET) For Universal Logic Gates

K. Ragini (1), M. Satyam (2), B.C. Jinaga (3) ((1) <a href="http://G.Narayanamma" rel="external noopener nofollow" class="link-external link-http">this http URL</a> Institute of Technology &amp; Science India, (2) International Institute of Information Technology, India, (3) Jawaharlal Nehru Technology University, India)

Comments: 11 Pages, VLSICS Journal

Journal-ref: International Journal Of VLSI Design & Communication Systems 1.1 (2010) 33-43

Subjects: Other Computer Science (cs.OH)

[563] arXiv:1003.6036 [pdf, other]

Title: Computational Complexity of Iterated Maps on the Interval

Christoph Spandl

Subjects: Numerical Analysis (math.NA); Mathematical Software (cs.MS); Dynamical Systems (math.DS)

[564] arXiv:1003.6052 [pdf, other]

Title: Development of an automated Red Light Violation Detection System (RLVDS) for Indian vehicles

Satadal Saha, Subhadip Basu, Mita Nasipuri, Dipak Kumar Basu

Comments: National Conference on Computing and Communication Systems (COCOSYS-09)

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[565] arXiv:1003.6059 [pdf, other]

Title: A novel scheme for binarization of vehicle images using hierarchical histogram equalization technique

Satadal Saha, Subhadip Basu, Mita Nasipuri, Dipak Kumar Basu

Comments: International Conference on Computer, Communication, Control and Information Technology (C3IT 2009)

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[566] arXiv:1003.6069 [pdf, other]

Title: A CF-Based Randomness Measure for Sequences

Anvesh Aileni

Comments: 8 pages

Subjects: Discrete Mathematics (cs.DM)

[567] arXiv:1003.6082 [pdf, other]

Title: Coding Schemes and Asymptotic Capacity of the Gaussian Broadcast and Interference Channels with Feedback

Michael Gastpar, Amos Lapidoth, Yossef Steinberg, Michele Wigger

Comments: 18 pages

Subjects: Information Theory (cs.IT)

[568] arXiv:1003.6091 [pdf, other]

Title: Calculation of Mutual Information for Partially Coherent Gaussian Channels with Applications to Fiber Optics

Bernhard Goebel, René-Jean Essiambre, Gerhard Kramer, Peter J. Winzer, Norbert Hanik

Comments: 30 pages, 9 figures, accepted for publication in IEEE Transactions on Information Theory

Journal-ref: IEEE Trans. Information Theory 57 (2011) 5720-5736

Subjects: Information Theory (cs.IT)

[569] arXiv:1003.6096 [pdf, other]

Title: Expressiveness of Generic Process Shape Types

Jan Jakubuv, J. B. Wells

Comments: Submitted to Trustworthy Global Computing (TGC) 2010.

Subjects: Logic in Computer Science (cs.LO)

[570] arXiv:1003.0060 (cross-list from stat.ML) [pdf, other]

Title: Comment on "Fastest learning in small-world neural networks"

Z.X. Guo

Comments: 8 pages, 5 figures

Subjects: Machine Learning (stat.ML); Neural and Evolutionary Computing (cs.NE)

[571] arXiv:1003.0088 (cross-list from physics.soc-ph) [pdf, other]

Title: A Condition for Cooperation in a Game on Complex Networks

Tomohiko Konno

Comments: It is added that if the number of players are small, then the cooperation is favored in scale-free networks

Journal-ref: Journal of Theoretical Biology, 269(1): 224 - 233, 2011

Subjects: Physics and Society (physics.soc-ph); Computer Science and Game Theory (cs.GT); Populations and Evolution (q-bio.PE)

[572] arXiv:1003.0225 (cross-list from math.CO) [pdf, other]

Title: The Magnetic Tower of Hanoi

Uri Levy

Comments: 41 pages, 14 paper figures, 4 appendix figures, 10 tables

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

[573] arXiv:1003.0502 (cross-list from math.OA) [pdf, other]

Title: Stable polynomial division and essential normality of graded Hilbert modules

Orr Shalit

Comments: 17 pages. Minor changes, close to published version

Journal-ref: J. London Math. Soc. (2011) 83(2): 273-289

Subjects: Operator Algebras (math.OA); Symbolic Computation (cs.SC); Commutative Algebra (math.AC); Functional Analysis (math.FA)

[574] arXiv:1003.0727 (cross-list from quant-ph) [pdf, other]

Title: On the comparison of volumes of quantum states

Deping Ye

Journal-ref: J. Phys. A: Math. Theor. 43 (2010) 315301 (17pp)

Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT); Mathematical Physics (math-ph); Functional Analysis (math.FA)

[575] arXiv:1003.0931 (cross-list from physics.ed-ph) [pdf, other]

Title: A student's guide to searching the literature using online databases

Casey W. Miller, Michelle D. Chabot, Troy C. Messina

Comments: 16 pages, 5 figures, and 1 table

Journal-ref: Am. J. Phys. 77(12), 1112-1117 (2009)

Subjects: Physics Education (physics.ed-ph); Digital Libraries (cs.DL); Information Retrieval (cs.IR)

[576] arXiv:1003.1018 (cross-list from physics.data-an) [pdf, other]

Title: Zipf's law and log-normal distributions in measures of scientific output across fields and institutions: 40 years of Slovenia's research as an example

Matjaz Perc

Comments: 8 pages, 3 figures; accepted for publication in Journal of Informetrics [supplementary material available at this http URL]

Journal-ref: Journal of Informetrics 4 (2010) 358-364

Subjects: Data Analysis, Statistics and Probability (physics.data-an); Databases (cs.DB); Applications (stat.AP)

[577] arXiv:1003.1020 (cross-list from cond-mat.dis-nn) [pdf, other]

Title: Learning by random walks in the weight space of the Ising perceptron

Haiping Huang, Haijun Zhou

Comments: 12 pages, 4 figures, An extensively revised version

Journal-ref: J. Stat. Mech.: Theory Exp. P08014 (2010)

Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistical Mechanics (cond-mat.stat-mech); Machine Learning (cs.LG); Neurons and Cognition (q-bio.NC)

[578] arXiv:1003.1077 (cross-list from math.AP) [pdf, other]

Title: High order finite element calculations for the deterministic Cahn-Hilliard equation

Ludovic Goudenège (IRMAR), Daniel Martin (IRMAR), Grégory Vial (IRMAR)

Journal-ref: Journal of Scientific Computing. August 2012, Volume 52, Issue 2, pp 294-321

Subjects: Analysis of PDEs (math.AP); Numerical Analysis (math.NA)

[579] arXiv:1003.1412 (cross-list from cond-mat.stat-mech) [pdf, other]

Title: Network conduciveness with application to the graph-coloring and independent-set optimization transitions

Valmir C. Barbosa

Journal-ref: PLoS ONE 5 (2010), e11232

Subjects: Statistical Mechanics (cond-mat.stat-mech); Data Structures and Algorithms (cs.DS)

[580] arXiv:1003.1443 (cross-list from quant-ph) [pdf, other]

Title: Composition theorems in communication complexity

Troy Lee, Shengyu Zhang

Comments: 19 pages

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)

[581] arXiv:1003.1888 (cross-list from math.OC) [pdf, other]

Title: Biology-Derived Algorithms in Engineering Optimization

Xin-She Yang

Journal-ref: Yang X.-S., Biology-derived algorithms in engineering optimization (chapter 32), in: Handbook of Bioinspired Algorithms and Applications (Eds. S. Olarius and A. Y. Zomaya), Chapman & Hall/CRC Press, pp. 589-600 (2005).

Subjects: Optimization and Control (math.OC); Computational Engineering, Finance, and Science (cs.CE); Neural and Evolutionary Computing (cs.NE); Quantitative Methods (q-bio.QM)

[582] arXiv:1003.1931 (cross-list from physics.soc-ph) [pdf, other]

Title: Hypergraph model of social tagging networks

Zi-Ke Zhang, Chuang Liu

Comments: 7 pages,7 figures, 32 references

Journal-ref: J. Stat. Mech. (2010) P100005

Subjects: Physics and Society (physics.soc-ph); Information Retrieval (cs.IR)

[583] arXiv:1003.1954 (cross-list from stat.ML) [pdf, other]

Title: Estimation of Rényi Entropy and Mutual Information Based on Generalized Nearest-Neighbor Graphs

Dávid Pál, Barnabás Póczos, Csaba Szepesvári

Comments: to appear at NIPS 2010 (Neural Information Processing Systems)

Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI)

[584] arXiv:1003.2005 (cross-list from math.OC) [pdf, other]

Title: Control of Complex Maneuvers for a Quadrotor UAV using Geometric Methods on SE(3)

Taeyoung Lee, Melvin Leok, N. Harris McClamroch

Comments: 8 pages, 4 figures

Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)

[585] arXiv:1003.2165 (cross-list from math.NT) [pdf, other]

Title: Coarse-grained integers - Smooth? Rough? Both!

Daniel Loebenberger, Michael Nüsken

Subjects: Number Theory (math.NT); Cryptography and Security (cs.CR)

[586] arXiv:1003.2424 (cross-list from physics.soc-ph) [pdf, other]

Title: Signed Networks in Social Media

Jure Leskovec, Daniel Huttenlocher, Jon Kleinberg

Journal-ref: CHI 2010: 28th ACM Conference on Human Factors in Computing Systems

Subjects: Physics and Society (physics.soc-ph); Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)

[587] arXiv:1003.2429 (cross-list from physics.soc-ph) [pdf, other]

Title: Predicting Positive and Negative Links in Online Social Networks

Jure Leskovec, Daniel Huttenlocher, Jon Kleinberg

Journal-ref: WWW 2010: ACM WWW International conference on World Wide Web, 2010

Subjects: Physics and Society (physics.soc-ph); Artificial Intelligence (cs.AI); Computers and Society (cs.CY)

[588] arXiv:1003.2469 (cross-list from stat.ML) [pdf, other]

Title: The Directed Closure Process in Hybrid Social-Information Networks, with an Analysis of Link Formation on Twitter

Daniel M. Romero, Jon Kleinberg

Subjects: Machine Learning (stat.ML); Computers and Society (cs.CY); Physics and Society (physics.soc-ph); Applications (stat.AP)

[589] arXiv:1003.2474 (cross-list from math.AP) [pdf, other]

Title: Spectral Analysis for Matrix Hamiltonian Operators

Jeremy L. Marzuola, Gideon Simpson

Comments: 57 pages, 22 figures, typos fixed

Subjects: Analysis of PDEs (math.AP); Numerical Analysis (math.NA); Spectral Theory (math.SP)

[590] arXiv:1003.2493 (cross-list from math.AC) [pdf, other]

Title: Bivariate Quasi-Tower Sets and Their Associated Lagrange Interpolation Bases

Tian Dong, Xiaoying Wang, Shugong Zhang, Peng Li

Comments: 17 pages, 2 figures, submitted to JCAM

Subjects: Commutative Algebra (math.AC); Numerical Analysis (math.NA)

[591] arXiv:1003.2649 (cross-list from math.PR) [pdf, other]

Title: Occupancy distributions in Markov chains via Doeblin's ergodicity coefficient

Stephen Chestnut, Manuel Lladser

Comments: 12 pages, 2 tables

Subjects: Probability (math.PR); Discrete Mathematics (cs.DM); Genomics (q-bio.GN)

[592] arXiv:1003.2680 (cross-list from cond-mat.soft) [pdf, other]

Title: Spatially Adaptive Stochastic Multigrid Methods for Fluid-Structure Systems with Thermal Fluctuations

Paul J. Atzberger

Journal-ref: J. Comp. Phys., Vol. 229, (2010)

Subjects: Soft Condensed Matter (cond-mat.soft); Numerical Analysis (math.NA); Probability (math.PR)

[593] arXiv:1003.3067 (cross-list from math.AP) [pdf, other]

Title: The linear sampling method for the inverse electromagnetic scattering by a partially coated bi-periodic structure

Guanghui Hu, Bo Zhang

Comments: 16 pages, Submitted for publication

Subjects: Analysis of PDEs (math.AP); Numerical Analysis (math.NA)

[594] arXiv:1003.3085 (cross-list from math.CO) [pdf, other]

Title: A Linear Time Algorithm for Finding Three Edge-Disjoint Paths in Eulerian Networks

Maxim Babenko, Ignat Kolesnichenko, Ilya Razenshteyn

Comments: SOFSEM 2010

Subjects: Combinatorics (math.CO); Data Structures and Algorithms (cs.DS)

[595] arXiv:1003.3195 (cross-list from quant-ph) [pdf, other]

Title: Zero-error channel capacity and simulation assisted by non-local correlations

Toby S. Cubitt, Debbie Leung, William Matthews, Andreas Winter

Comments: 18 pages, 1 figure. Small changes to text in v2. Removed an unnecessarily strong requirement in the premise of Theorem 11

Journal-ref: IEEE Trans. Info. Theory, Volume 57, Issue 8, pages 5509 - 5523 (Aug 2011)

Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT)

[596] arXiv:1003.3362 (cross-list from stat.AP) [pdf, other]

Title: Axiomatic Quantification of Co-authors' Relative Contributions

Ge Wang, Jiansheng Yang

Subjects: Applications (stat.AP); Digital Libraries (cs.DL); Physics and Society (physics.soc-ph)

[597] arXiv:1003.3384 (cross-list from math.PR) [pdf, other]

Title: Scaling limits for continuous opinion dynamics systems

Giacomo Como, Fabio Fagnani

Comments: Published at this http URL the Annals of Applied Probability (this http URL) by the Institute of Mathematical Statistics (this http URL)

Journal-ref: Annals of Applied Probability 2011, Vol. 21, No. 4, 1537-1567

Subjects: Probability (math.PR); Social and Information Networks (cs.SI); Analysis of PDEs (math.AP); Dynamical Systems (math.DS)

[598] arXiv:1003.3406 (cross-list from math.CO) [pdf, other]

Title: Baron Munchhausen's Sequence

Tanya Khovanova, Konstantin Knop, Alexey Radul

Comments: 26 pages

Journal-ref: Journal of Integer Sequences, v.13 (2010), Article 10.8.7

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); History and Overview (math.HO)

[599] arXiv:1003.3478 (cross-list from math.AG) [pdf, other]

Title: Algorithms for Checking Rational Roots of $b$-functions and their Applications

Viktor Levandovskyy, Jorge Martín-Morales

Comments: 26 pages

Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC); Rings and Algebras (math.RA)

[600] arXiv:1003.3508 (cross-list from math.AC) [pdf, other]

Title: Independent Sets from an Algebraic Perspective

Alicia Dickenstein, Enrique A. Tobis

Comments: Final version

Subjects: Commutative Algebra (math.AC); Computational Complexity (cs.CC); Combinatorics (math.CO)

[601] arXiv:1003.3785 (cross-list from math.RA) [pdf, other]

Title: Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases

Viktor Levandovskyy, Kristina Schindelar

Journal-ref: Journal of Symbolic Computation 46 (2011) 595-608

Subjects: Rings and Algebras (math.RA); Symbolic Computation (cs.SC); Optimization and Control (math.OC)

[602] arXiv:1003.3898 (cross-list from math.PR) [pdf, other]

Title: A stochastic analysis of greedy routing in a spatially dependent sensor network

H. Paul Keeler

Subjects: Probability (math.PR); Networking and Internet Architecture (cs.NI)

[603] arXiv:1003.3904 (cross-list from math.CO) [pdf, other]

Title: The graph bottleneck identity

Pavel Chebotarev

Comments: 12 pages, 18 references. Advances in Applied Mathematics

Journal-ref: Advances in Applied Mathematics. 47 (2011), No.3, P.403-413

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Networking and Internet Architecture (cs.NI); Metric Geometry (math.MG)

[604] arXiv:1003.3932 (cross-list from physics.gen-ph) [pdf, other]

Title: Towards brain-inspired computing

Zoltan Gingl, Sunil Khatri, Laszlo Kish

Comments: 10 pages

Journal-ref: Fluctuation and Noise Letters 9 (2010) pp. 403-412

Subjects: General Physics (physics.gen-ph); Other Computer Science (cs.OH)

[605] arXiv:1003.3956 (cross-list from math.CO) [pdf, other]

Title: A tight quantitative version of Arrow's impossibility theorem

Nathan Keller

Comments: 24 pages

Subjects: Combinatorics (math.CO); Computer Science and Game Theory (cs.GT); Probability (math.PR)

[606] arXiv:1003.4216 (cross-list from q-fin.PM) [pdf, other]

Title: Minimizing the Probability of Lifetime Ruin under Stochastic Volatility

Erhan Bayraktar, Xueying Hu, Virginia R. Young

Comments: Keywords: Optimal investment, minimizing the probability of lifetime ruin, stochastic volatility

Subjects: Portfolio Management (q-fin.PM); Systems and Control (eess.SY); Optimization and Control (math.OC); Probability (math.PR)

[607] arXiv:1003.4261 (cross-list from math.MG) [pdf, other]

Title: L_1 embeddings of the Heisenberg group and fast estimation of graph isoperimetry

Assaf Naor

Comments: To appear in Proceedings of the International Congress of Mathematicians, Hyderabad India, 2010

Subjects: Metric Geometry (math.MG); Data Structures and Algorithms (cs.DS); Functional Analysis (math.FA)

[608] arXiv:1003.4301 (cross-list from math.NT) [pdf, other]

Title: High-Efficiency Self-Adjusting Switched Capacitor DC-DC Converter with Binary Resolution

Alexander Kushnerov

Subjects: Number Theory (math.NT); Discrete Mathematics (cs.DM)

[609] arXiv:1003.4406 (cross-list from math.PR) [pdf, other]

Title: The output distribution of important LULU-operators

R. Anguelov, P.W. Butler, C.H. Rohwer, M. Wild

Comments: 20 pages, up to trivial differences this is the final version to be published in Quaestiones Mathematicae 2015

Subjects: Probability (math.PR); Other Computer Science (cs.OH)

[610] arXiv:1003.4657 (cross-list from math.OC) [pdf, other]

Title: Identification of Convection Heat Transfer Coefficient of Secondary Cooling Zone of CCM based on Least Squares Method and Stochastic Approximation Method

Anna Ivanova

Comments: 14 pages, 7 figures

Subjects: Optimization and Control (math.OC); Computational Engineering, Finance, and Science (cs.CE)

[611] arXiv:1003.4712 (cross-list from math.LO) [pdf, other]

Title: Game interpretation of Kolmogorov complexity

Andrej A. Muchnik, Ilya Mezhirov, Alexander Shen, Nikolay Vereshchagin

Comments: 11 pages. Presented in 2009 at the conference on randomness in Madison.

Subjects: Logic (math.LO); Computer Science and Game Theory (cs.GT); Information Theory (cs.IT)

[612] arXiv:1003.4810 (cross-list from math.CO) [pdf, other]

Title: The asymptotic value of Randic index for trees

Xueliang Li, Yiyang Li

Comments: 12 pages

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

[613] arXiv:1003.4837 (cross-list from math.OC) [pdf, other]

Title: Semidefinite geometry of the numerical range

Didier Henrion (LAAS, FEL-CVUT)

Subjects: Optimization and Control (math.OC); Algebraic Geometry (math.AG); Numerical Analysis (math.NA)

[614] arXiv:1003.4847 (cross-list from math-ph) [pdf, other]

Title: A tree-decomposed transfer matrix for computing exact Potts model partition functions for arbitrary graphs, with applications to planar graph colourings

Andrea Bedini (INFN, Sezione di Milano), Jesper Lykke Jacobsen (LPTENS)

Comments: 5 pages, 3 figures. Version 2 has been substantially expanded. Version 3 shows that the worst-case running time is sub-exponential in the number of vertices

Subjects: Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)

[615] arXiv:1003.4865 (cross-list from math.CO) [pdf, other]

Title: Logical complexity of graphs: a survey

Oleg Pikhurko, Oleg Verbitsky

Comments: 57 pages; 2 figures. This version contains an appendix with an improvement of Theorem 4.7

Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)

[616] arXiv:1003.4944 (cross-list from stat.ML) [pdf, other]

Title: Incorporating Side Information in Probabilistic Matrix Factorization with Gaussian Processes

Ryan Prescott Adams, George E. Dahl, Iain Murray

Comments: 18 pages, 4 figures, Submitted to UAI 2010

Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG)

[617] arXiv:1003.4994 (cross-list from quant-ph) [pdf, other]

Title: Weak Decoupling Duality and Quantum Identification

Patrick Hayden, Andreas Winter

Comments: 14 pages; v2 has some remarks added and inaccuracies corrected; v3 has new title, improved presentation and additional references; v4 is the final, accepted version (to appear in IEEE IT), title changed once more and numerous improvements made - the main one being that we can now show that nontrivial amortization is necessary in erasure channels

Journal-ref: IEEE Transactions on Information Theory 58(7):4914-4929, 2012

Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT)

[618] arXiv:1003.5268 (cross-list from math.GT) [pdf, other]

Title: Contractible Hamiltonian Cycles in Triangulated Surfaces

Ashish Kumar Upadhyay

Comments: 6 pages, 1 figure

Subjects: Geometric Topology (math.GT); Computational Geometry (cs.CG); Combinatorics (math.CO)

[619] arXiv:1003.5390 (cross-list from math.NT) [pdf, other]

Title: A Fast Algorithm for Determining the Existence and Value of Integer Roots of N

Vibeke Libby

Comments: 12 pages, 8 figures

Subjects: Number Theory (math.NT); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

[620] arXiv:1003.5831 (cross-list from math.LO) [pdf, other]

Title: The Computable Universe Hypothesis

Matthew P. Szudzik (Carnegie Mellon)

Comments: 33 pages, 0 figures; minor changes

Journal-ref: A Computable Universe, World Scientific, 2013, pp. 479-523

Subjects: Logic (math.LO); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Mathematical Physics (math-ph)

[621] arXiv:1003.5964 (cross-list from q-bio.PE) [pdf, other]

Title: Fast Convergence of MCMC Algorithms for Phylogenetic Reconstruction with Homogeneous Data on Closely Related Species

Daniel Stefankovic, Eric Vigoda

Comments: To appear in SIAM Journal of Discrete Mathematics (SIDMA)

Subjects: Populations and Evolution (q-bio.PE); Data Structures and Algorithms (cs.DS)

[622] arXiv:1003.5998 (cross-list from math.OC) [pdf, other]

Title: A New Mechanism for Maintaining Diversity of Pareto Archive in Multiobjective Optimization

Jaroslav Hájek, András Szöllös, Jakub Šístek

Comments: 51 pages, 28 figures

Journal-ref: Adv. Eng. Softw., 41(7-8):1031-1057, 2010

Subjects: Optimization and Control (math.OC); Neural and Evolutionary Computing (cs.NE)

[623] arXiv:1003.6003 (cross-list from math.AP) [pdf, other]

Title: Continuous Primal-Dual Methods for Image Processing

Michael Goldman (CMAP)

Journal-ref: SIAM Journal of Imaging Sciences 4, 1 (2011) 366-385

Subjects: Analysis of PDEs (math.AP); Numerical Analysis (math.NA)

[624] arXiv:1003.6124 (cross-list from cond-mat.stat-mech) [pdf, other]

Title: Statistical physics of optimization under uncertainty

Fabrizio Altarelli, Alfredo Braunstein, Abolfazl Ramezanpour, Riccardo Zecchina

Comments: This article has been withdrawn because it was replaced by arXiv:1105.3657 with a different name

Subjects: Statistical Mechanics (cond-mat.stat-mech); Data Structures and Algorithms (cs.DS)