Computer Science

Authors and titles for Apr 2014

[1]  arXiv:1404.0002 [pdf, ps, other]

Title: Factoring Differential Operators in n Variables

Authors: Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy

Subjects: Symbolic Computation (cs.SC); Commutative Algebra (math.AC); Rings and Algebras (math.RA)

[2]  arXiv:1404.0003 [pdf, ps, other]

Title: EPICS process variables in different subnetworks and different IOCs without the use of the CaGateway

Authors: Rodrigo Bongers

Comments: 12 pages, 6 figures

Subjects: Networking and Internet Architecture (cs.NI)

[3]  arXiv:1404.0024 [pdf, other]

Title: Towards Human Computable Passwords

Authors: Jeremiah Blocki, Manuel Blum, Anupam Datta, Santosh Vempala

Comments: Fixed bug in definition of Q^{f,j} and modified proofs accordingly

Subjects: Cryptography and Security (cs.CR)

[4]  arXiv:1404.0027 [pdf, other]

Title: An efficient GPU acceptance-rejection algorithm for the selection of the next reaction to occur for Stochastic Simulation Algorithms

Authors: Neri Mickael, Denis Mestivier

Subjects: Computational Engineering, Finance, and Science (cs.CE); Distributed, Parallel, and Cluster Computing (cs.DC)

[5]  arXiv:1404.0039 [pdf, ps, other]

Title: Asynchronous Transmission of Wireless Multicast System with Genetic Joint Antennas Selection

Authors: Jihua Lu, Xiangming Li, Dan Liu

Comments: 5 pages, 3 figures. A downlink multicast scenario with genetic antenna selection is presented. The sender equipped with multi-antennas broadcasts successive data packets in groups to several multi-antenna users over a common bandwidth. Select appropriate weight vectors to maximize the minimum SINR under a power constraint. Proposed algorithm can improve system capacity with lower complexity

Journal-ref: IEEE WCNC 2013 workshop on Convergence of Broadcasting and Broadband Communications. Shanghai, China: April , pp.1-5

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

[6]  arXiv:1404.0046 [pdf, other]

Title: Approximation Schemes for Many-Objective Query Optimization

Authors: Immanuel Trummer, Christoph Koch

Subjects: Databases (cs.DB)

[7]  arXiv:1404.0061 [pdf, other]

Title: Short Message Noisy Network Coding with Rate Splitting

Authors: Ivana Maric, Dennis Hui

Comments: Presented at the 2014 Asilomar Conference on Signals, Systems and Computers, Nov. 2014

Subjects: Information Theory (cs.IT)

[8]  arXiv:1404.0062 [pdf, ps, other]

Title: On redundancy of memoryless sources over countable alphabets

Authors: Maryam Hosseini, Narayana Santhanam

Comments: Journal submission

Subjects: Information Theory (cs.IT)

[9]  arXiv:1404.0073 [pdf, ps, other]

Title: General dynamic recovery for compensating CSP

Authors: Abeer S. Al-Humaimeedy, Maribel Fernández

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 3-16

Subjects: Programming Languages (cs.PL)

[10]  arXiv:1404.0075 [pdf, other]

Title: Ray tracing -- computing the incomputable?

Authors: Ed Blakey (University of Bristol)

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 32-40

Subjects: Computational Complexity (cs.CC)

[11]  arXiv:1404.0076 [pdf, other]

Title: Towards a GPU-based implementation of interaction nets

Authors: Eugen Jiresch (Technische Universität Wien)

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 41-53

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)

[12]  arXiv:1404.0077 [pdf, ps, other]

Title: Effective dimension in some general metric spaces

Authors: Elvira Mayordomo

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

[13]  arXiv:1404.0078 [pdf, other]

Title: Computing discrete logarithm by interval-valued paradigm

Authors: Benedek Nagy, Sándor Vályi

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 76-86

Subjects: Data Structures and Algorithms (cs.DS)

[14]  arXiv:1404.0079 [pdf, other]

Title: Non-deterministic computation and the Jayne-Rogers Theorem

Authors: Arno Pauly, Matthew de Brecht

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 87-96

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

[15]  arXiv:1404.0080 [pdf, other]

Title: Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis

Authors: Sam Sanders

