Computer Science

Authors and titles for September 2011

[1] arXiv:1109.0032 [pdf, other]

Title: Semantic Integration in the IFF

Robert E. Kent

Comments: Presented at the Semantic Integration Workshop of the 2nd International Semantic Web Conference (ISWC2003), Sanibel Island, Florida, October 20, 2003

Subjects: Digital Libraries (cs.DL); Logic in Computer Science (cs.LO); Category Theory (math.CT)

[2] arXiv:1109.0035 [pdf, other]

Title: Statistical Model of Downlink Power Consumption in Cellular CDMA Networks

Stylianos P. Savaidis, Nikolaos I. Miridakis

Comments: International Journal of Wireless & Mobile Networks (IJWMN) Vol. 3, No. 4, August 2011

Subjects: Systems and Control (eess.SY)

[3] arXiv:1109.0038 [pdf, other]

Title: Provide a Model for Handover Technology in Wireless Networks

Abbas Asosheh, Nafiseh Karimi, Hourieh Khodkari

Comments: 15 pages, 7 figures, 9 tables, journal published IJWMN August 2011; this http URL; AIRCC August 2011

Subjects: Networking and Internet Architecture (cs.NI)

[4] arXiv:1109.0069 [pdf, other]

Title: Inter-rater Agreement on Sentence Formality

Shibamouli Lahiri, Xiaofei Lu

Comments: 5 pages, 1 figure, 1 table

Subjects: Computation and Language (cs.CL)

[5] arXiv:1109.0077 [pdf, other]

Title: A Radio Based Intelligent Railway Grade Crossing System to Avoid Collision

Sheikh Shanawaz Mostafa, Md. Mahbub Hossian, Khondker Jahid Reza, Gazi Maniur Rashid

Comments: 5 pages,4 figures, International Journal of Computer Science Issues, Vol. 7, Issue 6, November 2010

Subjects: Systems and Control (eess.SY)

[6] arXiv:1109.0085 [pdf, other]

Title: Self-Adaptation Mechanism to Control the Diversity of the Population in Genetic Algorithm

Chaiwat Jassadapakorn, Prabhas Chongstitvatana

Comments: 17 pages, 12 figures

Journal-ref: International Journal of Computer Science & Information Technology (IJCSIT), Vol 3, No 4, August 2011

Subjects: Neural and Evolutionary Computing (cs.NE)

[7] arXiv:1109.0086 [pdf, other]

Title: Comments on "Stack-based Algorithms for Pattern Matching on DAGs"

Qiang Zeng, Hai Zhuge

Comments: This paper has been withdrawn by the author, since this is an obsolete version. Please refer to the version published in PVLDB Volume 5 Issue 7

Subjects: Databases (cs.DB)

[8] arXiv:1109.0090 [pdf, other]

Title: An Efficient Codebook Initialization Approach for LBG Algorithm

Arup Kumar Pal, Anup Sar

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

[9] arXiv:1109.0093 [pdf, other]

Title: Local Component Analysis

Nicolas Le Roux (INRIA Paris - Rocquencourt, LIENS), Francis Bach (INRIA Paris - Rocquencourt, LIENS)

Subjects: Machine Learning (cs.LG)

[10] arXiv:1109.0094 [pdf, other]

Title: DNA Lossless Differential Compression Algorithm based on Similarity of Genomic Sequence Database

Heba Afify, Muhammad Islam, Manal Abdel Wahed

Subjects: Data Structures and Algorithms (cs.DS); Computational Engineering, Finance, and Science (cs.CE); Software Engineering (cs.SE)

[11] arXiv:1109.0097 [pdf, other]

Title: Website Detection Using Remote Traffic Analysis

Xun Gong, Negar Kiyavash, Nabíl Schear, Nikita Borisov

Subjects: Cryptography and Security (cs.CR)

[12] arXiv:1109.0098 [pdf, other]

Title: Assessing the Feasibility of Developing a Federated ERP System

Michael Gall, Thomas Grechenig, Mogens Bjerre

Journal-ref: International Journal of Managing Information Technology (IJMIT) Vol.3, No.3, August 2011, 16-26

Subjects: Software Engineering (cs.SE)

[13] arXiv:1109.0105 [pdf, other]

