Computer Science

Authors and titles for December 2010

[151] arXiv:1012.1664 [pdf, other]

Title: semanticSBML 2.0 - A Collection of Online Services for SBML Models

Falko Krause, Marvin Schulz, Timo Lubitz, Wolfram Liebermeister

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Other Computer Science (cs.OH)

[152] arXiv:1012.1665 [pdf, other]

Title: An In-depth Analysis of Spam and Spammers

Dhinaharan Nagamalai, Beatrice Cynthia Dhinakaran, Jae Kwang Lee

Comments: 14 pages, 8 Figures,5 tables, IJSA Vol 2, No 2, 2008

Journal-ref: International Journal of Security and its Applications,Vol. 2, No. 2, April, 2008

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

[153] arXiv:1012.1666 [pdf, other]

Title: SPARQL Assist Language-Neutral Query Composer

Luke McCarthy, Ben Vandervalk, Mark Wilkinson

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Information Retrieval (cs.IR)

[154] arXiv:1012.1667 [pdf, other]

Title: A semantic approach for the requirement-driven discovery of web services in the Life Sciences

Maria Perez, Rafael Berlanga, Ismael Sanz

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Artificial Intelligence (cs.AI)

[155] arXiv:1012.1671 [pdf, other]

Title: Localizing Audiences' Gaze using a Multi-touch Electronic Whiteboard with sPieMenu

Kazutaka Kurihara, Naoshi Nagano, Yuta Watanabe, Yuichi Fujimura, Akinori Minaduki, Hidehiko Hayashi, Yohei Tsuchiya

Subjects: Human-Computer Interaction (cs.HC)

[156] arXiv:1012.1672 [pdf, other]

Title: Designing Incentive Schemes Based on Intervention: The Case of Imperfect Monitoring

Jaeok Park, Mihaela van der Schaar

Comments: 8 pages, 1 figure

Subjects: Computer Science and Game Theory (cs.GT); Systems and Control (eess.SY)

[157] arXiv:1012.1673 [pdf, other]

Title: Designing Incentive Schemes Based on Intervention: The Case of Perfect Monitoring

Jaeok Park, Mihaela van der Schaar

Comments: 8 pages, 2 figures

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

[158] arXiv:1012.1689 [pdf, other]

Title: A Distributed Cluster Scheme For Bandwidth Management In Multi-hop MANETs

Binod Kumar Pattanayak, Alok Kumar Jagadev, Manoj Kumar Mishra, Manoj Ranjan Nayak,

Comments: 7 pages, 5 figures

Journal-ref: IJCSNS International Journal of Computer Science and Network Security, VOL.9 No.10, October 2009

Subjects: Networking and Internet Architecture (cs.NI)

[159] arXiv:1012.1691 [pdf, other]

Title: Dual Raviart-Thomas mixed finite elements

François Dubois (LM-Orsay)

Subjects: Numerical Analysis (math.NA)

[160] arXiv:1012.1708 [pdf, other]

Title: Topology optimization in Bernoulli free boundary problems

J. I. Toivanen, R. A. E. Makinen, J. Haslinger

Journal-ref: Journal of Engineering Mathematics 80(1), pp. 173-188, 2013

Subjects: Numerical Analysis (math.NA)

[161] arXiv:1012.1734 [pdf, other]

Title: Petrov-Galerkin Finite Volumes

François Dubois (LM-Orsay)

Journal-ref: Third ``FVCA'' Conference, Porquerolles (France), Porquerolles : France (0000)

Subjects: Numerical Analysis (math.NA)

[162] arXiv:1012.1743 [pdf, other]

Title: Scientific Collaborations: principles of WikiBridge Design

Eric Leclercq, Marinette Savonnet

Comments: in Adrian Paschke, Albert Burger begin_of_the_skype_highlighting end_of_the_skype_highlighting, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Artificial Intelligence (cs.AI)

[163] arXiv:1012.1745 [pdf, other]

Title: Populous: A tool for populating ontology templates

Simon Jupp, Matthew Horridge, Luigi Iannone, Julie Klein, Stuart Owen, Joost Schanstra, Robert Stevens, Katy Wolstencroft

Comments: in Adrian Paschke, Albert Burger begin_of_the_skype_highlighting end_of_the_skype_highlighting, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Artificial Intelligence (cs.AI)

[164] arXiv:1012.1749 [pdf, other]

Title: Treemaps with Bounded Aspect Ratio

Mark de Berg, Bettina Speckmann, Vincent van der Weele

Subjects: Computational Geometry (cs.CG)

[165] arXiv:1012.1768 [pdf, other]

Title: Two remarks on rectangular mixed finite elements for elasticity

Gerard Awanou

Subjects: Numerical Analysis (math.NA)

[166] arXiv:1012.1769 [pdf, other]

Title: Compactly generating all satisfying truth assignments of a Horn formula

Marcel Wild

Comments: Considerably improves upon the readibility of the previous version

Journal-ref: Journal on Satisfiability, Boolean Modeling and Computation 8 (2012) 63-82

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[167] arXiv:1012.1775 [pdf, other]

Title: Spline element method for the Monge-Ampere equation

Gerard Awanou

Subjects: Numerical Analysis (math.NA)

[168] arXiv:1012.1776 [pdf, other]

Title: Examples of the Generalized Quantum Permanent Compromise Attack to the Blum-Micali Construction

Elloá B. Guedes, Francisco Marcos de Assis, Bernardo Lula Jr

Comments: 8 pages, 1 figure, 2 attacks

Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR)

[169] arXiv:1012.1799 [pdf, other]

Title: Towards Fully Optimized BICM Transceivers

Md. Jahangir Hossain, Alex Alvarado, Leszek Szczecinski

Comments: Submitted to the IEEE Transactions on Communications

Journal-ref: IEEE Trans. Commun., vol. 59, no. 11, pp. 3027-3039, 2011

Subjects: Information Theory (cs.IT)

[170] arXiv:1012.1802 [pdf, other]

Title: Equality Saturation: A New Approach to Optimization

Ross Tate (University of California, San Diego), Michael Stepp (University of California, San Diego), Zachary Tatlock (University of California, San Diego), Sorin Lerner (University of California, San Diego)

Comments: 80 pages, 39 figures

Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 1 (March 28, 2011) lmcs:1016

Subjects: Programming Languages (cs.PL)

[171] arXiv:1012.1824 [pdf, other]

Title: Single-Producer/Single-Consumer Queues on Shared Cache Multi-Core Systems

Massimo Torquati

Subjects: Data Structures and Algorithms (cs.DS); Distributed, Parallel, and Cluster Computing (cs.DC)

[172] arXiv:1012.1850 [pdf, other]

Title: Capacitated Vehicle Routing with Non-Uniform Speeds

Inge Li Gortz, Marco Molinaro, Viswanath Nagarajan, R. Ravi

Subjects: Data Structures and Algorithms (cs.DS)

[173] arXiv:1012.1882 [pdf, other]

Title: Evaluating Modelling Approaches for Medical Image Annotations

Jasmin Opitz, Bijan Parsia, Ulrike Sattler

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Multimedia (cs.MM)

[174] arXiv:1012.1886 [pdf, other]

Title: Sublinear Time, Measurement-Optimal, Sparse Recovery For All

Ely Porat, Martin J. Strauss

Comments: Corrected argument with minor change to results

Subjects: Data Structures and Algorithms (cs.DS)

[175] arXiv:1012.1895 [pdf, other]

Title: Coding for High-Density Recording on a 1-D Granular Magnetic Medium

Arya Mazumdar, Alexander Barg, Navin Kashyap

Comments: Submitted to IEEE Transactions on Information Theory

Journal-ref: IEEE Transactions on Information Theory, vol. 57, issue 11, pp. 7403-7417, 2011

Subjects: Information Theory (cs.IT)

[176] arXiv:1012.1898 [pdf, other]

Title: Ontology Usage at ZFIN

Doug Howe, Christian Pich

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Databases (cs.DB)

[177] arXiv:1012.1899 [pdf, other]

Title: Querying Biomedical Ontologies in Natural Language using Answer Set

Halit Erdogan, Umut Oztok, Yelda Erdem, Esra Erdem

Comments: in Adrian Paschke, Albert Burger, Andrea Splendiani, M. Scott Marshall, Paolo Romano: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences, Berlin,Germany, December 8-10, 2010

Subjects: Artificial Intelligence (cs.AI)

[178] arXiv:1012.1906 [pdf, other]

Title: Rectangular Mixed Elements for Elasticity with Weakly Imposed symmetry Condition

Gerard Awanou

Subjects: Numerical Analysis (math.NA)

[179] arXiv:1012.1909 [pdf, other]

Title: On Transmit Antenna Selection for Multiuser MIMO Systems with Dirty Paper Coding

Manar Mohaisen, KyungHi Chang

Comments: 5 pages, 6 figures, 1 table, [The 20th Personal, Indoor and Mobile Radio Communications Symposium 2009 (PIMRC-09)]

Journal-ref: The 20th Personal, Indoor and Mobile Radio Communications Symposium 2009 (PIMRC-09)

Subjects: Information Theory (cs.IT)

[180] arXiv:1012.1912 [pdf, other]

Title: On the Capacity of Memoryless Finite-State Multiple-Access Channels with Asymmetric State Information at the Encoders

Giacomo Como, Serdar Yüksel

Comments: 8 pages, 1 figure, accepted for publication, in press

Subjects: Information Theory (cs.IT)

[181] arXiv:1012.1919 [pdf, other]

Title: Low-Rank Structure Learning via Log-Sum Heuristic Recovery

Yue Deng, Qionghai Dai, Risheng Liu, Zengke Zhang, Sanqing Hu

Comments: 13 pages, 3 figures

Journal-ref: Neural Networks and Learning Systems, IEEE Transactions on, Volume:24 , Issue: 3, March, 2013

Subjects: Numerical Analysis (math.NA); Information Theory (cs.IT); Machine Learning (cs.LG)