Comments: In Proceedings DCM 2012, arXiv:1403.7579

Journal-ref: EPTCS 143, 2014, pp. 97-109

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

[16]  arXiv:1404.0081 [pdf, ps, other]

Title: The probability of non-confluent systems

Authors: Alejandro Díaz-Caro, Gilles Dowek

Comments: In Proceedings DCM 2013, arXiv:1403.7685

Journal-ref: EPTCS 144, 2014, pp. 1-15

Subjects: Logic in Computer Science (cs.LO)

[17]  arXiv:1404.0082 [pdf, other]

Title: Proof-graphs for Minimal Implicational Logic

Authors: Marcela Quispe-Cruz (PUC-Rio), Edward Hermann Haeusler (PUC-Rio), Lew Gordeev (Tubingen University, Ghent University, PUC-Rio)

Comments: In Proceedings DCM 2013, arXiv:1403.7685

Journal-ref: EPTCS 144, 2014, pp. 16-29

Subjects: Logic in Computer Science (cs.LO)

[18]  arXiv:1404.0083 [pdf, other]

Title: Causal Dynamics of Discrete Surfaces

Authors: Pablo Arrighi, Simon Martiel, Zizhu Wang

Comments: In Proceedings DCM 2013, arXiv:1403.7685

Journal-ref: EPTCS 144, 2014, pp. 30-40

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

[19]  arXiv:1404.0084 [pdf, other]

Title: A Calculus of Located Entities

Authors: Adriana Compagnoni (Stevens Institute of Technology), Paola Giannini (Università del Piemonte Orientale), Catherine Kim (Stevens Institute of Technology), Matthew Milideo (Stevens Institute of Technology), Vishakha Sharma (Stevens Institute of Technology)

Comments: In Proceedings DCM 2013, arXiv:1403.7685

Journal-ref: EPTCS 144, 2014, pp. 41-56

Subjects: Programming Languages (cs.PL); Computational Engineering, Finance, and Science (cs.CE)

[20]  arXiv:1404.0085 [pdf, ps, other]

Title: Towards Formal Interaction-Based Models of Grid Computing Infrastructures

Authors: Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz-Frias

Comments: In Proceedings DCM 2013, arXiv:1403.7685

Journal-ref: EPTCS 144, 2014, pp. 57-72

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

[21]  arXiv:1404.0086 [pdf, other]

Title: Using HMM in Strategic Games

Authors: Mario Benevides (Federal University of Rio de Janeiro), Isaque Lima (Federal University of Rio de Janeiro), Rafael Nader (Federal University of Rio de Janeiro), Pedro Rougemont (Federal University of Rio de Janeiro)

Comments: In Proceedings DCM 2013, arXiv:1403.7685

Journal-ref: EPTCS 144, 2014, pp. 73-84

Subjects: Computer Science and Game Theory (cs.GT); Information Retrieval (cs.IR); Machine Learning (cs.LG)

[22]  arXiv:1404.0087 [pdf, ps, other]

Title: MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable

Authors: Karin Quaas (University of Leipzig)

Comments: In Proceedings SynCoP 2014, arXiv:1403.7841

Journal-ref: EPTCS 145, 2014, pp. 5-17

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

[23]  arXiv:1404.0088 [pdf, other]

Title: Toward Parametric Timed Interfaces for Real-Time Components

Authors: Youcheng Sun, Giuseppe Lipari, Étienne André, Laurent Fribourg

Comments: In Proceedings SynCoP 2014, arXiv:1403.7841

Journal-ref: EPTCS 145, 2014, pp. 49-64

Subjects: Operating Systems (cs.OS)

[24]  arXiv:1404.0089 [pdf, ps, other]

Title: Worst-case Throughput Analysis for Parametric Rate and Parametric Actor Execution Time Scenario-Aware Dataflow Graphs

Authors: Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth

Comments: In Proceedings SynCoP 2014, arXiv:1403.7841

Journal-ref: EPTCS 145, 2014, pp. 65-79

Subjects: Programming Languages (cs.PL)

[25]  arXiv:1404.0091 [pdf, ps, other]

Title: Interestingness a Unifying Paradigm Bipolar Function Composition

Authors: Iaakov Exman