Title: Differentially Private Online Learning

Prateek Jain, Pravesh Kothari, Abhradeep Thakurta

Subjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Machine Learning (stat.ML)

[14] arXiv:1109.0109 [pdf, other]

Title: Reproducing Kernels of Generalized Sobolev Spaces via a Green Function Approach with Differential Operators

Qi Ye

Comments: Technical Report of Illinois Institute of Technology 2010

Subjects: Numerical Analysis (math.NA)

[15] arXiv:1109.0113 [pdf, other]

Title: aspcud: A Linux Package Configuration Tool Based on Answer Set Programming

Martin Gebser (University of Potsdam), Roland Kaminski (University of Potsdam), Torsten Schaub (University of Potsdam)

Comments: In Proceedings LoCoCo 2011, arXiv:1108.6097

Journal-ref: EPTCS 65, 2011, pp. 12-25

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

[16] arXiv:1109.0114 [pdf, other]

Title: (Re)configuration based on model generation

Gerhard Friedrich (Alpen-Adria Universität), Anna Ryabokon (Alpen-Adria Universität), Andreas A. Falkner (Siemens AG Österreich), Alois Haselböck (Siemens AG Österreich), Gottfried Schenner (Siemens AG Österreich), Herwig Schreiner (Siemens AG Österreich)

Comments: In Proceedings LoCoCo 2011, arXiv:1108.6097

Journal-ref: EPTCS 65, 2011, pp. 26-35

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

[17] arXiv:1109.0115 [pdf, other]

Title: Introducing LoCo, a Logic for Configuration Problems

Markus Aschinger, Conrad Drescher, Georg Gottlob

Comments: In Proceedings LoCoCo 2011, arXiv:1108.6097

Journal-ref: EPTCS 65, 2011, pp. 36-45

Subjects: Logic in Computer Science (cs.LO)

[18] arXiv:1109.0129 [pdf, other]

Title: Discrete Conservation Law on Curved Surfaces

Sheng-Gwo Chen, Jyh-Yang Wu

Comments: 18 pages, 9 figures

Subjects: Computational Geometry (cs.CG); Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)

[19] arXiv:1109.0132 [pdf, other]

Title: A Framework for Devanagari Script-based Captcha

Sushma Yalamanchili, M.Kameswara Rao

Comments: 10 pages, 8 Figures, CCSEA 2011 - First International Conference, Chennai, July 15-17, 2011

Journal-ref: International Journal of Advanced Information Technology, Vol. 1, No. 4, August, pp. 47-57, 2011

Subjects: Cryptography and Security (cs.CR); Human-Computer Interaction (cs.HC)

[20] arXiv:1109.0137 [pdf, other]

Title: Architectural solutions of conformal network-centric staring-sensor systems with spherical field of view

A.V. Makarenko, A.V. Pravdivtsev

Comments: 16 pages, 2 figures, 2 tables, Report accepted for conference: SPIE Security+Defence 2011, Conferences "Electro-Optical and Infrared Systems: Technology and Applications", 19-22 September 2011, Prague, Czech Republic, Paper 8185-18

Journal-ref: Proc. SPIE 8185, 81850I (2011)

Subjects: Systems and Control (eess.SY); Probability (math.PR); Optics (physics.optics)

[21] arXiv:1109.0138 [pdf, other]

Title: Automatic Application Level Set Approach in Detection Calcifications in Mammographic Image

Atef Boujelben, Hedi Tmar, Jameleddine Mnif, Mohamed Abid

Comments: 14 pages, 9 figures

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

[22] arXiv:1109.0166 [pdf, other]

Title: Discovering the Impact of Knowledge in Recommender Systems: A Comparative Study

Bahram Amini, Roliana Ibrahim, Mohd Shahizan Othman

Comments: 14 pages, 3 tables; International Journal of Computer Science & Engineering Survey (IJCSES) Vol.2, No.3, August 2011

Subjects: Information Retrieval (cs.IR)

[23] arXiv:1109.0181 [pdf, other]

Title: Improving the recall of decentralised linked data querying through implicit knowledge

Jürgen Umbrich, Aidan Hogan, Axel Polleres

Subjects: Databases (cs.DB)