[182] arXiv:1012.1938 [pdf, other]

Title: Congestion Games with Variable Demands

Tobias Harks, Max Klimm

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

[183] arXiv:1012.1939 [pdf, other]

Title: What the Cited and Citing Environments Reveal of "Advances in Atmospheric Sciences"?

Shi Aolan, Loet Leydesdorff

Journal-ref: Advances in Atmospheric Physics, 28(1), 2011, 238-244

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

[184] arXiv:1012.1943 [pdf, other]

Title: Stiffness Analysis of Parallel Manipulators with Preloaded Passive Joints

Anatoly Pashkevich (IRCCyN), Alexandr Klimchik (IRCCyN), Damien Chablat (IRCCyN)

Journal-ref: 12th International Symposium on Advances in Robot Kinematics, Slov\'enie : France (2010)

Subjects: Robotics (cs.RO)

[185] arXiv:1012.1948 [pdf, other]

Title: Performance evaluation of parallel manipulators for milling application

Anatoly Pashkevich (IRCCyN), Alexandr Klimchik (IRCCyN), Sébastien Briot (IRCCyN), Damien Chablat (IRCCyN)

Journal-ref: 20th CIRP Design Conference, Nantes : France (2010)

Subjects: Robotics (cs.RO)

[186] arXiv:1012.1953 [pdf, other]

Title: Optimal interpolation formulas in the periodic function space of S.L. Sobolev

Kh.M. Shadimetov, A.R. Hayotov, N.H. Mamatova

Subjects: Numerical Analysis (math.NA)

[187] arXiv:1012.2019 [pdf, other]

Title: Comparative Analysis of Existing Methods and Algorithms for Automatic Assignment of Reviewers to Papers

Yordan Kalmukov, Boris Rachev

Journal-ref: Journal of Information Technologies and Control, 2/2010, ISSN 1312-2622, pp. 20-31

Subjects: Digital Libraries (cs.DL)

[188] arXiv:1012.2034 [pdf, other]

Title: Robust Simulations and Significant Separations

Lance Fortnow, Rahul Santhanam

Subjects: Computational Complexity (cs.CC)

[189] arXiv:1012.2042 [pdf, other]

Title: MUDOS-NG: Multi-document Summaries Using N-gram Graphs (Tech Report)

George Giannakopoulos (1), George Vouros (2), Vangelis Karkaletsis (1) ((1) NCSR Demokritos, Greece, (2) University of the Aegean, Greece)

Comments: Technical Report

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[190] arXiv:1012.2057 [pdf, other]

Title: De retibus socialibus et legibus momenti

Daniel Gayo-Avello, David J. Brenes, Diego Fernández-Fernández, María E. Fernández-Menéndez, Rodrigo García-Suárez

Comments: Changes made for third revision: Brief description of the dataset employed added to Introduction. Minor changes to the description of preparation of the this http URL datasets. Minor changes to the captions of Tables 1 and 3. Brief addition in the Conclusions section (future line of work added). Added references 16 and 18. Some typos and grammar polished

Journal-ref: 2011 EPL 94 38001

Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)

[191] arXiv:1012.2073 [pdf, other]

Title: Almost-Optimum Signature Matrices in Binary-Input Synchronous Overloaded CDMA

M. Heidari Khoozani, A. Rashidinejad, M. H. Lotfi Froushani, P. Pad, F. Marvasti

Comments: 6 Pages, 5 Figures, Submitted to the International Conference on Telecommunications 2011 (ICT-2011)

Subjects: Information Theory (cs.IT)

[192] arXiv:1012.2086 [pdf, other]

Title: Entropy Rate for Hidden Markov Chains with rare transitions

Yuval Peres, Anthony Quas

Comments: To appear in Hidden Markov Processes by Marcus, Petersen and Weissman (eds); CUP

Subjects: Information Theory (cs.IT); Probability (math.PR)

[193] arXiv:1012.2094 [pdf, other]

Title: Stable lattice Boltzmann schemes with a dual entropy approach for monodimensional nonlinear waves

François Dubois (LM-Orsay, LMSSC)

Comments: 27 pages

Journal-ref: Computers and Mathematics with Applications 65 (2013) 142-159

Subjects: Numerical Analysis (math.NA)

[194] arXiv:1012.2096 [pdf, other]

Title: An Energy-efficient Clock Synchronization Protocol for Wireless Sensor Networks

Roxana Albu (LAAS), Yann Labit (LAAS), Gayraud Thierry (LAAS), Berthou Pascal (LAAS)

Subjects: Networking and Internet Architecture (cs.NI)

[195] arXiv:1012.2124 [pdf, other]

Title: Discrete Price Updates Yield Fast Convergence in Ongoing Markets with Finite Warehouses

Richard Cole, Lisa Fleischer, Ashish Rastogi

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

[196] arXiv:1012.2138 [pdf, other]

Title: Sparse motion segmentation using multiple six-point consistencies

Vasileios Zografos, Klas Nordberg, Liam Ellis

Journal-ref: VECTaR workshop (with ACCV) 2010

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

[197] arXiv:1012.2142 [pdf, other]

Title: NP-completeness Proof: RBCDN Reduction Problem

Sujogya Banerjee, Shahrzad Shirazipourazad, Pavel Ghosh, Arunabha Sen

Subjects: Computational Complexity (cs.CC)

[198] arXiv:1012.2148 [pdf, other]

Title: Bisimulations for fuzzy transition systems

Yongzhi Cao, Guoqing Chen, Etienne Kerre

Comments: 13 double column pages

Journal-ref: IEEE Trans. Fuzzy Syst., vol. 19, no. 3, pp. 540-552, 2011

Subjects: Artificial Intelligence (cs.AI)

[199] arXiv:1012.2152 [pdf, other]

Title: Secured histories: computing group statistics on encrypted data while preserving individual privacy

Eleanor Rieffel, Jacob Biehl, William van Melle, Adam J. Lee

Comments: Technical aspects remain largely unchanged. Revised version gives greater emphasis to the application of these methods to presences systems that support workplace communication and collaboration. The writing is more succinct throughout: the revised version is 8 pages, plus references. The final version of this paper will be appear at SECOTS 2011 as "Secured histories for presence systems."

Journal-ref: SECOTS 2011

Subjects: Cryptography and Security (cs.CR)

[200] arXiv:1012.2162 [pdf, other]

Title: Nondeterministic fuzzy automata

Yongzhi Cao, Yoshinori Ezawa

Comments: 14 pages, 3 figures

Subjects: Artificial Intelligence (cs.AI)

[201] arXiv:1012.2164 [pdf, other]

Title: On Two-way Communications for Cooperative Multiple Source Pairs Through a Multi-antenna Relay

Chin Choy Chai, Chau Yuen

Subjects: Information Theory (cs.IT)

[202] arXiv:1012.2171 [pdf, other]

Title: A Robust and Efficient Trust Management Scheme for Peer-to-Peer Networks

Jaydip Sen

Comments: 15 pages, 8 figures, 1 table. 11th International Workshop on Information Security Applications (WISA 2010), Jeju Island, Korea, August 24 - 26, 2010

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Cryptography and Security (cs.CR)

[203] arXiv:1012.2177 [pdf, other]

Title: Privacy Preservation Technologies in Internet of Things

Jaydip Sen

Comments: withdrawn by author. arXiv admin note: v1 significant text overlap with "Internet of things and privacy preserving technologies", by V. Oleshchuk, without attribution

Journal-ref: International Journal BITM Transactions on EECC, Vol. 1, No. 4, pp. 496 - 504, August 2009

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

[204] arXiv:1012.2197 [pdf, other]

Title: Integrating digital human modeling into virtual environment for ergonomic oriented design

Liang Ma (IRCCyN, DIE), Damien Chablat (IRCCyN), Fouad Bennis (IRCCyN), Bo Hu (DIE), Wei Zhang (DIE)

Journal-ref: World Conference on Innovative Virtual Reality, France (2010)

Subjects: Robotics (cs.RO)

[205] arXiv:1012.2199 [pdf, other]

Title: Stiffness modelling of parallelogram-based parallel manipulators

Anatoly Pashkevich (IRCCyN), Alexandr Klimchik (IRCCyN), Stéphane Caro (IRCCyN), Damien Chablat (IRCCyN)

Journal-ref: 3-rd European Conference on Mechanism Science, Cluj-Napoca : Romania (2010)

Subjects: Robotics (cs.RO)

[206] arXiv:1012.2202 [pdf, other]

Title: Transforming a random graph drawing into a Lombardi drawing

Nicolaos Matsakis

Subjects: Data Structures and Algorithms (cs.DS)

[207] arXiv:1012.2203 [pdf, other]

Title: A collective of stateless automata in a $n$-dimensional environment as a distributed dynamic automaton-like object: a model and its corollaries

Oleksiy Kurganskyy

Comments: 9 pages, 2 figures

Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC)

[208] arXiv:1012.2248 [pdf, other]

Title: Plug-in privacy for Smart Metering billing

Marek Jawurek, Martin Johns, Florian Kerschbaum

Subjects: Cryptography and Security (cs.CR)

[209] arXiv:1012.2251 [pdf, other]

Title: Conditional coloring of some parameterized graphs

P.Venkata Subba Reddy, K.Viswanathan Iyer

Comments: Communicated to Utilitas Mathematica

Subjects: Discrete Mathematics (cs.DM)

[210] arXiv:1012.2256 [pdf, other]

Title: A year in the life of a large scale experimental distributed system: the Grid'5000 platform in 2008

Anne-Cécile Orgerie (INRIA Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme), Laurent Lefèvre (INRIA Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme)

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

[211] arXiv:1012.2270 [pdf, other]

Title: New Row-grouped CSR format for storing the sparse matrices on GPU with implementation in CUDA

Tomáš Oberhuber, Atsushi Suzuki, Jan Vacata

Comments: 21 pages, 8 figures, 7 tables

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

[212] arXiv:1012.2273 [pdf, other]