Comments: 9 pages, 2 figures, 1 table; in Proceedings of KDIR 2009, 1st International Conference on Knowledge Discovery and Information Retrieval, Madeira, Portugal, pp. 196-201

Subjects: Information Retrieval (cs.IR)

[26]  arXiv:1404.0097 [pdf, ps, other]

Title: Haplotype Assembly: An Information Theoretic View

Authors: Hongbo Si, Haris Vikalo, Sriram Vishwanath

Comments: 30 pages, 5 figures, 1 tabel, journal

Subjects: Information Theory (cs.IT)

[27]  arXiv:1404.0099 [pdf, other]

Title: Venture: a higher-order probabilistic programming platform with programmable inference

Authors: Vikash Mansinghka, Daniel Selsam, Yura Perov

Comments: 78 pages

Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Computation (stat.CO); Machine Learning (stat.ML)

[28]  arXiv:1404.0101 [pdf, other]

Title: Quantization for Uplink Transmissions in Two-tier Networks with Femtocells

Authors: Chan Dai Truyen Thai, Marion Berbineau

Comments: 16 pages, 8 figures

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

[29]  arXiv:1404.0103 [pdf, other]

Title: Comparative Resilience Notions and Vertex Attack Tolerance of Scale-Free Networks

Authors: John Matta, Jeffrey Borwey, Gunes Ercal

Comments: keywords: scale-free, conductance, resilience, vertex attack tolerance

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

[30]  arXiv:1404.0106 [pdf, ps, other]

Title: Traffic Monitoring Using M2M Communication

Authors: Shiu Kumar, Eun Sik Ham, Seong Ro Lee

Comments: 2 pages, 2 figures, presented in local conference in Korea South

Journal-ref: General Fall Conference of Korea Information and Communications Society (KICS) 2012, Seoul, South Korea, 2012, pp. 233-234

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

[31]  arXiv:1404.0117 [pdf, other]

Title: Minimum Bisection is NP-hard on Unit Disk Graphs

Authors: Josep Diaz, George B. Mertzios

Comments: 17 pages, 6 figures

Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)

[32]  arXiv:1404.0119 [pdf, ps, other]

Title: A Computational Framework for Boundary Representation of Solid Sweeps

Authors: Bharat Adsul, Jinesh Machchhar, Milind Sohoni

Subjects: Computational Geometry (cs.CG); Graphics (cs.GR)

[33]  arXiv:1404.0123 [pdf, other]

Title: Downlink Interference Estimation without Feedback for Heterogeneous Network Interference Avoidance

Authors: Siyi Wang, Weisi Guo, Mark D. McDonnell

Comments: 6 pages, 5 figures, IEEE International Conference on Telecommunications (ICT)

Subjects: Networking and Internet Architecture (cs.NI)

[34]  arXiv:1404.0127 [pdf, other]

Title: Performance of Macro-Scale Molecular Communications with Sensor Cleanse Time

Authors: Siyi Wang, Weisi Guo, Song Qiu, Mark D. McDonnell

Comments: 6 pages, 6 figures, IEEE International Conference on Telecommunications (ICT)

Subjects: Networking and Internet Architecture (cs.NI); Emerging Technologies (cs.ET)

[35]  arXiv:1404.0138 [pdf, other]

Title: Efficient Algorithms and Error Analysis for the Modified Nystrom Method

Authors: Shusen Wang, Zhihua Zhang

Comments: 9-page paper plus appendix. In Proceedings of the 17th International Conference on Artificial Intelligence and Statistics (AISTATS) 2014, Reykjavik, Iceland. JMLR: W&CP volume 33

Subjects: Machine Learning (cs.LG)

[36]  arXiv:1404.0142 [pdf, other]

Title: Information-Theoretic Bounds for Performance of Resource-Constrained Communication Systems

Authors: Albert Y.S. Lam, Yanhui Geng, Victor O.K. Li

Comments: Submitted to IEEE Transactions on Communications

Subjects: Information Theory (cs.IT); Systems and Control (eess.SY); Optimization and Control (math.OC)

[37]  arXiv:1404.0144 [pdf, ps, other]

Title: Modal Independence Logic

Authors: Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer

Subjects: Logic in Computer Science (cs.LO)

[38]  arXiv:1404.0158 [pdf, ps, other]

