Computer Science

Authors and titles for June 2011

[401] arXiv:1106.3517 [pdf, other]

Title: DWT Based Fingerprint Recognition using Non Minutiae Features

Shashi Kumar D. R., K. B. Raja, R. K. Chhootaray, Sabyasachi Pattanaik

Comments: 9 pages

Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 8, Issue 2, March 2011, 257-265

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

[402] arXiv:1106.3527 [pdf, other]

Title: Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming

Gregory Gutin, Eun Jung Kim, Arezou Soleimanfallah, Stefan Szeider, Anders Yeo

Comments: Full version of a paper that appeared in preliminary form in the proceedings of IPEC'10

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

[403] arXiv:1106.3552 [pdf, other]

Title: Decompositions of two player games: potential, zero-sum, and stable games

Sung-Ha Hwang, Luc Rey-Bellet

Subjects: Computer Science and Game Theory (cs.GT); Systems and Control (eess.SY); Mathematical Physics (math-ph); Optimization and Control (math.OC); Populations and Evolution (q-bio.PE)

[404] arXiv:1106.3574 [pdf, other]

Title: Cryptographic Hardening of d-Sequences

Sandhya Rangineni

Comments: 8 pages, 5 figures, 4 tables

Subjects: Cryptography and Security (cs.CR)

[405] arXiv:1106.3579 [pdf, other]

Title: Consensus vs Broadcast in Communication Networks with Arbitrary Mobile Omission Faults

Emmanuel Godard, Joseph Peters

Comments: Erratum for Def. 4.8 and 4.9

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

[406] arXiv:1106.3586 [pdf, other]

Title: One Dimensional p-adic Integral Value Transformations

Sk. S. Hassan, A. Roy, P. Pal Choudhury, B.K. Nayak

Comments: The mathematics of Integral Value Transformations have been deciphered

Subjects: Discrete Mathematics (cs.DM)

[407] arXiv:1106.3595 [pdf, other]

Title: Information Equals Amortized Communication

Mark Braverman, Anup Rao

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

[408] arXiv:1106.3625 [pdf, other]

Title: On the Locality of Codeword Symbols

Parikshit Gopalan, Cheng Huang, Huseyin Simitci, Sergey Yekhanin

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

[409] arXiv:1106.3626 [pdf, other]

Title: Strong stability preserving two-step Runge-Kutta methods

David I. Ketcheson, Sigal Gottlieb, Colin B. Macdonald

Journal-ref: SINUM 49(6):2618-2639 (2012)

Subjects: Numerical Analysis (math.NA)

[410] arXiv:1106.3627 [pdf, other]

Title: Analog Network Coding in the Generalized High-SNR Regime

Binyue Liu, Ning Cai

Subjects: Information Theory (cs.IT)

[411] arXiv:1106.3628 [pdf, other]

Title: Finding the Maximal Empty Rectangle Containing a Query Point

Haim Kaplan, Micha Sharir

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

[412] arXiv:1106.3629 [pdf, other]

Title: Total Variation Minimization Based Compressive Wideband Spectrum Sensing for Cognitive Radios

Yipeng Liu, Qun Wan

Comments: 20 pages, 5 figures

Subjects: Information Theory (cs.IT)

[413] arXiv:1106.3632 [pdf, other]

Title: Minimal resolving sets for the hypercube

Ashwin Ganesan

Journal-ref: Graph Theory Notes of New York, vol. LXVII, pp. 50-53, November 2014

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

[414] arXiv:1106.3634 [pdf, other]

Title: Strategies for Development of a Distributed Framework for Computational Sciences

Vladimir Berezovsky, Alexander Popov

Comments: 11 pages, 2 figures

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Physics (physics.comp-ph)

[415] arXiv:1106.3635 [pdf, other]

Title: Bit Reversal through Direct Fourier Permutation Method and Vectorial Digit Reversal Generalization

Nicolaie Popescu-Bodorin

Comments: 15 pages, 3 figures, latest version: this http URL

Journal-ref: ROMAI Journal, vol. 4, no. 1/2008, pp. 27-46, Romanian Society of Applied and Industrial Mathematics, 2008