Title: Performance Evaluation of Parallel Message Passing and Thread Programming Model on Multicore Architectures

D.T. Hasta, A.B. Mutiara

Comments: 46 pages 10 figures

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

[213] arXiv:1012.2289 [pdf, other]

Title: Covering Cubes and the Closest Vector Problem

Friedrich Eisenbrand, Nicolai Hähnle, Martin Niemeier

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

[214] arXiv:1012.2294 [pdf, other]

Title: Syntax and Semantics of Babel-17

Steven Obua

Subjects: Programming Languages (cs.PL)

[215] arXiv:1012.2299 [pdf, other]

Title: A Simple Correctness Proof for Magic Transformation

Wlodzimierz Drabent

Comments: Submitted to "Theory and Practice of Logic Programming"

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

[216] arXiv:1012.2321 [pdf, other]

Title: Precedence Automata and Languages

Violetta Lonati, Dino Mandrioli, Matteo Pradella

Comments: Extended version of the paper which appeared in Proceedings of CSR 2011, Lecture Notes in Computer Science, vol. 6651, pp. 291-304, 2011. Theorem 1 has been corrected and a complete proof is given in Appendix

Subjects: Formal Languages and Automata Theory (cs.FL)

[217] arXiv:1012.2323 [pdf, other]

Title: A note on the efficient implementation of Hamiltonian BVMs

Luigi Brugnano, Felice Iavernaro, Donato Trigiante

Comments: 10 pages, 4 figures

Journal-ref: Journal of Computational and Applied Mathematics, 236 (2011) 375-383

Subjects: Numerical Analysis (math.NA)

[218] arXiv:1012.2332 [pdf, other]

Title: On the Shapley-like Payoff Mechanisms in Peer-Assisted Services with Multiple Content Providers

Jeong-woo Cho, Yung Yi

Comments: 13 pages, 4 figures, an extended version of the paper to be presented in ICST GameNets 2011, Shanghai, China, April 2011

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

[219] arXiv:1012.2350 [pdf, other]

Title: Aligned Interference Neutralization and the Degrees of Freedom of the 2x2x2 Interference Channel

Tiangao Gou, Syed A. Jafar, Sang-Woon Jeon, Sae-Young Chung

Subjects: Information Theory (cs.IT)

[220] arXiv:1012.2377 [pdf, other]

Title: Multivariate Polynomial Integration and Derivative Are Polynomial Time Inapproximable unless P=NP

Bin Fu

Subjects: Computational Complexity (cs.CC)

[221] arXiv:1012.2394 [pdf, other]

Title: NE is not NP Turing Reducible to Nonexpoentially Dense NP Sets

Bin Fu

Subjects: Computational Complexity (cs.CC)

[222] arXiv:1012.2440 [pdf, other]

Title: Passively Mobile Communicating Machines that Use Restricted Space

Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Andreas Pavlogiannis, Paul G. Spirakis

Comments: 17 pages

Subjects: Computational Complexity (cs.CC); Distributed, Parallel, and Cluster Computing (cs.DC)

[223] arXiv:1012.2464 [pdf, other]

Title: Long Tail Behavior of Queue Lengths in Broadband Networks: Tsallis Entropy Framework

Karmeshu, Shachi Sharma

Subjects: Networking and Internet Architecture (cs.NI)

[224] arXiv:1012.2469 [pdf, other]

Title: UCMExporter: Supporting Scenario Transformations from Use Case Maps

Daniel Amyot, Ali Echihabi, Yong He

Comments: 16 pages, 9 figures, Nouvelles TEchnnologies de la RÉpartition (NOTERE'04), Saïdia, Morocco, June 2004, pp. 390-405

Subjects: Software Engineering (cs.SE)

[225] arXiv:1012.2491 [pdf, other]

Title: Affine Invariant, Model-Based Object Recognition Using Robust Metrics and Bayesian Statistics

Vasileios Zografos, Bernard Buxton

Journal-ref: Image Analysis and Recognition Lecture Notes in Computer Science, 2005, Volume 3656/2005, 407-414

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

[226] arXiv:1012.2494 [pdf, other]

Title: A positivity-preserving high-order semi-Lagrangian discontinuous Galerkin scheme for the Vlasov-Poisson equations

J.A. Rossmanith, D.C. Seal

Comments: 48 pages, 13 figures

Subjects: Numerical Analysis (math.NA); Plasma Physics (physics.plasm-ph)

[227] arXiv:1012.2496 [pdf, other]

Title: On the Implementation of GNU Prolog

Daniel Diaz, Salvador Abreu, Philippe Codognet

Comments: 30 pages, 3 figures, To appear in Theory and Practice of Logic Programming (TPLP); Keywords: Prolog, logic programming system, GNU, ISO, WAM, native code compilation, Finite Domain constraints

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)

[228] arXiv:1012.2499 [pdf, other]

Title: openPC : a toolkit for public cluster with full ownership

Z. Akbar, I. Firmansyah, B. Hermanto, L.T. Handoko

Comments: 8 pages

Journal-ref: Int. J. Comput. Theor. Eng. 2 (2010) 978-985

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

[229] arXiv:1012.2509 [pdf, other]

Title: Nonadaptive Mastermind Algorithms for String and Vector Databases, with Case Studies

Arthur U. Asuncion, Michael T. Goodrich (Department of Computer Science, University of California, Irvine)

Subjects: Cryptography and Security (cs.CR)

[230] arXiv:1012.2510 [pdf, other]

Title: Analyzing Zone Routing Protocol in MANET Applying Authentic Parameter

Kamaljit I. Lakhtaria

Comments: 5 Pages, 5 Figures

Journal-ref: Kamaljit I. Lakhtaria, "Analyzing Zone Routing Protocol in MANET Applying Authentic Parameter", in Global Journal of Computer Science & Technology, Online ISSN: 0975-4172 Print ISSN: 0975-4350, Vol. 10, Issue 4, Year 2010, Page no. 114-118

Subjects: Networking and Internet Architecture (cs.NI)

[231] arXiv:1012.2514 [pdf, other]

Title: Context Aware End-to-End Connectivity Management

Jaydip Sen, P. Balamuralidhar, M. Girish Chandra, Harihara S.G., Harish Reddy

Comments: 8 pages, 3 figures. Second International Conference on Embedded Systems, Mobile Communication and Computing (ICEMCC), pp. 85 - 95, Bangalore, August 2007, India

Subjects: Machine Learning (cs.LG); Networking and Internet Architecture (cs.NI)

[232] arXiv:1012.2516 [pdf, other]

Title: An Efficient Security Mechanism for High-Integrity Wireless Sensor Networks

Jaydip Sen

Comments: 9 pages, 1 figure. Proceedings of the International Conference on Advances in Information and Communication Technologies (ICICOT), Manipal, India, December 28-30, 2007, pp. 86 - 97

Subjects: Cryptography and Security (cs.CR)

[233] arXiv:1012.2518 [pdf, other]

Title: A Survey on Cross-Layer Design Frameworks for Multimedia Applications over Wireless Networks

Jaydip Sen, Shomik Bhattacharya

Comments: 16 pages, 9 figures

Journal-ref: International Journal of Computer Science and Information Technology (IJCSIT), Vol: 1, No:1, pp. 29-42, June 2008

Subjects: Networking and Internet Architecture (cs.NI); Multimedia (cs.MM)

[234] arXiv:1012.2519 [pdf, other]

Title: A Distributed Trust and Reputation Framework for Mobile Ad Hoc Networks

Jaydip Sen

Comments: 10 pages, 7 figures, 1 table. Proceedings of the First International Workshop on Trust Management in Peer-to-Peer Systems (IWTMP2PS), pp. 538-547, July, 2010, Chennai, India

Subjects: Cryptography and Security (cs.CR)

[235] arXiv:1012.2520 [pdf, other]

Title: A Trust-Based Detection Algorithm of Selfish Packet Dropping Nodes in a Peer-to-Peer Wireless Mesh Network

Jaydip Sen

Comments: 10 pages, 6 pages, 3 tables. Proceedings of the First Workshop on Trust Management in Peer-to-Peer Systems (IWTMP2PS), pp. 528- 537, July 2010, Chennai, India

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

[236] arXiv:1012.2524 [pdf, other]

Title: Convergence and Next Generation Networks

Jaydip Sen, Munir Sayyad, Basavaraj Hooli

Comments: 67 pages, 11 figures, 4 tables. Bootk Chapter published in the book "Future trends and Challenegs for ICT Standardization", pp. 107 - 192

Journal-ref: BooK: Future Trends and Challenges for ICT Standardization. Editor: Ramjee Prasad, River Publishers, Aalborg, Denmark, 2010

Subjects: Networking and Internet Architecture (cs.NI)

[237] arXiv:1012.2527 [pdf, other]

Title: Solving the Rural Postman problem using the Adleman-Lipton model

Nicolaos Matsakis

Subjects: Computational Complexity (cs.CC)

[238] arXiv:1012.2528 [pdf, other]

Title: A Secure Aggregation Protocol for Wireless Sensor Networks

Jaydip Sen

