Computer Science

Authors and titles for January 2011

[151] arXiv:1101.1718 [pdf, other]

Title: Precise Schedulability Analysis for unfeasible to notify separately for comprehensive - EDF Scheduling of interrupted Hard Real-Time Tasks on the similar Multiprocessors

Jagbeer Singh

Comments: 9 pages,1 figure

Subjects: Software Engineering (cs.SE)

[152] arXiv:1101.1727 [pdf, other]

Title: Finitary languages

Krishnendu Chatterjee (IST Austria), Nathanaël Fijalkow (IST Austria, ENS Cachan)

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

[153] arXiv:1101.1731 [pdf, other]

Title: Automata and temporal logic over arbitrary linear time

Julien Cristau (LIAFA)

Journal-ref: Foundations of Software Technology and Theoretical Computer Science, Kanpur : France (2009)

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

[154] arXiv:1101.1775 [pdf, other]

Title: Application of the parallel BDDC preconditioner to the Stokes flow

Jakub Šístek, Bedřich Sousedík, Pavel Burda, Jan Mandel, Jaroslav Novotný

Comments: 27 pages, 5 figures, 7 tables

Journal-ref: Comput. & Fluids, 46:429-435, 2011

Subjects: Numerical Analysis (math.NA)

[155] arXiv:1101.1776 [pdf, other]

Title: Sharp asymptotics of the Lp approximation error for interpolation on block partitions

Yuliya Babenko, Tatyana Leskevich, Jean-Marie Mirebeau

Comments: 20 pages, 1 figure

Subjects: Numerical Analysis (math.NA)

[156] arXiv:1101.1803 [pdf, other]

Title: Information sets from defining sets in abelian codes

José Joaquín Bernal, Juan Jacobo Simón

Comments: 10 pages, 2 figures

Subjects: Information Theory (cs.IT)

[157] arXiv:1101.1814 [pdf, other]

Title: A Logic Programming Approach for Formal Verification of NetBill Security and Transactions Protocol

Suvansh Lal

Comments: ICSCI-09, Hyderabad. India

Subjects: Cryptography and Security (cs.CR)

[158] arXiv:1101.1815 [pdf, other]

Title: Approaches to Formal Verification of Security Protocols

Suvansh Lal, Mohit Jain, Vikrant Chaplot

Subjects: Cryptography and Security (cs.CR)

[159] arXiv:1101.1841 [pdf, other]

Title: Determinization of $ω$-automata unified

Hrishikesh Karmarkar, Supratik Chakraborty

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

[160] arXiv:1101.1845 [pdf, other]

Title: Optimally Adapted Meshes for Finite Elements of Arbitrary Order and W1p Norms

Jean-Marie Mirebeau

Comments: 37 pages, 6 figures

Subjects: Numerical Analysis (math.NA)

[161] arXiv:1101.1846 [pdf, other]

Title: Using graphics processing units to generate random numbers

S. Hissoiny, P. Després, B. Ozell

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

[162] arXiv:1101.1895 [pdf, other]

Title: Constructive spherical codes near the Shannon bound

Patrick Solé, Jean-Claude Belfiore

Comments: 11 pages, 2 figures

Subjects: Information Theory (cs.IT)

[163] arXiv:1101.1902 [pdf, other]

Title: Sorting, Searching, and Simulation in the MapReduce Framework

Michael T. Goodrich, Nodari Sitchinava, Qin Zhang

Comments: 16 pages

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

[164] arXiv:1101.1915 [pdf, other]

Title: A Novel Approach to the Statistical Modeling of Wireline Channels

Stefano Galli

Comments: 14 pages, 7 figures, 3 tables

Subjects: Information Theory (cs.IT)

[165] arXiv:1101.1920 [pdf, other]

Title: Superposition Coding-Based Bounds and Capacity for the Cognitive Z-Interference Channels

Mojtaba Vaezi, Mai Vu

Comments: Submitted to IEEE Trans. on Inf. Theory. (The capacity result is extended to $|a| \geq \sqrt{1 + P_1}$)

Subjects: Information Theory (cs.IT)

[166] arXiv:1101.1932 [pdf, other]

Title: Efficient tilings of de Bruijn and Kautz graphs

Washington Taylor, Jud Leonard, Lawrence C. Stewart

Comments: 29 pages, 11 figures

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

[167] arXiv:1101.1934 [pdf, other]

Title: Bit-wise Unequal Error Protection for Variable Length Block Codes with Feedback

Baris Nakiboglu, Siva K. Gorantla, Lizhong Zheng, Todd P. Coleman

Comments: 41 pages, 3 figures

