Computer Science

Authors and titles for September 2011

[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)