Comments: 5 pages, 3 figures, 1 table. Proceedings of the 10th International Symposium on Wireless Personal Multimedia Communications (WPMC'07), pp. 715 - 719, Jaipur, India, December 3-6, 2007, Track: W-2F: Wireless Ad Hoc and Sensor Network Poster. Editors: Uday B. Desai, Sudhir Dixit, Shinsuke Hara, and Neeli R. Prasad

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

[239] arXiv:1012.2529 [pdf, other]

Title: A Survey on Reputation and Trust-Based Systems for Wireless Communication Networks

Jaydip Sen

Comments: 16 pages, 3 figures

Journal-ref: International Journal HIT Transaction on ECCN (Electronics, Communication, Computers and Networking), pp. 92-111. Volume 1, No: 2, April 2006

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

[240] arXiv:1012.2547 [pdf, other]

Title: The Exact String Matching Problem: a Comprehensive Experimental Evaluation

Simone Faro, Thierry Lecroq

Comments: 22 pages

Subjects: Data Structures and Algorithms (cs.DS)

[241] arXiv:1012.2553 [pdf, other]

Title: Scope Logic with Local Reasoning and Pre/Post-State Properties

Jianhua Zhao, Xuandong Li

Comments: 30 pages, with two non-trival examples in the appendix

Subjects: Logic in Computer Science (cs.LO)

[242] arXiv:1012.2573 [pdf, other]

Title: Approximating Vertex Cover in Dense Hypergraphs

Jean Cardinal, Marek Karpinski, Richard Schmied, Claus Viehmann

Subjects: Data Structures and Algorithms (cs.DS)

[243] arXiv:1012.2596 [pdf, other]

Title: A Unified MGF-Based Capacity Analysis of Diversity Combiners over Generalized Fading Channels

Ferkan Yilmaz, Mohamed-Slim Alouini

Subjects: Information Theory (cs.IT); Statistics Theory (math.ST); Other Statistics (stat.OT)

[244] arXiv:1012.2598 [pdf, other]

Title: Extended Generalized-K (EGK): A New Simple and General Model for Composite Fading Channels

Ferkan Yilmaz, Mohamed-Slim Alouini

Comments: Composite fading distribution, generalized-K distribution, probability density function, cumulative distribution function, fractional moments, level crossing rate, amount of fade duration, moments, amount of fading, average bit error probability, average capacity

Subjects: Information Theory (cs.IT); Probability (math.PR); Statistics Theory (math.ST)

[245] arXiv:1012.2599 [pdf, other]

Title: A Tutorial on Bayesian Optimization of Expensive Cost Functions, with Application to Active User Modeling and Hierarchical Reinforcement Learning

Eric Brochu, Vlad M. Cora, Nando de Freitas

Subjects: Machine Learning (cs.LG)

[246] arXiv:1012.2603 [pdf, other]

Title: Real-time Visual Tracking Using Sparse Representation

Hanxi Li, Chunhua Shen, Qinfeng Shi

Comments: 14 pages

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

[247] arXiv:1012.2605 [pdf, other]

Title: Rate of Convergence and Tractability of the Radial Function Approximation Problem

Gregory E. Fasshauer, Fred J. Hickernell, Henryk Woźniakowski

Journal-ref: SIAM J. Numer. Anal., 50:247-271, 2012

Subjects: Numerical Analysis (math.NA)

[248] arXiv:1012.2609 [pdf, other]

Title: Inverse-Category-Frequency based supervised term weighting scheme for text categorization

Deqing Wang, Hui Zhang

Comments: 18 pages

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

[249] arXiv:1012.2621 [pdf, other]

Title: Throughput and Latency of Acyclic Erasure Networks with Feedback in a Finite Buffer Regime

Nima Torabkhani, Badri N. Vellambi, Faramarz Fekri

Comments: 5 pages, 5 figures, ITW2010 Dublin

Subjects: Information Theory (cs.IT)

[250] arXiv:1012.2622 [pdf, other]

Title: Study of Throughput and Latency in Finite-buffer Coded Networks

Nima Torabkhani, Badri N. Vellambi, Faramarz Fekri

Comments: 5 pages, 4 figures, Asilomar 2010

Subjects: Information Theory (cs.IT)

[251] arXiv:1012.2628 [pdf, other]

Title: Throughput and Latency in Finite-Buffer Line Networks

Badri N. Vellambi, Nima Torabkhani, Faramarz Fekri

Comments: 19 pages, 14 figures, accepted in IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[252] arXiv:1012.2633 [pdf, other]

Title: Personalized Data Set for Analysis

Vishal Gupta, Ashutosh Saxena

Comments: 8 pages, 3 Diagrams, 1 Table, International Journal of Database Management Systems (IJDMS)

Journal-ref: International Journal of Database Management Systems ( IJDMS ), Vol.2, No.4, November 2010

Subjects: Databases (cs.DB); Cryptography and Security (cs.CR)

[253] arXiv:1012.2648 [pdf, other]

Title: Distributed XML Design

S. Abiteboul, G. Gottlob, M. Manna

Comments: "56 pages, 4 figures"

Journal-ref: Proceedings of PODS '09 (2009) 247-258

Subjects: Databases (cs.DB); Computational Complexity (cs.CC); Distributed, Parallel, and Cluster Computing (cs.DC)

[254] arXiv:1012.2661 [pdf, other]

Title: Categorial Minimalist Grammar

Maxime Amblard (INRIA Lorraine - LORIA), Alain Lecomte (INRIA Bordeaux - Sud-Ouest, SFLTAMP), Christian Retoré (INRIA Bordeaux - Sud-Ouest, LaBRI)

Journal-ref: Linguistic Analysis 36, 1--4 (2010) 273--308

Subjects: Computation and Language (cs.CL); Logic (math.LO)

[255] arXiv:1012.2662 [pdf, other]

Title: Cusp points in the parameter space of RPR-2PRR parallel manipulator

Guillaume Inria Moroz (INRIA Lorraine - LORIA, IRCCyN), Damien Chablat (IRCCyN), Philippe Wenger (IRCCyN), Fabrice Rouiller (INRIA Rocquencourt)

Journal-ref: 3-rd European Conference on Mechanism Science, Cluj-Napoca : Romania (2010)

Subjects: Robotics (cs.RO)

[256] arXiv:1012.2666 [pdf, other]

Title: Joint space and workspace analysis of a two-DOF closed-chain manipulator

Damien Chablat (IRCCyN)

Journal-ref: Symposium on Robot Design, Dynamics, and Control, Udine : Italy (2010)

Subjects: Robotics (cs.RO)

[257] arXiv:1012.2668 [pdf, other]

Title: On the determination of cusp points of 3-R\underline{P}R parallel manipulators

Guillaume Inria Moroz (INRIA Lorraine - LORIA), Fabrice Rouiller (INRIA Rocquencourt), Damien Chablat (IRCCyN), Philippe Wenger (IRCCyN)

Journal-ref: Mechanism and Machine Theory 45, 11 (2010) 1555-1567

Subjects: Robotics (cs.RO)

[258] arXiv:1012.2673 [pdf, other]

Title: On the Role of Feedback in LT Codes

Jesper H. Sørensen, Petar Popovski, Jan Østergaard

Subjects: Information Theory (cs.IT)

[259] arXiv:1012.2674 [pdf, other]

Title: Test of some numerical limiters for the conservative PSM scheme for 4D Drift-Kinetic simulations

Jerome Guterl (IRMA), Jean-Philippe Braeunig (CEA DIF, INRIA Lorraine / IECN / LSIIT / IRMA, LRC MESO), Nicolas Crouseilles (IRMA, INRIA Lorraine / IECN / LSIIT / IRMA), Virginie Grandgirard (IRFM), Guillaume Latu (IRFM), Michel Mehrenberger (IRMA, INRIA Lorraine / IECN / LSIIT / IRMA), Eric Sonnendrücker (IRMA, INRIA Lorraine / IECN / LSIIT / IRMA)

Subjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph)

[260] arXiv:1012.2694 [pdf, other]

Title: The 2-Center Problem in Three Dimensions

Pankaj K. Agarwal, Rinat Ben Avraham, Micha Sharir

Subjects: Computational Geometry (cs.CG)

[261] arXiv:1012.2699 [pdf, other]

Title: Prognostic Watch of the Electric Power System

Stefan Z. Stefanov

Comments: 11 pages

Subjects: Social and Information Networks (cs.SI)

[262] arXiv:1012.2713 [pdf, other]

Title: Phase Transitions of Plan Modification in Conformant Planning

Junping Zhou, Minghao Yin

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)

[263] arXiv:1012.2720 [pdf, other]

Title: Managing Delegation in Access Control Models

Meriam Ben Ghorbel-Talbi, Frederic Cuppens, Nora Cuppens-Boulahia, Adel Bouhoula

Journal-ref: Proceedings of the 15th International Conference on Advanced Computing and Communication (ADCOM'07), 2007

Subjects: Cryptography and Security (cs.CR)

[264] arXiv:1012.2738 [pdf, other]

Title: Dense locally testable codes cannot have constant rate and distance

Irit Dinur, Tali Kaufman

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

[265] arXiv:1012.2751 [pdf, other]

Title: Universal communication part I: modulo additive channels

Yuval Lomnitz, Meir Feder

Subjects: Information Theory (cs.IT)

[266] arXiv:1012.2762 [pdf, other]

Title: Justification of the Dynamical Systems Method (DSM) for global homeomorphisms

A.G.Ramm

Subjects: Numerical Analysis (math.NA)

[267] arXiv:1012.2771 [pdf, other]

Title: Bacteria inspired patterns grown with hyperbolic cellular automata

Maurice Margenstern

Comments: 16 pages, 13 figures

Subjects: Formal Languages and Automata Theory (cs.FL)

[268] arXiv:1012.2774 [pdf, other]

Title: Modeling Social Networks with Overlapping Communities Using Hypergraphs and Their Line Graphs

D. Liu, N. Blenn, P. Van Mieghem

Comments: 11 pages, 5 figures

Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)

[269] arXiv:1012.2782 [pdf, other]

Title: Symmetry invariance for adapting biological systems

Oren Shoval, Uri Alon, Eduardo Sontag

Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC); Biological Physics (physics.bio-ph); Quantitative Methods (q-bio.QM)

[270] arXiv:1012.2787 [pdf, other]

Title: Comparison of Planar Parallel Manipulator Architectures based on a Multi-objective Design Optimization Approach

Damien Chablat (IRCCyN), Stéphane Caro (IRCCyN), Raza Ur-Rehman (IRCCyN), Philippe Wenger (IRCCyN)

Journal-ref: 34th Annual Mechanisms and Robotics Conference (MR), Montr\'eal : Canada (2010)

Subjects: Robotics (cs.RO)

[271] arXiv:1012.2789 [pdf, other]