Subjects: Numerical Analysis (math.NA)

[416] arXiv:1106.3651 [pdf, other]

Title: Robust Bayesian reinforcement learning through tight lower bounds

Christos Dimitrakakis

Comments: Corrected version. 12 pages, 3 figures, 1 table

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

[417] arXiv:1106.3652 [pdf, other]

Title: Towards Practical Oblivious RAM

Emil Stefanov, Elaine Shi, Dawn Song

Subjects: Cryptography and Security (cs.CR)

[418] arXiv:1106.3677 [pdf, other]

Title: Pseudo-Ring Testing Schemes and Algorithms of RAM Built-In and Embedded Self-Testing

Diana Bodean, Ghenadie Bodean, Wajeb Gharibi

Comments: 4 pages

Journal-ref: 14 th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, April 13-15, 2011, Cottbus, Germany

Subjects: Hardware Architecture (cs.AR)

[419] arXiv:1106.3678 [pdf, other]

Title: An introduction to ML(n)BiCGStab

Man-Chung Yeung

Comments: This paper introduces the three algorithms of the ML(n)BiCGStab method for the solution of large, nonsymmetric liear systems. One of the algorithms involves A-transpose in its implmentation. This paper will be presented in the 33rd International Conference on Boundary Elements and other Mesh Reduction Methods, 28-30 June 2011, New Forest, UK

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

[420] arXiv:1106.3679 [pdf, other]

Title: Solution of Wald's game using loadings and allowed strategies

Valerio Capraro

Comments: 5 pages. The result of this paper is now part of the paper "Existence of equilibria for countable games: an algebraic approach"

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

[421] arXiv:1106.3680 [pdf, other]

Title: Efficient Two-Stage Group Testing Algorithms for DNA Screening

Michael Huber

Comments: 12 pages; accepted for ICALP 2011 Group Testing Workshop: Algorithms and Data Structures for selection, identification and encoding (ICALP 2011 GT, Zurich)

Subjects: Discrete Mathematics (cs.DM); Computational Engineering, Finance, and Science (cs.CE); Data Structures and Algorithms (cs.DS); Information Theory (cs.IT); Combinatorics (math.CO); Quantitative Methods (q-bio.QM)

[422] arXiv:1106.3681 [pdf, other]

Title: SoC Software Components Diagnosis Technology

Svetlana Chumachenko, Wajeb Gharibi, Anna Hahanova, Aleksey Sushanov

Comments: 4 pages