[24] arXiv:1109.0213 [pdf, other]

Title: A Novel VSWR-Protected and Controllable CMOS Class E Power Amplifier for Bluetooth Applications

Wei Chen, Wei Lin, Shizhen Huang

Subjects: Other Computer Science (cs.OH)

[25] arXiv:1109.0214 [pdf, other]

Title: Complexity

Carlos Gershenson

Comments: Draft entry for the Encyclopedia of Philosophy and Social Sciences, Sage, 2013

Subjects: Other Computer Science (cs.OH)

[26] arXiv:1109.0216 [pdf, other]

Title: Evaluation of Huffman and Arithmetic Algorithms for Multimedia Compression Standards

Asadollah Shahbahrami, Ramin Bahrampour, Mobin Sabbaghi Rostami, Mostafa Ayoubi Mobarhan

Comments: 11 pages; this http URL International Journal of Computer Science, Engineering and Applications (IJCSEA) August 2011, Volume 1, Number 4

Subjects: Information Theory (cs.IT); Multimedia (cs.MM)

[27] arXiv:1109.0217 [pdf, other]

Title: Vessel Segmentation in Medical Imaging Using a Tight-Frame Based Algorithm

Xiaohao Cai, Raymond Chan, Serena Morigi, Fiorella Sgallari

Subjects: Numerical Analysis (math.NA); Computer Vision and Pattern Recognition (cs.CV)

[28] arXiv:1109.0241 [pdf, other]

Title: Polyhedral Methods for Space Curves Exploiting Symmetry Applied to the Cyclic n-roots Problem

Danko Adrovic, Jan Verschelde

Comments: Accepted for publication in the proceedings of CASC 2013

Subjects: Numerical Analysis (math.NA); Algebraic Geometry (math.AG)

[29] arXiv:1109.0246 [pdf, other]

Title: Critical Aspects of Modern Open Source SoftwareTechnology to Support Emerging Demands

Umer Farooq, M. Aqeel Iqbal, Usman Shabbir, Sohail Nazir

Comments: 7 pages, 3 tables

Journal-ref: International Journal of Computer Applications Volume 27 - No.9, 2011, 13-19

Subjects: Software Engineering (cs.SE)

[30] arXiv:1109.0257 [pdf, other]

Title: Smart Radio Spectrum Management for Cognitive Radio

Partha Pratim Bhattacharya, Ronak Khandelwal, Rishita Gera, Anjali Agarwal

Comments: 13 pages, 11 figures

Journal-ref: International Journal of Parallel and Distributed Systems, Vol. 2, NO 4, July 2011

Subjects: Networking and Internet Architecture (cs.NI)

[31] arXiv:1109.0264 [pdf, other]

Title: Simple Regenerating Codes: Network Coding for Cloud Storage

Dimitris S. Papailiopoulos, Jianqiang Luo, Alexandros G. Dimakis, Cheng Huang, Jin Li

Comments: 9 pages, 10 figures, submitted for publication

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

[32] arXiv:1109.0312 [pdf, other]

Title: Fully Retroactive Approximate Range and Nearest Neighbor Searching

Michael T. Goodrich, Joseph A. Simons

Comments: 24 pages, 4 figures. To appear at the 22nd International Symposium on Algorithms and Computation (ISAAC 2011)

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

[33] arXiv:1109.0318 [pdf, other]

Title: Compressive Matched-Field Processing

William Mantzel, Justin Romberg, Karim Sabra

Subjects: Information Theory (cs.IT)

[34] arXiv:1109.0323 [pdf, other]

Title: Proceedings IFIP Working Conference on Domain-Specific Languages

Olivier Danvy, Chung-chieh Shan

Comments: This volume is dedicated to the memory of Anne-Françoise Le Meur (1972--2011)

Journal-ref: EPTCS 66, 2011

Subjects: Programming Languages (cs.PL)

[35] arXiv:1109.0324 [pdf, other]

Title: A qos ontology-based component selection

Lamia Yessad, Zizette Boufaida

Comments: 15 pages, 5 figures, 6 tables

Journal-ref: International Journal on Soft Computing ( IJSC ), Vol.2, No.3, August 2011

Subjects: Software Engineering (cs.SE)

[36] arXiv:1109.0333 [pdf, other]