Title: Experimental Comparison of Representation Methods and Distance Measures for Time Series Data

Xiaoyue Wang, Hui Ding, Goce Trajcevski, Peter Scheuermann, Eamonn Keogh

Subjects: Artificial Intelligence (cs.AI)

[272] arXiv:1012.2797 [pdf, other]

Title: Should Corpora be Big, Rich, or Dense?

Greg P. Kochanski, Chilin Shih, Ryan Shosted

Subjects: Sound (cs.SD)

[273] arXiv:1012.2825 [pdf, other]

Title: Improved distance queries in planar graphs

Yahav Nussbaum

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

[274] arXiv:1012.2830 [pdf, other]

Title: Beamsteering on Mobile Devices: Network Capacity and Client Efficiency

Hang Yu, Lin Zhong, Ashutosh Sabharwal

Subjects: Networking and Internet Architecture (cs.NI)

[275] arXiv:1012.2831 [pdf, other]

Title: Sesame: Self-Constructive System Energy Modeling for Battery-Powered Mobile Systems

Mian Dong, Lin Zhong

Subjects: Operating Systems (cs.OS)

[276] arXiv:1012.2832 [pdf, other]

Title: A Longitudinal Study of Non-Voice Mobile Phone Usage by Teens from an Underserved Urban Community

Ahmad Rahmati, Lin Zhong

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

[277] arXiv:1012.2835 [pdf, other]

Title: Cohomologous Harmonic Cochains

Anil N. Hirani, Kaushik Kalyanaraman, Han Wang, Seth Watts

Comments: Language improvements to version 7. Content is otherwise the same as version 7

Subjects: Computational Geometry (cs.CG); Geometric Topology (math.GT); Numerical Analysis (math.NA)

[278] arXiv:1012.2858 [pdf, other]

Title: Relational transducers for declarative networking

Tom Ameloot, Frank Neven, Jan Van den Bussche

Journal-ref: 30th ACM Symposium on Principles of Database Systems, 2011

Subjects: Databases (cs.DB)

[279] arXiv:1012.2860 [pdf, other]

Title: Towards Refactoring the DMF to Support Jini and JMS DMS in GIPSY

Yi Ji, Serguei A. Mokhov, Joey Paquet

Comments: 16 pages; 9 figures; an index. v4 includes significant updates and a version was submitted to PPPJ'11

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

[280] arXiv:1012.2910 [pdf, other]

Title: Perfect Sampling of Markov Chains with Piecewise Homogeneous Events

Ana Bušić, Bruno Gaujal, Furcy Pin

Subjects: Discrete Mathematics (cs.DM); Probability (math.PR)

[281] arXiv:1012.2965 [pdf, other]

Title: Digital watermarking : An approach based on Hilbert transform

Rashmi Agarwal, R. Krishnan, M. S. Santhanam, K. Srinivas, K. Venugopalan

Comments: 17 Pages, 52 Figures

Subjects: Multimedia (cs.MM)

[282] arXiv:1012.2976 [pdf, other]

Title: A boundary matching micro/macro decomposition for kinetic equations

Mohammed Lemou, Florian Méhats

Subjects: Numerical Analysis (math.NA)

[283] arXiv:1012.2979 [pdf, other]

Title: A Study on Recent Approaches in Handling DDoS Attacks

Debajyoti Mukhopadhyay, Byung-Jun Oh, Sang-Heon Shim, Young-Chon Kim

Comments: 7 pages, 15 figures

Subjects: Cryptography and Security (cs.CR)

[284] arXiv:1012.2995 [pdf, other]

Title: A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode

Mads Dam, Andreas Lundblad

Subjects: Logic in Computer Science (cs.LO)

[285] arXiv:1012.2998 [pdf, other]

Title: On Probabilistic Parallel Programs with Process Creation and Synchronisation

Stefan Kiefer, Dominik Wojtczak

Comments: This is a technical report accompanying a TACAS'11 paper

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[286] arXiv:1012.3000 [pdf, other]

Title: Random Generation and Approximate Counting of Combinatorial Structures

Massimo Santini

Subjects: Computational Complexity (cs.CC)

[287] arXiv:1012.3011 [pdf, other]

Title: An Improved Algorithm for Bipartite Correlation Clustering

Nir Ailon, Noa Avigdor-Elgrabli, Edo Liberty

Subjects: Data Structures and Algorithms (cs.DS)

[288] arXiv:1012.3018 [pdf, other]

Title: On the size of data structures used in symbolic model checking

Paolo Liberatore, Marco Schaerf

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

[289] arXiv:1012.3023 [pdf, other]

Title: Generating constrained random graphs using multiple edge switches

Lionel Tabourier, Camille Roth, Jean-Philippe Cointet

Comments: 15 pages

Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)

[290] arXiv:1012.3024 [pdf, other]

Title: E = I + T: The internal extent formula for compacted tries

Paolo Boldi, Sebastiano Vigna

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

[291] arXiv:1012.3030 [pdf, other]

Title: The Least Spanning Area of a Knot and the Optimal Bounding Chain Problem

Nathan M. Dunfield, Anil N. Hirani

Comments: 9 pages, 5 figures. V2: Added Remark 5.7. V3: Many minor improvements. To appear in SoCG 2011

Subjects: Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS); Differential Geometry (math.DG); Geometric Topology (math.GT)

[292] arXiv:1012.3040 [pdf, other]

Title: Numerically Representing A Stochastic Process Algebra

Jie Ding, Jane Hillston

Subjects: Logic in Computer Science (cs.LO)

[293] arXiv:1012.3057 [pdf, other]

Title: Speeding Up the 3D Surface Generator VESTA

B. R. Schlei

Comments: This paper has been withdrawn, since it will become a part of a new version of "Volume-Enclosing Surface Extraction", by B. R. Schlei, arXiv:1011.1787

Subjects: Computational Geometry (cs.CG); Graphics (cs.GR)

[294] arXiv:1012.3059 [pdf, other]

Title: Confidence Sets in Time-Series Filtering

Boris Ryabko, Daniil Ryabko

Comments: some of the results were reported at ISIT2011, St. Petersburg, Russia, pp. 2436-2438

Subjects: Information Theory (cs.IT); Statistics Theory (math.ST)

[295] arXiv:1012.3071 [pdf, other]

Title: Seamless Flow Migration on Smartphones without Network Support

Ahmad Rahmati, Clay Shepard, Chad Tossell, Angela Nicoara, Lin Zhong, Phil Kortum, Jatinder Singh

Subjects: Networking and Internet Architecture (cs.NI); Operating Systems (cs.OS)

[296] arXiv:1012.3098 [pdf, other]

Title: On the Impact of Mutation-Selection Balance on the Runtime of Evolutionary Algorithms

Per Kristian Lehre, Xin Yao

Subjects: Neural and Evolutionary Computing (cs.NE); Adaptation and Self-Organizing Systems (nlin.AO); Populations and Evolution (q-bio.PE)

[297] arXiv:1012.3100 [pdf, other]

Title: Secure Information Flow by Model Checking Pushdown System

Cong Sun, Liyong Tang, Zhong Chen

Comments: 20 pages, this is an extended version of the paper published in UIC-ATC'09

Subjects: Cryptography and Security (cs.CR)

[298] arXiv:1012.3117 [pdf, other]

Title: Cooperation under Incomplete Information on the Discount Factors

Cy Maor

Comments: Thesis submitted in partial fulfillment of requirements for the M. Sc. degree in the School of Mathematical Sciences, Tel-Aviv University. The research work for this thesis has been carried out at Tel-Aviv University under the supervision of Prof. Eilon Solan

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

[299] arXiv:1012.3130 [pdf, other]

Title: How to Catch L_2-Heavy-Hitters on Sliding Windows

Vladimir Braverman, Ran Gelles, Rafail Ostrovsky

Comments: v3: updated acknowledgment v2: minor changes; extended abstract to appear in COCOON 2013

Subjects: Data Structures and Algorithms (cs.DS)

[300] arXiv:1012.3148 [pdf, other]

Title: To study the phenomenon of the Moravec's Paradox

Kush Agrawal

Comments: 8 pages

Subjects: Artificial Intelligence (cs.AI); Robotics (cs.RO)

[301] arXiv:1012.3156 [pdf, other]

Title: New generation of mobile phone viruses and corresponding countermeasures

Pu Wang, Marta C. González, Ronaldo Menezes, Albert-László Barabási

Comments: 19 pages, 6 figures

Subjects: Networking and Internet Architecture (cs.NI); Cryptography and Security (cs.CR); Physics and Society (physics.soc-ph)

[302] arXiv:1012.3189 [pdf, other]

Title: Maximizing Expected Utility for Stochastic Combinatorial Optimization Problems

Jian Li, Amol Deshpande

Comments: 31 pages, Preliminary version appears in the Proceeding of the 52nd Annual IEEE Symposium on Foundations of Computer Science (FOCS 2011), This version contains several new results ( results (2) and (3) in the abstract)

Subjects: Data Structures and Algorithms (cs.DS); Databases (cs.DB)

[303] arXiv:1012.3196 [pdf, other]

Title: Fast and accurate con-eigenvalue algorithm for optimal rational approximations

T. S. Haut, G. Beylkin

Subjects: Numerical Analysis (math.NA)

[304] arXiv:1012.3198 [pdf, other]

Title: Network MIMO with Linear Zero-Forcing Beamforming: Large System Analysis, Impact of Channel Estimation and Reduced-Complexity Scheduling

Hoon Huh, Antonia M. Tulino, Giuseppe Caire

Comments: 52 pages, 7 figures, revised and submitted to IEEE Trans. on Inform. Theory (under the 2nd review)

Subjects: Information Theory (cs.IT)

[305] arXiv:1012.3201 [pdf, other]

Title: Cyclic and Quasi-Cyclic LDPC Codes on Row and Column Constrained Parity-Check Matrices and Their Trapping Sets

Qin Huang, Qiuju Diao, Shu Lin, Khaled Abdel-Ghaffar