Title: Development of Wearable Systems for Ubiquitous Healthcare Service Provisioning

Authors: O.O. Ogunduyile, O.O. Olugbara, M. Lall

Comments: 6 pages, 3 figures, APCBEE Procedia 7, 2013. arXiv admin note: substantial text overlap with arXiv:1309.1542

Subjects: Other Computer Science (cs.OH)

[39]  arXiv:1404.0163 [pdf, other]

Title: Gender Asymmetries in Reality and Fiction: The Bechdel Test of Social Media

Authors: David Garcia, Ingmar Weber, Venkata Rama Kiran Garimella

Comments: To appear in Proceedings of the 8th International AAAI Conference on Weblogs and Social Media (ICWSM '14)

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

[40]  arXiv:1404.0173 [pdf, ps, other]

Title: A Recursive Method for Enumeration of Costas Arrays

Authors: Mojtaba Soltanalian, Petre Stoica

Subjects: Information Theory (cs.IT)

[41]  arXiv:1404.0180 [pdf, ps, other]

Title: Throughput Analysis in CSMA/CA Networks using Continuous Time Markov Networks: A Tutorial

Authors: B. Bellalta, A. Zocca, C. Cano, A. Checco, J. Barcelo, A. Vinel

Subjects: Networking and Internet Architecture (cs.NI)

[42]  arXiv:1404.0195 [pdf, ps, other]

Title: Extension theorems for self-dual codes over rings and new binary self-dual codes

Authors: Abidin Kaya, Bahattin Yildiz

Comments: under review since April 2014, 14 pages, 12 tables

Journal-ref: Discrete Mathematics Vol 338 Issue 2 2016

Subjects: Information Theory (cs.IT)

[43]  arXiv:1404.0200 [pdf, other]

Title: Household Electricity Demand Forecasting -- Benchmarking State-of-the-Art Methods

Authors: Andreas Veit, Christoph Goebel, Rohit Tidke, Christoph Doblander, Hans-Arno Jacobsen

Comments: Technical Report

Subjects: Machine Learning (cs.LG); Applications (stat.AP)

[44]  arXiv:1404.0218 [pdf, ps, other]

Title: Sparse Model Uncertainties in Compressed Sensing with Application to Convolutions and Sporadic Communication

Authors: Peter Jung, Philipp Walk

Comments: Book chapter, submitted to "Compressed Sensing and its Applications", 31 pages, revised version

Subjects: Information Theory (cs.IT)

[45]  arXiv:1404.0231 [pdf, ps, other]

Title: Mobile Elements Scheduling for Periodic Sensor Applications

Authors: Bassam A.alqaralleh, Khaled Almiani

Subjects: Networking and Internet Architecture (cs.NI)

[46]  arXiv:1404.0237 [pdf, ps, other]

Title: Design of Symbolic Controllers for Networked Control Systems

Authors: Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto

Subjects: Systems and Control (eess.SY)

[47]  arXiv:1404.0255 [pdf, other]

Title: A Case Where Interference Does Not Affect The Channel Dispersion

Authors: Sy-Quoc Le, Vincent Y. F. Tan, Mehul Motani

Comments: Submitted to Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[48]  arXiv:1404.0261 [pdf, ps, other]

Title: Counting Triangulations and other Crossing-Free Structures Approximately

Authors: Victor Alvarez, Karl Bringmann, Saurabh Ray, Raimund Seidel

Comments: 19 pages, 2 figures. A preliminary version appeared at CCCG 2013

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

[49]  arXiv:1404.0265 [pdf, other]

Title: On Minimizing the Maximum Broadcast Decoding Delay for Instantly Decodable Network Coding

Authors: Ahmed Douik, Sameh Sorour, Mohamed-Slim Alouini, Tareq Y. Al-Naffouri

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

[50]  arXiv:1404.0273 [pdf, other]

Title: Lattice Codes for Many-to-One Interference Channels With and Without Cognitive Messages

Authors: Jingge Zhu, Michael Gastpar

Comments: To appear in IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT)

[51]  arXiv:1404.0281 [pdf, ps, other]

Title: Sampling a Uniform Random Solution of a Quadratic Equation Modulo $p^k$