Title: A KIF Formalization for the IFF Category Theory Ontology

Robert E. Kent

Comments: Paper presented at the Standard Upper Ontology workshop of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), August, 2001, Seattle, Washington

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

[37] arXiv:1109.0337 [pdf, other]

Title: On discrete cosine transform

Jianqin Zhou

Subjects: Information Theory (cs.IT)

[38] arXiv:1109.0345 [pdf, other]

Title: Planar and Poly-Arc Lombardi Drawings

Christian A. Duncan, David Eppstein, Michael T. Goodrich, Stephen G. Kobourov, Maarten Löffler

Comments: Expanded version of paper appearing in the 19th International Symposium on Graph Drawing (GD 2011). 16 pages, 8 figures

Journal-ref: J. Computational Geometry 9 (1): 328-355, 2018

Subjects: Computational Geometry (cs.CG); Discrete Mathematics (cs.DM)

[39] arXiv:1109.0348 [pdf, other]

Title: E-Determinants of Tensors

Shenglong Hu, Zheng-Hai Huang, Chen Ling, Liqun Qi

Subjects: Numerical Analysis (math.NA)

[40] arXiv:1109.0351 [pdf, other]

Title: Directed Information, Causal Estimation, and Communication in Continuous Time

Tsachy Weissman, Young-Han Kim, Haim H. Permuter

Subjects: Information Theory (cs.IT)

[41] arXiv:1109.0359 [pdf, other]

Title: Anonymity and verifiability in multi-attribute reverse auction

T. R. Srinath, Mahendra Pratap Singh, Alwyn Roshan Pais

Comments: 9 pages, 1 figure and 2 tables

Journal-ref: International Journal of Information Technology Convergence and Services (IJITCS) Vol.1, No.4, August 2011

Subjects: Cryptography and Security (cs.CR)

[42] arXiv:1109.0364 [pdf, other]

Title: Multi-parameter Tikhonov Regularisation in Topological Spaces

Markus Grasmair

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

[43] arXiv:1109.0375 [pdf, other]

Title: Warranted Derivations of Preferred Answer

Jan Sefranek, Alexander Simko

Comments: wlp 2011

Subjects: Logic in Computer Science (cs.LO)

[44] arXiv:1109.0377 [pdf, other]

Title: Convergence rates for dispersive approximation schemes to nonlinear Schrödinger equations

Liviu Ignat, Enrique Zuazua

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

[45] arXiv:1109.0385 [pdf, other]

Title: Sparse regularization in limited angle tomography

Jürgen Frikel

Subjects: Numerical Analysis (math.NA)

[46] arXiv:1109.0389 [pdf, other]

Title: A Space-Optimal Hidden Surface Removal Algorithm for Iso-Oriented Rectangles

Athanasios Tsakalidis, Kostas Tsichlas

Subjects: Computational Geometry (cs.CG)

[47] arXiv:1109.0392 [pdf, other]

Title: Context Tree Estimation in Variable Length Hidden Markov Models

Thierry Dumont

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

[48] arXiv:1109.0397 [pdf, other]

Title: Auction-Based Resource Allocation in Digital Ecosystems

Moreno Marzolla, Stefano Ferretti, Gabriele D'Angelo

Comments: Proceedings of the 6th International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications (MobilWare 2013). Bologna, Italy, November 11-12, 2013

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

[49] arXiv:1109.0414 [pdf, other]

Title: Anti-Structure Problems

Ram Zamir

Comments: a short note, following the Banff meeting on Algebraic structure in network information theroy, Aug. 14-19

Subjects: Information Theory (cs.IT)

[50] arXiv:1109.0420 [pdf, other]

Title: Meta-song evaluation for chord recognition

Yizhao Ni, Matt Mcvicar, Raul Santos-Rodriguez, Tijl De Bie

Comments: technique report and preparation for conference

Subjects: Information Retrieval (cs.IR)

[51] arXiv:1109.0428 [pdf, other]

Title: A survey of fuzzy control for stabilized platforms

Said Leghmizi, Sheng Liu

Journal-ref: International Journal of Computer Science & Engineering Survey (IJCSES) Vol.2, No.3, August 2011

Subjects: Systems and Control (eess.SY)