Comments: 70 pages, submitted to IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[306] arXiv:1012.3216 [pdf, other]

Title: TILT: Transform Invariant Low-rank Textures

Zhengdong Zhang, Arvind Ganesh, Xiao Liang, Yi Ma

Comments: Submitted to IJCV. Conference version presented at ACCV 2010

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

[307] arXiv:1012.3273 [pdf, other]

Title: Iterative Beam Search for Simple Assembly Line Balancing with a Fixed Number of Work Stations

Christian Blum

Subjects: Discrete Mathematics (cs.DM)

[308] arXiv:1012.3278 [pdf, other]

Title: Collaborative Knowledge Creation and Management in Information Retrieval

Victor Odumuyiwa (LORIA), David Amos (LORIA)

Comments: KMO 2010 Knowledge management in organizations, veszprém : Hongrie (2010)

Subjects: Information Retrieval (cs.IR)

[309] arXiv:1012.3280 [pdf, other]

Title: A new Recommender system based on target tracking: a Kalman Filter approach

Samuel Nowakowski (LORIA), Cédric Bernier (LORIA), Anne Boyer (LORIA)

Subjects: Artificial Intelligence (cs.AI)

[310] arXiv:1012.3282 [pdf, other]

Title: Incentive Games and Mechanisms for Risk Management

Tansu Alpcan

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

[311] arXiv:1012.3295 [pdf, other]

Title: Set Covering with Ordered Replacement -- Additive and Multiplicative Gaps

Friedrich Eisenbrand, Naonori Kakimura, Thomas Rothvoß, Laura Sanità

Subjects: Discrete Mathematics (cs.DM)

[312] arXiv:1012.3311 [pdf, other]

Title: Validating XML Documents in the Streaming Model with External Memory

Christian Konrad, Frederic Magniez

Comments: Change title. Remove a statement on a lower bound (now Conjecture 2 in Annexe B) since the proof was incomplete

Subjects: Data Structures and Algorithms (cs.DS); Databases (cs.DB)

[313] arXiv:1012.3312 [pdf, other]

Title: Dynamic Capitalization and Visualization Strategy in Collaborative Knowledge Management System for EI Process

Bolanle Oladejo (LORIA), Victor Odumuyiwa (LORIA), Amos David (LORIA)

Journal-ref: International Conference in Knowledge Management and Knowledge Economy ICKMKE 2010, paris : France (2010)

Subjects: Artificial Intelligence (cs.AI)

[314] arXiv:1012.3319 [pdf, other]

Title: A note about a partial no-go theorem for quantum PCP

Itai Arad

Comments: 7 pages, comments are welcome! revised version with very minor corrections

Journal-ref: Quantum Information & Computation, Vol.11, (2011), pp 1019

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

[315] arXiv:1012.3320 [pdf, other]

Title: Data Conflict Resolution Using Trust Mappings

Wolfgang Gatterbauer, Dan Suciu

Comments: 20 pages, 19 figures

Journal-ref: Full version of SIGMOD 2010 conference paper, pp. 219-230

Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI)

[316] arXiv:1012.3323 [pdf, other]

Title: On the transfer matrix of a MIMO system

Francois Bentosela, Horia D. Cornean, Bernard Fleury, Nicola Marchetti

Comments: Accepted for publication in Mathematical Methods in the Applied Sciences

Subjects: Information Theory (cs.IT); Mathematical Physics (math-ph)

[317] arXiv:1012.3336 [pdf, other]

Title: Dynamic Knowledge Capitalization through Annotation among Economic Intelligence Actors in a Collaborative Environment

Olusoji Okunoye (LORIA), Bolanle Oladejo (LORIA), Victor Odumuyiwa (LORIA)

Journal-ref: Veille strat\'egique et scientifique VSST 2010, Toulouse : France (2010)

Subjects: Artificial Intelligence (cs.AI)

[318] arXiv:1012.3340 [pdf, other]

Title: Short collusion-secure fingerprint codes against three pirates

Koji Nuida

Comments: 20 pages, a preliminary version was presented at Information Hiding 2010, Calgary, Canada, June 28-30, 2010

Journal-ref: International Journal of Information Security, vol.11, no.2 (2012) 85-102

Subjects: Cryptography and Security (cs.CR)

[319] arXiv:1012.3347 [pdf, other]

Title: An Architectural Design for Brokered Collaborative Content Delivery System

Mikael Fernandus Simalango, Sangyoon Oh

Comments: This paper has been withdrawn due to various reasons

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

[320] arXiv:1012.3359 [pdf, other]

Title: Curve Reconstruction in Riemannian Manifolds: Ordering Motion Frames

Pratik Shah, Samaresh Chatterji

Comments: 20 Figures, 27 Equations, 12 pages

Subjects: Computational Geometry (cs.CG); Graphics (cs.GR); Robotics (cs.RO); Differential Geometry (math.DG)

[321] arXiv:1012.3372 [pdf, other]

Title: A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems

Stéphane Jean Eric Lengrand (CNRS, Ecole Polytechnique, France), Roy Dyckhoff (School of Computer Science, University of St Andrews, Scotland), James McKinna (Radboud University, Nijmegen, The Netherlands)

Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 1 (March 23, 2011) lmcs:842

Subjects: Logic in Computer Science (cs.LO)

[322] arXiv:1012.3410 [pdf, other]

Title: Descriptive-complexity based distance for fuzzy sets

Laszlo Kovacs, Joel Ratsaby

Subjects: Artificial Intelligence (cs.AI)

[323] arXiv:1012.3439 [pdf, other]

Title: List-decoding of binary Goppa codes up to the binary Johnson bound

Daniel Augot (INRIA Saclay - Ile de France), Morgan Barbier (INRIA Saclay - Ile de France), Alain Couvreur (IMB)

Subjects: Information Theory (cs.IT)

[324] arXiv:1012.3440 [pdf, other]

Title: On the performance of the variational multiscale formulation for subsurface flow and transport in heterogeneous porous media

D. Z. Turner, K. B. Nakshatrala, P. K. Notz

Subjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph)

[325] arXiv:1012.3442 [pdf, other]

Title: Théorie de Galois effective : aide mémoire

Annick Valibouze (LSTA, LIP6)

Comments: 27 pages

Subjects: Symbolic Computation (cs.SC)

[326] arXiv:1012.3452 [pdf, other]

Title: Customer Appeasement Scheduling

Mohammad R Nikseresht, Anil Somayaji, Anil Maheshwari

Subjects: Operating Systems (cs.OS)

[327] arXiv:1012.3502 [pdf, other]

Title: Rules of Thumb for Information Acquisition from Large and Redundant Data

Wolfgang Gatterbauer

Comments: 40 pages, 17 figures; for details see the project page: this http URL

Journal-ref: Full version of upcoming ECIR 2011 conference paper

Subjects: Information Retrieval (cs.IR); Databases (cs.DB); Data Analysis, Statistics and Probability (physics.data-an)

[328] arXiv:1012.3506 [pdf, other]

Title: Local-Testability and Self-Correctability of q-ary Sparse Linear Codes

Widad Machmouchi

Subjects: Computational Complexity (cs.CC); Information Theory (cs.IT)

[329] arXiv:1012.3531 [pdf, other]

Title: Instantaneous, non-squeezed, noise-based logic

Ferdinand Peper, Laszlo B. Kish

Comments: 6 pages

Journal-ref: Fluctuation and Noise Letters 10 (2011) 231-237

Subjects: Other Computer Science (cs.OH)

[330] arXiv:1012.3548 [pdf, other]

Title: On the polynomial depth of various sets of random strings

Philippe Moser

Subjects: Computational Complexity (cs.CC)

[331] arXiv:1012.3628 [pdf, other]

Title: Fast and Power Efficient Sensor Arbitration: Physical Layer Collision Recovery of Passive RFID Tags

Karsten Fyhn, Rasmus M. Jacobsen, Petar Popovski, Anna Scaglione, Torben Larsen

Comments: 33 pages, 10 figures, 1 table, submitted to IEEE Transactions on Communications

Subjects: Networking and Internet Architecture (cs.NI)

[332] arXiv:1012.3638 [pdf, other]

Title: Determination of the Integrated Sidelobe Level of Sets of Rotated Legendre Sequences

Salvador Javier Haboba, Riccardo Rovatti, Gianluca Setti

Comments: 6 pages

Subjects: Information Theory (cs.IT)

[333] arXiv:1012.3656 [pdf, other]

Title: Adaptive Cluster Expansion (ACE): A Multilayer Network for Estimating Probability Density Functions

Stephen Luttrell

Comments: 20 pages, 14 figures

Subjects: Neural and Evolutionary Computing (cs.NE); Computer Vision and Pattern Recognition (cs.CV)

[334] arXiv:1012.3697 [pdf, other]

Title: Analysis of Agglomerative Clustering

Marcel R. Ackermann, Johannes Blömer, Daniel Kuntze, Christian Sohler

Comments: A preliminary version of this article appeared in Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science (STACS '11), March 2011, pp. 308-319. This article also appeared in Algorithmica. The final publication is available at this http URL

Journal-ref: Ackermann, M. R., Bl\"omer, J., Kuntze, D., and Sohler, C. (2014). Analysis of Agglomerative Clustering. Algorithmica, 69(1):184-215

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

[335] arXiv:1012.3704 [pdf, other]

Title: A Decidable Timeout based Extension of Propositional Linear Temporal Logic

Janardan Misra, Suman Roy

Subjects: Logic in Computer Science (cs.LO)

[336] arXiv:1012.3705 [pdf, other]

Title: Stochastic Vector Quantisers

Stephen Luttrell

Comments: 22 pages, 12 figures

Subjects: Neural and Evolutionary Computing (cs.NE); Computer Vision and Pattern Recognition (cs.CV)

[337] arXiv:1012.3721 [pdf, other]

Title: Negative bases and automata

Christiane Frougny, Anna Chiara Lai

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Dynamical Systems (math.DS); Number Theory (math.NT)

[338] arXiv:1012.3722 [pdf, other]

Title: Energy stable and momentum conserving hybrid finite element method for the incompressible Navier-Stokes equations

Robert Jan Labeur, Garth N. Wells

Comments: To appear in SIAM Journal on Scientific Computing

Journal-ref: SIAM J. Sci. Comput., 34(2), 2012, A889-A913

Subjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA)