Journal-ref: Proceedings of IEEE, East-West Design & Test, Symposium (EWDTS'08),Lviv, Ukraine, October 9 - 12, 2008

Subjects: Hardware Architecture (cs.AR)

[423] arXiv:1106.3684 [pdf, other]

Title: Exploratory simulation of an Intelligent Iris Verifier Distributed System

Nicolaie Popescu-Bodorin, Valentina E. Balas

Comments: 4 pages, 2 figures, latest version: this http URL

Journal-ref: Proc. 6th IEEE International Symposium on Applied Computational Intelligence and Informatics, pp. 259 - 262, IEEE Press, June 2011

Subjects: Computer Vision and Pattern Recognition (cs.CV); Emerging Technologies (cs.ET); Logic in Computer Science (cs.LO)

[424] arXiv:1106.3685 [pdf, other]

Title: Embedding and Automating Conditional Logics in Classical Higher-Order Logic

Christoph Benzmueller, Dov Gabbay, Valerio Genovese, Daniele Rispoli

Comments: 15 pages, 1 Figure, 1 Table

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

[425] arXiv:1106.3691 [pdf, other]

Title: Discrete spherical means of directional derivatives and Veronese maps

Alexander Belyaev, Boris Khesin, Serge Tabachnikov

Subjects: Numerical Analysis (math.NA); Metric Geometry (math.MG)

[426] arXiv:1106.3693 [pdf, other]

Title: Perfect Reconstruction Two-Channel Wavelet Filter-Banks for Graph Structured Data

Sunil K. Narang, Antonio Ortega

Comments: 32 pages double spaced 12 Figures, to appear in IEEE Transactions of Signal Processing

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Social and Information Networks (cs.SI)

[427] arXiv:1106.3694 [pdf, other]

Title: A time-parallel algorithm for almost integrable Hamiltonian systems

Hugo Jiménez-Pérez, Jacques Laskar

Comments: 19 pages, 6 figures

Subjects: Numerical Analysis (math.NA)

[428] arXiv:1106.3705 [pdf, other]

Title: The taming of recurrences in computability logic through cirquent calculus, Part II

Giorgi Japaridze

Journal-ref: Archive for Mathematical Logic 52 (2013), pp. 213-259

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

[429] arXiv:1106.3711 [pdf, other]

Title: Sidelobe Suppression for Capon Beamforming with Mainlobe to Sidelobe Power Ratio Maximization

Yipeng Liu, Qun Wan

Comments: 8 pages, 2 figures

Subjects: Information Theory (cs.IT)

[430] arXiv:1106.3713 [pdf, other]

Title: Source-Channel Coding Theorems for the Multiple-Access Relay Channel

Yonathan Murin, Ron Dabora, Deniz Gündüz

Comments: Accepted to IEEE Transaction on Information Theory

Subjects: Information Theory (cs.IT)

[431] arXiv:1106.3725 [pdf, other]

Title: Learning XML Twig Queries

Sławomir Staworko, Piotr Wieczorek

Subjects: Databases (cs.DB); Machine Learning (cs.LG)

[432] arXiv:1106.3739 [pdf, other]

Title: Reducing Interpolation on Multi-Dimensional Grid to Quantizing Grid's Data-Base as a Recursion

Roman Gitlin

Comments: This article has been withdrawn by arXiv administrators as containing excessive overlap with arXiv:1106.3314

Subjects: Computational Geometry (cs.CG)

[433] arXiv:1106.3742 [pdf, other]

Title: SSA-Caterpillar in Group Anonymity

Dan Tavrov, Oleg Chertov

Comments: 8 pages, 1 table, 4 figures, presented at the World Conference on Soft Computing

Subjects: Cryptography and Security (cs.CR)

[434] arXiv:1106.3745 [pdf, other]

Title: Composition with Target Constraints

Marcelo Arenas (Pontificia Universidad Catolica de Chile), Ronald Fagin (IBM Research--Almaden), Alan Nash (Aleph One LLC)

Comments: This paper is an extended version of: M. Arenas, R. Fagin, and A. Nash. Composition with Target Constraints. In 13th International Conference on Database Theory (ICDT), pages 129-142, 2010

Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 3 (September 8, 2011) lmcs:905

Subjects: Databases (cs.DB)

[435] arXiv:1106.3746 [pdf, other]

Title: Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis [Extended Version]

M. Camilla Fiazza, Michele Peroli, Luca Viganò

Comments: International Conference on Security and Cryptography, SECRYPT 2011 (to appear)

Subjects: Cryptography and Security (cs.CR)

[436] arXiv:1106.3767 [pdf, other]

Title: Rewriting Ontological Queries into Small Nonrecursive Datalog Programs

Georg Gottlob, Thomas Schwentick

Comments: A shorter version is presented at the 24th International Workshop on Description Logics, DL 2011, Barcelona, Spain, July 13-16, 2011. The present version mainly extends the proof of Theorem 1 in Section 3. We plan to post further extended versions of this paper in the near future

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

[437] arXiv:1106.3773 [pdf, other]

Title: Convex Geometry and Stoichiometry

Jer-Chin (Luke)Chuang

Comments: 34 pages, 13 figures

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

[438] arXiv:1106.3809 [pdf, other]

Title: Fisher Information in Flow Size Distribution

Paul Tune, Darryl Veitch

Comments: 25 pages, 18 figures. Presented in part at the ACM SIGCOMM SIGMETRICS Internet Measurement Conference 2008, Vouliagmeni, Greece. Accepted in IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)

[439] arXiv:1106.3826 [pdf, other]

Title: On the Non-Progressive Spread of Influence through Social Networks