Authors: Chandan Dubey, Thomas Holenstein

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Number Theory (math.NT); Rings and Algebras (math.RA)

[52]  arXiv:1404.0284 [pdf, other]

Title: The UK-DALE dataset, domestic appliance-level electricity demand and whole-house demand from five UK homes

Authors: Jack Kelly, William Knottenbelt

Journal-ref: Scientific Data 2 (2015) Article number: 150007 (2015)

Subjects: Other Computer Science (cs.OH)

[53]  arXiv:1404.0286 [pdf, other]

Title: Wear Minimization for Cuckoo Hashing: How Not to Throw a Lot of Eggs into One Basket

Authors: David Eppstein, Michael T. Goodrich, Michael Mitzenmacher, Paweł Pszona

Comments: 13 pages, 1 table, 7 figures; to appear at the 13th Symposium on Experimental Algorithms (SEA 2014)

Subjects: Data Structures and Algorithms (cs.DS)

[54]  arXiv:1404.0296 [pdf, ps, other]

Title: Metal-Gated Junctionless Nanowire Transistors

Authors: Mostafizur Rahman, Pritish Narayanan, Csaba Andras Moritz

Subjects: Emerging Technologies (cs.ET); Hardware Architecture (cs.AR)

[55]  arXiv:1404.0297 [pdf, ps, other]

Title: Hyperprojective Hierarchy of QCB_0-spaces

Authors: Matthias Schröder, Victor Selivanov

Comments: Conference version to appear in LNCS

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

[56]  arXiv:1404.0298 [src]

Title: A Kernel-Based Nonparametric Test for Anomaly Detection over Line Networks

Authors: Shaofeng Zou, Yingbin Liang, H. Vincent Poor

Comments: This paper has been withdrawn because we have submitted a complete version. The complete version is arXiv:1604.01351

Subjects: Information Theory (cs.IT); Machine Learning (stat.ML)

[57]  arXiv:1404.0300 [pdf, ps, other]

Title: Followers Are Not Enough: A Question-Oriented Approach to Community Detection in Online Social Networks

Authors: David Darmon, Elisa Omodei, Joshua Garland

Comments: 22 pages, 4 figures, 1 tables

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

[58]  arXiv:1404.0320 [pdf, ps, other]

Title: A Note on Randomized Element-wise Matrix Sparsification

Authors: Abhisek Kundu, Petros Drineas

Comments: 5 pages

Subjects: Information Theory (cs.IT)

[59]  arXiv:1404.0321 [pdf, other]

Title: Layout Decomposition for Quadruple Patterning Lithography and Beyond

Authors: Bei Yu, David Z. Pan

Comments: DAC'2014

Subjects: Data Structures and Algorithms (cs.DS)

[60]  arXiv:1404.0334 [pdf, other]

Title: Active Deformable Part Models

Authors: Menglong Zhu, Nikolay Atanasov, George J. Pappas, Kostas Daniilidis

Comments: 9 pages

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[61]  arXiv:1404.0336 [pdf, ps, other]

Title: A Continuous Max-Flow Approach to General Hierarchical Multi-Labeling Problems

Authors: John S.H. Baxter, Martin Rajchl, Jing Yuan, Terry M. Peters

Comments: 11 pages, 1 figure, 3 algorithms -v2: Fixed typos / grammatical errors

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

[62]  arXiv:1404.0337 [pdf, ps, other]

Title: The Complexity of Bounded Length Graph Recoloring

Authors: Paul Bonsma, Amer E. Mouawad

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

[63]  arXiv:1404.0339 [pdf, ps, other]

Title: Constructive discrepancy minimization for convex sets

Authors: Thomas Rothvoss

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

[64]  arXiv:1404.0346 [pdf, ps, other]

Title: Scaling laws for molecular communication

Authors: Andrew W. Eckford, Chan-Byoung Chae

Comments: Accepted for publication in the 2014 IEEE International Symposium on Information Theory

Subjects: Information Theory (cs.IT); Mathematical Physics (math-ph); Quantitative Methods (q-bio.QM)

[65]  arXiv:1404.0354 [pdf, ps, other]

Title: Performance of the Generalized Quantize-and-Forward Scheme over the Multiple-Access Relay Channel

Authors: Ming Lei, Mohammad Reza Soleymani