Journal-ref: IEEE Transactions on Information Theory, 59(3):1475-1504, March 2013

Subjects: Information Theory (cs.IT)

[168] arXiv:1101.1941 [pdf, other]

Title: On Parsimonious Explanations for 2-D Tree- and Linearly-Ordered Data

Howard Karloff, Flip Korn, Konstantin Makarychev, Yuval Rabani

Subjects: Data Structures and Algorithms (cs.DS)

[169] arXiv:1101.1995 [pdf, other]

Title: Prolongation-Collocation Variational Integrators

Melvin Leok, Tatiana Shingel

Comments: 16 pages, 7 figures

Subjects: Numerical Analysis (math.NA)

[170] arXiv:1101.2002 [pdf, other]

Title: Cooperative Tasking for Deterministic Specification Automata

Mohammad Karimadini, Hai Lin

Comments: Preprint, Submitted for publication

Subjects: Systems and Control (eess.SY); Multiagent Systems (cs.MA)

[171] arXiv:1101.2003 [pdf, other]

Title: Fault-tolerant Cooperative Tasking for Multi-agent Systems

Mohammad Karimadini, Hai Lin

Comments: Preprint, Submitted for publication

Subjects: Systems and Control (eess.SY); Multiagent Systems (cs.MA); Optimization and Control (math.OC)

[172] arXiv:1101.2005 [pdf, other]

Title: Block Tensor Unfoldings

Stefan Ragnarsson, Charles F. Van Loan

Subjects: Numerical Analysis (math.NA)

[173] arXiv:1101.2007 [pdf, other]

Title: New Results on Multiple-Input Multiple-Output Broadcast Channels with Confidential Messages

Ruoheng Liu, Tie Liu, H. Vincent Poor, Shlomo Shamai (Shitz)

Comments: Submitted to the IEEE Transactions on Information Theory, 11 pages, 5 figures

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

[174] arXiv:1101.2018 [pdf, other]

Title: The Complexity of 3SAT_N and the P versus NP Problem

Ruijia Liao

Comments: 26 pages

Subjects: Computational Complexity (cs.CC)

[175] arXiv:1101.2060 [pdf, other]

Title: Homographic scheme for Riccati equation

François Dubois (LM-Orsay), Abdelkader Saïdi (IRMA)

Comments: 40 pages

Subjects: Numerical Analysis (math.NA)

[176] arXiv:1101.2061 [pdf, other]

Title: The graphs with the max-Mader-flow-min-multiway-cut property

Guyslain Naves, Vincent Jost (LIX)

Subjects: Discrete Mathematics (cs.DM)

[177] arXiv:1101.2096 [pdf, other]

Title: Data Accuracy Estimation for Cluster with Spatially Correlated Data in Wireless Sensor Networks

Jyotirmoy Karjee, H.S Jamadagni

Comments: ICISCI 2011

Subjects: Networking and Internet Architecture (cs.NI)

[178] arXiv:1101.2098 [pdf, other]

Title: Data Accuracy Estimation for Spatially Correlated Data in Wireless Sensor Networks under Distributed Clustering

Jyotirmoy Karjee, H.S Jamadagni

Comments: 13 pages

Subjects: Networking and Internet Architecture (cs.NI)

[179] arXiv:1101.2146 [pdf, other]

Title: A Generic Scheme for Qualified Constraint Functional Logic Progamming

Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

Comments: 36 pages, 5 figures, extended version with full proofs of Qualified Computations in Functional Logic Programming, in P.M. Hill and D.S. Warren (Eds.), ICLP 2009, LNCS 5649, pp. 449-463, 2009

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

[180] arXiv:1101.2162 [pdf, other]

Title: From coinductive proofs to exact real arithmetic: theory and applications

Ulrich Berger (Swansea University)

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

Subjects: Logic in Computer Science (cs.LO)

[181] arXiv:1101.2173 [pdf, other]

Title: The power and Arnoldi methods in an algebra of circulants

David F. Gleich, Chen Greif, James M. Varah

Comments: 25 pages, 8 figures

Subjects: Numerical Analysis (math.NA)

[182] arXiv:1101.2182 [pdf, other]

Title: The Degrees of Freedom of Compute-and-Forward

Urs Niesen, Phil Whiting

Comments: 32 pages, to appear in IEEE Transactions on Information Theory

Journal-ref: IEEE Transactions on Information Theory, vol. 58, pp. 5214 - 5232 , August 2012

Subjects: Information Theory (cs.IT)

[183] arXiv:1101.2192 [pdf, other]

Title: Power Allocation Games in Interference Relay Channels: Existence Analysis of Nash Equilibria

E. V. Belmega, S. Lasaulce