MohammadAmin Fazli, Mohammad Ghodsi, Jafar Habibi, Pooya Jalaly Khalilabadi, Vahab Mirrokni, Sina Sadeghian Sadeghabad

Subjects: Social and Information Networks (cs.SI); Computer Science and Game Theory (cs.GT); Physics and Society (physics.soc-ph)

[440] arXiv:1106.3858 [pdf, other]

Title: A Packet Dropping Mechanism for Efficient Operation of M/M/1 Queues with Selfish Users

Yi Gai, Hua Liu, Bhaskar Krishnamachari

Comments: This work is an extended version of the conference paper: Y. Gai, H. Liu and B. Krishnamachari, "A packet dropping-based incentive mechanism for M/M/1 queues with selfish users", the 30th IEEE International Conference on Computer Communications (IEEE INFOCOM 2011), China, April, 2011

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

[441] arXiv:1106.3876 [pdf, other]

Title: Uncertainty in Ontologies: Dempster-Shafer Theory for Data Fusion Applications

Amandine Bellenger (LITIS), Sylvain Gatepaille

Comments: Workshop on Theory of Belief Functions, Brest: France (2010)

Subjects: Artificial Intelligence (cs.AI)

[442] arXiv:1106.3898 [pdf, other]

Title: An efficient certificateless authenticated key agreement protocol without bilinear pairings

Debiao He, Yitao Chen

Journal-ref: Mathematical and Computer Modelling, 54 (11-12), 3143-3152, 2011

Subjects: Cryptography and Security (cs.CR)

[443] arXiv:1106.3932 [pdf, other]

Title: Coincidences and the encounter problem: A formal account

Jean-Louis J.-L. Dessalles (IC2)

Comments: 30th Annual Conference of the Cognitive Science Society, Washington : United States (2008)

Subjects: Artificial Intelligence (cs.AI)

[444] arXiv:1106.3951 [pdf, other]

Title: Optimal rate list decoding via derivative codes

Venkatesan Guruswami, Carol Wang

Comments: 11 pages

Subjects: Information Theory (cs.IT); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[445] arXiv:1106.3961 [pdf, other]

Title: Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata

Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang

Subjects: Software Engineering (cs.SE)

[446] arXiv:1106.3967 [pdf, other]

Title: Intelligent Self-Repairable Web Wrappers

Emilio Ferrara, Robert Baumgartner

Comments: 12 pages, 4 figures; Proceedings of the 12th International Conference of the Italian Association for Artificial Intelligence, 2011

Journal-ref: Lecture Notes in Computer Science, 6934:274-285, 2011

Subjects: Artificial Intelligence (cs.AI); Information Retrieval (cs.IR)

[447] arXiv:1106.3977 [pdf, other]

Title: Models, Calculation and Optimization of Gas Networks, Equipment and Contracts for Design, Operation, Booking and Accounting

Leonid A. Ostromuhov

Comments: The paper is presented on the World Symposium on Computing in the Gas Industry, 26-28.04.1999 in Florence, Italy

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

[448] arXiv:1106.3981 [pdf, other]

Title: Group Codes and the Schreier matrix form

Kenneth M. Mackenthun Jr

Subjects: Information Theory (cs.IT)

[449] arXiv:1106.4058 [pdf, other]

Title: Experimental Support for a Categorical Compositional Distributional Model of Meaning

Edward Grefenstette, Mehrnoosh Sadrzadeh

Comments: 11 pages, to be presented at EMNLP 2011, to be published in Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing

Journal-ref: Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing (2011)

Subjects: Computation and Language (cs.CL); Category Theory (math.CT)

[450] arXiv:1106.4063 [pdf, other]

Title: Verification of Quantum Programs

Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan

Subjects: Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

[451] arXiv:1106.4064 [pdf, other]

Title: Algorithmic Programming Language Identification

David Klein, Kyle Murray, Simon Weber

Comments: 11 pages. Code: this https URL

Subjects: Machine Learning (cs.LG)

[452] arXiv:1106.4079 [pdf, other]