Comments: 26 pages, 8 figures, submitted for journal publication

Subjects: Information Theory (cs.IT)

[66]  arXiv:1404.0359 [pdf, ps, other]

Title: Inter-rater reliability and convergent validity of F1000Prime peer review

Authors: Lutz Bornmann

Comments: Accepted for publication in the Journal of the Association for Information Science and Technology

Subjects: Digital Libraries (cs.DL); Physics and Society (physics.soc-ph)

[67]  arXiv:1404.0390 [pdf, other]

Title: Further scramblings of Marsaglia's xorshift generators

Authors: Sebastiano Vigna

Comments: arXiv admin note: text overlap with arXiv:1402.6246

Subjects: Data Structures and Algorithms (cs.DS); Cryptography and Security (cs.CR); Mathematical Software (cs.MS)

[68]  arXiv:1404.0400 [pdf, other]

Title: A Deep Representation for Invariance And Music Classification

Authors: Chiyuan Zhang, Georgios Evangelopoulos, Stephen Voinea, Lorenzo Rosasco, Tomaso Poggio

Comments: 5 pages, CBMM Memo No. 002, (to appear) IEEE 2014 International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2014)

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

[69]  arXiv:1404.0404 [pdf, other]

Title: EEG Spatial Decoding and Classification with Logit Shrinkage Regularized Directed Information Assessment (L-SODA)

Authors: Xu Chen, Zeeshan Syed, Alfred Hero

Subjects: Information Theory (cs.IT)

[70]  arXiv:1404.0408 [pdf, other]

Title: Optimal Multiuser Transmit Beamforming: A Difficult Problem with a Simple Solution Structure

Authors: Emil Björnson, Mats Bengtsson, Björn Ottersten

Comments: Accepted for publication as lecture note in IEEE Signal Processing Magazine, 11 pages, 3 figures. The results can be reproduced using the following Matlab code: this https URL

Journal-ref: IEEE Signal Processing Magazine, vol. 31, no. 4, pp. 142-148, July 2014

Subjects: Information Theory (cs.IT)

[71]  arXiv:1404.0414 [pdf, ps, other]

Title: Proceedings 2nd International Workshop on Strategic Reasoning

Authors: Fabio Mogavero (Università degli Studi di Napoli Federico II), Aniello Murano (Università degli Studi di Napoli Federico II), Moshe Y. Vardi (Rice University)

Journal-ref: EPTCS 146, 2014

Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

[72]  arXiv:1404.0417 [pdf, other]

Title: Mining Idioms from Source Code

Authors: Miltiadis Allamanis, Charles Sutton

Subjects: Software Engineering (cs.SE)

[73]  arXiv:1404.0424 [pdf, other]

Title: Conjugate Gradient-based Soft-Output Detection and Precoding in Massive MIMO Systems

Authors: Bei Yin, Michael Wu, Joseph R. Cavallaro, Christoph Studer

Comments: to appear at IEEE GLOBECOM 2014

Subjects: Information Theory (cs.IT)

[74]  arXiv:1404.0425 [pdf, other]

Title: Partition Information and its Transmission over Boolean Multi-Access Channels

Authors: Shuhang Wu, Shuangqing Wei, Yue Wang, Ramachandran Vaidyanathan, Jian Yuan

Comments: Submitted to IEEE Transactions on Information Theory, major revision

Subjects: Information Theory (cs.IT)

[75]  arXiv:1404.0434 [pdf, ps, other]

Title: New Asymptotic Metrics for Relative Generalized Hamming Weight

Authors: Ryutaroh Matsumoto

Comments: 3 pages, 1 figure, IEEEtran.cls. To be presented at 2014 IEEE International Symposium on Information Theory, June 29-July 4, 2014 Hawai'i Convention Center, Honolulu, HI, USA

Journal-ref: Proc. 2014 IEEE International Symposium on Information Theory, pp. 3142-3144

Subjects: Information Theory (cs.IT); Combinatorics (math.CO)

[76]  arXiv:1404.0436 [pdf, ps, other]

Title: Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures

Authors: Bara Buhnova (Masaryk University, Czech Republic), Lucia Happe (Karlsruhe Institute of Technology, Germany), Jan Kofroň (Charles University in Prague, Czech Republic)

