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

Computer Science

Authors and titles for July 2011

Total of 810 entries
Showing up to 2000 entries per page: fewer | more | all
[1] arXiv:1107.0011 [pdf, other]
Title: Flash-based Audio and Video Communication in the Cloud
Kundan Singh, Carol Davids
Comments: Technical Implementation Report, 13 pages, 15 figures
Subjects: Networking and Internet Architecture (cs.NI); Multimedia (cs.MM)
[2] arXiv:1107.0015 [pdf, other]
Title: Automaton based detection of affected cells in three dimensional biological system
Jitesh Dundas
Comments: 38 pages including 8 figures
Subjects: Computational Engineering, Finance, and Science (cs.CE)
[3] arXiv:1107.0018 [pdf, other]
Title: A New Technique for Combining Multiple Classifiers using The Dempster-Shafer Theory of Evidence
A. Al-Ani, M. Deriche
Journal-ref: Journal Of Artificial Intelligence Research, Volume 17, pages 333-361, 2002
Subjects: Artificial Intelligence (cs.AI)
[4] arXiv:1107.0019 [pdf, other]
Title: Searching for Bayesian Network Structures in the Space of Restricted Acyclic Partially Directed Graphs
S. Acid, L. M. de Campos
Journal-ref: Journal Of Artificial Intelligence Research, Volume 18, pages 445-490, 2003
Subjects: Artificial Intelligence (cs.AI)
[5] arXiv:1107.0020 [pdf, other]
Title: Learning to Order BDD Variables in Verification
O. Grumberg, S. Livne, S. Markovitch
Journal-ref: Journal Of Artificial Intelligence Research, Volume 18, pages 83-116, 2003
Subjects: Artificial Intelligence (cs.AI)
[6] arXiv:1107.0021 [pdf, other]
Title: Decentralized Supply Chain Formation: A Market Protocol and Competitive Equilibrium Analysis
W. E. Walsh, M. P. Wellman
Journal-ref: Journal Of Artificial Intelligence Research, Volume 19, pages 513-567, 2003
Subjects: Artificial Intelligence (cs.AI)
[7] arXiv:1107.0022 [pdf, other]
Title: K-Implementation
D. Monderer, M. Tennenholtz
Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 37-62, 2004
Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI)
[8] arXiv:1107.0023 [pdf, other]
Title: CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements
C. Boutilier, R. I. Brafman, C. Domshlak, H. H. Hoos, D. Poole
Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 135-191, 2004
Subjects: Artificial Intelligence (cs.AI)
[9] arXiv:1107.0024 [pdf, other]
Title: Complexity Results and Approximation Strategies for MAP Explanations
A. Darwiche, J. D. Park
Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 101-133, 2006
Subjects: Artificial Intelligence (cs.AI)
[10] arXiv:1107.0025 [pdf, other]
Title: Taming Numbers and Durations in the Model Checking Integrated Planning System
S. Edelkamp
Journal-ref: Journal Of Artificial Intelligence Research, Volume 20, pages 195-238, 2003
Subjects: Artificial Intelligence (cs.AI)
[11] arXiv:1107.0026 [pdf, other]
Title: IDL-Expressions: A Formalism for Representing and Parsing Finite Languages in Natural Language Processing
M. J. Nederhof, G. Satta
Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 287-317, 2004
Subjects: Artificial Intelligence (cs.AI)
[12] arXiv:1107.0027 [pdf, other]
Title: Effective Dimensions of Hierarchical Latent Class Models
T. Kocka, N. L. Zhang
Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 1-17, 2004
Subjects: Artificial Intelligence (cs.AI)
[13] arXiv:1107.0028 [pdf, other]
Title: Concurrent Auctions Across The Supply Chain
M. Babaioff, N. Nisan
Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 595-629, 2004
Subjects: Computer Science and Game Theory (cs.GT)
[14] arXiv:1107.0029 [pdf, other]
Title: A Personalized System for Conversational Recommendations
M. H. Goker, P. Langley, C. A. Thompson
Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 393-428, 2004
Subjects: Information Retrieval (cs.IR); Artificial Intelligence (cs.AI)
[15] arXiv:1107.0030 [pdf, other]
Title: Coherent Integration of Databases by Abductive Logic Programming
O. Arieli, M. Bruynooghe, M. Denecker, B. Van Nuffelen
Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 245-286, 2004
Subjects: Artificial Intelligence (cs.AI)
[16] arXiv:1107.0031 [pdf, other]
Title: Grounded Semantic Composition for Visual Scenes
P. Gorniak, D. Roy
Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 429-470, 2004
Subjects: Artificial Intelligence (cs.AI)
[17] arXiv:1107.0033 [pdf, other]
Title: Existence of Multiagent Equilibria with Limited Agents
M. Bowling, M. Veloso
Journal-ref: Journal Of Artificial Intelligence Research, Volume 22, pages 353-384, 2004
Subjects: Multiagent Systems (cs.MA); Computer Science and Game Theory (cs.GT)
[18] arXiv:1107.0034 [pdf, other]
Title: Price Prediction in a Trading Agent Competition
K. M. Lochner, D. M. Reeves, Y. Vorobeychik, M. P. Wellman
Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 19-36, 2004
Subjects: Artificial Intelligence (cs.AI)
[19] arXiv:1107.0035 [pdf, other]
Title: Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences
J. Keppens, Q. Shen
Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 499-550, 2004
Subjects: Artificial Intelligence (cs.AI)
[20] arXiv:1107.0036 [pdf, other]
Title: Can We Learn to Beat the Best Stock
A. Borodin, R. El-Yaniv, V. Gogan
Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 579-594, 2004
Subjects: Artificial Intelligence (cs.AI); Trading and Market Microstructure (q-fin.TR)
[21] arXiv:1107.0037 [pdf, other]
Title: Competitive Coevolution through Evolutionary Complexification
R. Miikkulainen, K. O. Stanley
Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 63-100, 2004
Subjects: Artificial Intelligence (cs.AI)
[22] arXiv:1107.0038 [pdf, other]
Title: Dual Modelling of Permutation and Injection Problems
B. Hnich, B. M. Smith, T. Walsh
Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 357-391, 2004
Subjects: Artificial Intelligence (cs.AI)
[23] arXiv:1107.0040 [pdf, other]
Title: Generalizing Boolean Satisfiability I: Background and Survey of Existing Work
H. E. Dixon, M. L. Ginsberg, A. J. Parkes
Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 193-243, 2004
Subjects: Artificial Intelligence (cs.AI)
[24] arXiv:1107.0041 [pdf, other]
Title: PHA*: Finding the Shortest Path with A* in An Unknown Physical Environment
A. Ben-Yair, A. Felner, S. Kraus, N. Netanyahu, R. Stern
Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 631-670, 2004
Subjects: Artificial Intelligence (cs.AI)
[25] arXiv:1107.0042 [pdf, other]
Title: Restricted Value Iteration: Theory and Algorithms
N. L. Zhang, W. Zhang
Journal-ref: Journal Of Artificial Intelligence Research, Volume 23, pages 123-165, 2005
Subjects: Artificial Intelligence (cs.AI)
[26] arXiv:1107.0043 [pdf, other]
Title: A Maximal Tractable Class of Soft Constraints
D. Cohen, M. Cooper, P. Jeavons, A. Krokhin
Journal-ref: Journal Of Artificial Intelligence Research, Volume 22, pages 1-22, 2004
Subjects: Artificial Intelligence (cs.AI)
[27] arXiv:1107.0044 [pdf, other]
Title: Towards Understanding and Harnessing the Potential of Clause Learning
P. Beame, H. Kautz, A. Sabharwal
Journal-ref: Journal Of Artificial Intelligence Research, Volume 22, pages 319-351, 2004
Subjects: Artificial Intelligence (cs.AI)
[28] arXiv:1107.0045 [pdf, other]
Title: Graduality in Argumentation
C. Cayrol, M. C. Lagasquie-Schiex
Journal-ref: Journal Of Artificial Intelligence Research, Volume 23, pages 245-297, 2005
Subjects: Artificial Intelligence (cs.AI)
[29] arXiv:1107.0046 [pdf, other]
Title: Explicit Learning Curves for Transduction and Application to Clustering and Compression Algorithms
P. Derbeko, R. El-Yaniv, R. Meir
Journal-ref: Journal Of Artificial Intelligence Research, Volume 22, pages 117-142, 2004
Subjects: Artificial Intelligence (cs.AI)
[30] arXiv:1107.0047 [pdf, other]
Title: Decentralized Control of Cooperative Systems: Categorization and Complexity Analysis
C. V. Goldman, S. Zilberstein
Journal-ref: Journal Of Artificial Intelligence Research, Volume 22, pages 143-174, 2004
Subjects: Artificial Intelligence (cs.AI)
[31] arXiv:1107.0048 [pdf, other]
Title: Reinforcement Learning for Agents with Many Sensors and Actuators Acting in Categorizable Environments
E. Celaya, J. M. Porta
Journal-ref: Journal Of Artificial Intelligence Research, Volume 23, pages 79-122, 2005
Subjects: Artificial Intelligence (cs.AI)
[32] arXiv:1107.0050 [pdf, other]
Title: Additive Pattern Database Heuristics
A. Felner, S. Hanan, R. E. Korf
Journal-ref: Journal Of Artificial Intelligence Research, Volume 22, pages 279-318, 2004
Subjects: Artificial Intelligence (cs.AI)
[33] arXiv:1107.0051 [pdf, other]
Title: On Prediction Using Variable Order Markov Models
R. Begleiter, R. El-Yaniv, G. Yona
Journal-ref: Journal Of Artificial Intelligence Research, Volume 22, pages 385-421, 2004
Subjects: Artificial Intelligence (cs.AI)
[34] arXiv:1107.0052 [pdf, other]
Title: Ordered Landmarks in Planning
J. Hoffmann, J. Porteous, L. Sebastia
Journal-ref: Journal Of Artificial Intelligence Research, Volume 22, pages 215-278, 2004
Subjects: Artificial Intelligence (cs.AI)
[35] arXiv:1107.0053 [pdf, other]
Title: Finding Approximate POMDP solutions Through Belief Compression
N. Roy, G. Gordon, S. Thrun
Journal-ref: Journal Of Artificial Intelligence Research, Volume 23, pages 1-40, 2005
Subjects: Artificial Intelligence (cs.AI)
[36] arXiv:1107.0054 [pdf, other]
Title: A Comprehensive Trainable Error Model for Sung Music Queries
W. P. Birmingham, C. J. Meek
Journal-ref: Journal Of Artificial Intelligence Research, Volume 22, pages 57-91, 2004
Subjects: Artificial Intelligence (cs.AI)
[37] arXiv:1107.0055 [pdf, other]
Title: Phase Transitions and Backbones of the Asymmetric Traveling Salesman Problem
W. Zhang
Journal-ref: Journal Of Artificial Intelligence Research, Volume 21, pages 471-497, 2004
Subjects: Artificial Intelligence (cs.AI)
[38] arXiv:1107.0056 [pdf, other]
Title: Fixed parameter algorithms for restricted coloring problems
Victor Campos, Cláudia Linhares-Sales, Ana Karolinna Maia, Nicolas Martins, Rudini Menezes Sampaio
Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[39] arXiv:1107.0062 [pdf, other]
Title: Optimal Multi-Robot Path Planning with Temporal Logic Constraints
Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Daniela Rus
Comments: Extended version of the IROS 2011 conference paper
Subjects: Robotics (cs.RO)
[40] arXiv:1107.0063 [pdf, other]
Title: Formal Model Engineering for Embedded Systems Using Real-Time Maude
Peter Csaba Ölveczky (University of Oslo)
Comments: In Proceedings AMMSE 2011, arXiv:1106.5962
Journal-ref: EPTCS 56, 2011, pp. 3-13
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[41] arXiv:1107.0064 [pdf, other]
Title: Rascal: From Algebraic Specification to Meta-Programming
Jeroen van den Bos (CWI), Mark Hills (CWI), Paul Klint (CWI), Tijs van der Storm (CWI), Jurgen J. Vinju (CWI)
Comments: In Proceedings AMMSE 2011, arXiv:1106.5962
Journal-ref: EPTCS 56, 2011, pp. 15-32
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[42] arXiv:1107.0065 [pdf, other]
Title: Typed lambda-terms in categorical attributed graph transformation
Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Comments: In Proceedings AMMSE 2011, arXiv:1106.5962
Journal-ref: EPTCS 56, 2011, pp. 33-47
Subjects: Logic in Computer Science (cs.LO)
[43] arXiv:1107.0066 [pdf, other]
Title: Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies
Francisco Durán (Universidad de Málaga), Peter Csaba Ölveczky (University of Oslo), José E. Rivera (Universidad de Málaga)
Comments: In Proceedings AMMSE 2011, arXiv:1106.5962
Journal-ref: EPTCS 56, 2011, pp. 49-63
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[44] arXiv:1107.0067 [pdf, other]
Title: Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models
Suzana Andova (Eindhoven University of Technology), Mark van den Brand (Eindhoven University of Technology), Luc Engelen (Eindhoven University of Technology)
Comments: In Proceedings AMMSE 2011, arXiv:1106.5962
Journal-ref: EPTCS 56, 2011, pp. 65-79
Subjects: Software Engineering (cs.SE)
[45] arXiv:1107.0068 [pdf, other]
Title: Tracing Properties of UML and OCL Models with Maude
Francisco Durán (Universidad de Málaga), Martin Gogolla (University of Bremen), Manuel Roldán (Universidad de Málaga)
Comments: In Proceedings AMMSE 2011, arXiv:1106.5962
Journal-ref: EPTCS 56, 2011, pp. 81-97
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[46] arXiv:1107.0078 [pdf, other]
Title: Optimization of UAV Heading for the Ground-to-Air Uplink
Feng Jiang, A. Lee Swindlehurst
Comments: 31 pages, 10 figures, accepted by IEEE JSAC special issue on "Communications Challenges and Dynamics for Unmanned Autonomous Vehicles", Apr. 2012
Subjects: Information Theory (cs.IT)
[47] arXiv:1107.0088 [pdf, other]
Title: Sparse Sums of Positive Semidefinite Matrices
Marcel K. de Carli Silva, Nicholas J. A. Harvey, Cristiane M. Sato
Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO); Numerical Analysis (math.NA)
[48] arXiv:1107.0089 [pdf, other]
Title: Towards a Reliable Framework of Uncertainty-Based Group Decision Support System
Junyi Chai, James N.K. Liu
Comments: Accepted paper in IEEE-ICDM2010; Print ISBN: 978-1-4244-9244-2
Subjects: Systems and Control (eess.SY); Artificial Intelligence (cs.AI)
[49] arXiv:1107.0098 [pdf, other]
Title: A Probabilistic Attack on NP-complete Problems
Alexander Y. Davydov
Comments: 16 pages, 8 figures, 2 tables
Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
[50] arXiv:1107.0104 [pdf, other]
Title: Approximating Tverberg Points in Linear Time for Any Fixed Dimension
Wolfgang Mulzer, Daniel Werner
Comments: 14 pages, 2 figures. A preliminary version appeared in SoCG 2012. This version removes an incorrect example at the end of Section 3.1
Journal-ref: Discrete and Computational Geometry, 50(2), 2013, pp 520-535
Subjects: Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS)
[51] arXiv:1107.0118 [pdf, other]
Title: Optimal Folding of Data Flow Graphs based on Finite Projective Geometry using Lattice Embedding
Swadesh Choudhary, Hrishikesh Sharma, Sachin Patkar (Department of Electrical Engg., Indian Institute of Technology, Bombay)
Comments: 31 pages, to be submitted to some discrete mathematics journal
Journal-ref: Discrete Mathematics, Algorithms and Applications Vol. 5, No. 4 (2013)
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[52] arXiv:1107.0134 [pdf, other]
Title: The Influence of Global Constraints on Similarity Measures for Time-Series Databases
Vladimir Kurbalija, Miloš Radovanović, Zoltan Geler, Mirjana Ivanović
Subjects: Artificial Intelligence (cs.AI)
[53] arXiv:1107.0169 [pdf, other]
Title: Unstructured Human Activity Detection from RGBD Images
Jaeyong Sung, Colin Ponce, Bart Selman, Ashutosh Saxena
Comments: 2012 IEEE International Conference on Robotics and Automation (A preliminary version of this work was presented at AAAI workshop on Pattern, Activity and Intent Recognition, 2011)
Subjects: Robotics (cs.RO); Computer Vision and Pattern Recognition (cs.CV)
[54] arXiv:1107.0176 [pdf, other]
Title: How Not to Characterize Planar-emulable Graphs
Markus Chimani, Martin Derka, Petr Hliněný, Matěj Klusáček
Subjects: Discrete Mathematics (cs.DM)
[55] arXiv:1107.0192 [pdf, other]
Title: Multiple Space Debris Collecting Mission - Debris selection and Trajectory optimization
Max Cerf
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
[56] arXiv:1107.0193 [pdf, other]
Title: On the origin of ambiguity in efficient communication
Jordi Fortuny, Bernat Corominas-Murtra
Comments: 28 pages, 2 figures
Journal-ref: Journal of Logic, Language and Information. 0925-8531, pp 1--19 (2013)
Subjects: Computation and Language (cs.CL)
[57] arXiv:1107.0194 [pdf, other]
Title: Law of Connectivity in Machine Learning
Jitesh Dundas
Comments: Keywords- Machine Learning; unknown entities; independence; interaction; coverage, silent connections; ISSN 1473-804x online, 1473-8031 print
Journal-ref: I. J. of SIMULATION Vol. 11 No 5 1-10 Dec 2010
Subjects: Artificial Intelligence (cs.AI)
[58] arXiv:1107.0223 [pdf, other]
Title: A Multi-level Correction Scheme for Eigenvalue Problems
Qun Lin, Hehu Xie
Comments: 16 pages, 5 figures
Subjects: Numerical Analysis (math.NA)
[59] arXiv:1107.0234 [pdf, other]
Title: Unbounded Contention Resolution in Multiple-Access Channels
Antonio Fernández Anta, Miguel A. Mosteiro, Jorge Ramón Muñoz
Comments: 21 pages, 1 figure. To appear in DISC 2011
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS); Networking and Internet Architecture (cs.NI)
[60] arXiv:1107.0262 [pdf, other]
Title: Numerical Bifurcation Analysis of Conformal Formulations of the Einstein Constraints
M. Holst, V. Kungurtsev
Comments: 13 pages, 4 figures. Final revision for publication, added material on physical implications
Subjects: Numerical Analysis (math.NA); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)
[61] arXiv:1107.0268 [pdf, other]
Title: Simple Algorithm Portfolio for SAT
Mladen Nikolic, Filip Maric, Predrag Janicic
Subjects: Artificial Intelligence (cs.AI)
[62] arXiv:1107.0278 [pdf, other]
Title: Completeness of Epistemic Coalition Logic with Group Knowledge
Thomas Ågotnes, Natasha Alechina
Subjects: Logic in Computer Science (cs.LO)
[63] arXiv:1107.0300 [pdf, other]
Title: The Compute-and-Forward Protocol: Implementation and Practical Aspects
Ali Osmane, Jean-Claude Belfiore
Comments: 3 pages, 3 figures, submitted to IEEE Communications Letters
Subjects: Information Theory (cs.IT)
[64] arXiv:1107.0336 [pdf, other]
Title: Bilinear complexity of algebras and the Chudnovsky-Chudnovsky interpolation method
Hugues Randriambololona
Comments: 40 pages; difference with previous version: modified Lemma 5.6
Subjects: Computational Complexity (cs.CC); Algebraic Geometry (math.AG)
[65] arXiv:1107.0349 [pdf, other]
Title: First-order finite satisfiability vs tree automata in safety verification
Alexei Lisitsa
Comments: 16 pages
Subjects: Logic in Computer Science (cs.LO)
[66] arXiv:1107.0350 [pdf, other]
Title: Optimal Divide and Query (extended version)
David Insa, Josep Silva
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[67] arXiv:1107.0371 [pdf, other]
Title: Extended formulations for polygons
Samuel Fiorini, Thomas Rothvoß, Hans Raj Tiwary
Comments: 10 pages, 2 figures; Revised version accepted for publication in Discrete & Computational Geometry
Journal-ref: Discrete & Computational Geometry, Vol. 48, No. 3, 2012, pp 658-668
Subjects: Discrete Mathematics (cs.DM); Computational Geometry (cs.CG); Combinatorics (math.CO)
[68] arXiv:1107.0385 [pdf, other]
Title: An algorithm for autonomously plotting solution sets in the presence of turning points
Steven Pollack, Daniel Badali, Jonathan Pollack
Comments: 9 pages, 4 figures
Subjects: Numerical Analysis (math.NA); Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS); Mathematical Software (cs.MS)
[69] arXiv:1107.0390 [pdf, other]
Title: On Linear Index Coding for Random Graphs
Ishay Haviv, Michael Langberg
Comments: 16 pages
Subjects: Information Theory (cs.IT)
[70] arXiv:1107.0399 [pdf, other]
Title: Vision-Based Navigation I: A navigation filter for fusing DTM/correspondence updates
Oleg Kupervasser, Vladimir Voronov
Comments: 26 pages, 3 figures, in English and in Russian. arXiv admin note: substantial text overlap with arXiv:1106.6341, arXiv:1107.1470
Journal-ref: Proceedings of the IEEE International Conference on Robotics and Biomimetics (ROBIO), 2011 , Page(s): 1591 - 1596
Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)
[71] arXiv:1107.0416 [pdf, other]
Title: Beamforming on the MISO interference channel with multi-user decoding capability
Z.K.M.Ho, D.Gesbert, E.Jorswieck, R.Mochaourab
Subjects: Information Theory (cs.IT)
[72] arXiv:1107.0420 [pdf, other]
Title: Stable Restoration and Separation of Approximately Sparse Signals
Christoph Studer, Richard G. Baraniuk
Comments: to appear in Applied and Computational Harmonic Analysis (ACHA)
Subjects: Information Theory (cs.IT)
[73] arXiv:1107.0431 [pdf, other]
Title: Preference aggregation theory without acyclicity: The core without majority dissatisfaction
Masahiro Kumabe, H. Reiju Mihara
Comments: 27+3 pages
Journal-ref: Games and Economic Behavior (2011) 72:187-201
Subjects: Computer Science and Game Theory (cs.GT); Logic (math.LO)
[74] arXiv:1107.0433 [pdf, other]
Title: The second-price auction solves King Solomon's dilemma
H. Reiju Mihara
Comments: 12 pages;To appear in Japanese Economic Review
Subjects: Computer Science and Game Theory (cs.GT)
[75] arXiv:1107.0434 [pdf, other]
Title: Abstraction Super-structuring Normal Forms: Towards a Theory of Structural Induction
Adrian Silvescu, Vasant Honavar
Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG)
[76] arXiv:1107.0439 [pdf, other]
Title: The Nakamura numbers for computable simple games
Masahiro Kumabe, H. Reiju Mihara
Comments: 24+1 pages
Journal-ref: Social Choice and Welfare (2008) 31:621-640
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[77] arXiv:1107.0478 [pdf, other]
Title: Polar Codes with Mixed-Kernels
Noam Presman, Ofer Shapira, Simon Litsyn
Subjects: Information Theory (cs.IT)
[78] arXiv:1107.0498 [pdf, other]
Title: Optimal Contours for High-Order Derivatives
Folkmar Bornemann, Georg Wechslberger
Comments: added complexity bounds; added software as supplement; 9 pages, 6 figures, 2 tables
Subjects: Numerical Analysis (math.NA); Complex Variables (math.CV)
[79] arXiv:1107.0511 [pdf, other]
Title: Homological Coordinatization
Andrew Tausz, Gunnar Carlsson
Subjects: Computational Geometry (cs.CG)
[80] arXiv:1107.0524 [pdf, other]
Title: Adaptive boundary element methods with convergence rates
Tsogtgerel Gantumur
Comments: 48 pages. A journal version. The previous version (v3) is a bit lengthier
Subjects: Numerical Analysis (math.NA)
[81] arXiv:1107.0538 [pdf, other]
Title: Automatic Multi-GPU Code Generation applied to Simulation of Electrical Machines
Antonio Wendell De Oliveira Rodrigues (INRIA Lille - Nord Europe), Frédéric Guyomarc'H (INRIA Lille - Nord Europe), Jean-Luc Dekeyser (INRIA Lille - Nord Europe), Yvonnick Le Menach (L2EP)
Comments: Compumag 2011
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[82] arXiv:1107.0550 [pdf, other]
Title: 3D Terrestrial lidar data classification of complex natural scenes using a multi-scale dimensionality criterion: applications in geomorphology
Nicolas Brodu, Dimitri Lague
Comments: Free/Libre software implementation is available at this http URL, as well as data sets
Subjects: Computer Vision and Pattern Recognition (cs.CV); Geophysics (physics.geo-ph)
[83] arXiv:1107.0571 [pdf, other]
Title: The improved split-step backward Euler method for stochastic differential delay equations
Xiaojie Wang, Siqing Gan
Comments: 22 pages, 4 figures
Journal-ref: Int. J. Comput Math., 88 (11):2359-2378 (2010)
Subjects: Numerical Analysis (math.NA)
[84] arXiv:1107.0577 [pdf, other]
Title: Parameterized Regular Expressions and their Languages
Pablo Barceló, Leonid Libkin, Juan Reutter
Subjects: Formal Languages and Automata Theory (cs.FL)
[85] arXiv:1107.0586 [pdf, other]
Title: Managing key multicasting through orthogonal systems
Jose' Antonio Alvarez-Bermejo, Juan Antonio Lopez-Ramos, Joachim Rosenthal, Davide Schipani
Subjects: Cryptography and Security (cs.CR)
[86] arXiv:1107.0607 [pdf, other]
Title: Pushing the limits of Full-duplex: Design and Real-time Implementation
Achaleshwar Sahai, Gaurav Patel, Ashutosh Sabharwal
Comments: 12 page Rice University technical report
Subjects: Networking and Internet Architecture (cs.NI)
[87] arXiv:1107.0634 [pdf, other]
Title: Applications of Discrepancy Theory in Multiobjective Approximation
Christian Glaßer, Christian Reitwießner, Maximilian Witek
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[88] arXiv:1107.0639 [pdf, other]
Title: Bounds on the capacity of OFDM underspread frequency selective fading channels
Itsik Bergel, Sergio Benedetto
Comments: 55 pages, 3 figures
Subjects: Information Theory (cs.IT)
[89] arXiv:1107.0666 [pdf, other]
Title: Infinitary Term Graph Rewriting
Patrick Bahr
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[90] arXiv:1107.0681 [pdf, other]
Title: Does Quantum Interference exist in Twitter?
Xin Shuai, Ying Ding, Jerome Busemeyer, Yuyin Sun, Shanshan Chen, Jie Tang
Subjects: Social and Information Networks (cs.SI); Information Theory (cs.IT); Physics and Society (physics.soc-ph)
[91] arXiv:1107.0690 [pdf, other]
Title: A Framework for Designing 3D Virtual Environments
Salvatore Catanese, Emilio Ferrara, Giacomo Fiumara, Francesco Pagano
Comments: 12 pages, 1 figure, Proceedings of the 4th International ICST Conference On Intelligent Technologies For Interactive Entertainment, 2011
Journal-ref: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering Volume 78, 2012, pp 209-218
Subjects: Graphics (cs.GR); Multimedia (cs.MM)
[92] arXiv:1107.0746 [pdf, other]
Title: Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages
Mieke Massink (CNR-ISTI, Pisa, Italy), Gethin Norman (University of Glasgow, UK)
Journal-ref: EPTCS 57, 2011
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Performance (cs.PF)
[93] arXiv:1107.0789 [pdf, other]
Title: Distributed Matrix Completion and Robust Factorization
Lester Mackey, Ameet Talwalkar, Michael I. Jordan
Comments: 35 pages, 6 figures
Subjects: Machine Learning (cs.LG); Data Structures and Algorithms (cs.DS); Numerical Analysis (math.NA); Machine Learning (stat.ML)
[94] arXiv:1107.0798 [pdf, other]
Title: Generalized Maneuvers in Route Planning
Petr Hlineny, Ondrej Moris
Subjects: Data Structures and Algorithms (cs.DS)
[95] arXiv:1107.0803 [pdf, other]
Title: Motion Planning via Manifold Samples
Oren Salzman, Michael Hemmer, Barak Raveh, Dan Halperin
Comments: 18 pages
Subjects: Computational Geometry (cs.CG); Robotics (cs.RO)
[96] arXiv:1107.0845 [pdf, other]
Title: Automatic Road Lighting System (ARLS) Model Based on Image Processing of Moving Object
Suprijadi, Thomas Muliawan, Sparisoma Viridi
Comments: 5 pages, 8 figures, 1 table, submitted to ARPN Journal of Science and Technology
Journal-ref: ARPN Journal of Science and Technology 3 (12), 1105-1109 (2013)
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[97] arXiv:1107.0871 [pdf, other]
Title: A simple algorithm for random colouring G(n, d/n) using (2+ε)d colours
Charilaos Efthymiou
Subjects: Discrete Mathematics (cs.DM)
[98] arXiv:1107.0894 [pdf, other]
Title: Discrete embeddings for Lagrangian and Hamiltonian systems
Jacky Cresson (LMAP), Isabelle Greff (LMAP), Charles Pierre (LMAP)
Comments: Acta Mathematica Vietnamica, Springer Singapore, A Para{î}tre
Subjects: Numerical Analysis (math.NA)
[99] arXiv:1107.0901 [pdf, other]
Title: Approximating Minimum Manhattan Networks in Higher Dimensions
Aparna Das, Emden R. Gansner, Michael Kaufmann, Stephen Kobourov, Joachim Spoerhase, Alexander Wolff
Subjects: Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS)
[100] arXiv:1107.0919 [pdf, other]
Title: The First-Order Theory of Ground Tree Rewrite Graphs
Stefan Göller (University of Bremen), Markus Lohrey (University of Leipzig)
Comments: accepted for Logical Methods in Computer Science
Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 1 (February 12, 2014) lmcs:1223
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[101] arXiv:1107.0922 [pdf, other]
Title: GraphLab: A Distributed Framework for Machine Learning in the Cloud
Yucheng Low, Joseph Gonzalez, Aapo Kyrola, Danny Bickson, Carlos Guestrin
Comments: CMU Tech Report, GraphLab project webpage: this http URL
Subjects: Machine Learning (cs.LG)
[102] arXiv:1107.0940 [pdf, other]
Title: Furthering Baseline Core Lucid Standard Specification in the Context of the History of Lucid, Intensional Programming, and Context-Aware Computing
Joey Paquet, Serguei A. Mokhov
Comments: 46 pages, 3 figures, 1 table, 1 listing; a running draft and a collection of references on the subject; v4 primarily updates some references
Subjects: Programming Languages (cs.PL)
[103] arXiv:1107.0989 [pdf, other]
Title: Geometry of Complex Networks and Topological Centrality
Gyan Ranjan, Zhi-Li Zhang
Comments: 17 pages, 6 figures, 2 tables
Subjects: Discrete Mathematics (cs.DM); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[104] arXiv:1107.0998 [pdf, other]
Title: An Information Theoretic Representation of Agent Dynamics as Set Intersections
Samuel Epstein, Margrit Betke
Subjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI)
[105] arXiv:1107.1012 [pdf, other]
Title: Optimal Point Movement for Covering Circular Regions
Danny Z. Chen, Xuehou Tan, Haitao Wang, Gangshan Wu
Comments: 18 pages, 2 figures
Subjects: Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS)
[106] arXiv:1107.1017 [pdf, other]
Title: Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
Mihhail Aizatulin, Andrew D.Gordon, Jan Jürjens
Subjects: Cryptography and Security (cs.CR)
[107] arXiv:1107.1020 [pdf, other]
Title: A Novel Multicriteria Group Decision Making Approach With Intuitionistic Fuzzy SIR Method
Junyi Chai, James N.K. Liu
Comments: Paper presented at the 2010 World Automation Congress
Subjects: Artificial Intelligence (cs.AI)
[108] arXiv:1107.1031 [pdf, other]
Title: Integral Value Transformations: A Class of Discrete Dynamical Systems
Sk. S. Hassan, A. Roy, P. Pal. Choudhury, B. K. Nayak
Subjects: Discrete Mathematics (cs.DM); Dynamical Systems (math.DS)
[109] arXiv:1107.1038 [pdf, other]
Title: Dynamic OFDMA Resource Allocation for QoS Guarantee and System Optimization of Best Effort and Non Real-time Traffic
Arijit Ukil, Jaydip Sen, Debasish Bera
Comments: 5 pages, 4 figures; National Conference on Communications, 2009
Subjects: Networking and Internet Architecture (cs.NI)
[110] arXiv:1107.1052 [pdf, other]
Title: The traveling salesman problem on cubic and subcubic graphs
Sylvia Boyd, René Sitters, Suzanne van der Ster, Leen Stougie
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)
[111] arXiv:1107.1058 [pdf, other]
Title: Online Vehicle Detection For Estimating Traffic Status
Ranch Y.Q. Lai
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[112] arXiv:1107.1072 [pdf, other]
Title: Adding Query Privacy to Robust DHTs
Michael Backes, Ian Goldberg, Aniket Kate, Tomas Toft
Comments: To appear at ACM ASIACCS 2012
Subjects: Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC)
[113] arXiv:1107.1076 [pdf, other]
Title: Genome Halving by Block Interchange
Antoine Thomas, Aïda Ouangraoua, Jean-Stéphane Varré
Subjects: Data Structures and Algorithms (cs.DS)
[114] arXiv:1107.1081 [pdf, other]
Title: Spatial Features for Multi-Font/Multi-Size Kannada Numerals and Vowels Recognition
B.V. Dhandra, Mallikarjun Hangarge, Gururaj Mukarambi
Comments: 4 pages, 4 Figures, 4 Tables, "International Conference on Communication, Computation, Control and Nanotechnology (2010)"
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[115] arXiv:1107.1086 [pdf, other]
Title: Breaking GSM with rainbow Tables
Steven Meyer
Comments: March 2010
Subjects: Cryptography and Security (cs.CR)
[116] arXiv:1107.1089 [pdf, other]
Title: Node Sampling using Random Centrifugal Walks
Andrés Sevilla, Alberto Mozo, Antonio Fernández Anta
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Networking and Internet Architecture (cs.NI)
[117] arXiv:1107.1099 [pdf, other]
Title: Selling train tickets by SMS
Steven Meyer
Comments: June 2010
Subjects: Cryptography and Security (cs.CR)
[118] arXiv:1107.1101 [pdf, other]
Title: Misbehavior in Mobile Application Markets
Steven Meyer
Comments: December 2010
Subjects: Cryptography and Security (cs.CR)
[119] arXiv:1107.1104 [pdf, other]
Title: SERIMI - Resource Description Similarity, RDF Instance Matching and Interlinking
Samur Araujo, Jan Hidders, Daniel Schwabe, Arjen P. de Vries
Subjects: Databases (cs.DB)
[120] arXiv:1107.1119 [pdf, other]
Title: Integrating Generic Sensor Fusion Algorithms with Sound State Representations through Encapsulation of Manifolds
Christoph Hertzberg, René Wagner, Udo Frese, Lutz Schröder
Subjects: Robotics (cs.RO); Computer Vision and Pattern Recognition (cs.CV); Mathematical Software (cs.MS)
[121] arXiv:1107.1127 [pdf, other]
Title: Finite Projective Geometry based Fast, Conflict-free Parallel Matrix Computations
Shreeniwas Sapre, Hrishikesh Sharma, Abhishek Patil, B. S. Adiga, Sachin Patkar
Comments: 32 pages, to be submitted to some distributed and parallel computing journal
Subjects: Numerical Analysis (math.NA); Distributed, Parallel, and Cluster Computing (cs.DC)
[122] arXiv:1107.1128 [pdf, other]
Title: AISMOTIF-An Artificial Immune System for DNA Motif Discovery
K.R Seeja
Comments: 7 pages
Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 8, Issue 2, March 2011 IJCSI International Journal of Computer Science Issues, Vol. 8, Issue 2, March 2011, ISSN (Online): 1694-0814, pages 143-149
Subjects: Computational Engineering, Finance, and Science (cs.CE)
[123] arXiv:1107.1138 [pdf, other]
Title: Celerity: A Low-Delay Multi-Party Conferencing Solution
X. Chen, M. Chen, B. Li, Y. Zhao, Y. Wu, J. Li
Comments: 16 pages,23 figures
Subjects: Multimedia (cs.MM)
[124] arXiv:1107.1149 [pdf, other]
Title: The dimension of ergodic random sequences
Mathieu Hoyrup (INRIA Lorraine - LORIA)
Subjects: Information Theory (cs.IT)
[125] arXiv:1107.1158 [pdf, other]
Title: Measurement-Adaptive Cellular Random Access Protocols
Anastasios Giovanidis, Qi Liao, Slawomir Stanczak
Comments: 31 pages, 13 figures, 3 tables. Springer Wireless Networks 2014
Journal-ref: Springer Wireless Networks, Volume 20, Issue 6, pp. 1495-1514 (2014)
Subjects: Networking and Internet Architecture (cs.NI)
[126] arXiv:1107.1161 [pdf, other]
Title: Locally monotone Boolean and pseudo-Boolean functions
Miguel Couceiro, Jean-Luc Marichal, Tamás Waldhauser
Journal-ref: Discrete Applied Mathematics 160 (12) (2012) 1651-1660
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[127] arXiv:1107.1166 [pdf, other]
Title: Reachability Analysis of Time Basic Petri Nets: a Time Coverage Approach
Carlo Bellettini, Lorenzo Capra
Comments: 8 pages, submitted to conference for publication
Subjects: Software Engineering (cs.SE)
[128] arXiv:1107.1177 [pdf, other]
Title: Not So Easy Problems for Tree Decomposable Graphs
Stefan Szeider
Comments: Author's self-archived copy
Journal-ref: Ramanujan Mathematical Society, Lecture Notes Series no. 13, 2010, pp. 179-190
Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM)
[129] arXiv:1107.1198 [pdf, other]
Title: QuantUM: Quantitative Safety Analysis of UML Models
Florian Leitner-Fischer (University Konstanz), Stefan Leue (University Konstanz)
Comments: In Proceedings QAPL 2011, arXiv:1107.0746
Journal-ref: EPTCS 57, 2011, pp. 16-30
Subjects: Software Engineering (cs.SE)
[130] arXiv:1107.1199 [pdf, other]
Title: Two-Player Reachability-Price Games on Single-Clock Timed Automata
Michal Rutkowski (Department of Computer Science, The University of Warwick)
Comments: In Proceedings QAPL 2011, arXiv:1107.0746
Journal-ref: EPTCS 57, 2011, pp. 31-46
Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS)
[131] arXiv:1107.1200 [pdf, other]
Title: Time Delays in Membrane Systems and Petri Nets
Bogdan Aman (''A.I. Cuza'' University of Iasi, Romania), Gabriel Ciobanu (Institute of Computer Science, Romanian Academy, Iasi)
Comments: In Proceedings QAPL 2011, arXiv:1107.0746
Journal-ref: EPTCS 57, 2011, pp. 47-60
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL)
[132] arXiv:1107.1201 [pdf, other]
Title: Real-Reward Testing for Probabilistic Processes (Extended Abstract)
Yuxin Deng (Shanghai Jiao Tong University), Rob van Glabbeek (NICTA), Matthew Hennessy (Trinity College Dublin), Carroll Morgan (University of New South Wales)
Comments: In Proceedings QAPL 2011, arXiv:1107.0746
Journal-ref: EPTCS 57, 2011, pp. 61-73
Subjects: Logic in Computer Science (cs.LO)
[133] arXiv:1107.1202 [pdf, other]
Title: A Stochastic Broadcast Pi-Calculus
Lei Song (IT University of Copenhagen, Denmark), Flemming Nielson (Technical University of Denmark), Bo Friis Nielsen (Technical University of Denmark)
Comments: In Proceedings QAPL 2011, arXiv:1107.0746
Journal-ref: EPTCS 57, 2011, pp. 74-88
Subjects: Performance (cs.PF)
[134] arXiv:1107.1203 [pdf, other]
Title: Improvements for Free
Daniel Seidel, Janis Voigtländer
Comments: In Proceedings QAPL 2011, arXiv:1107.0746
Journal-ref: EPTCS 57, 2011, pp. 89-103
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[135] arXiv:1107.1204 [pdf, other]
Title: Analysis of Non-Linear Probabilistic Hybrid Systems
Joseph Assouramou (Université Laval), Josée Desharnais (Université Laval)
Comments: In Proceedings QAPL 2011, arXiv:1107.0746
Journal-ref: EPTCS 57, 2011, pp. 104-119
Subjects: Logic in Computer Science (cs.LO)
[136] arXiv:1107.1205 [pdf, other]
Title: Distances for Weighted Transition Systems: Games and Properties
Uli Fahrenberg (Irisa/INRIA Rennes), Claus Thrane (Aalborg University), Kim G. Larsen (Aalborg University)
Comments: In Proceedings QAPL 2011, arXiv:1107.0746
Journal-ref: EPTCS 57, 2011, pp. 134-147
Subjects: Logic in Computer Science (cs.LO)
[137] arXiv:1107.1206 [pdf, other]
Title: Computing Distances between Probabilistic Automata
Mathieu Tracol (IST Austria), Josée Desharnais (Departement d'informatique et de génie logiciel, Université Laval, Québec, Canada), Abir Zhioua (Departement d'informatique et de génie logiciel, Université Laval, Québec, Canada)
Comments: In Proceedings QAPL 2011, arXiv:1107.0746
Journal-ref: EPTCS 57, 2011, pp. 148-162
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[138] arXiv:1107.1222 [pdf, other]
Title: On the information-theoretic structure of distributed measurements
David Balduzzi (MPI for Intelligent Systems)
Comments: In Proceedings DCM 2011, arXiv:1207.6821
Journal-ref: EPTCS 88, 2012, pp. 28-42
Subjects: Information Theory (cs.IT); Distributed, Parallel, and Cluster Computing (cs.DC); Neural and Evolutionary Computing (cs.NE); Category Theory (math.CT); Cellular Automata and Lattice Gases (nlin.CG)
[139] arXiv:1107.1233 [pdf, other]
Title: HYPE with stochastic events
Luca Bortolussi, Vashti Galpin, Jane Hillston
Comments: In Proceedings QAPL 2011, arXiv:1107.0746
Journal-ref: EPTCS 57, 2011, pp. 120-133
Subjects: Logic in Computer Science (cs.LO)
[140] arXiv:1107.1265 [pdf, other]
Title: Lift-and-Project Integrality Gaps for the Traveling Salesperson Problem
Thomas Watson
Comments: 19 pages, 8 figures
Subjects: Data Structures and Algorithms (cs.DS)
[141] arXiv:1107.1270 [pdf, other]
Title: High-Dimensional Gaussian Graphical Model Selection: Walk Summability and Local Separation Criterion
Animashree Anandkumar, Vincent Y. F. Tan, Alan. S. Willsky
Subjects: Machine Learning (cs.LG); Statistics Theory (math.ST)
[142] arXiv:1107.1276 [pdf, other]
Title: Experiment-driven Characterization of Full-Duplex Wireless Systems
Melissa Duarte, Chris Dick, Ashutosh Sabharwal
Comments: Revised the submission to IEEE Transactions on Wireless Communications, May 2012. Submitted to IEEE Transactions on Wireless Communications, July 2011
Subjects: Information Theory (cs.IT)
[143] arXiv:1107.1283 [pdf, other]
Title: Spectral Methods for Learning Multivariate Latent Tree Structure
Animashree Anandkumar, Kamalika Chaudhuri, Daniel Hsu, Sham M. Kakade, Le Song, Tong Zhang
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[144] arXiv:1107.1292 [pdf, other]
Title: Separator Theorems for Minor-Free and Shallow Minor-Free Graphs with Applications
Christian Wulff-Nilsen
Comments: To appear at FOCS 2011
Subjects: Discrete Mathematics (cs.DM)
[145] arXiv:1107.1322 [pdf, other]
Title: Text Classification: A Sequential Reading Approach
Gabriel Dulac-Arnold, Ludovic Denoyer, Patrick Gallinari
Comments: ECIR2011
Journal-ref: Lecture Notes in Computer Science, 2011, Volume 6611/2011, 411-423
Subjects: Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Machine Learning (cs.LG)
[146] arXiv:1107.1327 [pdf, other]
Title: On counting untyped lambda terms
Pierre Lescanne (LIP)
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM)
[147] arXiv:1107.1331 [pdf, other]
Title: Numerical Solution of the Tomography Problem in Domains with Obstacles
Kamen Lozev
Comments: 22 pages, 8 figures, 4 tables
Subjects: Numerical Analysis (math.NA)
[148] arXiv:1107.1339 [pdf, other]
Title: Estimation of Sparse MIMO Channels with Common Support
Yann Barbotin, Ali Hormati, Sundeep Rangan, Martin Vetterli
Comments: 12 pages / 7 figures. Submitted to IEEE Transactions on Communication
Subjects: Networking and Internet Architecture (cs.NI)
[149] arXiv:1107.1351 [pdf, other]
Title: Conway games, algebraically and coalgebraically
Furio Honsell (Dipartimento di Matematica e Informatica), Marina Lenisa (Dipartimento di Matematica e Informatica)
Comments: 30 pages
Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 3 (September 1, 2011) lmcs:703
Subjects: Logic in Computer Science (cs.LO)
[150] arXiv:1107.1358 [pdf, other]
Title: On the Furthest Hyperplane Problem and Maximal Margin Clustering
Zohar Karnin, Edo Liberty, Shachar Lovett, Roy Schwartz, Omri Weinstein
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG)
[151] arXiv:1107.1359 [pdf, other]
Title: Bidirected minimum Manhattan network problem
Nicolas Catusse, Victor Chepoi, Karim Nouioua, Yann Vaxes
Comments: 14 pages, 16 figures
Subjects: Computational Geometry (cs.CG)
[152] arXiv:1107.1383 [pdf, other]
Title: Algorithms for Synthesizing Priorities in Component-based Systems
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll
Comments: Full version of the ATVA'11 paper (compared to the 1st arXiv version, we add one additional sentence to avoid confusion)
Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[153] arXiv:1107.1398 [pdf, other]
Title: Efficient Loop Navigation for Symbolic Execution
Jan Obdrzalek, Marek Trtik
Comments: This is the full version of the extended abstract to appear in ATVA 2011
Subjects: Programming Languages (cs.PL)
[154] arXiv:1107.1409 [pdf, other]
Title: Fluctuations of spiked random matrix models and failure diagnosis in sensor networks
Romain Couillet, Walid Hachem
Comments: To appear in IEEE Transactions on Information Theory, 2012
Subjects: Information Theory (cs.IT)
[155] arXiv:1107.1434 [pdf, other]
Title: The Limited Power of Powering: Polynomial Identity Testing and a Depth-four Lower Bound for the Permanent
Bruno Grenet, Pascal Koiran, Natacha Portier, Yann Strozecki
Comments: 16 pages
Journal-ref: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'11), Mumbai : India (2011)
Subjects: Computational Complexity (cs.CC)
[156] arXiv:1107.1437 [pdf, other]
Title: A novel methodology for antenna design and optimization: Variable Zo
Richard A. Formato
Comments: Ver. 2 (14 July 2011). Adds Yagi-Uda array design example. Updates source code
Subjects: Other Computer Science (cs.OH)
[157] arXiv:1107.1456 [pdf, other]
Title: Answering Non-Monotonic Queries in Relational Data Exchange
Andre Hernich (Humboldt-Universität zu Berlin)
Comments: 55 pages, 3 figures
Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 3 (September 1, 2011) lmcs:904
Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)
[158] arXiv:1107.1458 [pdf, other]
Title: Sets Have Simple Members
Samuel Epstein, Leonid A. Levin
Comments: This paper has been withdrawn by the authors. Withdrawn (v8) by S. Epstein. Reposted as arXiv:1403.4539 by the coauthor
Subjects: Computational Complexity (cs.CC)
[159] arXiv:1107.1470 [pdf, other]
Title: Vision-Based Navigation II: Error Analysis for a Navigation Algorithm based on Optical-Flow and a Digital Terrain Map
Oleg Kupervasser, Ronen Lerner, Ehud Rivlin, Hector Rotstein
Comments: 10 pages,12 figures, 2 tables
Journal-ref: Proceedings of the 2008 IEEE/ION Position, Location and Navigation Symposium, P.1203-1212
Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)
[160] arXiv:1107.1525 [pdf, other]
Title: Accelerating Lossless Data Compression with GPUs
R. L. Cloud, M. L. Curry, H. L. Ward, A. Skjellum, P. Bangalore
Comments: peer reviewed and published in undergraduate research journal Inquiro in 2009 after Summer work in 2009
Journal-ref: Inquiro, Volume 3, 2009, p. 26 - 29
Subjects: Information Theory (cs.IT); Graphics (cs.GR); Performance (cs.PF)
[161] arXiv:1107.1529 [pdf, other]
Title: Decoding of Matrix-Product Codes
Fernando Hernando, Diego Ruano
Journal-ref: Journal of Algebra and its Applications, Volume 12, Issue 4, Article ID 1250185, 15 pages (2013)
Subjects: Information Theory (cs.IT)
[162] arXiv:1107.1535 [pdf, other]
Title: Multilevel Polarization of Polar Codes Over Arbitrary Discrete Memoryless Channels
Aria G. Sahebi, S. Sandeep Pradhan
Subjects: Information Theory (cs.IT)
[163] arXiv:1107.1544 [pdf, other]
Title: Cooperative Jamming for Secure Communications in MIMO Relay Networks
Jing Huang, A. Lee Swindlehurst
Comments: 30 pages, 7 figures, to appear in IEEE Transactions on Signal Processing
Subjects: Information Theory (cs.IT)
[164] arXiv:1107.1561 [pdf, other]
Title: Analysis and Improvement of Low Rank Representation for Subspace segmentation
Wei Siming, Lin Zhouchen
Comments: Disclosed as Microsoft technical report on Auguat 25, 2010
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[165] arXiv:1107.1563 [pdf, other]
Title: Designing Nonlinear Turbo Codes with a Target Ones Density
Jiadong Wang, Thomas Courtade, Tsung-Yi Chen, Bike Xie, Richard Wesel
Subjects: Information Theory (cs.IT)
[166] arXiv:1107.1564 [pdf, other]
Title: Polyceptron: A Polyhedral Learning Algorithm
Naresh Manwani, P. S. Sastry
Subjects: Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)
[167] arXiv:1107.1585 [pdf, other]
Title: On Multiway Cut parameterized above lower bounds
Marek Cygan, Marcin Pilipczuk, Michał Pilipczuk, Jakub Onufry Wojtaszczyk
Subjects: Data Structures and Algorithms (cs.DS)
[168] arXiv:1107.1586 [pdf, other]
Title: Performance of Local Information Based Link Prediction: A Sampling Perspective
Jichang Zhao, Xu Feng, Li Dong, Xiao Liang, Ke Xu
Comments: 19 pages, 5 figures
Journal-ref: J. Phys. A: Math. Theor. 45 (2012) 345001
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[169] arXiv:1107.1600 [pdf, other]
Title: On fuzzy syndrome hashing with LDPC coding
Marco Baldi, Marco Bianchi, Franco Chiaraluce, Joachim Rosenthal, Davide Schipani
Comments: in Proceedings 4th International Symposium on Applied Sciences in Biomedical and Communication Technologies (ISABEL), ACM 2011. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution
Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR)
[170] arXiv:1107.1608 [pdf, other]
Title: Formation of Common Investment Networks by Project Establishment between Agents
J.-Emeterio Navarro-Barrientos
Journal-ref: SBP 2011, LNCS 6589, Springer (2011) pp.172-179
Subjects: Social and Information Networks (cs.SI); Computational Engineering, Finance, and Science (cs.CE)
[171] arXiv:1107.1609 [pdf, other]
Title: Linear Complexity Lossy Compressor for Binary Redundant Memoryless Sources
Kazushi Mimura
Comments: 4 pages, 1 figure
Journal-ref: J. Phys. Soc. Jpn., 80, 9 093801 (2011)
Subjects: Information Theory (cs.IT); Disordered Systems and Neural Networks (cond-mat.dis-nn)
[172] arXiv:1107.1626 [pdf, other]
Title: Elliptic Curve Based Zero Knowledge Proofs and Their Applicability on Resource Constrained Devices
Ioannis Chatzigiannakis, Apostolos Pyrgelis, Paul G. Spirakis, Yannis C. Stamatiou
Subjects: Cryptography and Security (cs.CR)
[173] arXiv:1107.1627 [pdf, other]
Title: On Codes for Optimal Rebuilding Access
Zhiying Wang, Itzhak Tamo, Jehoshua Bruck
Comments: Submitted to Allerton 2011
Subjects: Information Theory (cs.IT); Distributed, Parallel, and Cluster Computing (cs.DC)
[174] arXiv:1107.1628 [pdf, other]
Title: A Proof of the Boyd-Carr Conjecture
Frans Schalekamp, David P. Williamson, Anke van Zuylen
Subjects: Data Structures and Algorithms (cs.DS)
[175] arXiv:1107.1630 [pdf, other]
Title: On the Integrality Gap of the Subtour LP for the 1,2-TSP
Jiawei Qian, Frans Schalekamp, David P. Williamson, Anke van Zuylen
Comments: Changes wrt previous version: upper bound on integrality gap improved to 5/4 (using the same techniques as in the previous version)
Subjects: Data Structures and Algorithms (cs.DS)
[176] arXiv:1107.1633 [pdf, other]
Title: Throughput Computation in CSMA Wireless Networks with Collision Effects
Cai Hong Kai, Soung Chang Liew
Comments: 12 single-column pages
Subjects: Networking and Internet Architecture (cs.NI)
[177] arXiv:1107.1638 [pdf, other]
Title: Weighted algorithms for compressed sensing and matrix completion
Stéphane Gaïffas, Guillaume Lecué
Subjects: Information Theory (cs.IT); Statistics Theory (math.ST)
[178] arXiv:1107.1640 [pdf, other]
Title: Nearest Neighbour Decoding with Pilot-Assisted Channel Estimation for Fading Multiple-Access Channels
A. Taufiq Asyhari, Tobias Koch, Albert Guillén i Fàbregas
Comments: 8 pages. Presented at the Forty-Ninth Annual Allerton Conference on Communication, Control and Computing, Allerton Retreat Center, Monticello, IL, September 28-30, 2011. Corrected some minor typos
Subjects: Information Theory (cs.IT)
[179] arXiv:1107.1642 [pdf, other]
Title: Indirect Channel Sensing for Cognitive Amplify-and-Forward Relay Networks
Yipeng Liu, Qun Wan
Comments: 5 pages, 5 figures
Subjects: Information Theory (cs.IT)
[180] arXiv:1107.1644 [pdf, other]
Title: Prostate biopsy tracking with deformation estimation
Michael Baumann (TIMC), Pierre Mozer, Vincent Daanen, Jocelyne Troccaz (TIMC)
Comments: Medical Image Analysis (2011) epub ahead of print
Subjects: Computer Vision and Pattern Recognition (cs.CV); Medical Physics (physics.med-ph)
[181] arXiv:1107.1660 [pdf, other]
Title: Click Efficiency: A Unified Optimal Ranking for Online Ads and Documents
Raju Balakrishnan, Subbarao Kambhampati
Comments: Twenty Six Pages, Two Figures, Six Theorems. Initial Version Published in Workshop on Web and Databases 2008
Subjects: Computer Science and Game Theory (cs.GT); Information Retrieval (cs.IR)
[182] arXiv:1107.1663 [pdf, other]
Title: A Step towards an Easy Interconversion of Various Number Systems
Shahid Latif, Rahat Ullah, Hamid Jan
Comments: 5 pages
Subjects: Discrete Mathematics (cs.DM)
[183] arXiv:1107.1676 [pdf, other]
Title: A multilingual/multicultural semantic-based approach to improve Data Sharing in an SDI for Nature Conservation
Monica De Martino, Riccardo Albertoni
Journal-ref: International Journal of Spatial Data Infrastructures Research, 2011, Vol.6, 206-233
Subjects: Digital Libraries (cs.DL)
[184] arXiv:1107.1686 [pdf, other]
Title: Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI)
Carlos Viegas Damásio, Alun Preece, Umberto Straccia
Comments: HTML file with clickable links to papers
Subjects: Artificial Intelligence (cs.AI)
[185] arXiv:1107.1695 [pdf, other]
Title: On Krawtchouk Transforms
Philip Feinsilver, René Schott
Comments: 13 pages, presented at 10th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2010, Paris, France, 5-6 July 2010
Journal-ref: Intelligent Computer Mathematics, 10th International Conference, AISC 2010, Paris, France, July 5-10, 2010. Proceedings. Springer 2010, pp. 64-75
Subjects: Information Theory (cs.IT); Classical Analysis and ODEs (math.CA)
[186] arXiv:1107.1709 [pdf, other]
Title: Massive MIMO: How many antennas do we need?
Jakob Hoydis, Stephan ten Brink, Merouane Debbah
Comments: 6 pages, 3 figures, to be presented at the Allerton Conference on Communication, Control and Computing, Urbana-Champaign, Illinois, US, Sep. 2011
Subjects: Information Theory (cs.IT)
[187] arXiv:1107.1720 [pdf, other]
Title: Jaywalking your Dog - Computing the Fréchet Distance with Shortcuts
Anne Driemel, Sariel Har-Peled
Subjects: Computational Geometry (cs.CG)
[188] arXiv:1107.1731 [pdf, other]
Title: Distributed SIR-Aware Scheduling in Large-Scale Wireless Networks
Chun-Hung Liu, Jeffrey G. Andrews
Comments: 35 pages, 5 figures, 1 table
Subjects: Information Theory (cs.IT)
[189] arXiv:1107.1739 [pdf, other]
Title: The entropy functional, the information path functional's essentials and their connections to Kolmogorov's entropy, complexity and physics
Vladimir S. Lerner
Subjects: Information Theory (cs.IT); Systems and Control (eess.SY); Optimization and Control (math.OC); Statistics Theory (math.ST)
[190] arXiv:1107.1753 [pdf, other]
Title: Notes on Electronic Lexicography
Yavor Parvanov
Comments: 8 pages, 1 figure
Subjects: Computation and Language (cs.CL)
[191] arXiv:1107.1779 [pdf, other]
Title: A Survey of User-Centric Data Warehouses: From Personalization to Recommendation
Eya Ben Ahmed, Ahlem Nabli, Faïez Gargouri
Comments: 13 pages, 3 figures, 1 table
Journal-ref: The International Journal of Database Management Systems (IJDMS), May 2011, Volume 3, Number 2
Subjects: Databases (cs.DB)
[192] arXiv:1107.1780 [pdf, other]
Title: Hamiltonian Paths in Two Classes of Grid Graphs
Fatemeh Keshavarz-Kohjerdi, Alireza Bagheri
Comments: 11pages, 7figures
Subjects: Data Structures and Algorithms (cs.DS)
[193] arXiv:1107.1814 [pdf, other]
Title: Efficient coordination mechanisms for unrelated machine scheduling
Ioannis Caragiannis
Comments: 26 pages, preliminary version appeared in Proceedings of the 20th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 815-824, 2009
Subjects: Computer Science and Game Theory (cs.GT)
[194] arXiv:1107.1821 [pdf, other]
Title: Where Have You Been? Secure Location Provenance for Mobile Devices
Ragib Hasan, Randal Burns
Comments: 14 pages
Subjects: Cryptography and Security (cs.CR)
[195] arXiv:1107.1824 [pdf, other]
Title: Measurement Design for Detecting Sparse Signals
Ramin Zahedi, Ali Pezeshki, Edwin K. P. Chong
Subjects: Information Theory (cs.IT)
[196] arXiv:1107.1829 [pdf, other]
Title: Medium Access Control for Wireless Networks with Peer-to-Peer State Exchange
Ka Hung Hui, Dongning Guo, Randall A. Berry
Comments: 12 pages, 17 figures, submitted to IEEE Transactions on Networking
Subjects: Information Theory (cs.IT)
[197] arXiv:1107.1837 [pdf, other]
Title: Information-Theoretic Measures for Objective Evaluation of Classifications
Bao-Gang Hu, Ran He, XiaoTong Yuan
Comments: 25 Pages, 1 Figure, 10 Tables
Journal-ref: Acta Automatica Sinica, 38(7): 1169-1182, 2012
Subjects: Computer Vision and Pattern Recognition (cs.CV); Information Theory (cs.IT)
[198] arXiv:1107.1839 [pdf, other]
Title: Interference Networks with General Message Sets: A Random Coding Scheme
Reza K. Farsani, Farokh Marvasti
Comments: 13 pages, with Appendix, Submitted for Conference Publication
Subjects: Information Theory (cs.IT)
[199] arXiv:1107.1847 [pdf, other]
Title: Efficient Identity Based Public Verifiable Signcryption Scheme
Prashant Kushwah, Sunder Lal
Comments: 11 pages
Subjects: Cryptography and Security (cs.CR)
[200] arXiv:1107.1851 [pdf, other]
Title: Task swapping networks in distributed systems
Dohan Kim
Comments: This is a preprint of a paper whose final and definite form is published in: Int. J. Comput. Math. 90 (2013), 2221-2243 (DOI: https://doi.org/10.1080/00207160.2013.772985)
Journal-ref: Int. J. Comput. Math. 90 (2013), 2221-2243
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Networking and Internet Architecture (cs.NI)
[201] arXiv:1107.1866 [pdf, other]
Title: Priority-based task reassignments in hierarchical 2D mesh-connected systems using tableaux
Dohan Kim
Comments: Preprint of an article published in Discrete Mathematics, Algorithms and Applications Vol. 6, No. 2 (2014) 1450022 (16 pages), (c) World Scientific Publishing Company, DOI: https://doi.org/10.1142/S1793830914500220
Journal-ref: Discrete Mathematics, Algorithms and Applications Vol. 6, No. 2 (2014) 1450022 (16 pages)
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[202] arXiv:1107.1880 [pdf, other]
Title: Matrix powers algorithms for trust evaluation in PKI architectures
Jean-Guillaume Dumas (LJK), Hicham Hossayni (DCIS)
Journal-ref: STM 2012 - 8th International Workshop on Security and Trust Management (co-ESORICS 2012), Pise : Italie (2012)
Subjects: Cryptography and Security (cs.CR)
[203] arXiv:1107.1886 [pdf, other]
Title: Utility Optimal Coding for Packet Transmission over Wireless Networks - Part I: Networks of Binary Symmetric Channels
Premkumar Karumbu, Xiaomin Chen, Douglas J. Leith
Comments: Submitted to Forty-Ninth Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, USA
Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
[204] arXiv:1107.1890 [pdf, other]
Title: Utility Optimal Coding for Packet Transmission over Wireless Networks - Part II: Networks of Packet Erasure Channels
Premkumar Karumbu, Xiaomin Chen, Douglas J. Leith
Comments: Submitted to the Forty-Ninth Annual Allerton Conference on Communication, Control, and Computing, Monticello, Illinois, USA
Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
[205] arXiv:1107.1893 [pdf, other]
Title: Benchmarking ordering techniques for nonserial dynamic programming
Alexander Sviridenko, Oleg Shcherbina
Comments: 10 pages, 2 figures
Subjects: Discrete Mathematics (cs.DM)
[206] arXiv:1107.1901 [pdf, other]
Title: Propositional equality, identity types, and direct computational paths
Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira
Comments: 41 pages, submitted to a scientific journal. arXiv admin note: text overlap with arXiv:1010.1810, arXiv:0906.4521 by other authors
Subjects: Logic in Computer Science (cs.LO)
[207] arXiv:1107.1932 [pdf, other]
Title: Current State and Challenges of Automatic Planning in Web Service Composition
Sleiman Rabah, Dan Ni, Payam Jahanshahi, Luis Felipe Guzman
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI)
[208] arXiv:1107.1937 [pdf, other]
Title: Scale-Free Opportunistic Networks: is it Possible?
Stefano Ferretti, Vittorio Ghini
Comments: A revised version of the paper will appear in Proc. of the 8th International Workshop on Mobile Peer-to-Peer Computing - IEEE International Conference on Pervasive Computing and Communications (PERCOM 2012), Lugano, Switzerland, IEEE, March 2012
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Networking and Internet Architecture (cs.NI)
[209] arXiv:1107.1941 [pdf, other]
Title: Link Scheduling in Multi-Transmit-Receive Wireless Networks
Hong-Ning Dai, Soung Chang Liew, Liqun Fu
Comments: This manuscript is an extention of our previous paper with the same title, which is accepted by IEEE LCN 2011
Subjects: Networking and Internet Architecture (cs.NI)
[210] arXiv:1107.1943 [pdf, other]
Title: Enhanced Genetic Algorithm approach for Solving Dynamic Shortest Path Routing Problems using Immigrants and Memory Schemes
T. R. Gopalakrishnan Nair, Kavitha Sooda, M. B. Yashoda
Comments: 5 pages,6 figures, International Conference on Frontiers of Computer Science, 7TH TO 9TH August 2011, JN Tata Convention Centre, IISc,Bangalore, India
Subjects: Neural and Evolutionary Computing (cs.NE); Networking and Internet Architecture (cs.NI)
[211] arXiv:1107.1944 [pdf, other]
Title: An Interpretation of the Moore-Penrose Generalized Inverse of a Singular Fisher Information Matrix
Yen-Huan Li, Ping-Cheng Yeh
Comments: 10 pages, accepted for publication in IEEE Transactions on Signal Processing
Subjects: Information Theory (cs.IT); Statistics Theory (math.ST)
[212] arXiv:1107.1945 [pdf, other]
Title: Region-based Approach for Determining the Optimal Path Using PSO
Dr. T. R. Gopalakrishnan Nair, Ms. Kavitha Sooda, Ms. Deepthi D Shetty, Ms. Prapthi Hegde, Ms. Anusha Hegde
Comments: This paper has been withdrawn as the authors were unable to present the paper for the conference
Subjects: Networking and Internet Architecture (cs.NI)
[213] arXiv:1107.1948 [pdf, other]
Title: On the concentration properties of Interacting particle processes
Pierre Del Moral (INRIA Bordeaux - Sud-Ouest), Peng Hu (INRIA Bordeaux - Sud-Ouest), Liming Wu
Journal-ref: N° RR-7677 (2011)
Subjects: Numerical Analysis (math.NA); Probability (math.PR)
[214] arXiv:1107.1950 [pdf, other]
Title: Knowledge Embedding and Retrieval Strategies in an Informledge System
Dr T.R. Gopalakrishnan Nair, Meenakshi Malhotra
Comments: 5 pages, 7 pages, International Conferenceon Information and Knowledge Management (ICIKM-IEEE), Haikou, China, 2011
Subjects: Artificial Intelligence (cs.AI)
[215] arXiv:1107.1951 [pdf, other]
Title: Particle Swarm Optimization for Realizing Intelligent Routing in Networks with Quality Grading
T. R. Gopalakrishnan Nair, Kavitha Sooda
Comments: 4 pages, 5 figures, 7th International Conference on Wireless Communication, Networking and Mobile Computing, Wuhan, China, 2011
Subjects: Networking and Internet Architecture (cs.NI)
[216] arXiv:1107.1954 [pdf, other]
Title: A Novel Agent Based Approach for Controlling Network Storms
Dr. T.R.Gopalakrishnan Nair (SMIEEE), B.R.Shubhamangala, Vaidehi.M (MIEEE)
Comments: 7 pages, 12 figures IEEE Third International Conference on Communications and Electronics (ICCE 2010). Nha Trang, Vietnam, Proceedings, 11-13 August 2010
Subjects: Networking and Internet Architecture (cs.NI)
[217] arXiv:1107.1956 [pdf, other]
Title: Informledge System: A Modified Knowledge Network with Autonomous Nodes using Multi-lateral Links
Dr T.R. Gopalakrishnan Nair, Meenakshi Malhotra
Comments: 4 pages, 5 figures, International Conference on Knowledge Engineering and Ontology Development, KEOD 2010, Proceeding of KEOD-2010, pp 351-354, Valencia-Spain, October 2010
Subjects: Information Retrieval (cs.IR); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE)
[218] arXiv:1107.1958 [pdf, other]
Title: Linear Index Coding via Semidefinite Programming
Eden Chlamtac, Ishay Haviv
Comments: 24 pages
Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Information Theory (cs.IT)
[219] arXiv:1107.1963 [pdf, other]
Title: Intuitionistic implication makes model checking hard
Martin Mundhenk, Felix Weiss
Comments: 29 pages, 10 figures
Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 2 (April 27, 2012) lmcs:1160
Subjects: Computational Complexity (cs.CC)
[220] arXiv:1107.1967 [pdf, other]
Title: A Novel Adaptive Routing through Fitness Function Estimation Technique with Multiple QoS Parameters Compliance
T. R. Gopalakrishnan Nair, Kavitha Sooda
Comments: 4 pages, 3 figures, Fourth International Conference on Information Processing (ICIP- 2010), Proceedings pp 489-491, May 2010
Subjects: Networking and Internet Architecture (cs.NI)
[221] arXiv:1107.1970 [pdf, other]
Title: A Packet Scheduling Strategy in Sensor Networks with SGMH Protocol
Mary Cherian, T.R.Gopalakrishnan Nair
Comments: 4 pages, 5 figures, IEEE , International Conference ICCCNT 2010, India, IEEE Explore- 2010, ISBN 978-1-4211-6591, pp 1-4, 30th September 2010
Subjects: Networking and Internet Architecture (cs.NI)
[222] arXiv:1107.1972 [pdf, other]
Title: Influence of Doppler Bin Width on GPS Acquisition Probabilities
Bernhard C. Geiger, Christian Vogel
Comments: 24 pages, 12 figures; submitted
Journal-ref: IEEE Trans. Aerosp. Electron. Syst, vol. 49, no. 4, p. 2570 - 2584, 2013
Subjects: Information Theory (cs.IT)
[223] arXiv:1107.1974 [pdf, other]
Title: On an Efficient Marie Curie Initial Training Network
Ali Dinler, Cengis Hasan, Kamil Orucoglu, Robert W. Barber
Comments: Proceedings of the International Conference on Mathematical Finance and Economics (ICMFE-2011), Istanbul, Turkey, 6-8 July 2011
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[224] arXiv:1107.1999 [pdf, other]
Title: Towards a Calculus of Object Programs
Bertrand Meyer
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[225] arXiv:1107.2000 [pdf, other]
Title: Tight Approximation Bounds for Vertex Cover on Dense k-Partite Hypergraphs
Marek Karpinski, Richard Schmied, Claus Viehmann
Subjects: Data Structures and Algorithms (cs.DS)
[226] arXiv:1107.2001 [pdf, other]
Title: An Approximation Algorithm for #k-SAT
Marc Thurley
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[227] arXiv:1107.2003 [pdf, other]
Title: Efficient Deterministic Replay Using Complete Race Detection
Qi Guo, Yunji Chen, Tianshi chen, Ling Li
Comments: 18 pages, 7 figures
Subjects: Programming Languages (cs.PL); Operating Systems (cs.OS)
[228] arXiv:1107.2009 [pdf, other]
Title: Robustness of Structurally Equivalent Concurrent Parity Games
Krishnendu Chatterjee
Subjects: Computer Science and Game Theory (cs.GT)
[229] arXiv:1107.2018 [pdf, other]
Title: Distributed Robust Multi-Cell Coordinated Beamforming with Imperfect CSI: An ADMM Approach
Chao Shen, Tsung-Hui Chang, Kun-Yu Wang, Zhengding Qiu, Chong-Yung Chi
Subjects: Information Theory (cs.IT)
[230] arXiv:1107.2021 [pdf, other]
Title: Multi-Instance Learning with Any Hypothesis Class
Sivan Sabato, Naftali Tishby
Comments: Fixed typos and added some explanations
Journal-ref: Journal of Machine Learning Research 13(Oct):1999-3039, 2012
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[231] arXiv:1107.2028 [pdf, other]
Title: A fast alternating projection method for complex frequency estimation
Fredrik Andersson, Marcus Carlsson, Per-Anders Ivert
Subjects: Numerical Analysis (math.NA)
[232] arXiv:1107.2031 [pdf, other]
Title: Stegobot: construction of an unobservable communication network leveraging social behavior
Shishir Nagaraja, Amir Houmansadr, Pratch Piyawongwisal, Vijit Singh, Pragya Agarwal, Nikita Borisov
Comments: Information Hiding, unobservability, anonymity, botnet
Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[233] arXiv:1107.2033 [pdf, other]
Title: A note on the generalized min-sum set cover problem
Martin Skutella, David P. Williamson
Subjects: Data Structures and Algorithms (cs.DS)
[234] arXiv:1107.2059 [pdf, other]
Title: One dimensional Convolutional Goppa Codes over the projective line
J.A. Domínguez Pérez, J.M. Muñoz Porras, G. Serrano Sotelo
Subjects: Information Theory (cs.IT); Algebraic Geometry (math.AG)
[235] arXiv:1107.2085 [pdf, other]
Title: Kunchenko's Polynomials for Template Matching
Oleg Chertov, Taras Slipets
Comments: 3 pages
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[236] arXiv:1107.2086 [pdf, other]
Title: Extend Commitment Protocols with Temporal Regulations: Why and How
Elisa Marengo, Matteo Baldoni, Cristina Baroglio
Comments: Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI), pages 1-8 (arXiv:1107.1686)
Subjects: Artificial Intelligence (cs.AI)
[237] arXiv:1107.2087 [pdf, other]
Title: Rule-Based Semantic Sensing
Przemyslaw Woznowski, Alun Preece
Comments: Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI), pages 9-16 (arXiv:1107.1686)
Subjects: Artificial Intelligence (cs.AI)
[238] arXiv:1107.2088 [pdf, other]
Title: Advancing Multi-Context Systems by Inconsistency Management
Antonius Weinzierl
Comments: Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI), pages 17-24 (arXiv:1107.1686)
Subjects: Artificial Intelligence (cs.AI)
[239] arXiv:1107.2089 [pdf, other]
Title: Rule-based query answering method for a knowledge base of economic crimes
Jaroslaw Bak
Comments: Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI), pages 25-32 (arXiv:1107.1686)
Subjects: Artificial Intelligence (cs.AI)
[240] arXiv:1107.2090 [pdf, other]
Title: Semantic-ontological combination of Business Rules and Business Processes in IT Service Management
Alexander Sellner, Christopher Schwarz, Erwin Zinser
Comments: Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI), pages 33-40 (arXiv:1107.1686)
Subjects: Artificial Intelligence (cs.AI)
[241] arXiv:1107.2091 [pdf, other]
Title: Decidable Problems for Probabilistic Automata on Infinite Words
Krishnendu Chatterjee, Mathieu Tracol
Subjects: Formal Languages and Automata Theory (cs.FL)
[242] arXiv:1107.2100 [pdf, other]
Title: Interference Focusing for Simplified Optical Fiber Models with Dispersion
Hassan Ghozlan, Gerhard Kramer
Comments: To appear in ISIT 2011
Subjects: Information Theory (cs.IT)
[243] arXiv:1107.2101 [pdf, other]
Title: Nearly Doubling the Throughput of Multiuser MIMO Systems Using Codebook Tailored Limited Feedback Protocol
Gerhard Wunder, Jan Schreck, Peter Jung
Comments: 15 pages, 7 figures
Journal-ref: IEEE Transactions on Wireless Communications, vol.11, no.11, pp.3921-3931, 2012
Subjects: Information Theory (cs.IT)
[244] arXiv:1107.2104 [pdf, other]
Title: An estimation of distribution algorithm with adaptive Gibbs sampling for unconstrained global optimization
Jonás Velasco, Mario A. Saucedo-Espinosa, Hugo Jair Escalante, Karlo Mendoza, César Emilio Villarreal-Rodríguez, Óscar L. Chacón-Mondragón, Adrián Rodríguez, Arturo Berrones
Comments: This paper has been withdrawn by the author by request of the journal in which has been accepted for publication
Subjects: Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC); Machine Learning (stat.ML)
[245] arXiv:1107.2105 [pdf, other]
Title: Speed Scaling on Parallel Processors with Migration
Eric Angel, Evripidis Bampis, Fadi Kacem, Dimitrios Letsios
Comments: 16 pages
Subjects: Data Structures and Algorithms (cs.DS)
[246] arXiv:1107.2126 [pdf, other]
Title: Strong Solutions of the Fuzzy Linear Systems
Şahin Emrah Amrahov, Iman N. Askerzade
Comments: 11 pages
Journal-ref: CMES: Computer Modeling in Engineering & Sciences, Vol. 76, No. 4, pp. 207-216, 2011
Subjects: Numerical Analysis (math.NA); Artificial Intelligence (cs.AI); Information Theory (cs.IT); Logic (math.LO)
[247] arXiv:1107.2132 [pdf, other]
Title: Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives
Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy
Subjects: Computer Science and Game Theory (cs.GT)
[248] arXiv:1107.2141 [pdf, other]
Title: Partial-Observation Stochastic Games: How to Win when Belief Fails
Krishnendu Chatterjee, Laurent Doyen
Subjects: Computer Science and Game Theory (cs.GT)
[249] arXiv:1107.2143 [pdf, other]
Title: Adaptive Finite Element Methods with Inexact Solvers for the Nonlinear Poisson-Boltzmann Equation
Michael Holst, Ryan Szypowski, Yunrong Zhu
Comments: Submitted to DD20 Proceedings
Subjects: Numerical Analysis (math.NA)
[250] arXiv:1107.2146 [pdf, other]
Title: Bounded Rationality in Concurrent Parity Games
Krishnendu Chatterjee
Subjects: Computer Science and Game Theory (cs.GT)
[251] arXiv:1107.2157 [pdf, other]
Title: ForOpenCL: Transformations Exploiting Array Syntax in Fortran for Accelerator Programming
Matthew J. Sottile, Craig E Rasmussen, Wayne N. Weseloh, Robert W. Robey, Daniel Quinlan, Jeffrey Overbey
Subjects: Programming Languages (cs.PL)
[252] arXiv:1107.2160 [pdf, other]
Title: Multigrid Preconditioner for Nonconforming Discretization of Elliptic Problems with Jump Coefficients
Blanca Ayuso De Dios, Michael Holst, Yunrong Zhu, Ludmil Zikatanov
Comments: Submitted to DD20 Proceedings
Subjects: Numerical Analysis (math.NA)
[253] arXiv:1107.2183 [pdf, other]
Title: Lower bounds in differential privacy
Anindya De
Comments: Corrected some minor errors and typos. To appear in Theory of Cryptography Conference (TCC) 2012
Subjects: Cryptography and Security (cs.CR); Computational Complexity (cs.CC)
[254] arXiv:1107.2188 [pdf, other]
Title: The Simulated Greedy Algorithm for Several Submodular Matroid Secretary Problems
Tengyu Ma, Bo Tang, Yajun Wang
Comments: preliminary version appeared in STACS 2013
Subjects: Data Structures and Algorithms (cs.DS)
[255] arXiv:1107.2221 [pdf, other]
Title: Bidimensionality and Geometric Graphs
Fedor V. Fomin, Daniel Lokshtanov, Saket Saurabh
Subjects: Data Structures and Algorithms (cs.DS); Computational Geometry (cs.CG); Combinatorics (math.CO)
[256] arXiv:1107.2222 [pdf, other]
Title: Study of a Hybrid - Analog TV and Ethernet- Home Data Link using a Coaxial Cable
Radu Arsinte
Comments: 5 pages, 12 figures; Acta Technica Napocensis, Electronics and telecommunications, No.1/2007
Subjects: Multimedia (cs.MM); Networking and Internet Architecture (cs.NI)
[257] arXiv:1107.2229 [pdf, other]
Title: Scaling Behavior of Convolutional LDPC Ensembles over the BEC
Pablo M. Olmos, Rüdiger Urbanke
Subjects: Information Theory (cs.IT)
[258] arXiv:1107.2248 [pdf, other]
Title: Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure
Ioannis Caragiannis, Angelo Fanelli, Nick Gravin, Alexander Skopalik
Comments: 31 pages
Subjects: Computer Science and Game Theory (cs.GT)
[259] arXiv:1107.2256 [pdf, other]
Title: Complexity of Metric Dimension on Planar Graphs
Josep Diaz, Olli Pottonen, Maria Serna, Erik Jan van Leeuwen
Comments: v5: minor modifications. to appear in JCSS
Subjects: Computational Complexity (cs.CC)
[260] arXiv:1107.2284 [pdf, other]
Title: The parallel versus branching recurrences in computability logic
Wenyan Xu, Sanyang Liu
Comments: 14 pages
Journal-ref: Notre Dame J. Formal Logic 54, no. 1 (2013), 61-78
Subjects: Logic in Computer Science (cs.LO)
[261] arXiv:1107.2299 [pdf, other]
Title: iBGP and Constrained Connectivity
Michael Dinitz, Gordon Wilfong
Comments: 27 pages, 2 figures
Subjects: Data Structures and Algorithms (cs.DS); Networking and Internet Architecture (cs.NI)
[262] arXiv:1107.2312 [pdf, other]
Title: Computing the Distance between Piecewise-Linear Bivariate Functions
Guillaume Moroz (INRIA Lorraine - LORIA), Boris Aronov (NYU-Poly)
Subjects: Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS); Symbolic Computation (cs.SC)
[263] arXiv:1107.2336 [pdf, other]
Title: A Variation of the Box-Counting Algorithm Applied to Colour Images
N. S. Nikolaidis, I. N. Nikolaidis, C. C. Tsouros
Comments: 10 pages, 3 figures
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[264] arXiv:1107.2368 [pdf, other]
Title: Approximation algorithms for two-state anti-ferromagnetic spin systems on bounded degree graphs
Alistair Sinclair, Piyush Srivastava, Marc Thurley
Comments: 1 figure. Final Version
Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[265] arXiv:1107.2379 [pdf, other]
Title: Data Stability in Clustering: A Closer Look
Shalev Ben-David, Lev Reyzin
Comments: 16 pages
Subjects: Machine Learning (cs.LG); Data Structures and Algorithms (cs.DS)
[266] arXiv:1107.2392 [pdf, other]
Title: Chebyshev Blossom in Muntz Spaces: Toward Shaping with Young Diagrams
Rachid Ait-Haddou, Yusuke Sakane, Taishin Nomura
Comments: 51 pages, 9 figures
Subjects: Numerical Analysis (math.NA)
[267] arXiv:1107.2406 [pdf, other]
Title: Series Prediction based on Algebraic Approximants
Herbert H. H. Homeier
Comments: 9 pages, ISRN Applied Mathematics, in press
Journal-ref: International Scholarly Research Notices, vol. 2011, Article ID 958968, 7 pages, 2011
Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
[268] arXiv:1107.2422 [pdf, other]
Title: A Linear Time Algorithm for Seeds Computation
Tomasz Kociumaka, Marcin Kubica, Jakub Radoszewski, Wojciech Rytter, Tomasz Walen
Comments: full version of a paper submitted to SODA 2012 with simplified algorithms and new combinatorial results
Subjects: Data Structures and Algorithms (cs.DS)
[269] arXiv:1107.2432 [pdf, other]
Title: Funding Games: the Truth but not the Whole Truth
Amotz Bar-Noy, Yi Gai, Matthew P. Johnson, Bhaskar Krishnamachari, George Rabanca
Subjects: Computer Science and Game Theory (cs.GT); Discrete Mathematics (cs.DM)
[270] arXiv:1107.2437 [pdf, other]
Title: A CONVERT compiler of REC for PDP-8
Harold V. McIntosh
Comments: This paper is seminal formal definition for REC language was published in "Acta Mexicana de Ciencia y Tecnología" of IPN, Jan-April 1968. REC is a programming language of extremely simple structure and what it was proved that the well publicized inconvenience of programming without a goto was a myth in Sixties endings
Journal-ref: Acta Mexicana de Ciencia y Tecnologia of IPN, Vol. II, No. 1, pp 33-43, Jan-April 1968, Mexico, D.F
Subjects: Programming Languages (cs.PL)
[271] arXiv:1107.2443 [pdf, other]
Title: On the Approximability and Hardness of Minimum Topic Connected Overlay and Its Special Instances
Jun Hosoda, Juraj Hromkovic, Taisuke Izumi, Horotaka Ono, Monika Steinova, Koichi Wada
Comments: 20 pages
Subjects: Data Structures and Algorithms (cs.DS); Distributed, Parallel, and Cluster Computing (cs.DC); Social and Information Networks (cs.SI)
[272] arXiv:1107.2444 [pdf, other]
Title: Private Data Release via Learning Thresholds
Moritz Hardt, Guy N. Rothblum, Rocco A. Servedio
Subjects: Computational Complexity (cs.CC); Machine Learning (cs.LG)
[273] arXiv:1107.2451 [pdf, other]
Title: Surface tension of multi-phase flow with multiple junctions governed by the variational principle
Shigeki Matsutani, Kota Nakano, Katsuhiko Shinjo
Comments: 54 pages, 3 figures
Subjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph); Differential Geometry (math.DG); Computational Physics (physics.comp-ph); Fluid Dynamics (physics.flu-dyn)
[274] arXiv:1107.2482 [pdf, other]
Title: Maximum Matchings via Glauber Dynamics
Anant Jindal, Gazal Kochar, Manjish Pal
Comments: It has been pointed to us independently by Yuval Peres, Jonah Sherman, Piyush Srivastava and other anonymous reviewers that the coupling used in this paper doesn't have the right marginals because of which the mixing time bound doesn't hold, and also the main result presented in the paper. We thank them for reading the paper with interest and promptly pointing out this mistake
Subjects: Data Structures and Algorithms (cs.DS)
[275] arXiv:1107.2490 [pdf, other]
Title: Towards Optimal One Pass Large Scale Learning with Averaged Stochastic Gradient Descent
Wei Xu
Subjects: Machine Learning (cs.LG)
[276] arXiv:1107.2499 [pdf, other]
Title: Improving Energy Efficiency Through Multimode Transmission in the Downlink MIMO Systems
Jie Xu, Ling Qiu, Chengwen Yu
Comments: 19 pages, 10 figures, EURASIP Journal on Wireless Communications and Networking; EURASIP Journal on Wireless Communications and Networking (2011) 2011:200
Subjects: Information Theory (cs.IT)
[277] arXiv:1107.2509 [pdf, other]
Title: Matching Pursuits with Random Sequential Subdictionaries
Manuel Moussallam, Laurent Daudet, Gaël Richard
Comments: 20 pages - accepted 2nd April 2012 at Elsevier Signal Processing
Subjects: Data Structures and Algorithms (cs.DS)
[278] arXiv:1107.2513 [pdf, other]
Title: Fuzzy Topological Systems
Apostolos Syropoulos, Valeria de Paiva
Comments: This paper was read at the 8th Panhellenic Logic Symposium, July 4-8, 2011, Ioannina, Greece
Subjects: Logic in Computer Science (cs.LO)
[279] arXiv:1107.2527 [pdf, other]
Title: On the Sensitivity of Continuous-Time Noncoherent Fading Channel Capacity
Giuseppe Durisi, Veniamin I. Morgenshtern, Helmut Bölcskei
Comments: final version
Subjects: Information Theory (cs.IT)
[280] arXiv:1107.2553 [pdf, other]
Title: Learning Hypergraph Labeling for Feature Matching
Toufiq Parag, Vladimir Pavlovic, Ahmed Elgammal
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[281] arXiv:1107.2554 [pdf, other]
Title: Routing in Undirected Graphs with Constant Congestion
Julia Chuzhoy
Subjects: Data Structures and Algorithms (cs.DS)
[282] arXiv:1107.2559 [pdf, other]
Title: Lower Bounds for Number-in-Hand Multiparty Communication Complexity, Made Easy
Jeff M. Phillips, Elad Verbin, Qin Zhang
Comments: 22 pages
Subjects: Computational Complexity (cs.CC)
[283] arXiv:1107.2615 [pdf, other]
Title: Aspects of Entertainment Distribution in an Intelligent Home Environment
Radu Arsinte
Comments: 4 pages, 5 figures; Acta Technica Napocensis, Electronics and Telecommunications, nr.3/2007
Subjects: Networking and Internet Architecture (cs.NI); Multimedia (cs.MM)
[284] arXiv:1107.2677 [pdf, other]
Title: On Decoding Irregular Tanner Codes with Local-Optimality Guarantees
Nissim Halabi, Guy Even
Subjects: Information Theory (cs.IT); Combinatorics (math.CO)
[285] arXiv:1107.2683 [pdf, other]
Title: An IDE to Build and Check Task Flow Models
Carlos Alberto Fernandez-y-Fernandez, Jose Angel Quintanar Morales, Hermenegildo Fernandez Santos
Journal-ref: Fernandez-y-Fernandez, C.A., Quintanar Morales, J.A and Fernandez Santos, H. An IDE to Build and Check Task Flow Models. Advances in Computer Science and Applications, Research in Computer Science 53, 2011, pp. 23-33
Subjects: Software Engineering (cs.SE)
[286] arXiv:1107.2686 [pdf, other]
Title: A Higher-Order Cheeger's Inequality
Shayan Oveis Gharan, Luca Trevisan
Comments: This paper has been withdrawn by the author since a simpler and more general result is recently posted at https://arxiv.boxedpaper.com/abs/1111.1055
Subjects: Data Structures and Algorithms (cs.DS)
[287] arXiv:1107.2693 [pdf, other]
Title: A Fuzzy View on k-Means Based Signal Quantization with Application in Iris Segmentation
Nicolaie Popescu-Bodorin
Comments: 4, pages, 3 figures, 17th Telecommunications Forum TELFOR 2009, Belgrade, Serbia
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[288] arXiv:1107.2696 [pdf, other]
Title: Exploring New Directions in Iris Recognition
Nicolaie Popescu-Bodorin
Comments: 8 pages, 10 figures, 11th Int. Symp. on Symbolic and Numeric Algorithms for Scientific Computing, 2009
Journal-ref: Proc. 11th Int. Symp. on Symbolic and Numeric Algorithms for Scientific Computing (2009), CPS-IEEE Computer Society, pp. 384-391, DOI: 10.1109/SYNASC.2009.45
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[289] arXiv:1107.2700 [pdf, other]
Title: Learning $k$-Modal Distributions via Testing
Constantinos Daskalakis, Ilias Diakonikolas, Rocco A. Servedio
Comments: 28 pages, full version of SODA'12 paper, to appear in Theory of Computing
Subjects: Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG); Statistics Theory (math.ST)
[290] arXiv:1107.2702 [pdf, other]
Title: Learning Poisson Binomial Distributions
Constantinos Daskalakis, Ilias Diakonikolas, Rocco A. Servedio
Comments: Revised full version. Improved sample complexity bound of O~(1/eps^2)
Subjects: Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG); Statistics Theory (math.ST)
[291] arXiv:1107.2722 [pdf, other]
Title: On the Feasibility of Maintenance Algorithms in Dynamic Graphs
Arnaud Casteigts, Bernard Mans, Luke Mathieson
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[292] arXiv:1107.2723 [pdf, other]
Title: Topographic Feature Extraction for Bengali and Hindi Character Images
Soumen Bag, Gaurav Harit
Journal-ref: Signal & Image Processing : An International Journal (SIPIJ), vol.2, no.2, pp. 181-196, June 2011
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[293] arXiv:1107.2727 [pdf, other]
Title: Proposed Quality Evaluation Framework to Incorporate Quality Aspects in Web Warehouse Creation
Umm-e-Mariya Shah, Maqbool Uddin Shaikh, Azra Shamim, Yasir Mehmood
Subjects: Information Retrieval (cs.IR)
[294] arXiv:1107.2729 [pdf, other]
Title: Restructuring Compressed Texts without Explicit Decompression
Keisuke Goto, Shirou Maruyama, Shunsuke Inenaga, Hideo Bannai, Hiroshi Sakamoto, Masayuki Takeda
Subjects: Data Structures and Algorithms (cs.DS)
[295] arXiv:1107.2737 [pdf, other]
Title: Second moment method for a family of boolean CSP
Yacine Boufkhad, Olivier Dubois
Subjects: Discrete Mathematics (cs.DM)
[296] arXiv:1107.2757 [pdf, other]
Title: Subset sum phase transitions and data compression
Neri Merhav
Comments: 14 pages, submitted to the Journal of Statistical Mechanics: Theory and Experiment
Subjects: Information Theory (cs.IT); Statistical Mechanics (cond-mat.stat-mech)
[297] arXiv:1107.2781 [pdf, other]
Title: Face Recognition using Curvelet Transform
Rami Cohen
Comments: 24 pages
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[298] arXiv:1107.2782 [pdf, other]
Title: The Chan-Vese Algorithm
Rami Cohen
Comments: 18 pages
Subjects: Computer Vision and Pattern Recognition (cs.CV); Analysis of PDEs (math.AP)
[299] arXiv:1107.2788 [pdf, other]
Title: Diverse Consequences of Algorithmic Probability
Eray Özkural
Subjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI); Computers and Society (cs.CY)
[300] arXiv:1107.2807 [pdf, other]
Title: Modelling Distributed Shape Priors by Gibbs Random Fields of Second Order
Boris Flach, Dmitrij Schlesinger
Comments: 17 pages, 8 figures
Journal-ref: Control Systems and Computers, (2) 2011, pp 14-24
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
[301] arXiv:1107.2822 [pdf, other]
Title: A Survey on how Description Logic Ontologies Benefit from Formal Concept Analysis
Baris Sertkaya
Comments: Invited paper that appeared in the Proceedings of the 7th International Conference on Concept Lattices and Their Applications, (CLA 2010)
Journal-ref: Proceedings of the 7th International Conference on Concept Lattices and Their Applications, (CLA 2010), volume 672 of CEUR Workshop Proceedings, pages 2-21. 2010
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[302] arXiv:1107.2831 [pdf, other]
Title: A Block Solver for the Exponentially Fitted IIPG-0 method
Blanca Ayuso de Dios, Ariel Lombardi, Paola Pietra, Ludmil Zikatanov
Comments: 8 pages, 2 figures, 2 tables
Subjects: Numerical Analysis (math.NA)
[303] arXiv:1107.2859 [pdf, other]
Title: Label-Specific Training Set Construction from Web Resource for Image Annotation
Jinhui Tang, Shuicheng Yan, Tat-Seng Chua, Ramesh Jain
Comments: 4 pages, 5 figures
Subjects: Multimedia (cs.MM); Computer Vision and Pattern Recognition (cs.CV)
[304] arXiv:1107.2867 [pdf, other]
Title: A Two Stage Selective Averaging LDPC Decoding
A. Dinesh Kumar, Ambedkar Dukkipati
Comments: 5 pages, 4 figures
Subjects: Information Theory (cs.IT)
[305] arXiv:1107.2869 [pdf, other]
Title: Optimization with Demand Oracles
Ashwinkumar Badanidiyuru, Shahar Dobzinski, Sigal Oren
Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS)
[306] arXiv:1107.2900 [pdf, other]
Title: Network Congestion Control with Markovian Multipath Routing
Roberto Cominetti, Cristobal Guzman
Comments: 10 pages, 2 figures. Published at NETGCOOP 2011, and Mathematical Programming Series A. Final version available at this http URL
Subjects: Networking and Internet Architecture (cs.NI); Systems and Control (eess.SY); Optimization and Control (math.OC)
[307] arXiv:1107.2949 [pdf, other]
Title: Geometric Packing under Non-uniform Constraints
Alina Ene, Sariel Har-Peled, Benjamin Raichel
Subjects: Computational Geometry (cs.CG)
[308] arXiv:1107.2957 [pdf, other]
Title: Lower Bound for Envy-Free and Truthful Makespan Approximation on Related Machines
Lisa Fleischer, Zhenghui Wang
Subjects: Computer Science and Game Theory (cs.GT)
[309] arXiv:1107.2972 [pdf, other]
Title: An MCMC Approach to Universal Lossy Compression of Analog Sources
Dror Baron, Tsachy Weissman
Comments: 21 pages, submitted for publication
Subjects: Information Theory (cs.IT)
[310] arXiv:1107.2983 [pdf, other]
Title: Fractal Structure of Equipotential Curves on a Continuum Percolation Model
Shigeki Matsutani, Yoshiyuki Shimosako, Yunhong Wang
Comments: 17 pages 7 figures
Subjects: Numerical Analysis (math.NA); Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistical Mechanics (cond-mat.stat-mech); Mathematical Physics (math-ph)
[311] arXiv:1107.2984 [pdf, other]
Title: An Introductory Review of Information Theory in the Context of Computational Neuroscience
Mark D. McDonnell, Shiro Ikeda, Jonathan H. Manton
Comments: 18 pages, 7 figures, to appear in Biological Cybernetics
Journal-ref: Biological Cybernetics, 105(1), 1-16, 2011
Subjects: Information Theory (cs.IT)
[312] arXiv:1107.2990 [pdf, other]
Title: Solving the At-Most-Once Problem with Nearly Optimal Effectiveness
Sotirios Kentros, Aggelos Kiayias
Comments: Updated Version. A Brief Announcement was published in PODC 2011. An Extended Abstract was published in the proceeding of ICDCN 2012. A full version was published in Theoretical Computer Science, Volume 496, 22 July 2013, Pages 69 - 88
Journal-ref: Theoretical Computer Science, Volume 496, 22 July 2013, Pages 69-88, ISSN 0304-3975
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[313] arXiv:1107.2994 [pdf, other]
Title: Budget Feasible Mechanism Design via Random Sampling
Xiaohui Bei, Ning Chen, Nick Gravin, Pinyan Lu
Comments: Updated version please refer to https://arxiv.boxedpaper.com/abs/1203.4455
Subjects: Computer Science and Game Theory (cs.GT)
[314] arXiv:1107.2997 [pdf, other]
Title: An Ontology-driven Framework for Supporting Complex Decision Process
Junyi Chai, James N.K. Liu
Comments: Paper presented at the 2010 World Automation Congress
Subjects: Artificial Intelligence (cs.AI)
[315] arXiv:1107.3013 [pdf, other]
Title: Linear-Time Poisson-Disk Patterns
Thouis R. Jones, David R. Karger
Comments: 4 pages, 2 figures
Subjects: Graphics (cs.GR)
[316] arXiv:1107.3019 [pdf, other]
Title: Computing q-gram Frequencies on Collage Systems
Keisuke Goto, Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda
Subjects: Data Structures and Algorithms (cs.DS)
[317] arXiv:1107.3022 [pdf, other]
Title: Computing q-gram Non-overlapping Frequencies on SLP Compressed Texts
Keisuke Goto, Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda
Subjects: Data Structures and Algorithms (cs.DS)
[318] arXiv:1107.3031 [pdf, other]
Title: On the mathematical synthesis of equational logics
Marcelo Fiore (University of Cambridge, Computer Laboratory), Chung-Kil Hur (Universite Paris Diderot - Paris 7, Laboratoire PPS)
Comments: Final version for publication in Logical Methods in Computer Science
Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 3 (September 8, 2011) lmcs:1071
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
[319] arXiv:1107.3047 [pdf, other]
Title: Security Analysis of two Distance-Bounding Protocols
Mohammad Reza Sohizadeh Abyaneh
Comments: This paper is withdrwan due to duplication in DBLP site
Subjects: Cryptography and Security (cs.CR)
[320] arXiv:1107.3059 [pdf, other]
Title: From Small-World Networks to Comparison-Based Search
Amin Karbasi, Stratis Ioannidis, Laurent Massoulie
Comments: 42 pages
Subjects: Machine Learning (cs.LG); Data Structures and Algorithms (cs.DS); Information Theory (cs.IT); Social and Information Networks (cs.SI); Machine Learning (stat.ML)
[321] arXiv:1107.3068 [pdf, other]
Title: Compression via Matroids: A Randomized Polynomial Kernel for Odd Cycle Transversal
Stefan Kratsch, Magnus Wahlström
Comments: Minor changes to agree with SODA 2012 version of the paper
Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM)
[322] arXiv:1107.3087 [pdf, other]
Title: Non-equilibrium Information Envelopes and the Capacity-Delay-Error-Tradeoff of Source Coding
Ralf Lübben, Markus Fidler
Subjects: Performance (cs.PF); Information Theory (cs.IT)
[323] arXiv:1107.3090 [pdf, other]
Title: On the Computational Complexity of Stochastic Controller Optimization in POMDPs
Nikos Vlassis, Michael L. Littman, David Barber
Comments: Corrected error in the proof of Theorem 2, and revised Section 5
Subjects: Computational Complexity (cs.CC); Machine Learning (cs.LG); Systems and Control (eess.SY); Optimization and Control (math.OC)
[324] arXiv:1107.3093 [pdf, other]
Title: ReactionKinetics---A Mathematica Package with Applications I. Requirements for a Reaction Kinetics Package
J. Tóth, A. L. Nagy, D. Papp
Comments: 9 pages, 5 figures
Subjects: Numerical Analysis (math.NA)
[325] arXiv:1107.3098 [pdf, other]
Title: ReactionKinetics - A Mathematica package with applications II. Computational problems when building a reaction kinetics package
A. L. Nagy, D. Papp, J. Tóth
Comments: 9 pages, 10 figures
Subjects: Numerical Analysis (math.NA)
[326] arXiv:1107.3099 [pdf, other]
Title: Algorithm for Optimal Mode Scheduling in Switched Systems
Yorai Wardi, Magnus Egerstedt
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
[327] arXiv:1107.3119 [pdf, other]
Title: Experimenting with Transitive Verbs in a DisCoCat
Edward Grefenstette, Mehrnoosh Sadrzadeh
Comments: 5 pages, to be presented at GEMS 2011, as part of EMNLP'11 workshops
Subjects: Computation and Language (cs.CL); Category Theory (math.CT)
[328] arXiv:1107.3127 [pdf, other]
Title: A Satisfiability Algorithm for AC$^0$
Russell Impagliazzo, William Matthews, Ramamohan Paturi
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[329] arXiv:1107.3129 [pdf, other]
Title: Homomorphic Self-repairing Codes for Agile Maintenance of Distributed Storage Systems
Frederique Oggier, Anwitaman Datta
Comments: arXiv admin note: significant text overlap with arXiv:1008.0064
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[330] arXiv:1107.3166 [pdf, other]
Title: Stable, scalable, decentralized P2P file sharing with non-altruistic peers
Barlas Oğuz, Venkat Anantharam, Ilkka Norros
Subjects: Networking and Internet Architecture (cs.NI); Distributed, Parallel, and Cluster Computing (cs.DC); Social and Information Networks (cs.SI); Systems and Control (eess.SY)
[331] arXiv:1107.3172 [pdf, other]
Title: Use of Hamiltonian Cycles in Cryptograph
Hsieh WenBin, Leu Jenq-Shiou
Comments: This paper has been withdrawn by the authors
Subjects: Information Theory (cs.IT)
[332] arXiv:1107.3174 [pdf, other]
Title: On the infeasibility of entanglement generation in Gaussian quantum systems via classical control
H.I. Nurdin, I.R. Petersen, M.R. James
Comments: 6 pages, 3 figures. To appear in IEEE Transactions on Automatic Control, 2011
Journal-ref: IEEE Transactions on Automatic Control, 57(1), pp. 198-203, January 2012
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC); Quantum Physics (quant-ph)
[333] arXiv:1107.3177 [pdf, other]
Title: Convergence of Weighted Min-Sum Decoding Via Dynamic Programming on Trees
Yung-Yih Jian, Henry D. Pfister
Comments: 43 pages, 3 figures
Subjects: Information Theory (cs.IT)
[334] arXiv:1107.3193 [pdf, other]
Title: Type Expressiveness and Its Application in Separation of Behavior Programming and Data Management Programming
Chengpu Wang
Comments: 13 pages, 10 figures
Subjects: Programming Languages (cs.PL)
[335] arXiv:1107.3194 [pdf, other]
Title: Fingerprint recognition using standardized fingerprint model
Le Hoang Thai, Ha Nhat Tam
Comments: 7 pages, 16 figures, 3 tables, IJCSI International Journal of Computer Science Issues, Vol. 7, Issue 3, No 7, May 2010
Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 7, Issue 3, No 7, May 2010, ISSN (Online): 1694-0784, ISSN (Print): 1694-0814
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[336] arXiv:1107.3195 [pdf, other]
Title: Facial Expression Classification Based on Multi Artificial Neural Network and Two Dimensional Principal Component Analysis
Thai Le, Phat Tat, Hai Tran
Comments: 8 pages, 16 figures, IJCSI International Journal of Computer Science Issues, Vol. 8, Issue 3, No. 1, May 2011
Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 8, Issue 3, No. 1, May 2011, ISSN (Online): 1694-0814, www.IJCSI.org
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[337] arXiv:1107.3197 [pdf, other]
Title: Cooperative oligopoly games: a probabilistic approach
Paraskevas V. Lekeas, Giorgos Stamatopoulos
Subjects: Computer Science and Game Theory (cs.GT)
[338] arXiv:1107.3198 [pdf, other]
Title: Strategic delegation in a sequential model with multiple stages
Paraskevas V. Lekeas, Giorgos Stamatopoulos
Comments: To appear in International Game Theory Review (IGTR), Vol. 13, No. 3 (2011) 1-12
Subjects: Computer Science and Game Theory (cs.GT)
[339] arXiv:1107.3199 [pdf, other]
Title: Performance Guarantee under Longest-Queue-First Schedule in Wireless Networks
Bo Li, Cem Boyaci, Ye Xia
Comments: 27 pages, 7 figures
Subjects: Information Theory (cs.IT)
[340] arXiv:1107.3201 [pdf, other]
Title: Estimation of Characteristics of a Software Team for Implementing Effective Inspection Process through Inspection Performance Metric
T.R.Gopalakrishnan Nair, Suma. V
Comments: 24 pages, 13 figures
Journal-ref: American Society for Quality (ASQ) Journal, Software Quality Professional, Volume 13, Issue 2, March 2011
Subjects: Software Engineering (cs.SE)
[341] arXiv:1107.3209 [pdf, other]
Title: Large Formal Wikis: Issues and Solutions
Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban
Comments: To appear in The Conference of Intelligent Computer Mathematics: CICM 2011
Journal-ref: Intelligent Computer Mathematics 2011, LNCS 6824, pp. 149-165
Subjects: Digital Libraries (cs.DL)
[342] arXiv:1107.3212 [pdf, other]
Title: Licensing the Mizar Mathematical Library
Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, Lionel Mamane
Comments: To appear in The Conference of Intelligent Computer Mathematics: CICM 2011
Journal-ref: Intelligent Computer Mathematics 2011, LNCS 6824, pp. 133-148
Subjects: Digital Libraries (cs.DL); Mathematical Software (cs.MS)
[343] arXiv:1107.3217 [pdf, other]
Title: Cloud Computing Future Framework for e-management of NGO's
Harjit Singh Lamba, Gurdev Singh
Comments: Eight pages,Three figures
Subjects: Other Computer Science (cs.OH)
[344] arXiv:1107.3225 [pdf, other]
Title: An Agent-based Strategy for Deploying Analysis Models into Specification and Design for Distributed APS Systems
Luis Antonio de Santa-Eulalia, Sophie D'Amours, Jean-Marc Frayret
Comments: In: International Journal of Computer Science Issues, Volume 8, Issue 3, May 2011, p.7-18, ISSN 1694-0814
Subjects: Multiagent Systems (cs.MA)
[345] arXiv:1107.3229 [pdf, other]
Title: Feed drive modelling for the simulation of tool path tracking in multi-axis High Speed Machining
David Prévost (LURPA), Sylvain Lavernhe (LURPA), Claire Lartigue (LURPA), Didier Dumur
Journal-ref: International Journal of Mechatronics and Manufacturing Systems 4, 3-4 (2011) 266-284
Subjects: Other Computer Science (cs.OH)
[346] arXiv:1107.3231 [pdf, other]
Title: Triangles to Capture Social Cohesion
Adrien Friggeri (ENS / LIP Laboratoire de l'Informatique du Parallélisme / INRIA Grenoble Rhône-Alpes, IXXI), Guillaume Chelius (ENS / LIP Laboratoire de l'Informatique du Parallélisme / INRIA Grenoble Rhône-Alpes, IXXI), Eric Fleury (ENS / LIP Laboratoire de l'Informatique du Parallélisme / INRIA Grenoble Rhône-Alpes, IXXI)
Journal-ref: N° RR-7686 (2011)
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[347] arXiv:1107.3245 [pdf, other]
Title: Quantum information approach to normal representation of extensive games
Piotr Frackiewicz
Subjects: Computer Science and Game Theory (cs.GT)
[348] arXiv:1107.3253 [pdf, other]
Title: Spatially-Coupled Codes and Threshold Saturation on Intersymbol-Interference Channels
Phong S. Nguyen, Arvind Yedla, Henry D. Pfister, Krishna R. Narayanan
Comments: 30 pages, 10 figures
Subjects: Information Theory (cs.IT)
[349] arXiv:1107.3258 [pdf, other]
Title: On Learning Discrete Graphical Models Using Greedy Methods
Ali Jalali, Chris Johnson, Pradeep Ravikumar
Subjects: Machine Learning (cs.LG); Statistics Theory (math.ST); Machine Learning (stat.ML)
[350] arXiv:1107.3268 [pdf, other]
Title: Complex Orthogonal Designs with Forbidden $2 \times 2$ Submatrices
Yuan Li, Haibin Kan
Subjects: Information Theory (cs.IT); Discrete Mathematics (cs.DM)
[351] arXiv:1107.3271 [pdf, other]
Title: On the Simulation of Adaptive Measurements via Postselection
Vikram Dhillon
Comments: 3 pgs
Subjects: Computational Complexity (cs.CC); Quantum Physics (quant-ph)
[352] arXiv:1107.3279 [pdf, html, other]
Title: Probabilistic Methods on Erdos Problems
Jesse Gilbert
Comments: If the labeling problem is an edge-disjoint placement problem, the graphs in the set of graphs are all acyclic, and there is a labeling that satisfies the degree sequence requirement on the set of graphs, then the local topology should apply as a model. If $α$ is evaluated as $α=n(n-1),$ then fibers of the local topology cover the entire space
Subjects: Discrete Mathematics (cs.DM)
[353] arXiv:1107.3294 [pdf, other]
Title: E-DTN : A Multi-Interface Energy DTN Gateway
T.V Prabhakar, S.N Akshay Uttama Nambi, H.S Jamadagni
Subjects: Networking and Internet Architecture (cs.NI)
[354] arXiv:1107.3297 [pdf, other]
Title: Semantic annotation of requirements for automatic UML class diagram generation
Soumaya Amdouni, Wahiba Ben Abdessalem Karaa, Sondes Bouabid
Subjects: Software Engineering (cs.SE)
[355] arXiv:1107.3298 [pdf, other]
Title: From decision to action : intentionality, a guide for the specification of intelligent agents' behaviour
Pierre De Loor (LISYC, CERV), Favier Pierre-Alexandre (LISYC)
Journal-ref: International Journal of Image and Graphics 6, 1 (2006) 87-99
Subjects: Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)
[356] arXiv:1107.3302 [pdf, other]
Title: A Temporal Neuro-Fuzzy Monitoring System to Manufacturing Systems
Rafik Mahdaoui, Leila Hayet Mouss, Mohamed Djamel Mouss, Ouahiba Chouhal
Comments: 10 pages, 11 figures, IJCSI International Journal of Computer Science Issues, Vol. 8, Issue 3, No. 1, May 2011 ISSN (Online): 1694-0814 this http URL
Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 8, Issue 3, No. 1, May 2011 ISSN (Online): 1694-0814 www.IJCSI.org
Subjects: Artificial Intelligence (cs.AI)
[357] arXiv:1107.3313 [pdf, other]
Title: Communication Systems for Grid Integration of Renewable Energy Resources
F. Richard Yu, Peng Zhang, Weidong Xiao, Paul Choudhury
Comments: to appear in IEEE Network, Sept. 2011
Subjects: Information Theory (cs.IT)
[358] arXiv:1107.3326 [pdf, other]
Title: Real-time retrieval for case-based reasoning in interactive multiagent-based simulations
Pierre De Loor (LISYC, CERV), Romain Bénard (LISYC), Chevaillier Pierre (LISYC, CERV)
Journal-ref: Expert Systems with Applications 38, 5 (2011) 5145-5153
Subjects: Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Multiagent Systems (cs.MA)
[359] arXiv:1107.3342 [pdf, other]
Title: Computing Strong Game-Theoretic Strategies in Jotto
Sam Ganzfried
Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)
[360] arXiv:1107.3348 [pdf, other]
Title: Arithmetic and Frequency Filtering Methods of Pixel-Based Image Fusion Techniques
Firouz Abdullah Al-Wassai, N.V. Kalyankar, Ali A. Al-Zuky
Comments: Image Fusion, Pixel-Based Fusion, Brovey Transform, Color Normalized, High-Pass Filter, Modulation, Wavelet transform
Journal-ref: Journal-ref: International Journal of Advanced Research in Computer Science,Volume 2, No. 5, Sept-Oct 2011,www.ijarcs.info
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[361] arXiv:1107.3350 [pdf, other]
Title: Compressive Mechanism: Utilizing Sparse Representation in Differential Privacy
Yang D. Li, Zhenjie Zhang, Marianne Winslett, Yin Yang
Comments: 20 pages, 6 figures
Journal-ref: WPES '11 Proceedings of the 10th annual ACM workshop on Privacy in the electronic society ACM New York, NY, USA (2011), pages 177-182
Subjects: Data Structures and Algorithms (cs.DS); Cryptography and Security (cs.CR); Databases (cs.DB)
[362] arXiv:1107.3360 [pdf, other]
Title: Object Oriented Information Computing over WWW
Dr. Pushpa R. Suri, Harmunish Taneja
Comments: 4 pages, 1 table, IJCSI International Journal of Computer Science Issues, Vol. 7, Issue 3, No 7, May 2010
Subjects: Information Retrieval (cs.IR)
[363] arXiv:1107.3363 [pdf, other]
Title: SD-AODV: A Protocol for Secure and Dynamic Data Dissemination in Mobile Ad Hoc Network
Rajender Nath, Pankaj Kumar Sehgal
Comments: 8 pages, 11 figures, 1 table, IJCSI International Journal of Computer Science Issues, Vol. 7, Issue 6, November 2010
Subjects: Networking and Internet Architecture (cs.NI)
[364] arXiv:1107.3372 [pdf, other]
Title: Snake-in-the-Box Codes for Rank Modulation
Yonatan Yehezkeally, Moshe Schwartz
Subjects: Information Theory (cs.IT)
[365] arXiv:1107.3380 [pdf, other]
Title: A further generalization of the colourful Carathéodory theorem
Frédéric Meunier, Antoine Deza
Comments: 12 pages, 4 figures
Subjects: Computational Geometry (cs.CG); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[366] arXiv:1107.3407 [pdf, other]
Title: Discovering Knowledge using a Constraint-based Language
Patrice Boizumault, Bruno Crémilleux, Mehdi Khiari, Samir Loudni, Jean-Philippe Métivier
Comments: 12 pages
Subjects: Machine Learning (cs.LG)
[367] arXiv:1107.3421 [pdf, other]
Title: Upper bounds for centerlines
Boris Bukh, Gabriel Nivasch
Comments: This paper (without the appendix) has been published in Journal of Computational Geometry 3:20--30, 2012. 17 pages; 10 figures
Journal-ref: Journal of Computational Geometry 3:20--30, 2012
Subjects: Computational Geometry (cs.CG); Combinatorics (math.CO)
[368] arXiv:1107.3430 [pdf, other]
Title: Randomisation and Derandomisation in Descriptive Complexity Theory
Kord Eickmeyer (Humboldt-Universität Berlin), Martin Grohe (Humboldt-Universität Berlin)
Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 3 (September 21, 2011) lmcs:714
Subjects: Logic in Computer Science (cs.LO)
[369] arXiv:1107.3438 [pdf, other]
Title: Duals of Affine Grassmann Codes and their Relatives
Peter Beelen, Sudhir R. Ghorpade, Tom Hoeholdt
Comments: 20 pages
Journal-ref: IEEE Transactions on Information Theory, Vol. 58, No. 6 (2012), pp. 3843-3855
Subjects: Information Theory (cs.IT)
[370] arXiv:1107.3441 [pdf, other]
Title: Optimal symmetric Tardos traitor tracing schemes
Thijs Laarhoven, Benne de Weger
Comments: 16 pages, 1 figure
Journal-ref: Designs, Codes and Cryptography, vol. 71, no. 1, pp. 83-103, 2014
Subjects: Cryptography and Security (cs.CR)
[371] arXiv:1107.3462 [pdf, other]
Title: Numerical Methods for Multilattices
Assyr Abdulle, Ping Lin, Alexander V. Shapeev
Comments: 31 pages
Journal-ref: Multiscale Model. Simul., Vol 10(3), pp. 696-726, 2012
Subjects: Numerical Analysis (math.NA)
[372] arXiv:1107.3474 [pdf, other]
Title: A Generalized Poor-Verdu Error Bound for Multihypothesis Testing and the Channel Reliability Function
Po-Ning Chen, Fady Alajaji
Comments: Parts of this technical report will appear in the IEEE Transactions on Information Theory
Subjects: Information Theory (cs.IT)
[373] arXiv:1107.3498 [pdf, other]
Title: What can we learn from slow self-avoiding adaptive walks by an infinite radius search algorithm?
Susan Khor
Subjects: Neural and Evolutionary Computing (cs.NE); Social and Information Networks (cs.SI)
[374] arXiv:1107.3522 [pdf, other]
Title: What Trends in Chinese Social Media
Louis Yu, Sitaram Asur, Bernardo A. Huberman
Subjects: Computers and Society (cs.CY); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[375] arXiv:1107.3534 [pdf, other]
Title: Exploiting Channel Diversity in Secret Key Generation from Multipath Fading Randomness
Yanpei Liu, Stark C. Draper, Akbar M. Sayeed
Subjects: Cryptography and Security (cs.CR); Information Theory (cs.IT)
[376] arXiv:1107.3539 [pdf, other]
Title: Systematic Abstraction of Abstract Machines
David Van Horn, Matthew Might
Subjects: Programming Languages (cs.PL)
[377] arXiv:1107.3541 [pdf, other]
Title: Evaluation of servo, geometric and dynamic error sources on five axis high-speed machine tool
Loïc Andolfatto (LURPA), Sylvain Lavernhe (LURPA), René Mayer (LRFV)
Comments: 13 pages; International Journal of Machine Tools and Manufacture (2011) pp XX-XX
Subjects: Other Computer Science (cs.OH)
[378] arXiv:1107.3584 [pdf, other]
Title: On Consensus under Polynomial Protocols
Joel George Manathara, Ambedkar Dukkipati, Debasish Ghose
Subjects: Symbolic Computation (cs.SC)
[379] arXiv:1107.3593 [pdf, other]
Title: Privacy-Enhanced Methods for Comparing Compressed DNA Sequences
David Eppstein, Michael T. Goodrich, Pierre Baldi
Comments: 17 pages, 2 figures
Subjects: Cryptography and Security (cs.CR); Data Structures and Algorithms (cs.DS)
[380] arXiv:1107.3602 [pdf, other]
Title: Heterogeneous Cellular Networks with Flexible Cell Association: A Comprehensive Downlink SINR Analysis
Han-Shin Jo, Young Jin Sang, Ping Xia, Jeffrey G. Andrews
Comments: Submitted to IEEE Transactions on Wireless Communications
Subjects: Information Theory (cs.IT)
[381] arXiv:1107.3606 [pdf, other]
Title: Optimizing Index Deployment Order for Evolving OLAP (Extended Version)
Hideaki Kimura, Carleton Coffrin, Alexander Rasin, Stanley B. Zdonik
Subjects: Databases (cs.DB)
[382] arXiv:1107.3614 [pdf, other]
Title: New construction of APN quaratic
Zahid Mounir
Subjects: Information Theory (cs.IT)
[383] arXiv:1107.3622 [pdf, other]
Title: K-sort: A new sorting algorithm that beats Heap sort for n <= 70 lakhs!
Kiran Kumar Sundararajan, Mita Pal, Soubhik Chakraborty, N.C. Mahanti
Comments: 9 pages, 9 figures
Subjects: Data Structures and Algorithms (cs.DS)
[384] arXiv:1107.3630 [pdf, other]
Title: Improving AODV Performance using Dynamic Density Driven Route Request Forwarding
Venetis Kanakaris, David Ndzi, Kyriakos Ovaliadis
Comments: 11 pages, 2 tables, 4 figures
Journal-ref: International Journal of Wireless & Mobile Networks, Vol. 3, Is. 3, 2011
Subjects: Networking and Internet Architecture (cs.NI)
[385] arXiv:1107.3631 [pdf, other]
Title: A Review on Elliptic Curve Cryptography for Embedded Systems
Rahat Afreen, S.C. Mehrotra
Comments: Review Article
Journal-ref: International Journal of Computer Science & Information Technology (IJCSIT), Vol 3, No 3, June 2011, Pp 84-103
Subjects: Cryptography and Security (cs.CR)
[386] arXiv:1107.3636 [pdf, other]
Title: GPS Signal Acquisition via Compressive Multichannel Sampling
Xiao Li, Andrea Rueetschi, Yonina C. Eldar, Anna Scaglione
Comments: 25 pages, 7 figures, submitted to Physical Communication, Elsevier, Special Issue on Compressive Sensing in Communications
Subjects: Information Theory (cs.IT)
[387] arXiv:1107.3656 [pdf, other]
Title: QoS Routing and Performance Evaluation for Mobile Ad Hoc Networks using OLSR Protocol
Mohamed Amnai, Youssef Fakhri, Jaafar Abouchabaka
Subjects: Networking and Internet Architecture (cs.NI)
[388] arXiv:1107.3658 [pdf, other]
Title: On Polynomial Kernels for Structural Parameterizations of Odd Cycle Transversal
Bart M. P. Jansen, Stefan Kratsch
Comments: Accepted to IPEC 2011, Saarbrucken
Subjects: Data Structures and Algorithms (cs.DS)
[389] arXiv:1107.3663 [pdf, other]
Title: Towards Open-Text Semantic Parsing via Multi-Task Learning of Structured Embeddings
Antoine Bordes, Xavier Glorot, Jason Weston, Yoshua Bengio
Subjects: Artificial Intelligence (cs.AI)
[390] arXiv:1107.3667 [pdf, other]
Title: A new algebraic and arithmetic framework for interval computations
Nicolas Goze, Michel Goze, Abdel Kenoufi, Elisabeth Remm
Comments: 23 pages, 9 figures
Subjects: Numerical Analysis (math.NA)
[391] arXiv:1107.3671 [pdf, other]
Title: Impact of Mobility On QoS of Mobile WiMax Network With CBR Application
Kranti Bala, Kiran Ahuja
Comments: Total 7 Pages, 5 Figures and 1 table
Journal-ref: International Journal of Advancements in Technology , Vol. 2, No. 3, July 2011
Subjects: Networking and Internet Architecture (cs.NI)
[392] arXiv:1107.3674 [pdf, other]
Title: Autonomous Traffic Control System Using Agent Based Technology
Venkatesh. M, K. Kumar, Srinivas. V
Comments: This paper has been withdrawn by the authors. Total Pages 8 and 3 Figures, Author wishes to withdraw for some major changes and corrections
Journal-ref: International Journal of Advancements in Technology, Vol.2, No. 3, July 2011
Subjects: Multiagent Systems (cs.MA)
[393] arXiv:1107.3680 [pdf, other]
Title: 3-Phase Recognition Approach to Pseudo 3D Building Generation from 2D Floor Plan
Raj Kishen Moloo, Muhammad Ajmal Sheik Dawood, Abu Salmaan Auleear
Comments: 15 pages,12 figures, 2 tables, International Journal of Computer Graphics & Animation (IJCGA) Vol.1, No.2, June 2011
Journal-ref: International Journal of Computer Graphics & Animation (IJCGA) Vol.1, No.2, June 2011
Subjects: Graphics (cs.GR); Computer Vision and Pattern Recognition (cs.CV)
[394] arXiv:1107.3682 [pdf, other]
Title: Context-Capture Multi-Valued Decision Fusion With Fault Tolerant Capability For Wireless Sensor Networks
Jun Wu, Shigeru Shimamoto
Comments: 13 pages, 7 figures
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Networking and Internet Architecture (cs.NI)
[395] arXiv:1107.3695 [pdf, other]
Title: Ubiquitous Mobile Health Monitoring System for Elderly (UMHMSE)
Abderrahim Bourouis, Mohamed Feham, Abdelhamid Bouchachia
Comments: 9 pages,5 figures
Journal-ref: International Journal of Computer Science & Information Technology (IJCSIT), Vol 3, No 3, June 2011
Subjects: Networking and Internet Architecture (cs.NI)
[396] arXiv:1107.3704 [pdf, other]
Title: Co-nondeterminism in compositions: A kernelization lower bound for a Ramsey-type problem
Stefan Kratsch
Subjects: Data Structures and Algorithms (cs.DS)
[397] arXiv:1107.3706 [pdf, other]
Title: The countable versus uncountable branching recurrences in computability logic
Wenyan Xu, Sanyang Liu
Comments: 20 pages
Subjects: Logic in Computer Science (cs.LO)
[398] arXiv:1107.3715 [pdf, other]
Title: Mathematical Programming Decoding of Binary Linear Codes: Theory and Algorithms
Michael Helmling, Stefan Ruzika, Akin Tanatmis
Comments: 17 pages, submitted to the IEEE Transactions on Information Theory. Published July 2012
Subjects: Information Theory (cs.IT)
[399] arXiv:1107.3724 [pdf, other]
Title: Haplotype Inference on Pedigrees with Recombinations, Errors, and Missing Genotypes via SAT solvers
Yuri Pirola, Gianluca Della Vedova, Stefano Biffani, Alessandra Stella, Paola Bonizzoni
Comments: 14 pages, 1 figure, 4 tables, the associated software reHCstar is available at this http URL
Journal-ref: IEEE/ACM Trans. on Computational Biology and Bioinformatics 9.6 (2012) 1582-1594
Subjects: Data Structures and Algorithms (cs.DS); Populations and Evolution (q-bio.PE)
[400] arXiv:1107.3729 [pdf, other]
Title: On the approximation in the smoothed finite element method (SFEM)
Stephane PA Bordas, Sundararajan Natarajan
Comments: 14 pages, 9 figures, 1 table; International Journal for Numerical Methods in Engineering, 2010
Subjects: Numerical Analysis (math.NA)
[401] arXiv:1107.3731 [pdf, other]
Title: Iterative Constructions and Private Data Release
Anupam Gupta, Aaron Roth, Jonathan Ullman
Subjects: Data Structures and Algorithms (cs.DS); Cryptography and Security (cs.CR)
[402] arXiv:1107.3734 [pdf, other]
Title: Decentralized List Scheduling
Marc Tchiboukdjian, Nicolas Gast, Denis Trystram
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[403] arXiv:1107.3744 [pdf, other]
Title: On the Mechanism of Roe-type Schemes for All-Speed Flows
Xue-song Li, Chun-wei Gu
Journal-ref: Computers & Fluids Volume 86, 5 November 2013, Pages 56-70
Subjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph); Computational Physics (physics.comp-ph); Fluid Dynamics (physics.flu-dyn)
[404] arXiv:1107.3759 [pdf, other]
Title: User Empowerment in the Internet of Things
Dejan Munjin, Jean-Henry Morin
Subjects: Computers and Society (cs.CY)
[405] arXiv:1107.3765 [pdf, other]
Title: Using Variational Inference and MapReduce to Scale Topic Modeling
Ke Zhai, Jordan Boyd-Graber, Nima Asadi
Subjects: Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC)
[406] arXiv:1107.3767 [pdf, other]
Title: Computational Hardness of Enumerating Satisfying Spin-Assignments in Triangulations
Andrea Jiménez, Marcos Kiwi
Comments: 20 pages,25 figures
Subjects: Computational Complexity (cs.CC)
[407] arXiv:1107.3784 [pdf, other]
Title: Applying Data Privacy Techniques on Tabular Data in Uganda
Kato Mivule, Claude Turner
Comments: 10 pages, 6 figures
Subjects: Cryptography and Security (cs.CR); Databases (cs.DB)
[408] arXiv:1107.3785 [pdf, other]
Title: Teaching Introductory Electrical Engineering Course to CS Students in a Russian University
Vladimir Vasilich Tregub
Subjects: Computers and Society (cs.CY)
[409] arXiv:1107.3793 [pdf, other]
Title: Annotating Simplices with a Homology Basis and Its Applications
Oleksiy Busaryev, Sergio Cabello, Chao Chen, Tamal K. Dey, Yusu Wang
Subjects: Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS)
[410] arXiv:1107.3794 [pdf, other]
Title: An Analysis of Chinese Search Engine Filtering
Tao Zhu, Christopher Bronk, Dan S. Wallach
Comments: 11 pages
Subjects: Cryptography and Security (cs.CR)
[411] arXiv:1107.3818 [pdf, other]
Title: Conditioned Poisson distributions and the concentration of chromatic numbers
John Hartigan, David Pollard, Sekhar Tatikonda
Comments: Unpublished paper from June 2008
Subjects: Discrete Mathematics (cs.DM); Statistics Theory (math.ST)
[412] arXiv:1107.3823 [pdf, other]
Title: Weakly Supervised Learning of Foreground-Background Segmentation using Masked RBMs
Nicolas Heess (Informatics), Nicolas Le Roux (INRIA Paris - Rocquencourt), John Winn
Journal-ref: International Conference on Artificial Neural Networks (2011)
Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV)
[413] arXiv:1107.3857 [pdf, other]
Title: MAC Centered Cooperation - Synergistic Design of Network Coding, Multi-Packet Reception, and Improved Fairness to Increase Network Throughput
Jason Cloud, Linda Zeger, Muriel Médard
Subjects: Networking and Internet Architecture (cs.NI)
[414] arXiv:1107.3862 [pdf, other]
Title: Achieving "Massive MIMO" Spectral Efficiency with a Not-so-Large Number of Antennas
Hoon Huh, Giuseppe Caire, Haralabos C. Papadopoulos, Sean A. Ramprashad
Comments: Full version with appendice (proofs of theorems). A shortened version without appendice was submitted to IEEE Trans. on Wireless Commun. Appendix B was revised after submission
Subjects: Information Theory (cs.IT)
[415] arXiv:1107.3863 [pdf, other]
Title: Securing Tor Tunnels under the Selective-DoS Attack
Anupam Das, Nikita Borisov
Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)
[416] arXiv:1107.3876 [pdf, other]
Title: Lower Bounds for the Average and Smoothed Number of Pareto Optima
Navin Goyal, Luis Rademacher
Subjects: Data Structures and Algorithms (cs.DS)
[417] arXiv:1107.3879 [pdf, other]
Title: Fitting a Model to Data in Loss Tomography
Weiping Zhu
Comments: 10 pages, 1 figure
Subjects: Networking and Internet Architecture (cs.NI)
[418] arXiv:1107.3893 [pdf, other]
Title: A Glance into the Future of Human Computer Interaction
Umer Farooq, M. Aqeel Iqbal, Sohail Nazir
Comments: 16 pages, seven figures, 1 table, 2 flow charts, published in International Journal of Computer Science, Engineering and Applications (IJCSEA) Vol.1, No.3, June 2011
Subjects: Human-Computer Interaction (cs.HC)
[419] arXiv:1107.3894 [pdf, other]
Title: Online Anomaly Detection Systems Using Incremental Commute Time
Nguyen Lu Dang Khoa, Sanjay Chawla
Comments: 11 pages
Subjects: Artificial Intelligence (cs.AI)
[420] arXiv:1107.3903 [pdf, other]
Title: Discontinuous Galerkin Method for Total Variation Minimization on one-dimensional Inpainting Problem
Xijian Wang
Comments: 14 pages, 8 figures
Subjects: Numerical Analysis (math.NA)
[421] arXiv:1107.3907 [pdf, other]
Title: Natural frequencies of cracked functionally graded material plates by the extended finite element method
S Natarajan, PM Baiz, S Bordas, T Rabczuk, P Kerfriden
Comments: 38 pages, 14 figures, 10 tables; Composite Structures, 2011
Subjects: Numerical Analysis (math.NA); Materials Science (cond-mat.mtrl-sci)
[422] arXiv:1107.3924 [pdf, other]
Title: Reversible arithmetic logic unit
Rigui zhou, Yang shi, Manqun Zhang
Comments: 11 pages, 3 figures, 1 table
Subjects: Hardware Architecture (cs.AR)
[423] arXiv:1107.3977 [pdf, other]
Title: Detecting 2-joins faster
Pierre Charbit, Michel Habib, Nicolas Trotignon, Kristina Vušković
Journal-ref: P. Charbit, M. Habib, N. Trotignon and K. Vuskovic. Detecting 2-joins faster. Journal of Discrete Algorithms, 17:60-66, 2012
Subjects: Data Structures and Algorithms (cs.DS)
[424] arXiv:1107.3995 [pdf, other]
Title: Prescient Precoding in Heterogeneous DSA Networks with Both Underlay and Interweave MIMO Cognitive Radios
Amitav Mukherjee, A. Lee Swindlehurst
Comments: 23 pages; Submitted to IEEE Trans. Wireless Commun
Subjects: Information Theory (cs.IT)
[425] arXiv:1107.4006 [pdf, other]
Title: Linear free flexural vibration of cracked functionally graded plates in thermal environment
S Natarajan, PM Baiz, M Ganapathi, P Kerfriden, S Bordas
Journal-ref: Computers & Structures, v89 (15-16), August 2011, 1535-1546
Subjects: Numerical Analysis (math.NA)
[426] arXiv:1107.4016 [pdf, other]
Title: Metrics of Risk Associated with Defects Rediscovery
Andriy V. Miranskyy, Matthew Davison, Mark Reesor
Subjects: Software Engineering (cs.SE); Applications (stat.AP)
[427] arXiv:1107.4021 [pdf, other]
Title: Achieving a vanishing SNR-gap to exact lattice decoding at a subexponential complexity
Arun Singh, Petros Elia, Joakim Jalden
Comments: 16 pages - submission for IEEE Trans. Inform. Theory
Subjects: Information Theory (cs.IT); Computational Complexity (cs.CC)
[428] arXiv:1107.4035 [pdf, other]
Title: Towards Completely Lifted Search-based Probabilistic Inference
David Poole, Fahiem Bacchus, Jacek Kisynski
Subjects: Artificial Intelligence (cs.AI)
[429] arXiv:1107.4054 [pdf, other]
Title: Data Aggregation and Privacy for Police Patrols
Sumalatha Ramachandran, Uttara Sridhar, Vidhya Srinivasan, J. Jaya Jothi
Comments: 12 pages, 5 figures
Journal-ref: International Journal of Ad hoc, Sensor & Ubiquitous Computing (IJASUC) Vol.2, No.2, June 2011, 51-62
Subjects: Cryptography and Security (cs.CR)
[430] arXiv:1107.4055 [pdf, other]
Title: Alternating projections on non-tangential manifolds
Fredrik Andersson, Marcus Carlsson
Subjects: Numerical Analysis (math.NA)
[431] arXiv:1107.4057 [pdf, other]
Title: The Harmonic Theory; A mathematical framework to build intelligent contextual and adaptive computing, cognition and sensory system
Nick Mehrdad Loghmani
Comments: 16 pages, 8 figures
Subjects: Artificial Intelligence (cs.AI); Information Theory (cs.IT)
[432] arXiv:1107.4062 [pdf, other]
Title: Sending Hidden Data via Google Suggest
Piotr Bialczak, Wojciech Mazurczyk, Krzysztof Szczypiorski
Comments: 11 pages, 17 figures, 4 tables
Subjects: Cryptography and Security (cs.CR)
[433] arXiv:1107.4065 [pdf, other]
Title: How Hidden Can Be Even More Hidden?
Wojciech Fraczek, Wojciech Mazurczyk, Krzysztof Szczypiorski
Comments: 5 pages, 8 figures
Subjects: Cryptography and Security (cs.CR)
[434] arXiv:1107.4076 [pdf, other]
Title: Lost Audio Packets Steganography: The First Practical Evaluation
Wojciech Mazurczyk
Comments: 13 pages, 6 figures, 2 tables
Subjects: Cryptography and Security (cs.CR); Multimedia (cs.MM)
[435] arXiv:1107.4077 [pdf, other]
Title: Is Cloud Computing Steganography-proof?
Wojciech Mazurczyk, Krzysztof Szczypiorski
Comments: 2 pages, 1 figure
Subjects: Cryptography and Security (cs.CR)
[436] arXiv:1107.4080 [pdf, other]
Title: On the Universality of Online Mirror Descent
Nathan Srebro, Karthik Sridharan, Ambuj Tewari
Subjects: Machine Learning (cs.LG)
[437] arXiv:1107.4110 [pdf, other]
Title: PM2PLS: An Integration of Proxy Mobile IPv6 and MPLS
Carlos A. Astudillo, Oscar J. Calderón, Jesús H. Ortiz
Comments: 9 Pages, 8 Figures, 9 Tables
Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 8, Issue 3, No. 1, May 2011
Subjects: Networking and Internet Architecture (cs.NI)
[438] arXiv:1107.4138 [pdf, other]
Title: Event-Clock Automata: From Theory to Practice
Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder
Comments: Full version of the FORMATS 2011 version
Subjects: Logic in Computer Science (cs.LO)
[439] arXiv:1107.4148 [pdf, other]
Title: The Sender-Excited Secret Key Agreement Model: Capacity, Reliability and Secrecy Exponents
Tzu-Han Chou, Vincent Y. F. Tan, Stark C. Draper
Comments: 18 pages, 8 figures; Submitted to the IEEE Transactions on Information Theory; Revised in Oct 2013
Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR)
[440] arXiv:1107.4150 [pdf, other]
Title: Analysis on the computability over the efficient utilization problem of the four-dimensional space-time
Wenqi Huang, Kun He
Comments: 13 pages, 3 figures
Journal-ref: Theoretical Computer Science, vol. 501(27): 1-10, 2013
Subjects: Computational Complexity (cs.CC)
[441] arXiv:1107.4153 [pdf, other]
Title: Performance and Convergence of Multi-user Online Learning
Cem Tekin, Mingyan Liu
Journal-ref: in Proceedings of GAMENETS 2011
Subjects: Multiagent Systems (cs.MA); Machine Learning (cs.LG)
[442] arXiv:1107.4157 [pdf, other]
Title: Linear Differential Equations with Fuzzy Boundary Values
Nizami Gasilov, Şahin Emrah Amrahov, Afet Golayoğlu Fatullayev
Comments: 5 pages, 2 figures
Subjects: Numerical Analysis (math.NA); Computational Engineering, Finance, and Science (cs.CE); Dynamical Systems (math.DS)
[443] arXiv:1107.4160 [pdf, other]
Title: Functions as proofs as processes
Emmanuel Beffara (IML)
Subjects: Logic in Computer Science (cs.LO)
[444] arXiv:1107.4161 [pdf, other]
Title: Local Optima Networks of the Quadratic Assignment Problem
Fabio Daolio (ISI), Sébastien Verel (INRIA Lille - Nord Europe), Gabriela Ochoa, Marco Tomassini (ISI)
Journal-ref: IEEE world conference on computational intelligence (WCCI - CEC), Barcelona : Spain (2010)
Subjects: Artificial Intelligence (cs.AI)
[445] arXiv:1107.4162 [pdf, other]
Title: Local Optima Networks of NK Landscapes with Neutrality
Sébastien Verel (INRIA Lille - Nord Europe), Gabriela Ochoa, Marco Tomassini (ISI)
Comments: IEEE Transactions on Evolutionary Computation volume 14, 6 (2010) to appear
Subjects: Artificial Intelligence (cs.AI)
[446] arXiv:1107.4163 [pdf, other]
Title: Centric selection: a way to tune the exploration/exploitation trade-off
David Simoncini, Sébastien Verel, Philippe Collard, Manuel Clergue
Journal-ref: GECCO'09, Montreal : Canada (2009)
Subjects: Artificial Intelligence (cs.AI)
[447] arXiv:1107.4164 [pdf, other]
Title: NK landscapes difficulty and Negative Slope Coefficient: How Sampling Influences the Results
Leonardo Vanneschi (DISCo), Sébastien Verel, Philippe Collard, Marco Tomassini (ISI)
Journal-ref: evoNum workshop of evostar conference, Tubingen : Germany (2009)
Subjects: Artificial Intelligence (cs.AI)
[448] arXiv:1107.4171 [pdf, other]
Title: Next Generation High Speed Computing Using Photonic Based Technolog
Umer Farooq, M. Aqeel Iqbal
Comments: 8 pages, 9 figures, published in (IJCSE) International Journal on Computer Science and Engineering Vol. 02, No. 05, 2010, 1496-1503
Subjects: Emerging Technologies (cs.ET)
[449] arXiv:1107.4185 [pdf, other]
Title: Estimation of Severity of Speech Disability through Speech Envelope
Anandthirtha B. Gudi, H. K. Shreedhar, H. C. Nagaraj
Comments: 8 pages,4 Figures,Signal & Image Processing Journal AIRCC
Journal-ref: Signal & Image Processing : An International Journal (SIPIJ) Vol.2, No.2, June 2011
Subjects: Sound (cs.SD)
[450] arXiv:1107.4189 [pdf, other]
Title: Development and Modelling of High-Efficiency Computing Structure for Digital Signal Processing
Annapurna Sharma, Hakimjon Zaynidinov, Hoon Jae Lee
Comments: 4 Pages, 5 figures, IEEE International Conference on Multimedia, Signal Processing and Communication Technologies, 2009. IMPACT '09
Subjects: Numerical Analysis (math.NA)
[451] arXiv:1107.4191 [pdf, other]
Title: A study of the uniform accuracy of univariate thin plate spline interpolation
Aurelian Bejancu, Simon Hubbert
Comments: 15 pages and 2 figures
Subjects: Numerical Analysis (math.NA)
[452] arXiv:1107.4196 [pdf, other]
Title: The Bethe Permanent of a Non-Negative Matrix
Pascal O. Vontobel
Comments: Accepted for IEEE Transactions on Information Theory. Manuscript received July 21, 2011; date of current version October 20, 2012. Changes compared to v1: see v2. Changes compared to v2: changed t to τin Section IV in order to distinguish it from iteration number t in Section V. Fixed some typos
Journal-ref: IEEE Trans. Inf. Theory, vol. 59, pp. 1866-1901, Mar. 2013
Subjects: Information Theory (cs.IT); Computational Complexity (cs.CC); Mathematical Physics (math-ph); Combinatorics (math.CO)
[453] arXiv:1107.4199 [pdf, other]
Title: An Analytical Model for the Intercell Interference Power in the Downlink of Wireless Cellular Networks
Benoit Pijcke, Marie Zwingelstein-Colin, Marc Gazalet, Mohamed Gharbi, Patrick Corlay
Comments: 36 pages, 17 figures
Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
[454] arXiv:1107.4212 [pdf, other]
Title: On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm
Marco Cerami, Umberto Straccia
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[455] arXiv:1107.4217 [pdf, other]
Title: A Glance into the Future of Human Computer Interactions
Umer Farooq, M. Aqeel Iqbal, Sohail Nazir
Comments: 16 Pages 7 Figures International Journal
Journal-ref: International Journal of Computer Science, Engineering and Applications (IJCSEA) Vol.1, No.3, June 2011
Subjects: Human-Computer Interaction (cs.HC)
[456] arXiv:1107.4218 [pdf, other]
Title: The settlement of Madagascar: what dialects and languages can tell
Maurizio Serva
Comments: We find out the area and the modalities of the settlement of Madagascar by Indonesian colonizers around 650 CE. Results are obtained comparing 23 Malagasy dialects with Malay and Maanyan languages
Subjects: Computation and Language (cs.CL); Populations and Evolution (q-bio.PE)
[457] arXiv:1107.4222 [pdf, other]
Title: Interference minimization in physical model of wireless networks
Hakob Aslanyan
Journal-ref: International Journal of Information Theories and Applications, 2010. ITHEA2010: Volume 17, Number 3, 221-232
Subjects: Data Structures and Algorithms (cs.DS); Information Theory (cs.IT)
[458] arXiv:1107.4223 [pdf, other]
Title: Sorting Algorithms with Restrictions
Hakob Aslanyan
Journal-ref: International Conference on Computer Science and Information Technologies. CSIT2005: 125-127, Yerevan, Armenia 2005
Subjects: Data Structures and Algorithms (cs.DS)
[459] arXiv:1107.4224 [pdf, other]
Title: Greedy Set Cover Estimations
Hakob Aslanyan
Journal-ref: International Conference on Computer Science and Information Technologies. CSIT2003: 143-144, Yerevan, Armenia 2003
Subjects: Discrete Mathematics (cs.DM)
[460] arXiv:1107.4230 [pdf, other]
Title: Direct Sequence Spread Spectrum Steganographic Scheme for IEEE 802.15.4
Elzbieta Zielinska, Krzysztof Szczypiorski
Subjects: Cryptography and Security (cs.CR)
[461] arXiv:1107.4246 [pdf, other]
Title: A computability challenge: asymptotic bounds and isolated error-correcting codes
Yuri I. Manin
Comments: 11 pages
Subjects: Information Theory (cs.IT); Numerical Analysis (math.NA)
[462] arXiv:1107.4251 [pdf, other]
Title: Long-Term Energy Constraints and Power Control in Cognitive Radio Networks
François Mériaux, Yezekael Hayel, Samson Lasaulce, Andrey Garnaev
Comments: DSP 2011: 17th International Conference on Digital Signal Processing, July 2011, Corfu, Greece
Subjects: Networking and Internet Architecture (cs.NI)
[463] arXiv:1107.4257 [pdf, other]
Title: Local Uniqueness of the Circular Integral Invariant
Martin Bauer, Thomas Fidler, Markus Grasmair
Subjects: Numerical Analysis (math.NA); Functional Analysis (math.FA)
[464] arXiv:1107.4258 [pdf, other]
Title: A Stochastic Game Formulation of Energy-Efficient Power Control: Equilibrium Utilities and Practical Strategies
François Mériaux, Maël Le Treust, Samson Lasaulce, Michel Kieffer
Comments: DSP 2011: 17th International Conference on Digital Signal Processing, July 2011, Corfu, Greece
Subjects: Computer Science and Game Theory (cs.GT)
[465] arXiv:1107.4287 [pdf, other]
Title: Finding saddle points of mountain pass type with quadratic models on affine spaces
C.H. Jeffrey Pang
Comments: This paper has been withdrawn because the important ideas have been poorly developed here. A new submission has since subsumed the material in this paper. 20 pages, 4 figures
Subjects: Numerical Analysis (math.NA)
[466] arXiv:1107.4293 [pdf, other]
Title: An analysis of the practical DPG method
Jay Gopalakrishnan, Weifeng Qiu
Comments: Mathematics of Computation, 2012
Subjects: Numerical Analysis (math.NA)
[467] arXiv:1107.4303 [pdf, other]
Title: Interactive ontology debugging: two query strategies for efficient fault localization
Kostyantyn Shchekotykhin, Gerhard Friedrich, Philipp Fleiss, Patrick Rodler
Comments: Published in Web Semantics: Science, Services and Agents on the World Wide Web. arXiv admin note: substantial text overlap with arXiv:1004.5339
Journal-ref: Journal of Web Semantics 12 (2012) 88-103
Subjects: Artificial Intelligence (cs.AI)
[468] arXiv:1107.4346 [pdf, other]
Title: Effective Capacity of Two-Hop Wireless Communication Systems
Deli Qiao, Mustafa Cenk Gursoy, Senem Velipasalar
Subjects: Information Theory (cs.IT)
[469] arXiv:1107.4376 [pdf, other]
Title: Enhancing Knowledge Sharing Between Educational Portals
Maria Teresa Noguera
Comments: 27 pages. Typos corrected
Subjects: Computers and Society (cs.CY)
[470] arXiv:1107.4378 [pdf, other]
Title: Fully De-Amortized Cuckoo Hashing for Cache-Oblivious Dictionaries and Multimaps
Michael T. Goodrich, Daniel S. Hirschberg, Michael Mitzenmacher, Justin Thaler
Comments: 27 pages, 1 table
Subjects: Data Structures and Algorithms (cs.DS)
[471] arXiv:1107.4382 [pdf, other]
Title: Jeux stochastiques et contrôle de puissance distribué
François Mériaux, Maël Le Treust, Samson Lasaulce, Michel Kieffer
Comments: Gretsi 2011, September 2011, Bordeaux, France
Subjects: Computer Science and Game Theory (cs.GT); Networking and Internet Architecture (cs.NI)
[472] arXiv:1107.4386 [pdf, other]
Title: Dynamics in Near-Potential Games
Ozan Candogan, Asuman Ozdaglar, Pablo A. Parrilo
Comments: 42 pages, 8 figures
Journal-ref: Games and Economic Behavior, Volume 82, November 2013, Pages 66-90
Subjects: Computer Science and Game Theory (cs.GT)
[473] arXiv:1107.4396 [pdf, other]
Title: The IHS Transformations Based Image Fusion
Firouz Abdullah Al-Wassai, N.V. Kalyankar, Ali A. Al-Zuky
Comments: Image Fusion, Color Models, IHS, HSV, HSL, YIQ, transformations
Journal-ref: Journal-ref: International Journal of Advanced Research in Computer Science,Volume 2, No. 5, Sept-Oct 2011,www.ijarcs.info
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[474] arXiv:1107.4414 [pdf, other]
Title: Frequency based Classification of Activities using Accelerometer Data
Annapurna Sharma, Amit Purwar, Young-Dong Lee Young-Sook Lee Wan-Young Chung
Comments: IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2008. MFI 2008
Subjects: Neural and Evolutionary Computing (cs.NE)
[475] arXiv:1107.4417 [pdf, other]
Title: Frequency Domain Approach for Activity Classification using Accelerometer
Wan-Young Chung, Amit Purwar, Annapurna Sharma
Comments: 30th Annual International IEEE EMBS Conference, Vancouver, British Columbia, Canada, August 20-24, 2008
Subjects: Emerging Technologies (cs.ET)
[476] arXiv:1107.4422 [pdf, other]
Title: Logical Concurrency Control from Sequential Proofs
Jyotirmoy Deshmukh (University of Texas at Austin), G. Ramalingam (Microsoft Research India), Venkatesh-Prasad Ranganath (Microsoft Research India), Kapil Vaswani (Microsoft Research India)
Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 3 (September 2, 2011) lmcs:986
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[477] arXiv:1107.4429 [pdf, other]
Title: High Accuracy Human Activity Monitoring using Neural network
Annapurna Sharma, Young-Dong Lee, Wan-Young Chung
Comments: 6 pages, 4 figures, 4 Tables, International Conference on Convergence Information Technology, pp. 430-435, 2008 Third International Conference on Convergence and Hybrid Information Technology, 2008
Subjects: Neural and Evolutionary Computing (cs.NE)
[478] arXiv:1107.4452 [pdf, other]
Title: A Game Theoretic Approach to Distributed Opportunistic Scheduling
Albert Banchs, Andres Garcia-Saavedra, Pablo Serrano, Joerg Widmer
Subjects: Networking and Internet Architecture (cs.NI)
[479] arXiv:1107.4463 [pdf, other]
Title: Bottom-Left Placement Theorem for Rectangle Packing
Wenqi Huang, Tao Ye, Duanbing Chen
Subjects: Discrete Mathematics (cs.DM); Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS)
[480] arXiv:1107.4466 [pdf, other]
Title: Counting Perfect Matchings as Fast as Ryser
Andreas Björklund
Comments: To appear at SIAM-ACM SODA 2012
Subjects: Data Structures and Algorithms (cs.DS)
[481] arXiv:1107.4470 [pdf, other]
Title: Symmetry Breaking in Neuroevolution: A Technical Report
Onay Urfalioglu, Orhan Arikan
Subjects: Neural and Evolutionary Computing (cs.NE)
[482] arXiv:1107.4478 [pdf, other]
Title: Soft Session Types (Long Version)
Ugo Dal Lago, Paolo Di Giamberardino
Comments: 24 pages
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[483] arXiv:1107.4496 [pdf, other]
Title: Cartesian stiffness matrix of manipulators with passive joints: analytical approach
Anatoly Pashkevich (IRCCyN), Alexandr Klimchik (IRCCyN), Stéphane Caro (IRCCyN), Damien Chablat (IRCCyN)
Comments: IEEE/RSJ International Conference on Intelligent Robots and Systems, San Franisco : United States (2011)
Subjects: Robotics (cs.RO)
[484] arXiv:1107.4498 [pdf, other]
Title: Singular surfaces and cusps in symmetric planar 3-RPR manipulators
Michel Coste (IRMAR), Philippe Wenger (IRCCyN), Damien Chablat (IRCCyN)
Comments: IEEE/RSJ International Conference on Intelligent Robots and Systems, San Franisco : United States (2011)
Subjects: Robotics (cs.RO)
[485] arXiv:1107.4500 [pdf, other]
Title: Short Huffman Codes Producing 1s Half of the Time
Fabian Altenbach, Georg Böcherer, Rudolf Mathar
Comments: submitted to ICSPCS 2011, Honolulu
Subjects: Information Theory (cs.IT)
[486] arXiv:1107.4502 [pdf, other]
Title: MeLinDa: an interlinking framework for the web of data
François Scharffe (LIRMM), Jérôme Euzenat (INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble)
Comments: N&deg; RR-7691 (2011)
Subjects: Artificial Intelligence (cs.AI)
[487] arXiv:1107.4526 [pdf, other]
Title: Leveraging Bus Mobility to Enable Communications in Urban Areas
Sabrina Gaito, Dario Maggiorini, Gian Paolo Rossi
Comments: 14 pages, 13 figures, 4 tables
Subjects: Networking and Internet Architecture (cs.NI)
[488] arXiv:1107.4530 [pdf, other]
Title: Remarks on generalized toric codes
John B. Little
Comments: 14 pages, 4 figures Version 2 corrects some typos, adds a new reference
Subjects: Information Theory (cs.IT); Algebraic Geometry (math.AG)
[489] arXiv:1107.4537 [pdf, other]
Title: Metastability of Logit Dynamics for Coordination Games
Vincenzo Auletta, Diodato Ferraioli, Francesco Pasquale, Giuseppe Persiano
Subjects: Computer Science and Game Theory (cs.GT)
[490] arXiv:1107.4540 [pdf, other]
Title: Non-adaptive probabilistic group testing with noisy measurements: Near-optimal bounds with efficient algorithms
Chun Lam Chan, Pak Hou Che, Sidharth Jaggi, Venkatesh Saligrama
Subjects: Information Theory (cs.IT)
[491] arXiv:1107.4553 [pdf, other]
Title: Solving Linear Constraints in Elementary Abelian p-Groups of Symmetries
Thierry Boy de la Tour, Mnacho Echenim
Comments: 18 pages
Subjects: Artificial Intelligence (cs.AI)
[492] arXiv:1107.4557 [pdf, other]
Title: Finding Deceptive Opinion Spam by Any Stretch of the Imagination
Myle Ott, Yejin Choi, Claire Cardie, Jeffrey T. Hancock
Comments: 11 pages, 5 tables, data available at: this http URL
Journal-ref: Proceedings of ACL 2011: HLT, pp. 309-319
Subjects: Computation and Language (cs.CL); Computers and Society (cs.CY)
[493] arXiv:1107.4566 [pdf, other]
Title: Groupstrategyproofness of the Egalitarian Mechanism for Constrained Rationing Problems
Shyam S Chandramouli, Jay Sethuraman
Subjects: Computer Science and Game Theory (cs.GT)
[494] arXiv:1107.4570 [pdf, other]
Title: Consistent Query Answering via ASP from Different Perspectives: Theory and Practice
Marco Manna, Francesco Ricca, Giorgio Terracina
Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI)
[495] arXiv:1107.4573 [pdf, other]
Title: Analogy perception applied to seven tests of word comprehension
Peter D. Turney (National Research Council of Canada)
Comments: related work available at this http URL
Journal-ref: Journal of Experimental & Theoretical Artificial Intelligence (JETAI), 2011, Volume 23, Issue 3, pages 343-362
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)
[496] arXiv:1107.4581 [pdf, other]
Title: Hybrid Noncoherent Network Coding
Vitaly Skachek, Olgica Milenkovic, Angelia Nedic
Comments: 15 pages
Subjects: Information Theory (cs.IT)
[497] arXiv:1107.4588 [pdf, other]
Title: Collective Attention and the Dynamics of Group Deals
Mao Ye, Chunyan Wang, Christina Aperjis, Bernardo A. Huberman, Thomas Sandholm
Subjects: Computers and Society (cs.CY); Physics and Society (physics.soc-ph)
[498] arXiv:1107.4600 [pdf, other]
Title: On the Capacity of the Interference Channel with a Cognitive Relay
Stefano Rini, Daniela Tuninetti, Natasha Devroye, Andrea Goldsmith
Subjects: Information Theory (cs.IT)
[499] arXiv:1107.4606 [pdf, other]
Title: The Divergence of Reinforcement Learning Algorithms with Value-Iteration and Function Approximation
Michael Fairbank, Eduardo Alonso
Comments: 8 pages, 4 figures. In Proceedings of the IEEE International Joint Conference on Neural Networks, June 2012, Brisbane (IEEE IJCNN 2012), pp. 3070--3077
Journal-ref: In Proceedings of the IEEE International Joint Conference on Neural Networks, June 2012, Brisbane (IEEE IJCNN 2012), pp. 3070--3077
Subjects: Machine Learning (cs.LG)
[500] arXiv:1107.4617 [pdf, other]
Title: Constant-time filtering using shiftable kernels
Kunal Narayan Chaudhury
Comments: Accepted in IEEE Signal Processing Letters
Journal-ref: IEEE Signal Processing Letters, vol. 18(11), pp. 651 - 654, 2011
Subjects: Computer Vision and Pattern Recognition (cs.CV); Data Structures and Algorithms (cs.DS)
[501] arXiv:1107.4623 [pdf, other]
Title: A Unifying Analysis of Projected Gradient Descent for $\ell_p$-constrained Least Squares
Sohail Bahmani, Bhiksha Raj
Comments: 16 pages, 3 Figures
Journal-ref: Applied and Computational Harmonic Analysis, 34(3):366-378, 2013
Subjects: Numerical Analysis (math.NA); Information Theory (cs.IT); Optimization and Control (math.OC); Machine Learning (stat.ML)
[502] arXiv:1107.4624 [pdf, other]
Title: Computing the obstacle number of a plane graph
Matthew P. Johnson, Deniz Sarioz
Comments: 7 pages, 3 figures
Subjects: Computational Geometry (cs.CG); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
[503] arXiv:1107.4628 [pdf, other]
Title: Instant e-Teaching Framework Model for Live Online Teaching
Suhailan Safei, Mat Atar Mat Amin, Ahmad Nazari Mohd Rose, Mohd Nordin Abdul Rahman
Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 8, Issue 2, March 2011
Subjects: Computers and Society (cs.CY)
[504] arXiv:1107.4637 [pdf, other]
Title: Efficient variational inference in large-scale Bayesian compressed sensing
George Papandreou, Alan Yuille
Comments: 8 pages, 3 figures, appears in Proc. IEEE Workshop on Information Theory in Computer Vision and Pattern Recognition (in conjunction with ICCV-11), Barcelona, Spain, Nov. 2011
Journal-ref: Proc. IEEE Workshop on Information Theory in Computer Vision and Pattern Recognition (in conjunction with ICCV-11), pp. 1332-1339, Barcelona, Spain, Nov. 2011
Subjects: Computer Vision and Pattern Recognition (cs.CV); Information Theory (cs.IT); Machine Learning (stat.ML)
[505] arXiv:1107.4651 [pdf, other]
Title: Higher Order Programming to Mine Knowledge for a Modern Medical Expert System
Nittaya Kerdprasop, Kittisak Kerdprasop
Comments: 9 pages
Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 8, Issue 3, May 2011 ISSN (Online): 1694-0814 www.IJCSI.org
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[506] arXiv:1107.4652 [pdf, other]
Title: On the Achievability of Interference Alignment for Three-Cell Constant Cellular Interfering Networks
Yanjun Ma, Jiandong Li, Rui Chen, Qin Liu
Subjects: Information Theory (cs.IT)
[507] arXiv:1107.4660 [pdf, other]
Title: Reducing Search Lengths with Locally Precomputed Partial Random Walks
Víctor López Millán, Vicent Cholvi, Luis López, Antonio Fernández Anta
Comments: The contents in this articule have suffered major changes. It has been replaced by "Improving Resource Location with Locally Precomputed Partial Random Walks"
Subjects: Networking and Internet Architecture (cs.NI); Distributed, Parallel, and Cluster Computing (cs.DC); Computational Physics (physics.comp-ph)
[508] arXiv:1107.4661 [pdf, other]
Title: MediaWiki Grammar Recovery
Vadim Zaytsev
Comments: 47 pages
Subjects: Multimedia (cs.MM)
[509] arXiv:1107.4667 [pdf, other]
Title: Correlation Estimation from Compressed Images
Vijayaraghavan Thirumalai, Pascal Frossard
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[510] arXiv:1107.4684 [pdf, other]
Title: Introducing Sourcements
J.A. Bergstra, G.P.A.J. Delen, S.F.M. van Vlijmen
Subjects: Software Engineering (cs.SE); General Literature (cs.GL)
[511] arXiv:1107.4687 [pdf, other]
Title: Fence - An Efficient Parser with Ambiguity Support for Model-Driven Language Specification
Luis Quesada, Fernando Berzal, Francisco J. Cortijo
Subjects: Computation and Language (cs.CL)
[512] arXiv:1107.4705 [pdf, other]
Title: A unified graphical approach to random coding for multi-terminal networks
Stefano Rini, Andrea Goldsmith
Subjects: Information Theory (cs.IT)
[513] arXiv:1107.4709 [pdf, other]
Title: Applications of Derandomization Theory in Coding
Mahdi Cheraghchi
Comments: EPFL Phd Thesis
Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Information Theory (cs.IT)
[514] arXiv:1107.4711 [pdf, other]
Title: Finding All Allowed Edges in a Bipartite Graph
Tamir Tassa
Subjects: Discrete Mathematics (cs.DM)
[515] arXiv:1107.4721 [pdf, other]
Title: mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library
Jesse Alama
Comments: Accepted at CICM 2011: Conferences in Intelligent Computer Mathematics, Track C: Systems and Projects
Journal-ref: Intelligent Computer Mathematics, Lecture Notes in Computer Science 6824, pp. 276-7, 2011
Subjects: Digital Libraries (cs.DL); Logic (math.LO)
[516] arXiv:1107.4722 [pdf, other]
Title: Mechanism Design and Risk Aversion
Anand Bhalgat, Tanmoy Chakraborty, Sanjeev Khanna
Subjects: Computer Science and Game Theory (cs.GT)
[517] arXiv:1107.4723 [pdf, other]
Title: A Semantic Relatedness Measure Based on Combined Encyclopedic, Ontological and Collocational Knowledge
Yannis Haralambous, Vitaly Klyuev
Comments: 6 pages, 6 figures, accepted for publication at IJCNLP2011 Conference
Journal-ref: Proceedings of the 5th International Joint Conference on Natural Language Processing, Chiang-Mai, Thailand, November 8-13, 2011
Subjects: Computation and Language (cs.CL)
[518] arXiv:1107.4724 [pdf, other]
Title: Parallel Backtracking with Answer Memoing for Independent And-Parallelism
Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
Comments: 19 pages, 15 figures, uses tlp style
Journal-ref: Theory and Practice of Logic Programming (2011) volume 11, issue 4-5, pages 555-574
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)
[519] arXiv:1107.4732 [pdf, other]
Title: Integrating strong and weak discontinuities without integration subcells and example applications in an XFEM/GFEM framework
Sundararajan Natarajan, D. Roy Mahapatra, Stephane PA Bordas
Comments: 37 pages, 23 figures
Journal-ref: International Journal for Numerical Methods in Engineering, v83 (3), 269-294, 2010
Subjects: Numerical Analysis (math.NA)
[520] arXiv:1107.4734 [pdf, other]
Title: Design of Arabic Diacritical Marks
Mohamed Hssini, Azzeddine Lazrek
Comments: 10 pages, 24 figures; ISSN (Online): 1694-0814 this http URL
Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 8, Issue 3, May 2011
Subjects: Computation and Language (cs.CL)
[521] arXiv:1107.4747 [pdf, other]
Title: The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty
Fabrizio Riguzzi, Terrance Swift
Journal-ref: Theory and Practice of Logic Programming, 27th International Conference on Logic Programming (ICLP'11) Special Issue, 11(4-5), 433-449, 2011
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[522] arXiv:1107.4751 [pdf, other]
Title: Extended Initiality for Typed Abstract Syntax
Benedikt Ahrens (University of Nice Sophia-Antipolis)
Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 2 (April 6, 2012) lmcs:1193
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[523] arXiv:1107.4763 [pdf, other]
Title: Diffeomorphic Metric Mapping of High Angular Resolution Diffusion Imaging based on Riemannian Structure of Orientation Distribution Functions
Jia Du, Alvina Goh, Anqi Qiu
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[524] arXiv:1107.4785 [pdf, other]
Title: A Novel Cyber-Insurance for Internet Security
Ranjan Pal, Leana Golubchik, Konstantinos Psounis
Subjects: Cryptography and Security (cs.CR)
[525] arXiv:1107.4786 [pdf, other]
Title: Towards Bridging IoT and Cloud Services: Proposing Smartphones as Mobile and Autonomic Service Gateways
Roya Golchay (CITI Insa Lyon / Inria Grenoble Rhône-Alpes), Frédéric Le Mouël (CITI Insa Lyon / Inria Grenoble Rhône-Alpes), Stéphane Frénot (CITI Insa Lyon / Inria Grenoble Rhône-Alpes), Julien Ponge (CITI Insa Lyon / Inria Grenoble Rhône-Alpes)
Comments: Position Paper
Journal-ref: UbiMob'2011 (2011) 45--48
Subjects: Operating Systems (cs.OS)
[526] arXiv:1107.4796 [pdf, other]
Title: Use Pronunciation by Analogy for text to speech system in Persian language
Ali Jowharpour, Masha allah abbasi dezfuli, Mohammad hosein Yektaee
Journal-ref: IJCSI Volume 8, Issue 3, May 2011
Subjects: Computation and Language (cs.CL)
[527] arXiv:1107.4797 [pdf, other]
Title: Multiple Access Demodulation in the Lifted Signal Graph with Spatial Coupling
Christian Schlegel, Dmitri Truhachev
Subjects: Information Theory (cs.IT)
[528] arXiv:1107.4810 [pdf, other]
Title: Numerical Stability of Explicit Runge-Kutta Finite-Difference Schemes for the Nonlinear Schrödinger Equation
Ronald M. Caplan, Ricardo Carretero-González
Comments: 21 pages, 6 figures
Subjects: Numerical Analysis (math.NA)
[529] arXiv:1107.4822 [pdf, other]
Title: Optimal Selective Feedback Policies for Opportunistic Beamforming
Tharaka Samarasinghe, Hazer Inaltekin, Jamie S. Evans
Comments: Submitted to IEEE Transactions on Information Theory
Subjects: Information Theory (cs.IT)
[530] arXiv:1107.4824 [pdf, other]
Title: Approximation Algorithms for Digraph Width Parameters
Shiva Kintali, Nishad Kothari, Akash Kumar
Subjects: Data Structures and Algorithms (cs.DS)
[531] arXiv:1107.4830 [pdf, other]
Title: Analysis of a Fast Fourier Transform Based Method for Modeling of Heterogeneous Materials
J. Vondřejc, J. Zeman, I. Marek
Comments: 8 pages, 2 figures
Journal-ref: Lecture Notes in Computer Science 7116: 515-522, 2012
Subjects: Numerical Analysis (math.NA); Materials Science (cond-mat.mtrl-sci); Computational Physics (physics.comp-ph)
[532] arXiv:1107.4838 [pdf, other]
Title: Payoff-based Inhomogeneous Partially Irrational Play for Potential Game Theoretic Cooperative Control of Multi-agent Systems
Tatsuhiko Goto, Takeshi Hatanaka, Masayuki Fujita
Comments: 28 pages, 11 figures, submitted to IEEE TAC
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
[533] arXiv:1107.4850 [pdf, other]
Title: WLAN location system: Background theories and future directions
Debabala Swain, S.P. Panigrahi, S.K. Routray, P.K. Dash, R.R. Mohanty, S.K. Dash
Subjects: Networking and Internet Architecture (cs.NI)
[534] arXiv:1107.4851 [pdf, other]
Title: AWRP: Adaptive Weight Ranking Policy for Improving Cache Performance
Debabala Swain, Bijay Paikaray, Debabrata Swain
Comments: 6 pages; Journal of Computing, Volume 3, Issue 2, February 2011, ISSN 2151-9617; this http URL
Subjects: Performance (cs.PF); Hardware Architecture (cs.AR)
[535] arXiv:1107.4854 [pdf, other]
Title: Padé-type rational and barycentric interpolation
Claude Brezinski, Michela Redivo-Zaglia
Subjects: Numerical Analysis (math.NA)
[536] arXiv:1107.4865 [pdf, other]
Title: Actual Causation in CP-logic
Joost Vennekens
Journal-ref: Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, volume 11, issue 4-5, p.647-662, 2011
Subjects: Artificial Intelligence (cs.AI)
[537] arXiv:1107.4873 [pdf, other]
Title: Dual-Level Compressed Aggregation: Recovering Fields of Physical Quantities from Incomplete Sensory Data
Liu Xiang, Jun Luo, Chenwei Deng, Athanasios V. Vasilakos, Weisi Lin
Subjects: Networking and Internet Architecture (cs.NI)
[538] arXiv:1107.4879 [pdf, other]
Title: On strongly spanning $k$-edge-colorable subgraphs
Vahan V. Mkrtchyan, Gagik N. Vardanyan
Comments: 12 pages, no figures
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[539] arXiv:1107.4893 [pdf, other]
Title: Approximating minimum-power edge-multicovers
Nachshon Cohen, Zeev Nutov
Subjects: Data Structures and Algorithms (cs.DS)
[540] arXiv:1107.4900 [pdf, other]
Title: Threshold Improvement of Low-Density Lattice Codes via Spatial Coupling
Hironori Uchikawa, Brian M. Kurkoski, Kenta Kasai, Kohichi Sakaniwa
Comments: 5 pages, 4 figures, submitted to ICNC2012
Subjects: Information Theory (cs.IT)
[541] arXiv:1107.4918 [pdf, other]
Title: Fluid Flow Complexity in Fracture Networks: Analysis with Graph Theory and LBM
H. O. Ghaffari, M. H. B. Nasseri, R. P. Young
Comments: ARMA21012-ARMA 12-269
Subjects: Computational Engineering, Finance, and Science (cs.CE)
[542] arXiv:1107.4922 [pdf, other]
Title: On the Performance of Space Shift Keying (SSK) Modulation with Imperfect Channel Knowledge
Marco Di Renzo, Dario De Leonardis, Fabio Graziosi, Harald Haas
Comments: IEEE GLOBECOM 2011 (to appear)
Subjects: Performance (cs.PF)
[543] arXiv:1107.4924 [pdf, other]
Title: Discovering Attractive Products based on Influence Sets
Anastasios Arvanitis, Antonios Deligiannakis
Subjects: Databases (cs.DB)
[544] arXiv:1107.4929 [pdf, other]
Title: Some Non-Classical Approaches to the Branderburger-Keisler Paradox
Can Baskent
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[545] arXiv:1107.4931 [pdf, other]
Title: A Logic for Strategy Updates
Can Baskent
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[546] arXiv:1107.4935 [pdf, other]
Title: Public Announcement Logic in Geometric Frameworks
Can Baskent
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)
[547] arXiv:1107.4937 [pdf, other]
Title: Instantiation Schemes for Nested Theories
Mnacho Echenim, Nicolas Peltier
Subjects: Artificial Intelligence (cs.AI)
[548] arXiv:1107.4939 [pdf, other]
Title: Paraconsistency and Topological Semantics
Can Baskent
Comments: arXiv admin note: substantial text overlap with arXiv:1107.4932
Subjects: Logic in Computer Science (cs.LO)
[549] arXiv:1107.4940 [pdf, other]
Title: Mobile Cloud Computing: A Comparison of Application Models
Dejan Kovachev, Yiwei Cao, Ralf Klamma
Subjects: Networking and Internet Architecture (cs.NI); Distributed, Parallel, and Cluster Computing (cs.DC); Multimedia (cs.MM)
[550] arXiv:1107.4950 [pdf, other]
Title: Data Dissemination in Cognitive Radio Networks
Mubashir Husain Rehmani
Subjects: Networking and Internet Architecture (cs.NI)
[551] arXiv:1107.4958 [pdf, other]
Title: Efficient and Accurate Gaussian Image Filtering Using Running Sums
Elhanan Elboher, Michael Werman
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[552] arXiv:1107.4965 [pdf, other]
Title: Polar codes for q-ary channels, q=2^r
Woomyoung Park, Alexander Barg
Comments: This version appears under a new title. Complete proofs of polarization have been added. The preliminary draft (v2) was published in Proc. 49th Allerton Conference, 2011
Subjects: Information Theory (cs.IT)
[553] arXiv:1107.4966 [pdf, other]
Title: Lifted Graphical Models: A Survey
Lilyana Mihalkova, Lise Getoor
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[554] arXiv:1107.4967 [pdf, other]
Title: Normative design using inductive learning
Domenico Corapi, Alessandra Russo, Marina De Vos, Julian Padget, Ken Satoh
Comments: Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, volume 11, issue 4-5, 2011
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[555] arXiv:1107.4969 [pdf, other]
Title: An end-to-end machine learning system for harmonic analysis of music
Yizhao Ni, Matt Mcvicar, Raul Santos-Rodriguez, Tijl De Bie
Comments: MIREX report and preparation of Journal submission
Subjects: Sound (cs.SD); Artificial Intelligence (cs.AI); Multimedia (cs.MM)
[556] arXiv:1107.4970 [pdf, other]
Title: Drawing Graphs with Vertices at Specified Positions and Crossings at Large Angles
Martin Fink, Jan-Henrik Haunert, Tamara Mchedlidze, Joachim Spoerhase, Alexander Wolff
Subjects: Data Structures and Algorithms (cs.DS)
[557] arXiv:1107.4981 [pdf, other]
Title: On the Problem of Wireless Scheduling with Linear Power Levels
Tigran Tonoyan
Subjects: Networking and Internet Architecture (cs.NI)
[558] arXiv:1107.5000 [pdf, other]
Title: An iterative feature selection method for GRNs inference by exploring topological properties
Fabrício Martins Lopes, David C. Martins-Jr, Junior Barrera, Roberto M. Cesar-Jr
Comments: 10 pages, 5 figures, SFFS search method based on scale-free network topology
Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Information Theory (cs.IT); Molecular Networks (q-bio.MN)
[559] arXiv:1107.5030 [pdf, other]
Title: On Combining Linear-Based Strategies for Tabled Evaluation of Logic Programs
Miguel Areias, Ricardo Rocha
Comments: 16 pages, 9 figures, International Conference on Logic Programming (ICLP 2011)
Journal-ref: Theory and Practice of Logic Programming, Volume 11, Special Issue 4-5, July 2011, pp 681-696 Published Cambridge University Press 2011
Subjects: Logic in Computer Science (cs.LO)
[560] arXiv:1107.5087 [pdf, other]
Title: Image representation by blob and its application in CT reconstruction from few projections
Han Wang, Laurent Desbat, Samuel Legoupil
Comments: This paper has been withdrawn by the author due to some errors in the demonstration of proposition 2.2
Subjects: Numerical Analysis (math.NA)
[561] arXiv:1107.5093 [pdf, other]
Title: Oblivious RAM Simulation with Efficient Worst-Case Access Overhead
Michael T. Goodrich, Michael Mitzenmacher, Olga Ohrimenko, Roberto Tamassia
Subjects: Cryptography and Security (cs.CR)
[562] arXiv:1107.5108 [pdf, other]
Title: Cooperative Estimation of 3D Target Motion via Networked Visual Motion Observer
Takeshi Hatanaka, Masayuki Fujita
Comments: 32 pages, 18 figures, submitted to IEEE TAC
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
[563] arXiv:1107.5114 [pdf, other]
Title: Fast and Scalable Analysis of Massive Social Graphs
Xiaohan Zhao, Alessandra Sala, Haitao Zheng, Ben Y. Zhao
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[564] arXiv:1107.5123 [pdf, other]
Title: Achievable Secrecy Sum-Rate in a Fading MAC-WT with Power Control and without CSI of Eavesdropper
Shahid M. Shah, Vireshwar Kumar, Vinod Sharma
Comments: 5 pages, 1 figure, Conference version
Subjects: Information Theory (cs.IT)
[565] arXiv:1107.5142 [pdf, other]
Title: Finite countermodels for safety verification of parameterized tree systems
Alexei Lisitsa
Comments: 18 pages
Subjects: Logic in Computer Science (cs.LO)
[566] arXiv:1107.5152 [pdf, other]
Title: The Magic of Logical Inference in Probabilistic Programming
Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, Luc De Raedt
Comments: 17 pages, 2 figures, International Conference on Logic Programming (ICLP 2011)
Journal-ref: Theory and Practice of Logic Programming, Volume 11, Special Issue 4-5, July 2011, pp 663-680. Cambridge University Press 2011
Subjects: Logic in Computer Science (cs.LO)
[567] arXiv:1107.5154 [pdf, other]
Title: Distributed Planarization and Local Routing Strategies in Sensor Networks
Aubin Jarry, Florian Huc, Pierre Leone, Jose Rolim
Subjects: Networking and Internet Architecture (cs.NI)
[568] arXiv:1107.5186 [pdf, other]
Title: Fast multi-scale edge-detection in medical ultrasound signals
Preben Gråberg Nes
Subjects: Computer Vision and Pattern Recognition (cs.CV); Medical Physics (physics.med-ph)
[569] arXiv:1107.5203 [pdf, other]
Title: Sparse approximation property and stable recovery of sparse signals from noisy measurements
Qiyu Sun
Comments: To appear in IEEE Trans. Signal Processing, 2011
Subjects: Information Theory (cs.IT)
[570] arXiv:1107.5204 [pdf, other]
Title: Analysis of the Incircle predicate for the Euclidean Voronoi diagram of axes-aligned line segments
Manos N. Kamarianakis, Menelaos I. Karavelas
Comments: 17 pages, 4 figures, work presented in the paper is part of M. Kamarianakis' M.S. thesis
Subjects: Computational Geometry (cs.CG)
[571] arXiv:1107.5221 [pdf, other]
Title: Competitive Auctions for Markets with Positive Externalities
Nick Gravin, Pinyan Lu
Subjects: Computer Science and Game Theory (cs.GT)
[572] arXiv:1107.5228 [pdf, other]
Title: Non-Uniform Cellular Automata: classes, dynamics, and decidability
Alberto Dennunzio, Enrico Formenti, Julien Provillard
Comments: Paper submitted to an international journal on June 9, 2011. This is an extended and improved version of the conference paper: G. Cattaneo, A. Dennunzio, E. Formenti, and J. Provillard. "Non-uniform cellular automata". In Proceedings of LATA 2009, volume 5457 of Lecture Notes in Computer Science, pages 302-313. Springer
Subjects: Formal Languages and Automata Theory (cs.FL); Dynamical Systems (math.DS); Cellular Automata and Lattice Gases (nlin.CG)
[573] arXiv:1107.5236 [pdf, other]
Title: Submodular Optimization for Efficient Semi-supervised Support Vector Machines
Wael Emara, Mehmed Kantardzic
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)
[574] arXiv:1107.5241 [pdf, other]
Title: Flooding Time in Opportunistic Networks under Power Law and Exponential Inter-Contact Times
Luca Becchetti, Andrea Clementi, Francesco Pasquale, Giovanni Resta, Paolo Santi, Riccardo Silvestri
Subjects: Social and Information Networks (cs.SI)
[575] arXiv:1107.5242 [pdf, other]
Title: ALPprolog --- A New Logic Programming Method for Dynamic Domains
Conrad Drescher, Michael Thielscher
Comments: 16 pages
Journal-ref: Theory and Practice of Logic Programming, 11(4-5), 451-468, 2011
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[576] arXiv:1107.5252 [pdf, other]
Title: Modules over relative monads for syntax and semantics
Benedikt Ahrens
Comments: v2: - Abstract and Introduction completely rewritten - Addition of examples and remarks in Secs. 1 and 2 - Sec 3 now describes the implementation in proof assistant Coq of the main theorem v3: - final version for publication in MSCS
Journal-ref: Math. Struct. Comp. Sci. 26 (2016) 3-37
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[577] arXiv:1107.5278 [pdf, other]
Title: Finite difference methods for the Infinity Laplace and p-Laplace equations
Adam M. Oberman
Comments: 22 pages, 10 figures
Subjects: Numerical Analysis (math.NA)
[578] arXiv:1107.5279 [pdf, other]
Title: Information-theoretically Secure Regenerating Codes for Distributed Storage
Nihar B. Shah, K. V. Rashmi, P. Vijay Kumar
Comments: Globecom 2011
Subjects: Information Theory (cs.IT); Distributed, Parallel, and Cluster Computing (cs.DC); Networking and Internet Architecture (cs.NI)
[579] arXiv:1107.5290 [pdf, other]
Title: A numerical method for variational problems with convexity constraints
Adam M. Oberman
Comments: 21 pages, 6 figures, 6 tables
Subjects: Numerical Analysis (math.NA)
[580] arXiv:1107.5326 [pdf, other]
Title: Nonlinear free flexural vibrations of functionally graded rectangular and skew plates under thermal environments
N Sundararajan, T Prakash, M Ganapathi
Comments: 30 pages; 3 figures; 7 tables
Journal-ref: Finite Elements in Analysis and Design, v42(2), 152-168, November 2005
Subjects: Numerical Analysis (math.NA)
[581] arXiv:1107.5329 [pdf, other]
Title: Matroidal Degree-Bounded Minimum Spanning Trees
Rico Zenklusen
Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM)
[582] arXiv:1107.5348 [pdf, other]
Title: Decision Making for Rapid Information Acquisition in the Reconnaissance of Random Fields
Dimitar Baronov, John Baillieul
Comments: 34 pages, 20 figures
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
[583] arXiv:1107.5349 [pdf, other]
Title: Multi Layer Analysis
Luca Pinello
Subjects: Computer Vision and Pattern Recognition (cs.CV); Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG); Quantitative Methods (q-bio.QM)
[584] arXiv:1107.5354 [pdf, other]
Title: Replicator Dynamics of Co-Evolving Networks
Aram Galstyan, Ardeshir Kianercy, Armen Allahverdyan
Comments: AAAI Complex Adaptive System Symposium, 2010
Subjects: Computer Science and Game Theory (cs.GT); Social and Information Networks (cs.SI); Populations and Evolution (q-bio.PE)
[585] arXiv:1107.5355 [pdf, other]
Title: A Practical Approach to Polar Codes
Ali Eslami, Hossein Pishro-Nik
Subjects: Information Theory (cs.IT)
[586] arXiv:1107.5363 [pdf, other]
Title: Convergence of the Iterative Rational Krylov Algorithm
Garret Flagg, Christopher Beattie, Serkan Gugercin
Journal-ref: Systems and Control Letters, Volume: 61, Issue: 6, pp. 688-691, 2012
Subjects: Numerical Analysis (math.NA)
[587] arXiv:1107.5364 [pdf, other]
Title: Interpolatory H-infinity Model Reduction
Garret Flagg, Christopher Beattie, Serkan Gugercin
Journal-ref: Systems and Control Letters, Vol. 62, Issue 7, pp. 567-574, 2013
Subjects: Numerical Analysis (math.NA)
[588] arXiv:1107.5370 [pdf, other]
Title: Edge-coloring series-parallel multigraphs
Cristina G. Fernandes, Robin Thomas
Subjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
[589] arXiv:1107.5372 [pdf, other]
Title: Bidirectional Pipelining for Scalable IP Lookup and Packet Classification
Weirong Jiang, Hoang Le, Viktor K. Prasanna
Comments: tech report
Subjects: Networking and Internet Architecture (cs.NI); Data Structures and Algorithms (cs.DS)
[590] arXiv:1107.5377 [pdf, other]
Title: The set of solutions of random XORSAT formulae
Morteza Ibrahimi, Yash Kanoria, Matt Kraning, Andrea Montanari
Comments: Published at this http URL in the Annals of Applied Probability (this http URL) by the Institute of Mathematical Statistics (this http URL)
Journal-ref: Annals of Applied Probability 2015, Vol. 25, No. 5, 2743-2808
Subjects: Discrete Mathematics (cs.DM); Disordered Systems and Neural Networks (cond-mat.dis-nn); Probability (math.PR)
[591] arXiv:1107.5387 [pdf, other]
Title: Controlling wheelchairs by body motions: A learning framework for the adaptive remapping of space
Tauseef Gulrez, Alessandro Tognetti, Alon Fishbach, Santiago Acosta, Christopher Scharver, Danilo De Rossi, Ferdinando A. Mussa-Ivaldi
Comments: This paper was published in the proceedings of Cognitive Systems 2008, Karlsruhe, Germany
Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE)
[592] arXiv:1107.5397 [pdf, other]
Title: Proposed Information Sharing Security Approach for Security Personnels, Vertical Integration, Semantic Interoperability Architecture and Framework for Digital Government
Md.Headayetullah, G.K. Pradhan, Sanjay Biswas, B. Puthal
Comments: 20 pages
Subjects: Cryptography and Security (cs.CR)
[593] arXiv:1107.5399 [pdf, other]
Title: TDMA Achieves the Optimal Diversity Gain in Relay-Assisted Cellular Networks
Suzhi Bi, Ying Jun (Angela)Zhang
Comments: 26 pages, 8 figures
Subjects: Networking and Internet Architecture (cs.NI)
[594] arXiv:1107.5408 [pdf, other]
Title: A structured alternative to Prolog with simple compositional semantics
António Porto
Comments: 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, 2011
Journal-ref: Theory and Practice of Logic Programming 11(4-5), 611-627, 2011
Subjects: Programming Languages (cs.PL)
[595] arXiv:1107.5415 [pdf, other]
Title: The fast Fourier Transform and fast Wavelet Transform for Patterns on the Torus
Ronny Bergmann
Comments: 23 pages, 10 figures, revised version
Journal-ref: Appl. Comp. Harmon. Anal. 35(1), p. 39-51 (2013)
Subjects: Numerical Analysis (math.NA)
[596] arXiv:1107.5419 [pdf, other]
Title: Scalable and Secure Aggregation in Distributed Networks
Sebastien Gambs, Rachid Guerraoui, Hamza Harkous, Florian Huc, Anne-Marie Kermarrec
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Complexity (cs.CC); Cryptography and Security (cs.CR)
[597] arXiv:1107.5461 [pdf, other]
Title: Simplified non-Navier-Stokes model of turbulent flow and its first numerical realization in D2
Krzysztof Moszyński
Subjects: Numerical Analysis (math.NA)
[598] arXiv:1107.5462 [pdf, other]
Title: HyFlex: A Benchmark Framework for Cross-domain Heuristic Search
Edmund Burke, Tim Curtois, Matthew Hyde, Gabriela Ochoa, Jose A. Vazquez-Rodriguez
Comments: 28 pages, 9 figures
Subjects: Artificial Intelligence (cs.AI)
[599] arXiv:1107.5468 [pdf, other]
Title: Measuring Pulsed Interference in 802.11 Links
Brad W. Zarikoff, Douglas J. Leith
Comments: 13 pages, submitted to IEEE/ACM Transactions on Networking
Subjects: Networking and Internet Architecture (cs.NI)
[600] arXiv:1107.5474 [pdf, other]
Title: Selecting Attributes for Sport Forecasting using Formal Concept Analysis
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez
Comments: Paper 3 for the Complex Systems in Sports Workshop 2011 (CS-Sports 2011)
Subjects: Artificial Intelligence (cs.AI)
[601] arXiv:1107.5478 [pdf, other]
Title: Deterministic Construction of an Approximate M-Ellipsoid and its Application to Derandomizing Lattice Algorithms
Daniel Dadush, Santosh Vempala
Subjects: Computational Complexity (cs.CC); Functional Analysis (math.FA)
[602] arXiv:1107.5479 [pdf, other]
Title: Iterative methods for solving the pressure problem at multiphase filtration
P. Vabishchevich, M. Vasil'eva
Subjects: Numerical Analysis (math.NA)
[603] arXiv:1107.5492 [pdf, other]
Title: Application of Gammachirp Auditory Filter as a Continuous Wavelet Analysis
Lotfi Salhi, Kais Ouni
Comments: 16 pages, 17 figures; this http URL
Subjects: Sound (cs.SD)
[604] arXiv:1107.5520 [pdf, other]
Title: Axioms for Rational Reinforcement Learning
Peter Sunehag, Marcus Hutter
Comments: 16 LaTeX pages
Journal-ref: Proc. 22nd International Conf. on Algorithmic Learning Theory (ALT-2011) pages 338-352
Subjects: Machine Learning (cs.LG)
[605] arXiv:1107.5523 [pdf, other]
Title: An Algebraic Approach for Decoding Spread Codes
Elisa Gorla, Felice Manganiello, Joachim Rosenthal
Subjects: Information Theory (cs.IT)
[606] arXiv:1107.5528 [pdf, other]
Title: Time Consistent Discounting
Tor Lattimore, Marcus Hutter
Comments: 17 LaTeX pages, 5 figures
Journal-ref: Proc. 22nd International Conf. on Algorithmic Learning Theory (ALT-2011) pages 383-397
Subjects: Artificial Intelligence (cs.AI); Systems and Control (eess.SY); Optimization and Control (math.OC)
[607] arXiv:1107.5531 [pdf, other]
Title: Universal Prediction of Selected Bits
Tor Lattimore, Marcus Hutter, Vaibhav Gavane
Comments: 17 LaTeX pages
Journal-ref: Proc. 22nd International Conf. on Algorithmic Learning Theory (ALT-2011) pages 262-276
Subjects: Machine Learning (cs.LG); Information Theory (cs.IT)
[608] arXiv:1107.5537 [pdf, other]
Title: Asymptotically Optimal Agents
Tor Lattimore, Marcus Hutter
Comments: 21 LaTeX pages
Journal-ref: Proc. 22nd International Conf. on Algorithmic Learning Theory (ALT-2011) pages 368-382
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[609] arXiv:1107.5538 [pdf, other]
Title: An Anonymous Authentication and Communication Protocol for Wireless Mesh Networks
Jaydip Sen
Comments: 13 pages, 6 figures. First International Conference on Advances in Computing and Communication (ACC 2011), Kochi, India, July 22 - 24, 2011
Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)
[610] arXiv:1107.5541 [pdf, other]
Title: Closed Form Secrecy Capacity of MIMO Wiretap Channels with Two Transmit Antennas
Jiangyuan Li, Athina Petropulu
Comments: 1 figure
Subjects: Information Theory (cs.IT)
[611] arXiv:1107.5543 [pdf, other]
Title: Coevolution of Network Structure and Content
Chun-Yuen Teng, Liuling Gong, Avishay Livne, Celso Brunetti, Lada A. Adamic
Comments: 10 pages, 10 figures V2 includes a simulation model; Proc. 4th International Conference on Web Science (WebSci'11), 2012
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[612] arXiv:1107.5550 [pdf, other]
Title: The solution space geometry of random linear equations
Dimitris Achlioptas, Michael Molloy
Comments: Corrects an error from previous versions. Lemma 35(b) replaces Observation 5 in the journal publication
Journal-ref: Random Structures and Algorithms 46, 197-231 (2015)
Subjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
[613] arXiv:1107.5556 [pdf, other]
Title: Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs
Flavio Cruz, Ricardo Rocha
Comments: Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP 2011) Special Issue, volume 11, issue 4-5
Journal-ref: Theory and Practice of Logic Programming, Volume 11, Special Issue 4-5, July 2011, pp 697-712 Published Cambridge University Press 2011
Subjects: Programming Languages (cs.PL)
[614] arXiv:1107.5559 [pdf, other]
Title: You Share, I Share: Network Effects and Economic Incentives in P2P File-Sharing Systems
Mahyar Salek, Shahin Shayandeh, David Kempe
Comments: 20 pages
Subjects: Networking and Internet Architecture (cs.NI); Discrete Mathematics (cs.DM)
[615] arXiv:1107.5594 [pdf, other]
Title: Attacker Control and Impact for Confidentiality and Integrity
Aslan Askarov (Cornell University), Andrew Myers (Cornell University)
Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 3 (September 26, 2011) lmcs:987
Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)
[616] arXiv:1107.5605 [pdf, other]
Title: Singular Perturbation Approximations for a Class of Linear Quantum Systems
Ian R. Petersen
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC); Quantum Physics (quant-ph)
[617] arXiv:1107.5607 [pdf, other]
Title: Low Frequency Approximation for a class of Linear Quantum Systems using Cascade Cavity Realization
Ian R. Petersen
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC); Quantum Physics (quant-ph)
[618] arXiv:1107.5615 [pdf, other]
Title: Lagrange Stabilization of Pendulum-like Systems: A Pseudo H-infinity Control Approach
Hua Ouyang, Ian R. Petersen, Valery Ugrinovskii
Journal-ref: IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 57, NO. 3, MARCH 2012
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
[619] arXiv:1107.5637 [pdf, other]
Title: Quantization of Binary-Input Discrete Memoryless Channels
Brian M. Kurkoski, Hideki Yagi
Comments: 9 pages, 5 figures. Source code available at this http URL
Subjects: Information Theory (cs.IT)
[620] arXiv:1107.5638 [pdf, other]
Title: Model Based Synthesis of Control Software from System Level Formal Specifications
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Comments: Accepted for publication by ACM Transactions on Software Engineering and Methodology (TOSEM)
Subjects: Software Engineering (cs.SE); Systems and Control (eess.SY)
[621] arXiv:1107.5645 [pdf, other]
Title: Minimization of Storage Cost in Distributed Storage Systems with Repair Consideration
Quan Yu, Kenneth W. Shum, Chi Wan Sung
Comments: 5 pages, 4 figures, to appear in Proc. IEEE GLOBECOM, 2011
Subjects: Information Theory (cs.IT); Distributed, Parallel, and Cluster Computing (cs.DC)
[622] arXiv:1107.5654 [pdf, other]
Title: Interest-Based vs. Social Person-Recommenders in Social Networking Platforms
Georg Groh, Michele Brocco, Andreas Kleemann
Subjects: Social and Information Networks (cs.SI); Computers and Society (cs.CY); Physics and Society (physics.soc-ph)
[623] arXiv:1107.5661 [pdf, other]
Title: On the Impact of Random Index-Partitioning on Index Compression
M. Feldman, R. Lempel, O. Somekh, K. Vornovitsky
Comments: 9 pages, 4 figures
Subjects: Information Retrieval (cs.IR)
[624] arXiv:1107.5671 [pdf, other]
Title: Automatic Network Reconstruction using ASP
Max Ostrowski, Torsten Schaub, Markus Durzinsky, Wolfgang Marwan, Annegret Wagler
Journal-ref: Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, volume 11, issue 4-5, pages 749-766, 2011
Subjects: Machine Learning (cs.LG)
[625] arXiv:1107.5708 [pdf, other]
Title: Perfect Codes for Uniform Chains Poset Metrics
Tuvi Etzion
Subjects: Information Theory (cs.IT); Combinatorics (math.CO)
[626] arXiv:1107.5722 [pdf, other]
Title: Termination in a Pi-calculus with Subtyping
Ioana Cristescu (LIP), Daniel Hirschkoff (LIP)
Journal-ref: 18th International Workshop on Expressiveness in Concurrency, Aachen : Germany (2011)
Subjects: Logic in Computer Science (cs.LO)
[627] arXiv:1107.5730 [pdf, other]
Title: On the Role of Diversity in Sparsity Estimation
Galen Reeves, Michael Gastpar
Comments: Presented at the IEEE International Symposium on Information Theory (ISIT 2011), Saint Petersburg, Russia, August, 2011
Subjects: Information Theory (cs.IT)
[628] arXiv:1107.5742 [pdf, other]
Title: Complex Optimization in Answer Set Programming
Martin Gebser, Roland Kaminski, Torsten Schaub
Comments: 18 pages, 5 figures
Journal-ref: Theory and Practice of Logic Programming, 11(4-5), 821-839, 2011
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[629] arXiv:1107.5743 [pdf, other]
Title: NEMO: Extraction and normalization of organization names from PubMed affiliation strings
Siddhartha Jonnalagadda, Philip Topham
Journal-ref: Siddhartha Jonnalagadda, Philip Topham. NEMO: Extraction and normalization of organization names from PubMed affiliation strings. Journal of Biomedical Discovery and Collaboration, 2010 Oct 4;5:50-75
Subjects: Computation and Language (cs.CL)
[630] arXiv:1107.5744 [pdf, other]
Title: BioSimplify: an open source sentence simplification engine to improve recall in automatic biomedical information extraction
Siddhartha Jonnalagadda, Graciela Gonzalez
Journal-ref: Siddhartha Jonnalagadda, Graciela Gonzalez. BioSimplify: an open source sentence simplification engine to improve recall in automatic biomedical information extraction. In Annual Proceedings of AMIA 2010
Subjects: Computation and Language (cs.CL)
[631] arXiv:1107.5752 [pdf, other]
Title: An Effective Approach to Biomedical Information Extraction with Limited Training Data
Siddhartha Jonnalagadda
Comments: This paper has been withdrawn
Journal-ref: Jonnalagadda S. An effective approach to biomedical information extraction with limited training data (PhD Dissertation, Arizona State University). 2011;
Subjects: Computation and Language (cs.CL)
[632] arXiv:1107.5766 [pdf, other]
Title: Information, Utility & Bounded Rationality
Pedro A. Ortega, Daniel A. Braun
Comments: 10 pages. The original publication is available at this http URL
Journal-ref: The Fourth Conference on General Artificial Intelligence (AGI-11), 2011
Subjects: Artificial Intelligence (cs.AI)
[633] arXiv:1107.5778 [pdf, other]
Title: Relay Selection with Channel Probing in Sleep-Wake Cycling Wireless Sensor Networks
K P Naveen, Anurag Kumar
Comments: 20 pages, 8 figures, Conference version of this report was presented in WiOpt 2012
Subjects: Networking and Internet Architecture (cs.NI)
[634] arXiv:1107.5782 [pdf, other]
Title: Codes as fractals and noncommutative spaces
Matilde Marcolli, Christopher Perez
Comments: 18 pages LaTeX, one png figure
Subjects: Information Theory (cs.IT)
[635] arXiv:1107.5790 [pdf, other]
Title: Image Deblurring Using Derivative Compressed Sensing for Optical Imaging Application
Mohammad Rostami, Oleg Michailovich, Zhou Wang
Subjects: Numerical Analysis (math.NA)
[636] arXiv:1107.5806 [pdf, other]
Title: On Computing a Function of Correlated Sources
Milad Sefidgaran, Aslan Tchamkerten
Comments: 11 pages, Submitted to IEEE Transactions on Information Theory
Subjects: Information Theory (cs.IT)
[637] arXiv:1107.5847 [pdf, other]
Title: Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures
Mohammad Reza Mousavi, Antonio Ravara
Comments: EPTCS 58, 2011
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[638] arXiv:1107.5850 [pdf, other]
Title: Confidence-Based Dynamic Classifier Combination For Mean-Shift Tracking
Ibrahim Saygin Topkaya, Hakan Erdogan
Comments: This paper has been withdrawn by the author due to an implementation issue
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[639] arXiv:1107.5851 [pdf, other]
Title: Co-evolution of Content Popularity and Delivery in Mobile P2P Networks
Srinivasan Venkatramanan, Anurag Kumar
Comments: 21 pages, 16 figures
Subjects: Social and Information Networks (cs.SI); Multiagent Systems (cs.MA)
[640] arXiv:1107.5870 [pdf, other]
Title: Evolutionary Dynamics of Scientific Collaboration Networks: Multi-Levels and Cross-time Analysis
Alireza Abbasi, Liaquat Hossain, Shahadat Uddin, Kim J.R. Rasmussen
Comments: Accepted for publication in Scientometrics
Subjects: Social and Information Networks (cs.SI); Digital Libraries (cs.DL); Physics and Society (physics.soc-ph)
[641] arXiv:1107.5886 [pdf, other]
Title: Three Applications to Rational Relations of the High Undecidability of the Infinite Post Correspondence Problem in a Regular omega-Language
Olivier Finkel (ELM)
Comments: To appear in: Special Issue: Frontier Between Decidability and Undecidability and Related Problems, International Journal of Foundations of Computer Science
Journal-ref: International Journal of Foundations of Computer Science 23, 7 (2012) p. 1481-1497
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO)
[642] arXiv:1107.5893 [pdf, other]
Title: The FD-method for solving Sturm-Liouville problems with special singular differential operator
Volodymyr Makarov, Denis Dragunov, Yaroslav Klimenko
Comments: 23 pages, 3 figures, 7 tables
Subjects: Numerical Analysis (math.NA)
[643] arXiv:1107.5897 [pdf, other]
Title: An Algebraic Specification of the Semantic Web
Katerina Ksystra, Nikolaos Triantafyllou, Petros Stefaneas, Panayiotis Frangos
Comments: 6 pages
Subjects: Logic in Computer Science (cs.LO)
[644] arXiv:1107.5924 [pdf, other]
Title: Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation
Lubos Brim, Jana Fabrikova, Sven Drazan, David Safranek
Comments: Full version of a paper accepted to COMPMOD 2011
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC); Quantitative Methods (q-bio.QM)
[645] arXiv:1107.5930 [pdf, other]
Title: Technical Note: Towards ROC Curves in Cost Space
José Hernández-Orallo, Peter Flach, Cèsar Ferri
Subjects: Artificial Intelligence (cs.AI)
[646] arXiv:1107.5951 [pdf, other]
Title: Optimal, scalable forward models for computing gravity anomalies
Dave A. May, Matthew G. Knepley
Comments: 38 pages, 13 figures; accepted by Geophysical Journal International
Journal-ref: Geophysical Journal International, 187(1):161-177, 2011
Subjects: Computational Engineering, Finance, and Science (cs.CE); Distributed, Parallel, and Cluster Computing (cs.DC); Geophysics (physics.geo-ph)
[647] arXiv:1107.5953 [pdf, other]
Title: Multivalued Subsets Under Information Theory
Indraneel Dabhade
Subjects: Information Theory (cs.IT)
[648] arXiv:1107.5968 [pdf, other]
Title: Input-Output Finite-Time Stability
Gianmaria De Tommasi, Roberto Ambrosino, Giuseppe Carannante, Carlo Cosentino, Alfredo Pironti, Francesco Amato
Comments: 14 pages, 9 figures, 2 tables. This paper has been accepted for presentation at this http URL, Convegno Annuale dei Docenti e Ricercatori Italiani in Automatica, Pisa, Italy, September 2011
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
[649] arXiv:1107.5980 [pdf, other]
Title: SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amram, Carsten Fuhs, Jürgen Giesl
Journal-ref: Theory and Practice of Logic Programming, 27th International Conference on Logic Programming (ICLP'11) Special Issue, volume 11, issue 4-5, pages 503-520, 2011
Subjects: Logic in Computer Science (cs.LO)
[650] arXiv:1107.6004 [pdf, other]
Title: Explicit Bounds for Entropy Concentration under Linear Constraints
Kostas N. Oikonomou, Peter D. Grunwald
Comments: 1) An error affecting sec. 3 has been corrected: the parameters delta and theta cannot be chosen independently. Sec. 3 has been revised up to Theorem 3.15 in sec. 3.6. 2) Some minor updates in sec. 4. 3) Some proofs used in both sec. 3 and sec. 4 have been unified (This version to appear in IEEE Transactions on Information Theory, December 2015)
Subjects: Information Theory (cs.IT); Data Analysis, Statistics and Probability (physics.data-an)
[651] arXiv:1107.6014 [pdf, other]
Title: Snap-Stabilizing Message Forwarding Algorithm on Tree Topologies
Alain Cournier (MIS), Swan Dubois (LIP6), Anissa Lamani (MIS), Franck Petit (LIP6), Vincent Villain (MIS)
Comments: 2011
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[652] arXiv:1107.6027 [pdf, other]
Title: Minimax-Optimal Bounds for Detectors Based on Estimated Prior Probabilities
Jiantao Jiao, Lin Zhang, Robert Nowak
Comments: Submitted to IEEE Transactions on Information Theory
Subjects: Information Theory (cs.IT); Machine Learning (stat.ML)
[653] arXiv:1107.6038 [pdf, other]
Title: Convergence Analysis of Meshfree Approximation Schemes
Agustin Bompadre, Bernd Schmidt, Michael Ortiz
Subjects: Numerical Analysis (math.NA)
[654] arXiv:1107.0076 (cross-list from stat.AP) [pdf, other]
Title: KARMA: Kalman-based autoregressive moving average modeling and inference for formant and antiformant tracking
Daryush D. Mehta, Daniel Rudoy, Patrick J. Wolfe
Comments: 13 pages, 7 figures; submitted for publication
Journal-ref: Journal of the Acoustical Society of America, vol. 132, pp. 1732-1746, 2012
Subjects: Applications (stat.AP); Sound (cs.SD)
[655] arXiv:1107.0082 (cross-list from math.PR) [pdf, other]
Title: A case of combination of evidence in the Dempster-Shafer theory inconsistent with evaluation of probabilities
Andrzej K. Brodzik, Robert H. Enders
Subjects: Probability (math.PR); Artificial Intelligence (cs.AI)
[656] arXiv:1107.0124 (cross-list from math.OC) [pdf, other]
Title: A Gel'fand-type spectral radius formula and stability of linear constrained switching systems
Xiongping Dai
Comments: 16 pages; to appear in Linear Algebra and its Applications
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Dynamical Systems (math.DS); Rings and Algebras (math.RA)
[657] arXiv:1107.0132 (cross-list from math.PR) [pdf, other]
Title: Pointwise Stabilization of Discrete-time Stationary Matrix-valued Markovian Chains
Xiongping Dai, Yu Huang, Mingqing Xiao
Comments: 7 pages; submitted
Subjects: Probability (math.PR); Systems and Control (eess.SY); Dynamical Systems (math.DS); Optimization and Control (math.OC)
[658] arXiv:1107.0133 (cross-list from math.GR) [pdf, other]
Title: On the distance between non-isomorphic groups
Gábor Ivanyos, François Le Gall, Yuichi Yoshida
Comments: 2 pages; corrected reference
Journal-ref: European Journal of Combinatorics, Vol. 33 No. 4, pp. 474-476, 2012
Subjects: Group Theory (math.GR); Discrete Mathematics (cs.DM)
[659] arXiv:1107.0161 (cross-list from math.OC) [pdf, other]
Title: Quadratic order conditions for bang-singular extremals
Maria Soledad Aronna (CIFASIS CONICET, INRIA Saclay - Ile de France, CMAP, CIFASIS), J. Frederic Bonnans (INRIA Saclay - Ile de France, CMAP), Andrei V. Dmitruk (CEMI, Lomonosov Moscow State University), Pablo Lotito (PLADEMA CONICET)
Comments: 41 pages
Journal-ref: AIMS Journal - Numerical Algebra, Control and Optimization, pp. 511 - 546, Volume 2, Issue 3, September 2012, special issue in honor of Helmut Maurer
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
[660] arXiv:1107.0177 (cross-list from math.SP) [pdf, other]
Title: On the Spectra and Pseudospectra of a Class of Non-Self-Adjoint Random Matrices and Operators
Simon N. Chandler-Wilde, Ratchanikorn Chonchaiya, Marko Lindner
Subjects: Spectral Theory (math.SP); Mathematical Physics (math-ph); Numerical Analysis (math.NA)
[661] arXiv:1107.0207 (cross-list from math.CO) [pdf, other]
Title: Identifying codes in line graphs
Florent Foucaud (LaBRI), Sylvain Gravier (IF), Reza Naserasr (LaBRI), Aline Parreau (IF), Petru Valicov (LaBRI)
Journal-ref: Journal of Graph Theory 73, 4 (2013) 425-448
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
[662] arXiv:1107.0237 (cross-list from quant-ph) [pdf, other]
Title: Team Decision Problems with Classical and Quantum Signals
Adam Brandenburger, Pierfrancesco La Mura
Comments: 18 pages, 16 figures
Journal-ref: Philosophical Transactions of the Royal Society A, 374 (2016), 2058
Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT); Theoretical Economics (econ.TH); Mathematical Physics (math-ph)
[663] arXiv:1107.0326 (cross-list from math.HO) [pdf, other]
Title: The Monty Hall Problem in the Game Theory Class
Alexander Gnedin
Comments: 18 pages, 1 color figure
Subjects: History and Overview (math.HO); Computer Science and Game Theory (cs.GT)
[664] arXiv:1107.0327 (cross-list from math.CO) [pdf, other]
Title: Many collinear k-tuples with no k+1 collinear points
József Solymosi, Miloš Stojaković
Subjects: Combinatorics (math.CO); Computational Geometry (cs.CG)
[665] arXiv:1107.0360 (cross-list from math-ph) [pdf, other]
Title: Barrier methods for critical exponent problems in geometric analysis and mathematical physics
Jennifer Erway, Michael Holst
Subjects: Mathematical Physics (math-ph); General Relativity and Quantum Cosmology (gr-qc); Analysis of PDEs (math.AP); Numerical Analysis (math.NA); Optimization and Control (math.OC); Computational Physics (physics.comp-ph)
[666] arXiv:1107.0414 (cross-list from physics.data-an) [pdf, other]
Title: A random walk on image patches
Kye M. Taylor, Francois G. Meyer
Subjects: Data Analysis, Statistics and Probability (physics.data-an); Discrete Mathematics (cs.DM); Machine Learning (stat.ML)
[667] arXiv:1107.0429 (cross-list from physics.soc-ph) [pdf, other]
Title: Small world yields the most effective information spreading
Linyuan Lü, Duan-Bing Chen, Tao Zhou
Comments: 6 pages, 7 figures, accepted by New J. Phys
Journal-ref: New J. Phys. 13 (2011) 123005
Subjects: Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI); Data Analysis, Statistics and Probability (physics.data-an)
[668] arXiv:1107.0539 (cross-list from physics.soc-ph) [pdf, other]
Title: Corporate competition: A self-organized network
Dan Braha, Blake Stacey, Yaneer Bar-Yam
Comments: In Press Social Networks, 2011
Journal-ref: Social Networks 33, 3 (July 2011) pp. 219--30
Subjects: Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI); Adaptation and Self-Organizing Systems (nlin.AO)
[669] arXiv:1107.0622 (cross-list from math.OC) [pdf, other]
Title: Modelling and Control of Blowing-Venting Operations in Manned Submarines
Roberto Font, Javier Garcia, Jose Alberto Murillo, Francisco Periago
Comments: This paper has been withdrawn by the authors. It is currently being considered for publication
Journal-ref: Journal of Control Engineering and Technology, 4: 37-49, 2013
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
[670] arXiv:1107.0624 (cross-list from quant-ph) [pdf, other]
Title: Infinitely many constrained inequalities for the von Neumann entropy
Josh Cadney, Noah Linden, Andreas Winter
Comments: 11 pages
Journal-ref: IEEE Trans. Inf. Theory 58, 3657 (2012)
Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
[671] arXiv:1107.0674 (cross-list from nlin.AO) [pdf, other]
Title: "Memory foam" approach to unsupervised learning
Natalia B. Janson, Christopher J. Marsden
Comments: 4 pages, 4 figures, and 2 wave files
Subjects: Adaptation and Self-Organizing Systems (nlin.AO); Machine Learning (cs.LG)
[672] arXiv:1107.0687 (cross-list from math.AC) [pdf, other]
Title: Decomposition of Polynomials
Raoul Blankertz
Subjects: Commutative Algebra (math.AC); Symbolic Computation (cs.SC)
[673] arXiv:1107.0848 (cross-list from math.HO) [pdf, other]
Title: The Unlucky Door
Alexander Gnedin
Comments: 5 pages
Subjects: History and Overview (math.HO); Computer Science and Game Theory (cs.GT)
[674] arXiv:1107.0878 (cross-list from physics.soc-ph) [pdf, other]
Title: Learning to play public good games
Alex J. Bladon, Tobias Galla
Comments: 14 pages, 12 figures
Journal-ref: Phys. Rev. E 84, 041132 (2011)
Subjects: Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI); Populations and Evolution (q-bio.PE)
[675] arXiv:1107.0927 (cross-list from stat.AP) [pdf, other]
Title: Application of Predictive Model Selection to Coupled Models
Gabriel Terejanu, Todd Oliver, Chris Simmons
Comments: Submitted to International Conference on Modeling, Simulation and Control 2011 (ICMSC'11), San Francisco, USA, 19-21 October, 2011
Subjects: Applications (stat.AP); Information Theory (cs.IT); Data Analysis, Statistics and Probability (physics.data-an)
[676] arXiv:1107.1011 (cross-list from math.OC) [pdf, other]
Title: Hamilton-Jacobi Equations and Two-Person Zero-Sum Differential Games with Unbounded Controls
Hong Qiu, Jiongmin Yong
Comments: 34 pages
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
[677] arXiv:1107.1066 (cross-list from math.CO) [pdf, other]
Title: Families of twisted tensor product codes
Luca Giuzzi, Valentina Pepe
Comments: Keywords: Segre Product, Veronesean, Grassmannian, Desarguesian spread, Subgeometry, Twisted Product, Constacyclic error correcting code, Minimum weight
Journal-ref: Designs, Codes and Cryptography June 2013, Volume 67, Issue 3, pp 375-384
Subjects: Combinatorics (math.CO); Information Theory (cs.IT)
[678] arXiv:1107.1155 (cross-list from physics.soc-ph) [pdf, other]
Title: Limits of modularity maximization in community detection
Andrea Lancichinetti, Santo Fortunato
Comments: 9 pages, 9 figures. Analysis extended to other global optimization methods. Final version published in Physical Review E
Journal-ref: Physical Review E84, 066122 (2011)
Subjects: Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI)
[679] arXiv:1107.1163 (cross-list from math.OC) [pdf, other]
Title: Conditional Gradient Algorithms for Rank-One Matrix Approximations with a Sparsity Constraint
Ronny Luss, Marc Teboulle
Comments: Minor changes. Final version. To appear in SIAM Review
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
[680] arXiv:1107.1229 (cross-list from stat.AP) [pdf, other]
Title: Characteristic Characteristics
Sean Brocklebank, Scott Pauls, Daniel Rockmore, Timothy C. Bates
Comments: 23 pages, 5 Figures, 3 Tables
Subjects: Applications (stat.AP); Information Retrieval (cs.IR); Data Analysis, Statistics and Probability (physics.data-an)
[681] arXiv:1107.1257 (cross-list from physics.comp-ph) [pdf, other]
Title: Evidence-Based Filters for Signal Detection: Application to Evoked Brain Responses
M. Asim Mubeen, Kevin H. Knuth
Comments: 8 Pages, 3 figures, 7 equations
Subjects: Computational Physics (physics.comp-ph); Computer Vision and Pattern Recognition (cs.CV); Medical Physics (physics.med-ph)
[682] arXiv:1107.1345 (cross-list from math.OC) [pdf, other]
Title: Distances and Riemannian metrics for multivariate spectral densities
Xianhua Jiang, Lipeng Ning, Tryphon T. Georgiou
Comments: 21 pages, 8 figures
Journal-ref: Automatic Control, IEEE Transactions on 57.7 (2012): 1723-1735
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Statistics Theory (math.ST)
[683] arXiv:1107.1347 (cross-list from quant-ph) [pdf, other]
Title: Sequential, successive, and simultaneous decoders for entanglement-assisted classical communication
Shen Chen Xu, Mark M. Wilde
Comments: 33 pages, 2 figures; v2 contains a proof of the quantum simultaneous decoding conjecture for two-sender quantum multiple access channels; v3 shows how to recover the known unassisted and assisted quantum communication regions with a coherent quantum simultaneous decoder
Journal-ref: Quantum Information Processing, vol. 12, no. 1, pp. 641-683 (January 2013)
Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
[684] arXiv:1107.1382 (cross-list from math.OC) [pdf, other]
Title: Operations-Based Planning for Placement and Sizing of Energy Storage in a Grid With a High Penetration of Renewables
Krishnamurthy Dvijotham, Scott Backhaus, Misha Chertkov
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Physics and Society (physics.soc-ph)
[685] arXiv:1107.1401 (cross-list from math.PR) [pdf, other]
Title: Coupons collecting with or without replacement, and with multipurpose coupons
Marcel Wild, Svante Janson, Stephan Wagner, Dirk Laurie
Journal-ref: Discrete Mathematics and Theoretical Computer Science 15 (2013) 259-270
Subjects: Probability (math.PR); Discrete Mathematics (cs.DM)
[686] arXiv:1107.1445 (cross-list from physics.data-an) [pdf, other]
Title: Bayesian experimental design for the active nitridation of graphite by atomic nitrogen
Gabriel Terejanu, Rochan R. Upadhyay, Kenji Miki
Comments: Preprint submitted to Experimental Thermal and Fluid Science, February 2011
Subjects: Data Analysis, Statistics and Probability (physics.data-an); Information Theory (cs.IT); Applications (stat.AP)
[687] arXiv:1107.1467 (cross-list from math.OC) [pdf, other]
Title: Geometry of Injection Regions of Power Networks
Baosen Zhang, David Tse
Comments: To appear in IEEE Transaction on Power Systems. Short version appeared in Allerton 2011
Subjects: Optimization and Control (math.OC); Information Theory (cs.IT); Systems and Control (eess.SY)
[688] arXiv:1107.1520 (cross-list from math.CO) [pdf, other]
Title: Lipschitz Games
Yaron Azrieli, Eran Shmaya
Comments: minor changes, forthcoming in Mathematics of Operations Research
Journal-ref: Mathematics of Operations Research May 2013 vol. 38
Subjects: Combinatorics (math.CO); Computer Science and Game Theory (cs.GT)
[689] arXiv:1107.1536 (cross-list from math.PR) [pdf, other]
Title: The M/M/Infinity Service System with Ranked Servers in Heavy Traffic
Patrick Eschenfeldt, Ben Gross, Nicholas Pippenger
Comments: i+6 pp
Subjects: Probability (math.PR); Performance (cs.PF)
[690] arXiv:1107.1545 (cross-list from stat.AP) [pdf, other]
Title: Comparison of SCIPUFF Plume Prediction with Particle Filter Assimilated Prediction for Dipole Pride 26 Data
Gabriel Terejanu, Yang Cheng, Tarunraj Singh, Peter D. Scott
Comments: The Chemical and Biological Defense Physical Science and Technology Conference, New Orleans, November 2008
Subjects: Applications (stat.AP); Distributed, Parallel, and Cluster Computing (cs.DC); Data Analysis, Statistics and Probability (physics.data-an)
[691] arXiv:1107.1580 (cross-list from math.OC) [pdf, other]
Title: Controller Synthesis for Robust Invariance of Polynomial Dynamical Systems using Linear Programming
Mohamed Amin Ben Sassi, Antoine Girard
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
[692] arXiv:1107.1653 (cross-list from math.OC) [pdf, other]
Title: Multigrid methods for two-player zero-sum stochastic games
Marianne Akian, Sylvie Detournay
Comments: 31 pages
Journal-ref: Numer. Linear Algebra Appl., 19: 313-342, 2012
Subjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
[693] arXiv:1107.1691 (cross-list from math.OC) [pdf, other]
Title: Minimum-Time Quantum Transport with Bounded Trap Velocity
Dionisis Stefanatos, Jr-Shin Li
Journal-ref: IEEE Transactions on Automatic Control 59 (3), 733 - 738, 2014
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Quantum Physics (quant-ph)
[694] arXiv:1107.1697 (cross-list from stat.CO) [pdf, other]
Title: Distinct counting with a self-learning bitmap
Aiyou Chen, Jin Cao, Larry Shepp, Tuan Nguyen
Comments: Journal of the American Statistical Association (accepted)
Subjects: Computation (stat.CO); Data Structures and Algorithms (cs.DS)
[695] arXiv:1107.1736 (cross-list from stat.ML) [pdf, other]
Title: High-dimensional structure estimation in Ising models: Local separation criterion
Animashree Anandkumar, Vincent Y. F. Tan, Furong Huang, Alan S. Willsky
Comments: Published in at this http URL the Annals of Statistics (this http URL) by the Institute of Mathematical Statistics (this http URL)
Journal-ref: Annals of Statistics 2012, Vol. 40, No. 3, 1346-1375
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Statistics Theory (math.ST)
[696] arXiv:1107.1744 (cross-list from math.OC) [pdf, other]
Title: Stochastic convex optimization with bandit feedback
Alekh Agarwal, Dean P. Foster, Daniel Hsu, Sham M. Kakade, Alexander Rakhlin
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Systems and Control (eess.SY)
[697] arXiv:1107.1750 (cross-list from physics.soc-ph) [pdf, other]
Title: Structural and Dynamical Patterns on Online Social Networks: the Spanish May 15th Movement as a case study
Javier Borge-Holthoefer, Alejandro Rivero, Iñigo García, Elisa Cauhé, Alfredo Ferrer, Darío Ferrer, David Francos, David Iñiguez, María Pilar Pérez, Gonzalo Ruiz, Francisco Sanz, Fermín Serrano, Cristina Viñas, Alfonso Tarancón, Yamir Moreno
Comments: 16 pages, 7 figures
Journal-ref: PLoS ONE 6(8): e23883, 2011
Subjects: Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI); Adaptation and Self-Organizing Systems (nlin.AO)
[698] arXiv:1107.1752 (cross-list from math.OC) [pdf, other]
Title: Stochastic Sensor Scheduling for Energy Constrained Estimation in Multi-Hop Wireless Sensor Networks
Yilin Mo, Emanuele Garone, Alessandro Casavola, Bruno Sinopoli
Comments: 7 pages, 2 figures, complete version of a technical note for the IEEE transactions on automatic control
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
[699] arXiv:1107.1805 (cross-list from stat.ML) [pdf, other]
Title: Loss-sensitive Training of Probabilistic Conditional Random Fields
Maksims N. Volkovs, Hugo Larochelle, Richard S. Zemel
Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI)
[700] arXiv:1107.1878 (cross-list from math.CO) [pdf, other]
Title: Biased Weak Polyform Achievement Games
Ian Norris, Nandor Sieben
Subjects: Combinatorics (math.CO); Computer Science and Game Theory (cs.GT)
[701] arXiv:1107.1895 (cross-list from math.OC) [pdf, other]
Title: On Investment-Consumption with Regime-Switching
Traian A.Pirvu, Huayue Zhang
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Portfolio Management (q-fin.PM)
[702] arXiv:1107.1900 (cross-list from physics.soc-ph) [pdf, other]
Title: Behavior patterns of online users and the effect on information filtering
Cheng-Jun Zhang, An Zeng
Comments: 8 pages, 6 figures
Journal-ref: Physica A 391, 1822 (2012)
Subjects: Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI); Data Analysis, Statistics and Probability (physics.data-an); Applications (stat.AP)
[703] arXiv:1107.1938 (cross-list from physics.soc-ph) [pdf, other]
Title: Uncovering Evolutionary Ages of Nodes in Complex Networks
Zhu Guimei, Yang Huijie, Yang Rui, Ren Jie, Li Baowen, Lai Ying-Cheng
Comments: 10 pages, 6 figures, accepted by EPJB 2012 Feb
Subjects: Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI); Data Analysis, Statistics and Probability (physics.data-an)
[704] arXiv:1107.1940 (cross-list from quant-ph) [pdf, other]
Title: Multi-query quantum sums
David A. Meyer (1), James Pommersheim (1 and 2) ((1) Mathematics Department, UCSD, (2) Mathematics Department, Reed)
Comments: 11 pages, 1 figure; presented at TQC 2011
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)
[705] arXiv:1107.1987 (cross-list from physics.data-an) [pdf, other]
Title: Median Algorithm for Sector Spectra Calculation from Images Registered by the Spectral Airglow Temperature Imager
Atanas Marinov Atanassov
Comments: 6 pages, 5 figures, Sixth Scientific Conference "Space Ecology Safety" 2-4 November 2010, Sofia, Bulgaria
Subjects: Data Analysis, Statistics and Probability (physics.data-an); Computer Vision and Pattern Recognition (cs.CV)
[706] arXiv:1107.2004 (cross-list from physics.soc-ph) [pdf, other]
Title: Quickest Paths in Simulations of Pedestrians
Tobias Kretz, Andree Grosse, Stefan Hengst, Lukas Kautzsch, Andrej Pohlmann, Peter Vortisch
Comments: revised version submitted
Journal-ref: Advances in Complex Systems 14(5) pp. 733-759 (2011)
Subjects: Physics and Society (physics.soc-ph); Multiagent Systems (cs.MA)
[707] arXiv:1107.2006 (cross-list from math.OC) [pdf, other]
Title: Port-Hamiltonian systems on graphs
A.J. van der Schaft, B.M. Maschke
Comments: 45 pages, 2 figures
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Dynamical Systems (math.DS); Symplectic Geometry (math.SG)
[708] arXiv:1107.2027 (cross-list from math.CO) [pdf, other]
Title: On a Conjecture of Butler and Graham
Tengyu Ma, Xiaoming Sun, Huacheng Yu
Comments: 9 pages, typos corrected, submitted to journal
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
[709] arXiv:1107.2168 (cross-list from cond-mat.stat-mech) [pdf, other]
Title: Information Symmetries in Irreversible Processes
Christopher J. Ellison, John R. Mahoney, Ryan G. James, James P. Crutchfield, Joerg Reichardt
Comments: 32 pages, 17 figures, 2 tables; this http URL
Subjects: Statistical Mechanics (cond-mat.stat-mech); Information Theory (cs.IT); Statistics Theory (math.ST); Chaotic Dynamics (nlin.CD)
[710] arXiv:1107.2172 (cross-list from math.SP) [pdf, other]
Title: Estimates on Neumann eigenfunctions at the boundary, and the "Method of Particular Solutions" for computing them
A. H. Barnett, Andrew Hassell
Comments: 14 pages, 4 figures. Conference paper from a talk given at the International Conference on Spectral Geometry, Dartmouth College, July 2010
Subjects: Spectral Theory (math.SP); Analysis of PDEs (math.AP); Numerical Analysis (math.NA)
[711] arXiv:1107.2181 (cross-list from math.PR) [pdf, other]
Title: Multi-level Monte Carlo for continuous time Markov chains, with applications in biochemical kinetics
David F. Anderson, Desmond J. Higham
Comments: Improved description of the constants in statement of Theorems
Subjects: Probability (math.PR); Numerical Analysis (math.NA); Quantitative Methods (q-bio.QM)
[712] arXiv:1107.2231 (cross-list from math.PR) [pdf, other]
Title: Partial match queries in random quadtrees
Nicolas Broutin, Ralph Neininger, Henning Sulzbach
Comments: 12 pages, 2 figures
Subjects: Probability (math.PR); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
[713] arXiv:1107.2321 (cross-list from math.NT) [pdf, other]
Title: An algorithm for list decoding number field codes
Jean-François Biasse, Guillaume Quintin
Subjects: Number Theory (math.NT); Computational Complexity (cs.CC); Information Theory (cs.IT)
[714] arXiv:1107.2347 (cross-list from stat.ML) [pdf, other]
Title: BSVM: A Banded Suport Vector Machine
Gautam V. Pendse
Comments: 16 pages, 4 figures
Subjects: Machine Learning (stat.ML); Computer Vision and Pattern Recognition (cs.CV)
[715] arXiv:1107.2353 (cross-list from stat.ME) [pdf, other]
Title: Blending Bayesian and frequentist methods according to the precision of prior information with an application to hypothesis testing
David R. Bickel
Subjects: Methodology (stat.ME); Information Theory (cs.IT); Statistics Theory (math.ST)
[716] arXiv:1107.2365 (cross-list from quant-ph) [pdf, other]
Title: On some special cases of the Entropy Photon-Number Inequality
Smarajit Das, Naresh Sharma, Siddharth Muthukrishnan
Comments: 12 pages, no figures
Journal-ref: Proceedings of Theory of Quantum Computation, Communication, and Cryptography (TQC), Tokyo, Japan, May 2012, vol. 7582, Lecture Notes in Computer Science
Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT)
[717] arXiv:1107.2382 (cross-list from math.GT) [pdf, other]
Title: Computing the crosscap number of a knot using integer programming and normal surfaces
Benjamin A. Burton, Melih Ozlen
Comments: 19 pages, 7 figures, 1 table; v2: minor revisions; to appear in ACM Transactions on Mathematical Software
Journal-ref: ACM Transactions on Mathematical Software 39 (2012), no. 1, 4:1-4:18
Subjects: Geometric Topology (math.GT); Computational Geometry (cs.CG)
[718] arXiv:1107.2446 (cross-list from stat.ME) [pdf, other]
Title: An EM Algorithm for Continuous-time Bivariate Markov Chains
Brian L. Mark, Yariv Ephraim
Subjects: Methodology (stat.ME); Performance (cs.PF)
[719] arXiv:1107.2462 (cross-list from stat.ML) [pdf, other]
Title: Statistical Topic Models for Multi-Label Document Classification
Timothy N. Rubin, America Chambers, Padhraic Smyth, Mark Steyvers
Comments: 44 Pages (Including Appendices). To be published in: The Machine Learning Journal, special issue on Learning from Multi-Label Data. Version 2 corrects some typos, updates some of the notation used in the paper for clarification of some equations, and incorporates several relatively minor changes to the text throughout the paper
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG)
[720] arXiv:1107.2464 (cross-list from physics.soc-ph) [pdf, other]
Title: Epidemic Spread in Human Networks
Faryad Darabi Sahneh, Caterina Scoglio
Subjects: Physics and Society (physics.soc-ph); Systems and Control (eess.SY); Dynamical Systems (math.DS); Applications (stat.AP)
[721] arXiv:1107.2465 (cross-list from math.OC) [pdf, other]
Title: An Efficient Algorithm for Maximum-Entropy Extension of Block-Circulant Covariance Matrices
Francesca P. Carli, Augusto Ferrante, Michele Pavon, Giorgio Picci
Comments: 25 pages
Journal-ref: IEEE Trans. on Automatic Control, 56(9):1999 - 2012, 2011
Subjects: Optimization and Control (math.OC); Information Theory (cs.IT); Systems and Control (eess.SY)
[722] arXiv:1107.2471 (cross-list from math.OC) [pdf, other]
Title: Variational Inequalities and Improved Convergence Rates for Tikhonov Regularisation on Banach Spaces
Markus Grasmair
Subjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
[723] arXiv:1107.2473 (cross-list from physics.soc-ph) [pdf, other]
Title: Network Extreme Eigenvalue - from Multimodal to Scale-free Network
Ning Ning Chung, Lock Yue Chew, Choy Heng Lai
Comments: 12 pages, 4 figures
Journal-ref: Chaos 22, (2012) 013139
Subjects: Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI)
[724] arXiv:1107.2487 (cross-list from math.OC) [pdf, other]
Title: Provably Safe and Robust Learning-Based Model Predictive Control
Anil Aswani, Humberto Gonzalez, S. Shankar Sastry, Claire Tomlin
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Systems and Control (eess.SY); Statistics Theory (math.ST)
[725] arXiv:1107.2526 (cross-list from math.OC) [pdf, other]
Title: Convergence of a Multi-Agent Projected Stochastic Gradient Algorithm for Non-Convex Optimization
Pascal Bianchi, Jérémie Jakubowicz
Comments: IEEE Transactions on Automatic Control 2013
Subjects: Optimization and Control (math.OC); Distributed, Parallel, and Cluster Computing (cs.DC); Systems and Control (eess.SY)
[726] arXiv:1107.2647 (cross-list from physics.soc-ph) [pdf, other]
Title: Collective emotions online and their influence on community life
Anna Chmiel, Julian Sienkiewicz, Mike Thelwall, Georgios Paltoglou, Kevan Buckley, Arvid Kappas, Janusz A. Hołyst
Comments: 23 pages including Supporting Information, accepted to PLoS ONE
Journal-ref: PLoS ONE 6(7): e22207 (2011)
Subjects: Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI)
[727] arXiv:1107.2681 (cross-list from math.OC) [pdf, other]
Title: Coordinate-invariant incremental Lyapunov functions
Majid Zamani, Rupak Majumdar
Comments: 7 pages; A completed version of this note can be found in arXiv:1207.0030
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Dynamical Systems (math.DS)
[728] arXiv:1107.2691 (cross-list from stat.CO) [pdf, other]
Title: On the Weakenesses of Correlation Measures used for Search Engines' Results (Unsupervised Comparison of Search Engine Rankings)
Paolo D'Alberto, Ali Dasdan
Comments: 16 pages, 19 figures
Subjects: Computation (stat.CO); Information Retrieval (cs.IR)
[729] arXiv:1107.2699 (cross-list from stat.ML) [pdf, other]
Title: Linear Latent Force Models using Gaussian Processes
Mauricio A. Álvarez, David Luengo, Neil D. Lawrence
Comments: 20 pages, 2 figures. Extended technical report of the Conference Paper "Latent force models" in D. van Dyk and M. Welling (eds) Proceedings of the Twelfth International Workshop on Artificial Intelligence and Statistics, JMLR W&CP 5, Clearwater Beach, FL, pp 9--16
Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI)
[730] arXiv:1107.2715 (cross-list from astro-ph.IM) [pdf, other]
Title: Stereo pairs in Astrophysics
Frédéric Vogt, Alexander Y. Wagner
Comments: Accepted for Publication in Astrophysics & Space Science, 16pp, 10 figures
Subjects: Instrumentation and Methods for Astrophysics (astro-ph.IM); Graphics (cs.GR)
[731] arXiv:1107.2794 (cross-list from physics.soc-ph) [pdf, other]
Title: Enhancing synchronization in growing networks
Y. Wang, A. Zeng, Z. Di, Y. Fan
Subjects: Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI)
[732] arXiv:1107.2875 (cross-list from math.AG) [pdf, other]
Title: A Hilbert Scheme in Computer Vision
Chris Aholt, Bernd Sturmfels, Rekha Thomas
Comments: 26 pages
Journal-ref: Can. J. Math.-J. Can. Math. 65 (2013) 961-988
Subjects: Algebraic Geometry (math.AG); Computer Vision and Pattern Recognition (cs.CV)
[733] arXiv:1107.2879 (cross-list from q-bio.QM) [pdf, other]
Title: Squeeze-and-Breathe Evolutionary Monte Carlo Optimisation with Local Search Acceleration and its application to parameter fitting
Mariano Beguerisse-Diaz, Baojun Wang, Radhika Desikan, Mauricio Barahona
Comments: 15 Pages, 3 Figures, 6 Tables; Availability: Matlab code available from the authors upon request
Subjects: Quantitative Methods (q-bio.QM); Systems and Control (eess.SY); Optimization and Control (math.OC)
[734] arXiv:1107.2881 (cross-list from math.OC) [pdf, other]
Title: A generalization of a classical model in contract theory: The agent behavior
Francisco Gutiérrez, Camilo Argoty, Stefany Moreno
Subjects: Optimization and Control (math.OC); Computer Science and Game Theory (cs.GT)
[735] arXiv:1107.2973 (cross-list from quant-ph) [pdf, other]
Title: Quantum Master Equation and Filter for Systems Driven by Fields in a Single Photon State
J.E. Gough, M.R. James, H.I. Nurdin
Comments: 7 pages, 2 figures. Accepted for publication in the joint 50th IEEE Conference on Decision and Control (CDC) and European Control Conference (ECC), 2011 (this http URL)
Subjects: Quantum Physics (quant-ph); Systems and Control (eess.SY); Optimization and Control (math.OC)
[736] arXiv:1107.2974 (cross-list from quant-ph) [pdf, other]
Title: Quantum Filtering for Systems Driven by Fields in Single Photon States and Superposition of Coherent States using Non-Markovian Embeddings
J.E. Gough, M.R. James, H.I. Nurdin
Comments: 28 pages, 1 figure. Submitted for publication
Subjects: Quantum Physics (quant-ph); Systems and Control (eess.SY); Optimization and Control (math.OC)
[737] arXiv:1107.2976 (cross-list from quant-ph) [pdf, other]
Title: Quantum Filtering (Quantum Trajectories) for Systems Driven by Fields in Single Photon States and Superposition of Coherent States
J.E. Gough, M.R. James, H.I. Nurdin, Joshua Combes
Comments: To appear in Physical Review A, 2012
Journal-ref: Phys. Rev. A 86, 043819 (2012)
Subjects: Quantum Physics (quant-ph); Systems and Control (eess.SY); Optimization and Control (math.OC)
[738] arXiv:1107.3033 (cross-list from math.CO) [pdf, other]
Title: The Expected Order of Saturated RNA Secondary Structures
Emma Yu Jin, Markus E. Nebel
Comments: 2 figures
Subjects: Combinatorics (math.CO); Information Theory (cs.IT)
[739] arXiv:1107.3069 (cross-list from physics.comp-ph) [pdf, other]
Title: An O(N) Method for Rapidly Computing Periodic Potentials Using Accelerated Cartesian Expansions
Andrew D. Baczewski, Balasubramaniam Shanker
Comments: 39 pages, 3 figures
Subjects: Computational Physics (physics.comp-ph); Numerical Analysis (math.NA)
[740] arXiv:1107.3085 (cross-list from nlin.AO) [pdf, other]
Title: Applying whole system design in a sportscar factory
Luca Piancastelli, Leonardo Frizziero, Simone Marcoppido, Eugenio Pezzuti
Comments: The world crisis had accelerated the necessity to make innovation; innovation must be realized into new products; new innovative products can be thought only new deisgn process
Subjects: Adaptation and Self-Organizing Systems (nlin.AO); Software Engineering (cs.SE)
[741] arXiv:1107.3133 (cross-list from stat.ML) [pdf, other]
Title: Robust Kernel Density Estimation
JooSeuk Kim, Clayton D. Scott
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Methodology (stat.ME)
[742] arXiv:1107.3205 (cross-list from math.AG) [pdf, other]
Title: Differential Chow Form for Projective Differential Variety
Wei Li, Xiao-Shan Gao
Comments: 17 pages
Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC)
[743] arXiv:1107.3226 (cross-list from physics.comp-ph) [pdf, other]
Title: On Measurement and Computation
Huimin Zheng, HaiXing Hu, Nan Wu, Fangmin Song
Comments: 40 pages
Subjects: Computational Physics (physics.comp-ph); Computational Complexity (cs.CC)
[744] arXiv:1107.3246 (cross-list from math.AP) [pdf, other]
Title: Unique continuation and approximate controllability for a degenerate parabolic equation
Piermarco Cannarsa, Jacques Tort, Masahiro Yamamoto
Comments: for the special issue of Applicable Analysis on PDE and Inverse Problems (Guest Editors: R. Triggiani, A. Favini and A. Lorenzi)
Subjects: Analysis of PDEs (math.AP); Systems and Control (eess.SY); Optimization and Control (math.OC)
[745] arXiv:1107.3263 (cross-list from cond-mat.stat-mech) [pdf, other]
Title: Naming Game on Adaptive Weighted Networks
Dorota Lipowska, Adam Lipowski
Comments: 22 pages, accepted in Artificial Life
Journal-ref: Artificial Life vol. 18, 311-323 (2012)
Subjects: Statistical Mechanics (cond-mat.stat-mech); Computation and Language (cs.CL); Physics and Society (physics.soc-ph)
[746] arXiv:1107.3275 (cross-list from physics.soc-ph) [pdf, other]
Title: Hate networks revisited: time and user interface dependence study of user emotions in political forum
Pawel Sobkowicz, Antoni Sobkowicz
Subjects: Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI)
[747] arXiv:1107.3383 (cross-list from quant-ph) [pdf, other]
Title: Evolutionary Quantum Logic Synthesis of Boolean Reversible Logic Circuits Embedded in Ternary Quantum Space using Heuristics
Maarti nLukac, Marek Perkowski, Michitaka Kameyama
Subjects: Quantum Physics (quant-ph); Artificial Intelligence (cs.AI)
[748] arXiv:1107.3385 (cross-list from math.PR) [pdf, other]
Title: Computing hitting times via fluid approximation: application to the coupon collector problem
Nicolas Gast
Subjects: Probability (math.PR); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[749] arXiv:1107.3396 (cross-list from math.AT) [pdf, other]
Title: Computing the homology of groups: the geometric way
Ana Romero, Julio Rubio
Journal-ref: Journal of Symbolic Computation 47 (2012) 752-770
Subjects: Algebraic Topology (math.AT); Symbolic Computation (cs.SC); Group Theory (math.GR)
[750] arXiv:1107.3424 (cross-list from math.DS) [pdf, other]
Title: A numerical study of infinitely renormalizable area-preserving maps
Denis Gaidashev, Tomas Johnson
Journal-ref: Dynamical Systems 27(3):283-301 (2012)
Subjects: Dynamical Systems (math.DS); Numerical Analysis (math.NA)
[751] arXiv:1107.3499 (cross-list from physics.geo-ph) [pdf, other]
Title: Applying Advanced Spaceborne Thermal Emission and Reflection Radiometer (ASTER) spectral indices for geological mapping and mineral identification on the Tibetan Plateau
Robert Corrie, Yoshiki Ninomiya, Jonathan Aitchison
Comments: 6 pages, 4 figures, 2 tables, Published in the International Archives of the Photogrammetry, Remote Sensing, and Spatial Information Science, Volume XXXVIII, pp. 464-469. For associated web page, see this http URL
Journal-ref: International Archives of the Photogrammetry, Remote Sensing, and Spatial Information Science, XXXVIII (2010) 464-469
Subjects: Geophysics (physics.geo-ph); Computer Vision and Pattern Recognition (cs.CV)
[752] arXiv:1107.3506 (cross-list from math.OC) [pdf, other]
Title: On a Devil's staircase associated to the joint spectral radii of a family of pairs of matrices
Ian D. Morris, Nikita Sidorov
Comments: 40 pages
Journal-ref: J. Eur. Math. Soc. (JEMS) 15 (2013), 1747-1782
Subjects: Optimization and Control (math.OC); Discrete Mathematics (cs.DM); Dynamical Systems (math.DS); Operator Algebras (math.OA)
[753] arXiv:1107.3540 (cross-list from math.SP) [pdf, other]
Title: A Haar-type Approximation and a New Numerical Schema for the Korteweg-de Vries Equation
Jason Baggett, Odile Bastille, Alexei Rybkin
Subjects: Spectral Theory (math.SP); Numerical Analysis (math.NA)
[754] arXiv:1107.3600 (cross-list from stat.ML) [pdf, other]
Title: Unsupervised K-Nearest Neighbor Regression
Oliver Kramer
Comments: 4 pages, 12 figures
Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG)
[755] arXiv:1107.3645 (cross-list from math.GR) [pdf, other]
Title: From automatic structures to automatic groups
Olga Kharlampovich, Bakhadyr Khoussainov, Alexei Miasnikov
Comments: Added references, corrected typos
Subjects: Group Theory (math.GR); Formal Languages and Automata Theory (cs.FL); Logic (math.LO)
[756] arXiv:1107.3689 (cross-list from stat.ML) [pdf, other]
Title: Edit wars in Wikipedia
Róbert Sumi, Taha Yasseri, András Rung, András Kornai, János Kertész
Comments: 4 pages, 2 figures, 3 tables. The current version is shortened to be published in SocialCom 2011
Journal-ref: IEEE Third International Conference on Social Computing (SocialCom), 9-11 Oct. 2011, 724-727, Boston, MA, USA
Subjects: Machine Learning (stat.ML); Digital Libraries (cs.DL); Data Analysis, Statistics and Probability (physics.data-an); Physics and Society (physics.soc-ph)
[757] arXiv:1107.3707 (cross-list from physics.soc-ph) [pdf, other]
Title: Statistical Laws Governing Fluctuations in Word Use from Word Birth to Word Death
Alexander M. Petersen, Joel Tenenbaum, Shlomo Havlin, H. Eugene Stanley
Comments: Version 1: 31 pages, 17 figures, 3 tables. Version 2 is streamlined, eliminates substantial material and incorporates referee comments: 19 pages, 14 figures, 3 tables
Journal-ref: Scientific Reports 2, 313 (2012)
Subjects: Physics and Society (physics.soc-ph); Computation and Language (cs.CL); Information Retrieval (cs.IR); Adaptation and Self-Organizing Systems (nlin.AO); Popular Physics (physics.pop-ph)
[758] arXiv:1107.3746 (cross-list from math.LO) [pdf, other]
Title: A Computational Complexity-Theoretic Elaboration of Weak Truth-Table Reducibility
Kohtaro Tadaki
Comments: 25 pages, LaTeX2e, no figures
Journal-ref: In: Dinneen M.J., Khoussainov B., Nies A. (eds) Computation, Physics and Beyond. WTCS 2012. LNCS, vol 7160. Springer (2012)
Subjects: Logic (math.LO); Computational Complexity (cs.CC); Information Theory (cs.IT)
[759] arXiv:1107.3792 (cross-list from cond-mat.dis-nn) [pdf, other]
Title: Influence and Dynamic Behavior in Random Boolean Networks
C. Seshadhri, Yevgeniy Vorobeychik, Jackson R. Mayo, Robert C. Armstrong, Joseph R. Ruthruff
Comments: To appear as a Letter in Physical Review Letters 8 pages, 4 figures
Journal-ref: Phys. Rev. Lett. 107, 108701 (2011)
Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM); Adaptation and Self-Organizing Systems (nlin.AO)
[760] arXiv:1107.3942 (cross-list from q-fin.TR) [pdf, other]
Title: Identification of clusters of investors from their real trading activity in a financial market
Michele Tumminello, Fabrizio Lillo, Jyrki Piilo, Rosario N. Mantegna
Comments: 25 pages, 5 figures
Subjects: Trading and Market Microstructure (q-fin.TR); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[761] arXiv:1107.3944 (cross-list from math.OC) [pdf, other]
Title: Optimal control with stochastic PDE constraints and uncertain controls
Eveline Rosseel, Garth N. Wells
Journal-ref: Computer Methods in Applied Mechanics and Engineering 213-216, (2012), pp. 152-167
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Numerical Analysis (math.NA)
[762] arXiv:1107.3952 (cross-list from math.AP) [pdf, other]
Title: Causal diffusion and its backwards diffusion problem
Richard Kowar
Comments: In the replacement I have rewritten the abstract and the introduction. Moreover, I have added Remark 1 and simplified a little bit the proof of Theorem 4. The reference 25 is updated, since the paper is now published
Journal-ref: J. Math. Anal. Appl. 400, pp. 222-238, 2013
Subjects: Analysis of PDEs (math.AP); Mathematical Physics (math-ph); Numerical Analysis (math.NA)
[763] arXiv:1107.3979 (cross-list from math.OC) [pdf, other]
Title: Continuous-time quantized consensus: convergence of Krasowskii solutions
Paolo Frasca
Comments: 12 pages, 1 figure; to appear. This version (v3) is a minor revision of v2
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
[764] arXiv:1107.4009 (cross-list from physics.soc-ph) [pdf, other]
Title: Social features of online networks: the strength of intermediary ties in online social media
Przemyslaw A. Grabowicz, Jose J. Ramasco, Esteban Moro, Josep Pujol, Victor M. Eguiluz
Comments: 14 pages, 18 figures
Journal-ref: PLoS ONE 7, e29358 (2012)
Subjects: Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI)
[765] arXiv:1107.4042 (cross-list from math.OC) [pdf, other]
Title: Optimal Adaptive Learning in Uncontrolled Restless Bandit Problems
Cem Tekin, Mingyan Liu
Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG)
[766] arXiv:1107.4067 (cross-list from stat.ML) [pdf, other]
Title: Finding Non-overlapping Clusters for Generalized Inference Over Graphical Models
Divyanshu Vats, José M. F. Moura
Comments: Extended the previous version to include extensive numerical simulations. See this http URL for code and data
Journal-ref: IEEE Transactions on Signal Processing, vol. 60, no. 12, pp 6368-6381, Dec 2012
Subjects: Machine Learning (stat.ML); Information Theory (cs.IT)
[767] arXiv:1107.4104 (cross-list from q-bio.BM) [pdf, other]
Title: A novel canonical dual computational approach for prion AGAAAAGA amyloid fibril molecular modeling
Jiapu Zhang, David Y. Gao, Johh Yearwood
Journal-ref: J Theor Biol 284 (1) 149-157 (2011); selected by Protein Crystallography Newsletter Volume 3, No. 9, September 2011, Crystallography Times; Prions Research Today Volume 7 Issue 7, July 2011, p.14; the 18th of the Top 25 Hottest Articles (picked up from papers of Jul 2011 to Sept 2011 of J Theor Biol)
Subjects: Biomolecules (q-bio.BM); Computational Engineering, Finance, and Science (cs.CE); Mathematical Physics (math-ph); Optimization and Control (math.OC)
[768] arXiv:1107.4113 (cross-list from math.PR) [pdf, other]
Title: Stochastic Service Systems, Random Interval Graphs and Search Algorithms
Patrick Eschenfeldt, Ben Gross, Nicholas Pippenger
Comments: i+21 pp
Subjects: Probability (math.PR); Computational Complexity (cs.CC); Combinatorics (math.CO)
[769] arXiv:1107.4118 (cross-list from physics.data-an) [pdf, other]
Title: Evaluating Data Assimilation Algorithms
K. J. H. Law, A. M. Stuart
Journal-ref: Monthly Weather Review, Volume 140, Issue 11 (2012) pp. 3757-3782
Subjects: Data Analysis, Statistics and Probability (physics.data-an); Systems and Control (eess.SY); Optimization and Control (math.OC); Probability (math.PR); Atmospheric and Oceanic Physics (physics.ao-ph)
[770] arXiv:1107.4127 (cross-list from cond-mat.stat-mech) [pdf, other]
Title: Spectra of sparse regular graphs with loops
F. L. Metz, I. Neri, D. Bollé
Comments: 4 pages, 4 figures
Journal-ref: Phys. Rev. E 84, 055101(R) (2011)
Subjects: Statistical Mechanics (cond-mat.stat-mech); Disordered Systems and Neural Networks (cond-mat.dis-nn); Social and Information Networks (cs.SI); Mathematical Physics (math-ph); Physics and Society (physics.soc-ph)
[771] arXiv:1107.4132 (cross-list from math.OC) [pdf, other]
Title: Null-Control and Measurable Sets
J. Apraiz, L. Escauriaza
Comments: Two remarks added
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
[772] arXiv:1107.4142 (cross-list from math.PR) [pdf, other]
Title: Asymptotics of the Invariant Measure in Mean Field Models with Jumps
Vivek S. Borkar, Rajesh Sundaresan
Comments: 58 pages, reorganised to get quickly to the main results on invariant measure; Stochastic Systems, volume 2, 2012
Subjects: Probability (math.PR); Information Theory (cs.IT); Systems and Control (eess.SY); Optimization and Control (math.OC)
[773] arXiv:1107.4255 (cross-list from math.OC) [pdf, other]
Title: A New Stability Result for the Feedback Interconnection of Negative Imaginary Systems with a Pole at the Origin
Mohamed A. Mabrok, Abhijit G. Kallapur, Ian R. Petersen, Alexander Lanzon
Comments: 50th IEEE Conference on Decision and Control and European Control Conference
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
[774] arXiv:1107.4264 (cross-list from astro-ph.IM) [pdf, other]
Title: Accelerating Radio Astronomy Cross-Correlation with Graphics Processing Units
M. A. Clark, P. C. La Plante, L. J. Greenhill
Comments: Submitted to the International Journal of High Performance Computing Applications (IJHPCA). 36 pages and 8 figures
Subjects: Instrumentation and Methods for Astrophysics (astro-ph.IM); Computational Engineering, Finance, and Science (cs.CE)
[775] arXiv:1107.4269 (cross-list from math.AP) [pdf, other]
Title: Consistency Analysis of Finite Difference Approximations to PDE Systems
Vladimir P. Gerdt
Comments: 15 pages
Journal-ref: Lect. Notes Comput. Sc. 7125, Springer, Heidelberg, 2012, pp. 28-43
Subjects: Analysis of PDEs (math.AP); Symbolic Computation (cs.SC); Numerical Analysis (math.NA); Rings and Algebras (math.RA)
[776] arXiv:1107.4407 (cross-list from physics.geo-ph) [pdf, other]
Title: Determining Key Model Parameters of Rapidly Intensifying Hurricane Guillermo(1997) using the Ensemble Kalman Filter
Humberto C. Godinez, Jon M. Reisner, Alexandre O. Fierro, Stephen R. Guimond, Jim Kao
Comments: 35 pages, 15 figures in draft mode using the American Meteorological Society package. Submitted to Journal of Atmospheric Sciences for publication
Subjects: Geophysics (physics.geo-ph); Systems and Control (eess.SY); Optimization and Control (math.OC)
[777] arXiv:1107.4491 (cross-list from physics.soc-ph) [pdf, other]
Title: Enhancing topology adaptation in information-sharing social networks
Giulio Cimini, Duanbing Chen, Matus Medo, Linyuan Lu, Yi-Cheng Zhang, Tao Zhou
Journal-ref: Phys. Rev. E 85, 046108 (2012)
Subjects: Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI)
[778] arXiv:1107.4524 (cross-list from physics.soc-ph) [pdf, other]
Title: An Analysis of Anonymity in the Bitcoin System
Fergal Reid, Martin Harrigan
Comments: 28 pages, 14 Figures. Updated with further related work, additional technical details. Format changed to author prepared book chapter preprint. Supporting code, additional discussion: this http URL
Subjects: Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI)
[779] arXiv:1107.4563 (cross-list from math.NT) [pdf, other]
Title: An Algorithm to Generate Square-Free Numbers and to Compute the Moebius Function
Fernando Auil
Comments: 16 pages, 4 figures
Subjects: Number Theory (math.NT); Data Structures and Algorithms (cs.DS)
[780] arXiv:1107.4613 (cross-list from math.PR) [pdf, other]
Title: Percolation in the Secrecy Graph
Amites Sarkar, Martin Haenggi
Comments: 22 pages, 3 figures
Subjects: Probability (math.PR); Information Theory (cs.IT)
[781] arXiv:1107.4619 (cross-list from math.FA) [pdf, other]
Title: On the Hilbert transform of wavelets
Kunal Narayan Chaudhury, Michael Unser
Comments: Appears in IEEE Transactions on Signal Processing, vol. 59, no. 4, pp. 1890-1894, 2011
Journal-ref: IEEE Transactions on Signal Processing, vol. 19(11), pp. 1890 - 1894, 2011
Subjects: Functional Analysis (math.FA); Computer Vision and Pattern Recognition (cs.CV)
[782] arXiv:1107.4649 (cross-list from physics.data-an) [pdf, other]
Title: Mandelbrot Law of Evolving Networks
Xue-Zao Ren, Zimo Yang, Bing-Hong Wang, Tao Zhou
Comments: 5 pages, 3 figures
Journal-ref: Chinese Physics Letters 29 (2012) 038904
Subjects: Data Analysis, Statistics and Probability (physics.data-an); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[783] arXiv:1107.4730 (cross-list from physics.soc-ph) [pdf, other]
Title: Empirical analysis of collective human behavior for extraordinary events in blogosphere
Yukie Sano, Kenta Yamada, Hayafumi Watanabe, Hideki Takayasu, Misako Takayasu
Comments: 10 pages, 19 figures
Subjects: Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI); Data Analysis, Statistics and Probability (physics.data-an)
[784] arXiv:1107.4829 (cross-list from math.CO) [pdf, other]
Title: Bounds for graph regularity and removal lemmas
David Conlon, Jacob Fox
Comments: 62 pages
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
[785] arXiv:1107.4890 (cross-list from math.NT) [pdf, other]
Title: Counting Square-Free Numbers
Jakub Pawlewicz
Subjects: Number Theory (math.NT); Data Structures and Algorithms (cs.DS)
[786] arXiv:1107.4932 (cross-list from math.LO) [pdf, other]
Title: Homotopies in Classical and Paraconsistent Modal Logics
Can Baskent
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[787] arXiv:1107.4985 (cross-list from stat.ML) [pdf, other]
Title: Variational Gaussian Process Dynamical Systems
Andreas C. Damianou, Michalis K. Titsias, Neil D. Lawrence
Comments: 16 pages, 19 figures
Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Probability (math.PR)
[788] arXiv:1107.5068 (cross-list from math.OC) [pdf, other]
Title: Algorithmic and Complexity Results for Cutting Planes Derived from Maximal Lattice-Free Convex Sets
Amitabh Basu, Robert Hildebrand, Matthias Köppe
Comments: 35 pages, 15 figures
Subjects: Optimization and Control (math.OC); Discrete Mathematics (cs.DM)
[789] arXiv:1107.5092 (cross-list from math.CO) [pdf, other]
Title: Combinatorial Game Theory, Well-Tempered Scoring Games, and a Knot Game
Will Johnson
Comments: too many pages, undergrad honors senior thesis for the University of Washington, preliminary version
Subjects: Combinatorics (math.CO); Computer Science and Game Theory (cs.GT)
[790] arXiv:1107.5102 (cross-list from math.CO) [pdf, other]
Title: Packing anchored rectangles
Adrian Dumitrescu, Csaba D. Tóth
Comments: 17 pages, 7 figures; updated references
Subjects: Combinatorics (math.CO); Computational Geometry (cs.CG)
[791] arXiv:1107.5187 (cross-list from math.OC) [pdf, other]
Title: Solvability of the $H^\infty$ algebraic Riccati equation in Banach algebras
Amol Sasane
Comments: 7 pages, 0 figures, submitted for publication in a journal
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Analysis of PDEs (math.AP); Functional Analysis (math.FA); Rings and Algebras (math.RA)
[792] arXiv:1107.5194 (cross-list from math.OC) [pdf, other]
Title: Accelerated Multiplicative Updates and Hierarchical ALS Algorithms for Nonnegative Matrix Factorization
Nicolas Gillis, François Glineur
Comments: 17 pages, 10 figures. New Section 4 about the convergence of the accelerated algorithms; Removed Section 5 about efficiency of HALS. Accepted in Neural Computation
Journal-ref: Neural Computation 24 (4), pp. 1085-1105, 2012
Subjects: Optimization and Control (math.OC); Numerical Analysis (math.NA)
[793] arXiv:1107.5266 (cross-list from physics.soc-ph) [pdf, other]
Title: Identifying Overlapping and Hierarchical Thematic Structures in Networks of Scholarly Papers: A Comparison of Three Approaches
Frank Havemann, Jochen Gläser, Michael Heinz, Alexander Struck
Comments: 18 pages, 9 figures
Journal-ref: PLoS ONE 2012 7(3): e33255
Subjects: Physics and Society (physics.soc-ph); Digital Libraries (cs.DL); Social and Information Networks (cs.SI)
[794] arXiv:1107.5269 (cross-list from math.OC) [pdf, other]
Title: Univariate global optimization with multiextremal non-differentiable constraints without penalty functions
Yaroslav D. Sergeyev
Comments: 19 pages, 5 figures, 3 tables
Journal-ref: Computational Optimization and Applications, 34(2), 229-248 (2006)
Subjects: Optimization and Control (math.OC); Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
[795] arXiv:1107.5280 (cross-list from math.OC) [pdf, other]
Title: A One-Dimensional Local Tuning Algorithm for Solving GO Problems with Partially Defined Constraints
Yaroslav D. Sergeyev, Dmitri E. Kvasov, Falah M.H. Khalaf
Comments: 15 pages, 5 figures, 4 tables
Journal-ref: Sergeyev Ya.D., Kvasov D.E., Khalaf F.M.H. (2007) A one-dimensional local tuning algorithm for solving GO problems with partially defined constraints, Optimization Letters, 1(1), 85-99
Subjects: Optimization and Control (math.OC); Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)
[796] arXiv:1107.5448 (cross-list from math.PR) [pdf, other]
Title: Importance Sampling for Multiscale Diffusions
Paul Dupuis, Konstantinos Spiliopoulos, Hui Wang
Journal-ref: SIAM Journal on Multiscale Modeling and Simulation , Vol. 12, No. 1, 2012, pp. 1-27
Subjects: Probability (math.PR); Systems and Control (eess.SY); Optimization and Control (math.OC)
[797] arXiv:1107.5469 (cross-list from physics.soc-ph) [pdf, other]
Title: A small world of citations? The influence of collaboration networks on citation practices
Matthew L. Wallace, Vincent Larivière, Yves Gingras
Subjects: Physics and Society (physics.soc-ph); Digital Libraries (cs.DL); Social and Information Networks (cs.SI)
[798] arXiv:1107.5620 (cross-list from physics.soc-ph) [pdf, other]
Title: A bounded confidence approach to understanding user participation in peer production systems
Giovanni Luca Ciampaglia
Comments: 17 pages, 5 figures, accepted to SocInfo2011
Journal-ref: Social Informatics. Lecture Notes in Computer Science, 2011, Volume 6984, pp. 269-282
Subjects: Physics and Society (physics.soc-ph); Computers and Society (cs.CY); Social and Information Networks (cs.SI)
[799] arXiv:1107.5646 (cross-list from physics.data-an) [pdf, other]
Title: Temporal motifs in time-dependent networks
Lauri Kovanen, Márton Karsai, Kimmo Kaski, János Kertész, Jari Saramäki
Comments: 18 pages, 8 figures; minor revisions
Journal-ref: J. Stat. Mech. (2011) P11005
Subjects: Data Analysis, Statistics and Probability (physics.data-an); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[800] arXiv:1107.5665 (cross-list from math.AT) [pdf, other]
Title: Dualities in persistent (co)homology
Vin de Silva, Dmitriy Morozov, Mikael Vejdemo-Johansson
Comments: 16 pages, 3 figures, submitted to the Inverse Problems special issue on Topological Data Analysis
Subjects: Algebraic Topology (math.AT); Computational Geometry (cs.CG)
[801] arXiv:1107.5676 (cross-list from math.OC) [pdf, other]
Title: Structural Analysis of Laplacian Spectral Properties of Large-Scale Networks
Victor M. Preciado, Ali Jadbabaie, George C. Verghese
Comments: IEEE Automatic Control, accepted for publication
Subjects: Optimization and Control (math.OC); Computational Engineering, Finance, and Science (cs.CE); Discrete Mathematics (cs.DM); Social and Information Networks (cs.SI); Systems and Control (eess.SY); Data Analysis, Statistics and Probability (physics.data-an); Physics and Society (physics.soc-ph)
[802] arXiv:1107.5728 (cross-list from q-fin.GN) [pdf, other]
Title: The network of global corporate control
Stefania Vitali, James B. Glattfelder, Stefano Battiston
Comments: Main Text (10 pages, 3 figures and 1 table) and Supporting Information (26 pages, 7 figures and 4 tables), 2nd version (with minor comments, typos removed, detailed acknowledgement, better referencing of Supporting Information)
Journal-ref: PLoS ONE 6(10), e25995 (2011)
Subjects: General Finance (q-fin.GN); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[803] arXiv:1107.5774 (cross-list from math.OC) [pdf, other]
Title: Carleman Estimate for Stochastic Parabolic Equations and Inverse Stochastic Parabolic Problems
Qi Lu
Comments: 18 pages
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
[804] arXiv:1107.5783 (cross-list from math.AP) [pdf, other]
Title: Numerical analysis of semilinear elliptic equations with finite spectral interaction
José Cal Neto, Carlos Tomei
Comments: 20 pages, 15 figures (34 .eps files)
Subjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA); Numerical Analysis (math.NA)
[805] arXiv:1107.5841 (cross-list from math.OC) [pdf, other]
Title: Sequential Convex Programming Methods for Solving Nonlinear Optimization Problems with DC constraints
Tran Dinh Quoc, Moritz Diehl
Comments: 18 pages, 1 figure
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
[806] arXiv:1107.5869 (cross-list from math.OC) [pdf, other]
Title: Piecewise linear car-following modeling
Nadir Farhi
Comments: 19 pages, 3 figures
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY)
[807] arXiv:1107.5881 (cross-list from quant-ph) [pdf, other]
Title: Quantum Private Information Retrieval with Sublinear Communication Complexity
François Le Gall
Comments: 4 pages
Journal-ref: Theory of Computing, Vol. 8, pp. 369-374, 2012
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Cryptography and Security (cs.CR)
[808] arXiv:1107.5896 (cross-list from math.LO) [pdf, other]
Title: Decision Problems for Recognizable Languages of Infinite Pictures
Olivier Finkel (ELM)
Journal-ref: 28th Weak Arithmetic Days, Journ\'ees sur les Arithm\'etiques Faibles, Fontainebleau : France (2009)
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[809] arXiv:1107.5928 (cross-list from math.OC) [pdf, other]
Title: Extension of the $ν$-metric for stabilizable plants over $H^\infty$
Amol Sasane
Comments: 12 pages
Subjects: Optimization and Control (math.OC); Systems and Control (eess.SY); Analysis of PDEs (math.AP); Functional Analysis (math.FA); Rings and Algebras (math.RA)
[810] arXiv:1107.5973 (cross-list from math.GR) [pdf, other]
Title: Upgrading Subgroup Triple Product Property Triples
Ivo Hedtke
Comments: 12 pages, 1 figure, 4 tables, 7 algorithms
Journal-ref: ACM Journal of Experimental Algorithmics, Volume 20, March 2015, Article No. 1.1
Subjects: Group Theory (math.GR); Discrete Mathematics (cs.DM)
Total of 810 entries
Showing up to 2000 entries per page: fewer | more | all