Title: Continuous Interior Penalty Finite Element Methods for the Helmholtz Equation with Large Wave Number

Haijun Wu

Subjects: Numerical Analysis (math.NA)

[453] arXiv:1106.4083 [pdf, other]

Title: Symmetry-Based Search Space Reduction For Grid Maps

Daniel Harabor, Adi Botea, Philip Kilby

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

[454] arXiv:1106.4090 [pdf, other]

Title: Discovery of Invariants through Automated Theory Formation

Maria Teresa Llano (Heriot-Watt University), Andrew Ireland (Heriot-Watt University), Alison Pease (University of Edinburgh)

Comments: In Proceedings Refine 2011, arXiv:1106.3488

Journal-ref: EPTCS 55, 2011, pp. 1-19

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

[455] arXiv:1106.4091 [pdf, other]

Title: Bigraphical Refinement

Gian Perrone (IT University of Copenhagen), Søren Debois (IT University of Copenhagen), Thomas Hildebrandt (IT University of Copenhagen)

Comments: In Proceedings Refine 2011, arXiv:1106.3488

Journal-ref: EPTCS 55, 2011, pp. 20-36

Subjects: Software Engineering (cs.SE)

[456] arXiv:1106.4092 [pdf, other]

Title: Building a refinement checker for Z

John Derrick, Siobhán North, Anthony J.H. Simons

Comments: In Proceedings Refine 2011, arXiv:1106.3488

Journal-ref: EPTCS 55, 2011, pp. 37-52

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

[457] arXiv:1106.4093 [pdf, other]

Title: Refinement by interpretation in {\pi}-institutions

César Rodrigues (DI-CCTC, Minho University), Manuel A. Martins (Dep. Mathematics, Aveiro University), Alexandre Madeira (DI-CCTC, Minho University, Dep. Mathematics, Aveiro University and Critical Software, SA), Luis S. Barbosa (DI-CCTC, Minho University)

Comments: In Proceedings Refine 2011, arXiv:1106.3488

Journal-ref: EPTCS 55, 2011, pp. 53-64

Subjects: Logic in Computer Science (cs.LO)

[458] arXiv:1106.4094 [pdf, other]

Title: Refinement-based verification of sequential implementations of Stateflow charts

Alvaro Miyazawa (University of York), Ana Cavalcanti (University of York)

Comments: In Proceedings Refine 2011, arXiv:1106.3488

Journal-ref: EPTCS 55, 2011, pp. 65-83

Subjects: Logic in Computer Science (cs.LO)

[459] arXiv:1106.4095 [pdf, other]

Title: Refinement for Probabilistic Systems with Nondeterminism

Steve Reeves (University of Waikato), David Streader (University of Waikato)

Comments: In Proceedings Refine 2011, arXiv:1106.3488

Journal-ref: EPTCS 55, 2011, pp. 84-100

Subjects: Software Engineering (cs.SE)

[460] arXiv:1106.4096 [pdf, other]

Title: Model exploration and analysis for quantitative safety refinement in probabilistic B

Ukachukwu Ndukwu (Macquarie University, Australia), Annabelle McIver (Macquarie University, Australia)

Comments: In Proceedings Refine 2011, arXiv:1106.3488

Journal-ref: EPTCS 55, 2011, pp. 101-120

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

[461] arXiv:1106.4097 [pdf, other]

Title: Formalising the Continuous/Discrete Modeling Step

Richard Banach (University of Manchester, UK), Huibiao Zhu (East China Normal University, PRC), Wen Su (East China Normal University, PRC), Runlei Huang (Alcatel-Lucent Shanghai Bell, PRC)

Comments: In Proceedings Refine 2011, arXiv:1106.3488

Journal-ref: EPTCS 55, 2011, pp. 121-138

Subjects: Software Engineering (cs.SE)

[462] arXiv:1106.4098 [pdf, other]

Title: A CSP Account of Event-B Refinement

Steve Schneider (University of Surrey), Helen Treharne (University of Surrey), Heike Wehrheim (University of Paderborn)

Comments: In Proceedings Refine 2011, arXiv:1106.3488