Journal-ref: EPTCS 147, 2014

Subjects: Software Engineering (cs.SE)

[77]  arXiv:1404.0437 [pdf, other]

Title: Theory and Application of Shapelets to the Analysis of Surface Self-assembly Imaging

Authors: Robert Suderman, Daniel Lizotte, Nasser Mohieddin Abukhdeir

Comments: 11 pages, 8 figures, submitted to the Journal of Computational Physics

Subjects: Computer Vision and Pattern Recognition (cs.CV); Data Analysis, Statistics and Probability (physics.data-an)

[78]  arXiv:1404.0442 [pdf, other]

Title: Adaptive $h$-refinement for reduced-order models

Authors: Kevin Carlberg

Comments: submitted to the International Journal for Numerical Methods in Engineering, Special Issue on Model Reduction

Journal-ref: International Journal for Numerical Methods in Engineering, Vol. 102, No. 5, p.1192-1210 (2014)

Subjects: Numerical Analysis (math.NA)

[79]  arXiv:1404.0453 [pdf, ps, other]

Title: Cellular Automata and Its Applications in Bioinformatics: A Review

Authors: Pokkuluri Kiran Sree, Inampudi Ramesh Babu, SSSN Usha Devi N

Journal-ref: Global Perspectives on Artificial Intelligence (GPAI) Volume 2 Issue 2, Pages 16-22 April 2014

Subjects: Computational Engineering, Finance, and Science (cs.CE); Machine Learning (cs.LG)

[80]  arXiv:1404.0459 [pdf, ps, other]

Title: Self-protection and self-healing in the context of cognitive radio

Authors: Mohammed Zakarya Baba-Ahmed, Badr Benmammar (LTT), Fethi Tarik Bendimerad (LTT)

Journal-ref: International Conference on Artificial Intelligence and Information Technology (2014)

Subjects: Networking and Internet Architecture (cs.NI)

[81]  arXiv:1404.0462 [pdf, ps, other]

Title: The European Union, China, and the United States in the Top-1% and Top-10% Layers of Most-Frequently-Cited Publications: Competition and Collaborations

Authors: Loet Leydesdorff, Caroline S. Wagner, Lutz Bornmann

Comments: Journal of Informetrics (in press)

Subjects: Digital Libraries (cs.DL)

[82]  arXiv:1404.0466 [pdf, other]

Title: piCholesky: Polynomial Interpolation of Multiple Cholesky Factors for Efficient Approximate Cross-Validation

Authors: Da Kuang, Alex Gittens, Raffay Hamid

Subjects: Machine Learning (cs.LG); Numerical Analysis (math.NA)

[83]  arXiv:1404.0471 [pdf, ps, other]

Title: Full-Duplex Wireless-Powered Communication Network with Energy Causality

Authors: Xin Kang, Chin Keong Ho, Sumei Sun

Comments: Energy Harvesting, Wireless Power Transfer, Full-Duplex, Optimal Resource Allocation, Optimization

Subjects: Information Theory (cs.IT)

[84]  arXiv:1404.0530 [pdf, other]

Title: Modelling the Self-similarity in Complex Networks Based on Coulomb's Law

Authors: Haixin Zhang, Daijun Wei, Yong Hu, Xin Lan, Yong Deng

Comments: 25 pages, 11 figures

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

[85]  arXiv:1404.0533 [pdf, other]

Title: A Comparative Study of Modern Inference Techniques for Structured Discrete Energy Minimization Problems

Authors: Jörg H. Kappes, Bjoern Andres, Fred A. Hamprecht, Christoph Schnörr, Sebastian Nowozin, Dhruv Batra, Sungwoong Kim, Bernhard X. Kausler, Thorben Kröger, Jan Lellmann, Nikos Komodakis, Bogdan Savchynskyy, Carsten Rother

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

[86]  arXiv:1404.0540 [pdf, ps, other]

Title: Modeling contaminant intrusion in water distribution networks based on D numbers

Authors: Li Gou, Yong Deng, Rehan Sadiq, Sankaran Mahadevan

Comments: 20 pages, 3 figures

Subjects: Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE)

[87]  arXiv:1404.0542 [pdf, other]