[339] arXiv:1012.3724 [pdf, other]

Title: The Development of Dominance Stripes and Orientation Maps in a Self-Organising Visual Cortex Network (VICON)

Stephen Luttrell

Comments: 33 pages, 19 figures

Subjects: Neural and Evolutionary Computing (cs.NE); Computer Vision and Pattern Recognition (cs.CV)

[340] arXiv:1012.3788 [pdf, other]

Title: A New Formula for the BER of Binary Modulations with Dual-Branch Selection over Generalized-K Composite Fading Channels

Imran Shafique Ansari, Saad Al-Ahmadi, Ferkan Yilmaz, Mohamed-Slim Alouini, Halim Yanikomeroglu

Comments: Diversity schemes, selection combining, dual-branch selection diversity, binary modulation schemes, generalized-K (GK) model, composite fading, bit error rate (BER), and Meijer G-function distribution

Subjects: Information Theory (cs.IT); Probability (math.PR); Statistics Theory (math.ST)

[341] arXiv:1012.3790 [pdf, other]

Title: Improving PPM Algorithm Using Dictionaries

Yichuan Hu, Jianzhong (Charlie)Zhang, Farooq Khan, Ying Li

Comments: 7 pages, 4 figures, longer version for DCC 2011 paper

Subjects: Information Theory (cs.IT)

[342] arXiv:1012.3793 [pdf, other]

Title: A robust ranking algorithm to spamming

Yanbo Zhou, Ting Lei, Tao Zhou

Comments: 4 pages, 4 figures, 3 Tables

Journal-ref: EPL 94 (2011) 48002

Subjects: Information Retrieval (cs.IR); Data Analysis, Statistics and Probability (physics.data-an)

[343] arXiv:1012.3802 [pdf, other]

Title: Detecting Image Forgeries using Geometric Cues

Lin Wu, Yang Wang

Comments: 18 pages, 10 figures

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

[344] arXiv:1012.3805 [pdf, other]

Title: Element Retrieval using Namespace Based on keyword search over XML Documents

Yang Wang, Zhikui Chen, Xiaodi Huang

Comments: 9 pages

Subjects: Information Retrieval (cs.IR)

[345] arXiv:1012.3828 [pdf, other]

Title: The model checking problem for intuitionistic propositional logic with one variable is AC1-complete

Martin Mundhenk, Felix Weiss

Comments: A preliminary version of this work was presented at STACS 2011. 19 pages, 3 figures

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

[346] arXiv:1012.3835 [pdf, other]

Title: A new generalized field of values

Ricardo Reis da Silva

Subjects: Numerical Analysis (math.NA)

[347] arXiv:1012.3853 [pdf, other]

Title: On the CNF encoding of cardinality constraints and beyond

Olivier Bailleux

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[348] arXiv:1012.3875 [pdf, other]

Title: Optimal and Robust Transmit Designs for MISO Channel Secrecy by Semidefinite Programming

Qiang Li, Wing-Kin Ma

Comments: 32 pages, 5 figures; to appear, IEEE Transactions on Signal Processing, 2011

Subjects: Information Theory (cs.IT)

[349] arXiv:1012.3877 [pdf, other]

Title: Queue-Aware Dynamic Clustering and Power Allocation for Network MIMO Systems via Distributive Stochastic Learning

Ying Cui, Qingqing Huang, Vincent K.N.Lau

Subjects: Machine Learning (cs.LG)

[350] arXiv:1012.3889 [pdf, other]

Title: Minimum regulation of uncoordinated matchings

Bruno Escoffier, Laurent Gourvès, Jérôme Monnot

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

[351] arXiv:1012.3932 [pdf, other]

Title: Balanced Interval Coloring

Antonios Antoniadis, Falk Hüffner, Pascal Lenzner, Carsten Moldenhauer, Alexander Souza

Comments: Accepted at STACS 2011

Subjects: Data Structures and Algorithms (cs.DS)

[352] arXiv:1012.3947 [pdf, other]

Title: Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case

Dov Gabbay, David Pearce, Agustí n Valverde

Comments: ASPOCP 2010

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[353] arXiv:1012.3951 [pdf, other]

Title: Diffusion-geometric maximally stable component detection in deformable shapes

Roee Litman, Alex M. Bronstein, Michael M. Bronstein

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

[354] arXiv:1012.3953 [pdf, other]

Title: PhyloGrid: a development for a workflow in Phylogeny

Esther Montes, Raul Isea, Rafael Mayo

Comments: 6 pages, ISBN: 978-84-9745-288-5

Journal-ref: Iberian Grid Infrastructure Conf. Proceeding (2008) Vol. 2, pp. 378-387

Subjects: Computational Engineering, Finance, and Science (cs.CE); Other Quantitative Biology (q-bio.OT)

[355] arXiv:1012.3956 [pdf, other]

Title: Advances in the Biomedical Applications of the EELA Project

Vicente Hernández, Ignacio Blanquer, Gabriel Aparicio, Raul Isea, Juan Luis Chavés, Álvaro Hernández, Henry Ricardo Mora, Manuel Fernández, Alicia Acero, Esther Montes, Rafael Mayo

Comments: 5 pages

Journal-ref: Proceedings of the NETTAB Conference (2007). Vol. 7, pp. 145-156

Subjects: Computational Engineering, Finance, and Science (cs.CE); Other Quantitative Biology (q-bio.OT)

[356] arXiv:1012.3962 [pdf, other]

Title: Quotient Complexity of Star-Free Languages

Janusz Brzozowski, Bo Liu

Comments: 15 pages. 6 figures. 1 Table

Subjects: Formal Languages and Automata Theory (cs.FL)

[357] arXiv:1012.4017 [pdf, other]

Title: A Note on Solid Coloring of Pure Simplicial Complexes

Joseph O'Rourke

Comments: 11 pages, 6 figures

Subjects: Discrete Mathematics (cs.DM)

[358] arXiv:1012.4032 [pdf, other]

Title: A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus

Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron

Comments: In Proceedings DCM 2011, arXiv:1207.6821

Journal-ref: EPTCS 88, 2012, pp. 1-15

Subjects: Logic in Computer Science (cs.LO)

[359] arXiv:1012.4045 [pdf, other]

Title: Application of Global and One-Dimensional Local Optimization to Operating System Scheduler Tuning

George Anderson, Tshilidzi Marwala, Fulufhelo Vincent Nelwamondo

Comments: Proceedings of the Twenty-First Annual Symposium of the Pattern Recognition Association of South Africa 22-23 November 2010 Stellenbosch, South Africa, pp. 7-11

Subjects: Operating Systems (cs.OS)

[360] arXiv:1012.4046 [pdf, other]

Title: Artificial Intelligence in Reverse Supply Chain Management: The State of the Art

Bo Xing, Wen-Jing Gao, Kimberly Battle, Tshildzi Marwala, Fulufhelo V. Nelwamondo

Comments: Proceedings of the Twenty-First Annual Symposium of the Pattern Recognition Association of South Africa 22-23 November 2010 Stellenbosch, South Africa, pp. 305-310

Subjects: Artificial Intelligence (cs.AI)

[361] arXiv:1012.4050 [pdf, other]

Title: Motif Analysis in the Amazon Product Co-Purchasing Network

Abhishek Srivastava

Comments: 5 pages, 8 figures

Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)

[362] arXiv:1012.4051 [pdf, other]

Title: Survey & Experiment: Towards the Learning Accuracy

Zeyuan Allen Zhu

Subjects: Machine Learning (cs.LG)

[363] arXiv:1012.4062 [pdf, other]

Title: Improved Approximation for the Directed Spanner Problem

Arnab Bhattacharyya, Konstantin Makarychev

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

[364] arXiv:1012.4066 [pdf, other]

Title: Generalized and Resource-Efficient VNet Embeddings with Migrations

Gregor Schaffrath, Stefan Schmid, Anja Feldmann

Subjects: Networking and Internet Architecture (cs.NI)

[365] arXiv:1012.4072 [pdf, other]

Title: Stochastic Control of Event-Driven Feedback in Multi-Antenna Interference Channels

Kaibin Huang, Vincent K. N. Lau, Dongku Kim

Journal-ref: IEEE Trans. on Signal Proc., vol. 59, no. 12, pp. 6112 - 6126, Dec. 2011

Subjects: Information Theory (cs.IT)

[366] arXiv:1012.4074 [pdf, other]

Title: A fast divide-and-conquer algorithm for indexing human genome sequences

Woong-Kee Loh, Yang-Sae Moon, Wookey Lee

Comments: 8 pages, 9 figures

Subjects: Databases (cs.DB)

[367] arXiv:1012.4079 [pdf, other]

Title: Non Abelian Bent Functions

Laurent Poinsot (LIPN)

Comments: Soumis à la revue "Cryptographie and communications"

Subjects: Cryptography and Security (cs.CR); Representation Theory (math.RT)

[368] arXiv:1012.4084 [pdf, other]

Title: Structure and Recognition of 3,4-leaf Powers of Galled Phylogenetic Networks in Polynomial Time

Michel Habib, Thu-Hien To

Subjects: Discrete Mathematics (cs.DM); Quantitative Methods (q-bio.QM)

[369] arXiv:1012.4113 [pdf, other]

Title: Performance Study of IEEE802.11e QoS in EDCF-Contention-based Static and Dynamic Scenarios

Khaled Dridi, Nadeem Javaid, Karim Djouani, Boubaker Daachi

Comments: 4 Pages

Journal-ref: 2nd IEEE International Conference on Electronics, Circuits, and Systems (ICECS)2009, Tunis