[52] arXiv:1109.0456 [pdf, other]

Title: Aligning component upgrades

Roberto Di Cosmo (Univ Paris Diderot, Sorbonne Paris Cite, and INRIA Rocquencourt, Paris, France), Olivier Lhomme (IBM France, Sophia Antipolis, France), Claude Michel (I3S (UNS-CNRS), Sophia Antipolis Cedex, France)

Comments: In Proceedings LoCoCo 2011, arXiv:1108.6097

Journal-ref: EPTCS 65, 2011, pp. 1-11

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

[53] arXiv:1109.0459 [pdf, other]

Title: Multilevel coarse graining and nano--pattern discovery in many particle stochastic systems

Evangelia Kalligiannaki, Markos A. Katsoulakis, Petr Plechac, Dionisios G Vlachos

Comments: 37 pages

Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)

[54] arXiv:1109.0507 [pdf, other]

Title: How Open Should Open Source Be?

Adam Barth, Saung Li, Benjamin I. P. Rubinstein, Dawn Song

Comments: 19 pages, 27 figures

Subjects: Cryptography and Security (cs.CR); Machine Learning (cs.LG)

[55] arXiv:1109.0530 [pdf, other]

Title: Orthogonal Query Expansion

Margareta Ackerman, David Loker, Alejandro Lopez-Ortiz

Comments: 15 pages

Subjects: Information Retrieval (cs.IR)

[56] arXiv:1109.0545 [pdf, other]

Title: Quality Up in Polynomial Homotopy Continuation by Multithreaded Path Tracking

Jan Verschelde, Genady Yoffe

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

[57] arXiv:1109.0562 [pdf, other]

Title: A tight bound on the length of odd cycles in the incompatibility graph of a non-C1P matrix

Mehrnoush Malekesmaeili, Cedric Chauve, Tamon Stephen

Comments: 7 pages

Subjects: Data Structures and Algorithms (cs.DS)

[58] arXiv:1109.0573 [pdf, other]

Title: Phase Retrieval via Matrix Completion

Emmanuel J. Candes, Yonina Eldar, Thomas Strohmer, Vlad Voroninski

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

[59] arXiv:1109.0580 [pdf, other]

Title: Nested BDDC for a saddle-point problem

Bedřich Sousedík

Comments: 21 pages, 3 figures, 1 table (corrected typos, added details and numerical experiments)

Journal-ref: Numerische Mathematik, 125(4), 761-783, 2013

Subjects: Numerical Analysis (math.NA)

[60] arXiv:1109.0583 [pdf, other]

Title: Solving Modular Model Expansion Tasks

Shahab Tasharrofi, Xiongnan (Newman)Wu, Eugenia Ternovska

Comments: 15 pages, 3 figures, 2 algorithms. This paper appears in the Proceedings of the 25th Workshop on Logic Programming (WLP 2011)

Subjects: Logic in Computer Science (cs.LO)

[61] arXiv:1109.0597 [pdf, other]

Title: Stealthy Traffic Analysis of Low-Latency Anonymous Communication Using Throughput Fingerprinting

Prateek Mittal, Ahmed Khurshid, Joshua Juen, Matthew Caesar, Nikita Borisov

Comments: Accepted for publication in ACM CCS 2011

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

[62] arXiv:1109.0601 [pdf, other]

Title: Application of distributed constraint satisfaction problem to the agent-based planning in manufacturing systems

S. Kornienko, O. Kornienko, P. Levi

Journal-ref: Proceedings of the International Scientific Congress "Intelligent Systems (IEEE AIS'03)" and "Intelligent CAD's (CAD-2003)", p.124-140, Divnomorsk, Russia, 2003

Subjects: Multiagent Systems (cs.MA)

[63] arXiv:1109.0604 [pdf, other]

Title: Approximate Counting via Correlation Decay in Spin Systems

Liang Li, Pinyan Lu, Yitong Yin

Comments: 29 pages, 1 figure, to appear in SODA 2012

Subjects: Data Structures and Algorithms (cs.DS); Probability (math.PR)

[64] arXiv:1109.0614 [pdf, other]

Title: Framework to Integrate Business Intelligence and Knowledge Management in Banking Industry