Journal-ref: EPTCS 55, 2011, pp. 139-154

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

[463] arXiv:1106.4099 [pdf, other]

Title: Perspicuity and Granularity in Refinement

Eerke Boiten (School of Computing, University of Kent)

Comments: In Proceedings Refine 2011, arXiv:1106.3488

Journal-ref: EPTCS 55, 2011, pp. 155-165

Subjects: Software Engineering (cs.SE)

[464] arXiv:1106.4100 [pdf, other]

Title: Concurrent Scheduling of Event-B Models

Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén

Comments: In Proceedings Refine 2011, arXiv:1106.3488

Journal-ref: EPTCS 55, 2011, pp. 166-182

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC)

[465] arXiv:1106.4102 [pdf, other]

Title: Decidability of Existence and Construction of a Complement of a given Function

Ka.Shrinivaasan

Subjects: Logic in Computer Science (cs.LO)

[466] arXiv:1106.4141 [pdf, other]

Title: Kernel Bounds for Path and Cycle Problems

Hans L. Bodlaender, Bart M. P. Jansen, Stefan Kratsch

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)

[467] arXiv:1106.4142 [pdf, other]

Title: Complexity Classes and Theories for the Comparator Circuit Value Problem

Stephen A. Cook, Dai Tri Man Le, Yuli Ye

Comments: This version was substantially rewritten, where several proofs were rewritten and many typos and mistakes were fixed. A shorter version of this paper appeared in CSL 2011

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

[468] arXiv:1106.4176 [pdf, other]

Title: Similarity-based Browsing over Linked Open Data

Michael Hickson, Yannis Kargakis, Yannis Tzitzikas

Subjects: Digital Libraries (cs.DL)

[469] arXiv:1106.4184 [pdf, other]

Title: A Novel Attack against Android Phones

Michael Backes, Sebastian Gerling, Philipp von Styp-Rekowsky

Comments: 1 page

Subjects: Cryptography and Security (cs.CR)

[470] arXiv:1106.4200 [pdf, other]

Title: Faire levier sur les architectures logicielles pour guider et v\'erifier le d\'eveloppement d'applications SCC

Damien Cassou (INRIA Bordeaux - Sud-Ouest, LaBRI), Charles Consel (INRIA Bordeaux - Sud-Ouest, ENSEIRB), Emilie Balland (INRIA Bordeaux - Sud-Ouest), Julia Lawall (DIKU)

Journal-ref: GDR GPL'11: 3\`eme journ\'ees du G\'enie de la programmation et du logiciel (2011) 33--34

Subjects: Programming Languages (cs.PL)

[471] arXiv:1106.4211 [pdf, other]

Title: A locking free hp DPG method for linear elasticity with symmetric stresses

Jamie Bramwell, Leszek Demkowicz, Jay Gopalakrishnan, Weifeng Qiu

Comments: Numerische Mathematik, 2012

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

[472] arXiv:1106.4213 [pdf, other]

Title: A New and Efficient Algorithm-Based Fault Tolerance Scheme for A Million Way Parallelism

Erlin Yao, Mingyu Chen, Rui Wang, Wenli Zhang, Guangming Tan

Comments: 11 pages, 8 figures, 1 table, submitted to conference SC 2011

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

[473] arXiv:1106.4218 [pdf, other]

Title: Rooting opinions in the minds: a cognitive model and a formal account of opinions and their dynamics

Francesca Giardini, Walter Quattrociocchi, Rosaria Conte

Journal-ref: SNAMAS 2011 : THIRD SOCIAL NETWORKS AND MULTIAGENT SYSTEMS SYMPOSIUM SNAMAS@AISB 2011

Subjects: Artificial Intelligence (cs.AI)

[474] arXiv:1106.4221 [pdf, other]

Title: Understanding opinions. A cognitive and formal account

Francesca Giardini, Walter Quattrociocchi, Rosaria Conte

Journal-ref: Cultural and opinion dynamics: Modeling, Experiments and Challenges for the future @ ECCS 2011

Subjects: Artificial Intelligence (cs.AI)

[475] arXiv:1106.4247 [pdf, other]