Title: Towards a Fair Allocation of Rewards in Multi-Level Marketing

Authors: Talal Rahwan, Victor Naroditskiy, Tomasz Michalak, Michael Wooldridge, Nicholas R Jennings

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

[88]  arXiv:1404.0545 [pdf, ps, other]

Title: An Intensional Concurrent Faithful Encoding of Turing Machines

Authors: Thomas Given-Wilson (INRIA, Saclay)

Comments: In Proceedings ICE 2014, arXiv:1410.7013

Journal-ref: EPTCS 166, 2014, pp. 21-37

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

[89]  arXiv:1404.0554 [pdf, ps, other]

Title: From ADP to the Brain: Foundations, Roadmap, Challenges and Research Priorities

Authors: Paul J Werbos

Comments: 5p, to appear in Proc. of the Interantional Joint Conference on Neural Networks 2014

Subjects: Neural and Evolutionary Computing (cs.NE)

[90]  arXiv:1404.0564 [pdf, ps, other]

Title: New Shortest Lattice Vector Problems of Polynomial Complexity

Authors: Saeid Sahraei, Michael C. Gastpar

Comments: 13 pages

Subjects: Data Structures and Algorithms (cs.DS)

[91]  arXiv:1404.0566 [pdf, other]

Title: Weyl group orbit functions in image processing

Authors: Goce Chadzitaskos, Lenka Háková, Ondřej Kajínek

Comments: 12 pages, 5 figures

Journal-ref: Applied Mathematics, Vol. 5 No. 3, 2014, pp. 501-511

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

[92]  arXiv:1404.0570 [pdf, ps, other]

Title: On Affine Logic and Łukasiewicz Logic

Authors: Rob Arthan, Paulo Oliva

Comments: 28 pages

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

[93]  arXiv:1404.0578 [pdf, other]

Title: Mental Disorder Recovery Correlated with Centralities and Interactions on an Online Social Network

Authors: Xinpei Ma, Hiroki Sayama

Comments: 20 pages, 5 figures, 5 tables; accepted for publication in PeerJ

Journal-ref: PeerJ, 3:e1163 (2015)

Subjects: Social and Information Networks (cs.SI); Computers and Society (cs.CY)

[94]  arXiv:1404.0588 [pdf, other]

Title: Labeling Schemes for Bounded Degree Graphs

Authors: David Adjiashvili, Noy Rotbart

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

[95]  arXiv:1404.0600 [pdf, other]

Title: MBIS: Multivariate Bayesian Image Segmentation Tool

Authors: Oscar Esteban, Gert Wollny, Subrahmanyam Gorthi, Maria-J. Ledesma-Carbayo, Jean-Philippe Thiran, Andres Santos, Meritxell Bach-Cuadra

Journal-ref: Comput. Meth. Prog. Bio. 115(2):76-94 (2014)

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

[96]  arXiv:1404.0605 [pdf, ps, other]

Title: The Complexity of the Simplex Method

Authors: John Fearnley, Rahul Savani

Subjects: Data Structures and Algorithms (cs.DS)

[97]  arXiv:1404.0606 [pdf, ps, other]

Title: Monadic Datalog Containment on Trees

Authors: André Frochaux, Martin Grohe, Nicole Schweikardt

Comments: This article is the full version of an article published in the proccedings of the 8th Alberto Mendelzon Workshop (AMW 2014)

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

[98]  arXiv:1404.0607 [pdf, ps, other]

Title: Skybridge: 3-D Integrated Circuit Technology Alternative to CMOS

Authors: Mostafizur Rahman, Santosh Khasanvis, Jiajun Shi, Mingyu Li, Csaba Andras Moritz

Comments: 53 Pages

Subjects: Emerging Technologies (cs.ET); Hardware Architecture (cs.AR)

[99]  arXiv:1404.0614 [pdf, ps, other]

Title: The secretary returns

Authors: Shai Vardi

Subjects: Data Structures and Algorithms (cs.DS)

[100]  arXiv:1404.0615 [pdf, ps, other]

Title: Nanowire Volatile RAM as an Alternative to SRAM

Authors: Mostafizur Rahman, Santosh Khasanvis, Csaba Andras Moritz

Subjects: Emerging Technologies (cs.ET)