G. Koteswara Rao, Roshan Kumar

Journal-ref: Review of Business and Technology Research, Vol.4, No.1, July-2011, ISSN 1941-9406

Subjects: Other Computer Science (cs.OH)

[65] arXiv:1109.0616 [pdf, other]

Title: ATP and Presentation Service for Mizar Formalizations

Josef Urban, Piotr Rudnicki, Geoff Sutcliffe

Subjects: Digital Libraries (cs.DL); Artificial Intelligence (cs.AI)

[66] arXiv:1109.0617 [pdf, other]

Title: Metadata Challenge for Query Processing Over Heterogeneous Wireless Sensor Network

C.Komalavalli (Jagan Institute of Management Studies, Rohini, New Delhi)Chetna Laroiya (Jagan Insitute of Management Studies, Rohini, New Delhi)

Comments: 15 Pages

Journal-ref: International Journal of Wireless & Mobile Networks (IJWMN) Vol. 3, No. 4, August 2011

Subjects: Databases (cs.DB)

[67] arXiv:1109.0621 [pdf, other]

Title: Visual Inference Specification Methods for Modularized Rulebases. Overview and Integration Proposal

Krzysztof Kluza, Grzegorz J. Nalepa, Łukasz Łysik

Comments: from the KESE6 workshop at the 33rd German AI Conference KI-2010 in Karlsruhe (see: this http URL)

Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)

[68] arXiv:1109.0624 [pdf, other]

Title: Building Ontologies to Understand Spoken Tunisian Dialect

Marwa Graja, Maher Jaoua, Lamia Hadrich Belguith

Comments: 10 pages, 3 figures

Journal-ref: International Journal of Computer Science, Engineering and Applications (IJCSEA) Vol.1, No.4, August 2011

Subjects: Computation and Language (cs.CL)

[69] arXiv:1109.0628 [pdf, other]

Title: The Weight Distributions of Cyclic Codes and Elliptic Curves

Baocheng Wang, Chunming Tang, Yanfeng Qi, Yixian Yang, Maozhi Xu

Subjects: Information Theory (cs.IT)

[70] arXiv:1109.0631 [pdf, other]

Title: LWE-based Identification Schemes

Rosemberg Silva, Antonio Campello, Ricardo Dahab

Comments: 5 pages. Presented at the 2012 Information Theory Workshop (ITW)

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

[71] arXiv:1109.0633 [pdf, other]

Title: Eliciting implicit assumptions of proofs in the MIZAR Mathematical Library by property omission

Jesse Alama

Comments: 11 pages, 3 tables. Preliminary version presented at the 3rd Workshop on Modules and Libraries for Proof Assistants (MLPA-11), affiliated with the 2nd Conference on Interactive Theorem Proving (ITP-2011), Nijmegen, the Netherlands

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

[72] arXiv:1109.0638 [pdf, other]

Title: Translating Nondeterministic Functional Language based on Attribute Grammars into Java

Masanobu Umeda, Ryoto Naruse, Hiroaki Sone, Keiichi Katamine

Comments: 13 pages, 8 figures, 2 tables, 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP2011)

Subjects: Programming Languages (cs.PL)

[73] arXiv:1109.0651 [pdf, other]

Title: Mathematical Analysis of the BIBEE Approximation for Molecular Solvation: Exact Results for Spherical Inclusions

Jaydeep P. Bardhan, Matthew G. Knepley

Comments: 33 pages, 5 figures

Journal-ref: Journal of Chemical Physics, 135(12):124107-124117, 2011

Subjects: Computational Engineering, Finance, and Science (cs.CE); Chemical Physics (physics.chem-ph); Computational Physics (physics.comp-ph)

[74] arXiv:1109.0654 [pdf, other]

Title: A new approach to nonlinear constrained Tikhonov regularization

Kazufumi Ito, Bangti Jin

Comments: 21 pages, to appear in Inverse Problems

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

[75] arXiv:1109.0660 [pdf, other]

Title: Mismatch and resolution in compressive imaging

Albert Fannjiang, Wenjing Liao

Comments: Figure 5 revised

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

[76] arXiv:1109.0675 [pdf, other]

Title: Doubly Optimal Secure Multicasting: Hierarchical Hybrid Communication Network : Disaster Relief