Title: On the gap between ess(f) and cnf_size(f)

Lisa Hellerstein, Devorah Kletenik

Subjects: Discrete Mathematics (cs.DM)

[476] arXiv:1106.4251 [pdf, other]

Title: Learning with the Weighted Trace-norm under Arbitrary Sampling Distributions

Rina Foygel, Ruslan Salakhutdinov, Ohad Shamir, Nathan Srebro

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

[477] arXiv:1106.4266 [pdf, other]

Title: On the linearization of Regge calculus

Snorre H. Christiansen

Comments: 26 pages

Subjects: Numerical Analysis (math.NA); General Relativity and Quantum Cosmology (gr-qc)

[478] arXiv:1106.4286 [pdf, other]

Title: Multi-receiver Wiretap Channel with Public and Confidential Messages

Ersen Ekrem, Sennur Ulukus

Comments: Submitted to IEEE Transactions on Information Theory, June 2011

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

[479] arXiv:1106.4288 [pdf, other]

Title: Continuum Limits of Markov Chains with Application to Network Modeling

Yang Zhang, Edwin K. P. Chong, Jan Hannig, Donald Estep

Comments: 15 pages, 10 figures

Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT); Analysis of PDEs (math.AP)

[480] arXiv:1106.4300 [pdf, other]

Title: Human as Real-Time Sensors of Social and Physical Events: A Case Study of Twitter and Sports Games

Siqi Zhao, Lin Zhong, Jehan Wickramasuriya, Venu Vasudevan

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

[481] arXiv:1106.4346 [pdf, other]

Title: Average-Consensus Algorithms in a Deterministic Framework

Kevin Topley, Vikram Krishnamurthy

Comments: 53 pages, 2 figures, 1 table. Short version submitted to IEEE Trans. Signal Processing

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Systems and Control (eess.SY); Optimization and Control (math.OC)

[482] arXiv:1106.4351 [pdf, other]

Title: Solving eigenvalue problems on curved surfaces using the Closest Point Method

Colin B. Macdonald, Jeremy Brandman, Steven J. Ruuth

Journal-ref: J. Comput. Phys. 230 (2011) 7944-7956

Subjects: Numerical Analysis (math.NA)

[483] arXiv:1106.4395 [pdf, other]

Title: Lower Bounds of the Discretization for Piecewise Polynomials

Qun Lin, Hehu Xie, Jinchao Xu

Comments: 15

Subjects: Numerical Analysis (math.NA)

[484] arXiv:1106.4403 [pdf, other]

Title: Logic circuits from zero forcing

Daniel Burgarth, Vittorio Giovannetti, Leslie Hogben, Simone Severini, Michael Young

Comments: 5 pages, 10 EPS figures

Journal-ref: Nat Comput 14, 485 (2015)

Subjects: Discrete Mathematics (cs.DM); Emerging Technologies (cs.ET); Combinatorics (math.CO); Quantum Physics (quant-ph)

[485] arXiv:1106.4412 [pdf, other]

Title: Space Lower Bounds for Online Pattern Matching

Raphael Clifford, Markus Jalsenius, Ely Porat, Benjamin Sach

Comments: 10 pages, 7 figures, CPM 2011

Subjects: Data Structures and Algorithms (cs.DS)

[486] arXiv:1106.4424 [pdf, other]

Title: Proper Generalized Decomposition for Nonlinear Convex Problems in Tensor Banach Spaces

Antonio Falco, Anthony Nouy

Comments: Accepted in Numerische Mathematik

Subjects: Numerical Analysis (math.NA); Functional Analysis (math.FA); Optimization and Control (math.OC)

[487] arXiv:1106.4426 [pdf, other]

Title: Steepest Descent Preconditioning for Nonlinear GMRES Optimization

Hans De Sterck

Comments: added comparisons with L-BFGS; added some references

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

[488] arXiv:1106.4436 [pdf, other]

Title: An isogeometric method for the Reissner-Mindlin plate bending problem

L. Beirão da Veiga, A. Buffa, C. Lovadina, M. Martinelli, G. Sangalli