Comments: To appear in EURASIP Journal on Wireless Communications and Networking (JWCN)

Subjects: Information Theory (cs.IT)

[184] arXiv:1101.2219 [pdf, other]

Title: Alchymical Mirror: Real-time Interactive Sound- and Simple Motion-Tracking Set of Jitter/Max/MSP Patches

Elizaveta Eidelman, Serguei A. Mokhov

Comments: 13 pages; a December 2005 report; video is not included into the arXiv submission; Jitter language patches are not replicated in this version

Subjects: Multimedia (cs.MM)

[185] arXiv:1101.2242 [pdf, other]

Title: Modelling to study its non-linear effects on Communication System's performance with BER as performance measure

Aripirala Manoj Kumar, G.Bharath Reddy, G. Krishna Chaitanya Reddy

Subjects: Information Theory (cs.IT)

[186] arXiv:1101.2243 [pdf, other]

Title: Illustrating Color Evolution and Color Blindness by the Decoding Model of Color Vision

Chenguang Lu

Comments: 11 pages, 9 figures

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

[187] arXiv:1101.2245 [pdf, other]

Title: Invertible Bloom Lookup Tables

Michael T. Goodrich, Michael Mitzenmacher

Comments: contains 4 figures, showing experimental performance

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

[188] arXiv:1101.2249 [pdf, other]

Title: Fixed-complexity Sphere Encoder for Multi-user MIMO Systems

Manar Mohaisen, KyungHi Chang

Comments: 7 pages, 7 figures. Accepted by Journal of Communications and Networks

Subjects: Information Theory (cs.IT)

[189] arXiv:1101.2268 [pdf, other]

Title: Casting Robotic End-effectors To Reach Faraway Moving Objects

Adriano Fagiolini, Hitoshi Arisumi, Antonio Bicchi

Subjects: Robotics (cs.RO)

[190] arXiv:1101.2270 [pdf, other]

Title: Distributed Collision-free Protocol for AGVs in Industrial Environments

Dario Marino, Adriano Fagiolini, Lucia Pallottino

Subjects: Robotics (cs.RO)

[191] arXiv:1101.2272 [pdf, other]

Title: Logical Consensus for Distributed and Robust Intrusion Detection

Adriano Fagiolini, Antonio Bicchi

Subjects: Robotics (cs.RO)

[192] arXiv:1101.2273 [pdf, other]

Title: Distributed Intrusion Detection for the Security of Societies of Robots

Adriano Fagiolini, Gianluca Dini, Antonio Bicchi

Subjects: Robotics (cs.RO)

[193] arXiv:1101.2275 [pdf, other]

Title: Distributed Consensus on Set-valued Information

Adriano Fagiolini, Nevio Dubbini, Antonio Bicchi

Subjects: Robotics (cs.RO)

[194] arXiv:1101.2279 [pdf, other]

Title: Planning with Partial Preference Models

Tuan Nguyen, Minh Do, Alfonso Gerevini, Ivan Serina, Biplav Srivastava, Subbarao Kambhampati

Comments: 38 pages, submitted to Artificial Intelligence Journal

Subjects: Artificial Intelligence (cs.AI)

[195] arXiv:1101.2288 [pdf, other]

Title: On the Degree of Freedom for Multi-Source Multi-Destination Wireless Network with Multi-layer Relays

Feng Liu, Chung Chan, Ying Jun (Angela)Zhang

Comments: 15 pages, 2 figures

Subjects: Information Theory (cs.IT)

[196] arXiv:1101.2301 [pdf, other]

Title: A Factorial Experiment on Scalability of Search Based Software Testing

Arash Mehrmand, Robert Feldt

Comments: 3d Artificial Intelligence Techniques in Software Engineering Workshop, 7 October, 2010, Larnaca, Cyprus

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

[197] arXiv:1101.2312 [pdf, other]

Title: Automatic segmentation of HeLa cell images

Jan Urban

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

[198] arXiv:1101.2317 [pdf, other]

Title: A Generalized MMSE Detection with Reduced Complexity for Spatially Multiplexed MIMO Signals

Makoto Tanahashi, Hideki Ochiai

Comments: submitted to IEEE Transactions on Signal Processing

Subjects: Information Theory (cs.IT)

[199] arXiv:1101.2320 [pdf, other]

Title: Review and Evaluation of Feature Selection Algorithms in Synthetic Problems

L.A. Belanche, F.F. González

Comments: 13 pages, 3 figures

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

[200] arXiv:1101.2342 [pdf, other]

Title: A contribution to the condition number of the total least squares problem

Zhongxiao Jia, Bingyu Li

Subjects: Numerical Analysis (math.NA)