Rama Murthy Garimella, Samdarshi Abhijeet, Deepti Singhal

Subjects: Networking and Internet Architecture (cs.NI)

[77] arXiv:1109.0680 [pdf, other]

Title: Beyond the Boundaries of Open, Closed and Pirate Archives: Lessons from a Hybrid Approach

Prodromos Tsiavos (London School of Economics, UK), Petros Stefaneas (National Technical University of Athens, Greece)

Subjects: Digital Libraries (cs.DL)

[78] arXiv:1109.0681 [pdf, other]

Title: Generic Optimization of Linear Precoding in Multibeam Satellite Systems

Gan Zheng, Symeon Chatzinotas, Bjorn Ottersten

Subjects: Information Theory (cs.IT)

[79] arXiv:1109.0686 [pdf, other]

Title: A Majorization Order on Monomials and Termination of a Successive Difference Substitution Algorithm

Jia Xu, Yong Yao

Comments: 6 pages

Subjects: Symbolic Computation (cs.SC); Commutative Algebra (math.AC)

[80] arXiv:1109.0687 [pdf, other]

Title: Performance of distributed mechanisms for flow admission in wireless adhoc networks

Ashwin Ganesan

Comments: 21 pages, submitted. Journal version of arXiv:0906.3782

Journal-ref: Wireless Networks, vol. 20, pp. 1321-1334, August 2014

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

[81] arXiv:1109.0689 [pdf, other]

Title: Problem Reduction in Online Payment System Using Hybrid Model

Sandeep Pratap Singh, Shiv Shankar P.Shukla, Nitin Rakesh, Vipin Tyagi

Journal-ref: International Journal of Managing Information Technology(IJMIT) August 2011, Volume 3, Number 3 ISSN : 0975-5586 (Online) ;0975-5926 (Print)

Subjects: Cryptography and Security (cs.CR)

[82] arXiv:1109.0696 [pdf, other]

Title: Hybrid Digital/Analog Schemes for Secure Transmission with Side Information

Joffrey Villard, Pablo Piantanida, Shlomo Shamai (Shitz)

Comments: 11 pages, 6 figures, 1 table. To be presented at ITW 2011

Subjects: Information Theory (cs.IT)

[83] arXiv:1109.0697 [pdf, other]

Title: Traffic dynamics in scale-free networks with limited packet-delivering capacity

Han-Xin Yang, Wen-Xu Wang, Zhi-Xi Wu, Bing-Hong Wang

Journal-ref: Physica A 387 (2008) 6857-6862

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

[84] arXiv:1109.0703 [pdf, other]

Title: The method of solving a scalar initial value problem with a required tolerance

Alexander Lozovskiy

Comments: 17 pages, 5 figures (via PSTricks package), 4 tables

Subjects: Numerical Analysis (math.NA)

[85] arXiv:1109.0708 [pdf, other]

Title: A Novel Methodology for Thermal Analysis & 3-Dimensional Memory Integration

Annmol Cherian, Ajay Augustine, Jemy Jose, Vinod Pangracious

Journal-ref: International Journal of Advanced Information Technology (IJAIT) Vol. 1, No. 4, August 2011

Subjects: Hardware Architecture (cs.AR)

[86] arXiv:1109.0724 [pdf, other]

Title: Throughput Maximization for the Gaussian Relay Channel with Energy Harvesting Constraints

Chuan Huang, Rui Zhang, Shuguang Cui

Comments: appear in IEEE Journal on Selected Areas in Communications, special issue on theories and methods for advanced wireless relays

Subjects: Information Theory (cs.IT)

[87] arXiv:1109.0732 [pdf, other]

Title: Multilingual ontology matching based on Wiktionary data accessible via SPARQL endpoint

Feiyu Lin, Andrew Krizhanovsky

Comments: 8 pages, 3 tables, 4 figures, In: Proceedings of the 13th Russian Conference on Digital Libraries RCDL'2011. October 19-22, Voronezh, Russia. - pp. 19-26. (preprint)

Subjects: Information Retrieval (cs.IR)

[88] arXiv:1109.0736 [pdf, other]

Title: Compression Aware Physical Database Design