Subjects: Numerical Analysis (math.NA)

[489] arXiv:1106.4448 [pdf, other]

Title: Tactics for Reasoning modulo AC in Coq

Thomas Braibant (LIG), Damien Pous (LIG)

Comments: 16p

Journal-ref: Certified Proofs and Programs, Ta\"iwan, Province De Chine (2011)

Subjects: Mathematical Software (cs.MS); Logic in Computer Science (cs.LO)

[490] arXiv:1106.4451 [pdf, other]

Title: Activities of Daily Living Indexing by Hierarchical HMM for Dementia Diagnostics

Svebor Karaman (LaBRI), Jenny Benois-Pineau (LaBRI), Jean-François Dartigues, Yann Gaëstel (ISPED), Rémi Mégret (IMS), Julien Pinquier (IRIT)

Comments: 2011 9th International Workshop on Content-Based Multimedia Indexing (CBMI), Madrid : Spain (2011)

Subjects: Multimedia (cs.MM)

[491] arXiv:1106.4454 [pdf, other]

Title: Parameterized Eulerian Strong Component Arc Deletion Problem on Tournaments

Robert Crowston, Gregory Gutin, Mark Jones, Anders Yeo

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)

[492] arXiv:1106.4469 [pdf, other]

Title: Development of mechanism for enhancing data security in quantum cryptography

Ajit Singh, Nidhi Sharma

Comments: 11 pages 5 Figures 4 Tables

Journal-ref: Advanced Computing: An International Journal (ACIJ), Vol.2, No.3, May 2011, 22-31

Subjects: Cryptography and Security (cs.CR)

[493] arXiv:1106.4475 [pdf, other]

Title: Interesting Multi-Relational Patterns

Eirini Spyropoulou, Tijl De Bie

Comments: Accepted at ICDM'11

Subjects: Databases (cs.DB); Data Structures and Algorithms (cs.DS); Social and Information Networks (cs.SI)

[494] arXiv:1106.4489 [pdf, other]

Title: Fast Isomorphism Testing of Graphs with Regularly-Connected Components

Jose Luis Lopez-Presa, Antonio Fernandez Anta

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

[495] arXiv:1106.4507 [pdf, other]

Title: OFDM pilot allocation for sparse channel estimation

Pooria Pakrooh, Arash Amini, Farrokh Marvasti

Subjects: Information Theory (cs.IT)

[496] arXiv:1106.4509 [pdf, other]

Title: Machine Learning Markets

Amos Storkey

Comments: Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics 2011

Journal-ref: Journal of Machine Learning Research W&CP 15(AISTATS):716-724, 2011

Subjects: Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA); Neural and Evolutionary Computing (cs.NE); Trading and Market Microstructure (q-fin.TR); Machine Learning (stat.ML)

[497] arXiv:1106.4514 [pdf, other]

Title: Sub-Nyquist Sampling: Bridging Theory and Practice

Moshe Mishali, Yonina C. Eldar

Comments: 48 pages, 18 figures, to appear in IEEE Signal Processing Magazine

Subjects: Information Theory (cs.IT); Emerging Technologies (cs.ET)

[498] arXiv:1106.4557 [pdf, other]

Title: Learning When Training Data are Costly: The Effect of Class Distribution on Tree Induction

F. Provost, G. M. Weiss

Journal-ref: Journal Of Artificial Intelligence Research, Volume 19, pages 315-354, 2003

Subjects: Artificial Intelligence (cs.AI)

[499] arXiv:1106.4561 [pdf, other]

Title: PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

M. Fox, D. Long

Journal-ref: Journal Of Artificial Intelligence Research, Volume 20, pages 61-124, 2003

Subjects: Artificial Intelligence (cs.AI)

[500] arXiv:1106.4569 [pdf, other]

Title: The Communicative Multiagent Team Decision Problem: Analyzing Teamwork Theories and Models

D. V. Pynadath, M. Tambe

Journal-ref: Journal Of Artificial Intelligence Research, Volume 16, pages 389-423, 2002

Subjects: Artificial Intelligence (cs.AI)