Subjects: Networking and Internet Architecture (cs.NI)

[370] arXiv:1012.4126 [pdf, other]

Title: Self-Organising Stochastic Encoders

Stephen Luttrell

Comments: 23 pages, 23 figures

Subjects: Neural and Evolutionary Computing (cs.NE); Computer Vision and Pattern Recognition (cs.CV)

[371] arXiv:1012.4136 [pdf, other]

Title: Employing Coded Relay in Multi-hop Wireless Networks

Zhenghao Zhang, Wei Hu, Jin Xie

Subjects: Networking and Internet Architecture (cs.NI)

[372] arXiv:1012.4161 [pdf, other]

Title: Lattice Code Design for the Rayleigh Fading Wiretap Channel

Jean-Claude Belfiore, Frederique Oggier

Subjects: Information Theory (cs.IT)

[373] arXiv:1012.4170 [pdf, other]

Title: Removing Barriers to Interdisciplinary Research

Naomi Jacobs, Martyn Amos

Comments: Superceded by 1211.5508

Subjects: General Literature (cs.GL)

[374] arXiv:1012.4173 [pdf, other]

Title: A Self-Organising Neural Network for Processing Data from Multiple Sensors

S P Luttrell

Comments: 30 pages, 10 figures

Subjects: Neural and Evolutionary Computing (cs.NE); Computer Vision and Pattern Recognition (cs.CV)

[375] arXiv:1012.4194 [pdf, other]

Title: Equation-Free Multiscale Computational Analysis of Individual-Based Epidemic Dynamics on Networks

Constantinos Siettos

Journal-ref: Applied Mathematics and Computation, 218, 324-336, 2011

Subjects: Numerical Analysis (math.NA); Social and Information Networks (cs.SI); Adaptation and Self-Organizing Systems (nlin.AO); Physics and Society (physics.soc-ph)

[376] arXiv:1012.4204 [pdf, other]

Title: Compliance of POLYAS with the Common Criteria Protection Profile

Niels Menke, Kai Reinhard

Comments: 10 pages

Journal-ref: Electronic Voting 2010: 109-118

Subjects: Cryptography and Security (cs.CR)

[377] arXiv:1012.4225 [pdf, other]

Title: Delay and Redundancy in Lossless Source Coding

Ofer Shayevitz, Eado Meron, Meir Feder, Ram Zamir

Comments: IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[378] arXiv:1012.4231 [pdf, other]

Title: Computation in Large-Scale Scientific and Internet Data Applications is a Focus of MMDS 2010

Michael W. Mahoney

Subjects: Data Structures and Algorithms (cs.DS)

[379] arXiv:1012.4240 [pdf, other]

Title: ECLiPSe - from LP to CLP

Joachim Schimpf, Kish Shen

Comments: To appear in Theory and Practice of Logic Programming (TPLP)

Subjects: Programming Languages (cs.PL)

[380] arXiv:1012.4241 [pdf, other]

Title: A New Technique for Text Data Compression

Udita N. Katugampola

Comments: Submitted to IJKEDM

Journal-ref: 2012 International Symposium on Computer, Consumer and Control, 2012, pp.405-409

Subjects: Cryptography and Security (cs.CR); Information Theory (cs.IT)

[381] arXiv:1012.4249 [pdf, other]

Title: Travel Time Estimation Using Floating Car Data

Raffi Sevlian, Ram Rajagopal

Subjects: Machine Learning (cs.LG)

[382] arXiv:1012.4250 [pdf, other]

Title: Differential Privacy versus Quantitative Information Flow

Mário S. Alvim (INRIA Saclay - Ile de France), Konstantinos Chatzikokolakis (TUE), Pierpaolo Degano (DI), Catuscia Palamidessi (INRIA Saclay - Ile de France)

Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Databases (cs.DB)

[383] arXiv:1012.4263 [pdf, other]

Title: Lightweight LCP-Array Construction in Linear Time

Simon Gog, Enno Ohlebusch

Subjects: Data Structures and Algorithms (cs.DS)

[384] arXiv:1012.4290 [pdf, other]

Title: Bit recycling for scaling random number generators

Andrea C. G. Mennucci

Subjects: Information Theory (cs.IT); Numerical Analysis (math.NA); Probability (math.PR)

[385] arXiv:1012.4307 [pdf, other]

Title: A preconditioned iterative solver for the scattering solutions of the Schrödinger equation

Hisham bin Zubair, Bram Reps, Wim Vanroose

Comments: Accepted in Communications in Computational Physics

Journal-ref: Comm. Comput. Phys. 11 p 415-434 (2012)

Subjects: Numerical Analysis (math.NA)

[386] arXiv:1012.4327 [pdf, other]

Title: Using virtual human for an interactive customer-oriented constrained environment design

Liang Ma (IRCCyN, DIE), Ruina Ma (IRCCyN), Damien Chablat (IRCCyN), Fouad Bennis (IRCCyN)

Journal-ref: IDMME / Virtual Concept, Bordeaux : France (2010)

Subjects: Robotics (cs.RO)

[387] arXiv:1012.4349 [pdf, other]

Title: A Progressive Network Management Architecture Enabled By Java Technology

Damianos Gavalas, Dominic Greenwood, Mohammed Ghanbari, Mike O'Mahony

Comments: 12 pages, 7 figures, 1st International Conference and Exhibition on the Practical Applications of Java (PA-Java'99), ISBN: 1-902426-03-07, pp. 61-72, London, UK, 21-23 April 1999

Subjects: Networking and Internet Architecture (cs.NI); Software Engineering (cs.SE)

[388] arXiv:1012.4374 [pdf, other]

Title: Régularisation et optimisation pour l'imagerie sismique des fondations de pylônes

Denis Vautrin (1), Matthieu Voorons (2), Jérôme Idier (1), Yves Goussard (2) ((1) Institut de Recherche en Communications et Cybernétique de Nantes (IRCCyN), (2) École Polytechnique de Montréal)

Comments: 80 pages

Subjects: Computational Engineering, Finance, and Science (cs.CE)

[389] arXiv:1012.4396 [pdf, other]

Title: Selection in Scientific Networks

Walter Quattrociocchi, Frederic Amblard

Comments: 17 pages, 8 Figure, social network analysis, evolving structures

Subjects: Social and Information Networks (cs.SI); Computers and Society (cs.CY); Digital Libraries (cs.DL); Adaptation and Self-Organizing Systems (nlin.AO); Physics and Society (physics.soc-ph)

[390] arXiv:1012.4401 [pdf, other]

Title: A Note on a Characterization of Rényi Measures and its Relation to Composite Hypothesis Testing

Ofer Shayevitz

Comments: Technical report (expanded version of ISIT conference paper this http URL)

Subjects: Information Theory (cs.IT)

[391] arXiv:1012.4404 [pdf, other]

Title: Multicolored Dynamos on Toroidal Meshes

Sara Brunetti, Elena Lodi, Walter Quattrociocchi

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Social and Information Networks (cs.SI)

[392] arXiv:1012.4452 [pdf, other]

Title: Encryption of Binary and Non-Binary Data Using Chained Hadamard Transforms

Rohith Singi Reddy

Comments: 13 pages

Subjects: Cryptography and Security (cs.CR)

[393] arXiv:1012.4485 [pdf, other]

Title: An Experimental Approach for Optimising Mobile Agent Migrations

Damianos Gavalas

Comments: 8 pages, 7 figures

Journal-ref: Mediterranean Journal of Computers and Networks, 1(1), pp. 47-56, SoftMotor Ltd., ISSN: 1744-2397, July 2005

Subjects: Networking and Internet Architecture (cs.NI); Multiagent Systems (cs.MA)

[394] arXiv:1012.4487 [pdf, other]

Title: Selling Culture: Implementation of e-Commerce and WAP-based Prototypes

Konstantina Zafeiri, Damianos Gavalas, Aikaterini Balla

Comments: 9 pages, 8 figures

Journal-ref: International Review on Computers and Software (ISSN: 1828-6003), 1(1), pp 68-76, Praise Worthy Prize, July 2006

Subjects: Networking and Internet Architecture (cs.NI); Software Engineering (cs.SE)

[395] arXiv:1012.4519 [pdf, other]

Title: Belief-propagation-based joint channel estimation and decoding for spectrally efficient communication over unknown sparse channels

Philip Schniter

Subjects: Information Theory (cs.IT)

[396] arXiv:1012.4542 [pdf, other]

Title: Impact of Mistiming on the Achievable Information Rate of Rake Receivers in DS-UWB Systems

Chunhua Geng, Yukui Pei, Jiaqi Zhang, Ning Ge

Comments: 5 pages, 7 figures, submitted to IEEE VTC 2011 spring in Sept.2010

Subjects: Information Theory (cs.IT)

[397] arXiv:1012.4552 [pdf, other]

Title: On the Throughput Cost of Physical Layer Security in Decentralized Wireless Networks

Xiangyun Zhou, Radha Krishna Ganti, Jeffrey G. Andrews, Are Hjørungnes

Comments: Accepted for publication in IEEE Transactions on Wireless Communications

Subjects: Information Theory (cs.IT)

[398] arXiv:1012.4554 [pdf, other]

Title: Proceedings 24th International Workshop on Unification

Maribel Fernandez (King's College London)

Journal-ref: EPTCS 42, 2010

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

[399] arXiv:1012.4555 [pdf, other]

Title: Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers

Ana Bove (Chalmers University of Technology), Ekaterina Komendantskaya (University of Dundee), Milad Niqui (CWI)

Journal-ref: EPTCS 43, 2010

Subjects: Logic in Computer Science (cs.LO)

[400] arXiv:1012.4556 [pdf, other]

Title: Selective Multipath Interference Canceller with Linear Equalization for DS-UWB Systems with Low Spreading Factor

Chunhua Geng, Yukui Pei, Ning Ge

Comments: 6 pages, 5 figures

Subjects: Networking and Internet Architecture (cs.NI)