Hideaki Kimura (Brown University), Vivek Narasayya (Microsoft Research), Manoj Syamala (Microsoft Research)

Comments: VLDB2011

Subjects: Databases (cs.DB)

[89] arXiv:1109.0742 [pdf, other]

Title: Problems in Modern High Performance Parallel I/O Systems

Robert Louis Cloud

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

[90] arXiv:1109.0752 [pdf, other]

Title: An improved distributed routing algorithm for Benes based optical NoC

Jing Zhang, Huaxi Gu, Yintang Yang

Comments: 6 pages, 3 figures

Subjects: Hardware Architecture (cs.AR)

[91] arXiv:1109.0753 [pdf, other]

Title: Transmission of Successful Route Error Message(RERR) in Routing Aware Multiple Description Video Coding over Mobile Ad-Hoc Network

Kinjal Shah, Gagan Dua, Dharmendar Sharma, Priyanka Mishra, Nitin Rakesh

Comments: 9 pages,2 figures, 1 table for algorithm

Subjects: Multimedia (cs.MM)

[92] arXiv:1109.0755 [pdf, other]

Title: Intelligent Bees for QoS Routing in Networks-on-Chip

Peibo Xie, Huaxi Gu

Comments: 4 pages, 4 figures, IEEE 2010 Second Pacific-Asia Conference on Circuits, Communications and System (PACCS)

Subjects: Hardware Architecture (cs.AR)

[93] arXiv:1109.0758 [pdf, other]

Title: Exploring Social Influence for Recommendation - A Probabilistic Generative Model Approach

Mao Ye, Xingjie Liu, Wang-Chien Lee

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

[94] arXiv:1109.0762 [pdf, other]

Title: Tunable Dual-band IFA Antenna using LC Resonators

Nan Ni

Comments: 4 pages, 6 figures

Subjects: Information Theory (cs.IT)

[95] arXiv:1109.0766 [pdf, other]

Title: Cooperative Secret Key Generation from Phase Estimation in Narrowband Fading Channels

Qian Wang, Kaihe Xu, Kui Ren

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

[96] arXiv:1109.0774 [pdf, other]

Title: Adaptation-Based Programming in Haskell

Tim Bauer (Oregon State University), Martin Erwig (Oregon State University), Alan Fern (Oregon State University), Jervis Pinto (Oregon State University)

Comments: In Proceedings DSL 2011, arXiv:1109.0323

Journal-ref: EPTCS 66, 2011, pp. 1-23

Subjects: Programming Languages (cs.PL)

[97] arXiv:1109.0775 [pdf, other]

Title: A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report)

Azer Bestavros (Boston University), Assaf Kfoury (Boston University)

Comments: In Proceedings DSL 2011, arXiv:1109.0323

Journal-ref: EPTCS 66, 2011, pp. 24-47

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[98] arXiv:1109.0776 [pdf, other]

Title: SAGA: A DSL for Story Management

Lucas Beyak, Jacques Carette (McMaster University)

Comments: In Proceedings DSL 2011, arXiv:1109.0323

Journal-ref: EPTCS 66, 2011, pp. 48-67

Subjects: Programming Languages (cs.PL); Multimedia (cs.MM); Software Engineering (cs.SE)

[99] arXiv:1109.0777 [pdf, other]

Title: Efficient and Correct Stencil Computation via Pattern Matching and Static Typing

Dominic Orchard (Computer Laboratory, University of Cambridge), Alan Mycroft (Computer Laboratory, University of Cambridge)

Comments: In Proceedings DSL 2011, arXiv:1109.0323

Journal-ref: EPTCS 66, 2011, pp. 68-92

Subjects: Programming Languages (cs.PL)

[100] arXiv:1109.0778 [pdf, other]

Title: Building-Blocks for Performance Oriented DSLs

Tiark Rompf (EPFL), Arvind K. Sujeeth (Stanford University), HyoukJoong Lee (Stanford University), Kevin J. Brown (Stanford University), Hassan Chafi (Stanford University), Martin Odersky (EPFL), Kunle Olukotun (Stanford University)

Comments: In Proceedings DSL 2011, arXiv:1109.0323

Journal-ref: EPTCS 66, 2011, pp. 93-117

Subjects: Programming Languages (cs.PL)