Computer Science

Authors and titles for Apr 2014, skipping first 75

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

[101]  arXiv:1404.0627 [pdf, ps, other]

Title: Extraction of Projection Profile, Run-Histogram and Entropy Features Straight from Run-Length Compressed Text-Documents

Authors: Mohammed Javed, P. Nagabhushan, B.B. Chaudhuri

Comments: Published by IEEE in Proceedings of ACPR-2013. arXiv admin note: text overlap with arXiv:1403.7783

Journal-ref: 2013 Second IAPR Asian Conference on Pattern Recognition, Pages 813-817

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

[102]  arXiv:1404.0640 [pdf, ps, other]

Title: Conceptive Artificial Intelligence: Insights from design theory

Authors: Akin Osman Kazakci (CGS)

Journal-ref: International Design Conference DESIGN2014, Croatia (2014)

Subjects: Artificial Intelligence (cs.AI)

[103]  arXiv:1404.0644 [pdf, ps, other]

Title: Tighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and More

Authors: Julien Cassaigne, Vesa Halava, Tero Harju, Francois Nicolas

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

[104]  arXiv:1404.0649 [pdf, other]

Title: A probabilistic estimation and prediction technique for dynamic continuous social science models: The evolution of the attitude of the Basque Country population towards ETA as a case study

Authors: Juan-Carlos Cortés, Francisco-J. Santonja, Ana-C. Tarazona, Rafael-J. Villanueva, Javier Villanueva-Oller

Comments: 13 pages

Subjects: Machine Learning (cs.LG)

[105]  arXiv:1404.0654 [pdf, ps, other]

Title: Two Structural Results for Low Degree Polynomials and Applications

Authors: Gil Cohen, Avishay Tal

Subjects: Computational Complexity (cs.CC)

[106]  arXiv:1404.0660 [pdf, ps, other]

Title: Waterfilling Theorems in the Time-Frequency Plane for the Heat Channel and a Related Source

Authors: Edwin Hammerich

Comments: 5 pages; to be presented at 2014 IEEE International Symposium on Information Theory, Honolulu, HI, USA, June/July 2014

Journal-ref: Proc. IEEE Int. Symp. Information Theory, Honolulu, HI, 2014, pp. 2416-2420

Subjects: Information Theory (cs.IT)

[107]  arXiv:1404.0662 [pdf, ps, other]

Title: Privacy-Preserving Social Network with Multigrained and Multilevel Access Control

Authors: YounSun Cho

Subjects: Social and Information Networks (cs.SI); Cryptography and Security (cs.CR)

[108]  arXiv:1404.0665 [pdf, ps, other]

Title: Security Analyses of Quantum Communication Protocols

Authors: Yong Wang

Comments: 152 pages, 23 figures, 62 tables. arXiv admin note: substantial text overlap with arXiv:1811.01070, arXiv:1501.05260

Subjects: Logic in Computer Science (cs.LO)

[109]  arXiv:1404.0672 [pdf, ps, other]

Title: Thermodynamic Hypothesis as Social Choice: An Impossibility Theorem for Protein Folding

Authors: Hammurabi Mendes, Sorin Istrail

Comments: Submitted for peer review

Subjects: Computational Engineering, Finance, and Science (cs.CE); Computer Science and Game Theory (cs.GT)

[110]  arXiv:1404.0695 [pdf, other]

Title: Multi-objective Flower Algorithm for Optimization

Authors: Xin-She Yang, M. Karamanoglu, Xingshi He

Comments: 2 figures. arXiv admin note: substantial text overlap with arXiv:1312.5673

Journal-ref: X. S. Yang, M. Karamanoglu, X. S. He, Multi-objective Flower Algorithm for Optimization, Procedia Computer Science, vol. 18, pp. 861-868 (2013)

Subjects: Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)

[111]  arXiv:1404.0696 [pdf, ps, other]

Title: D-P2P-Sim+:A Novel Distributed Framework for P2P Protocols Performance Testing

Authors: S. Sioutas, E. Sakkopoulos, A. Panaretos, D. Tsoumakos, P. Gerolymatos, G. Tzimas, Y. Manolopoulos

Comments: 51 pages, 37 figures, submitted to JSS (Elsevier)

Subjects: Databases (cs.DB)

[112]  arXiv:1404.0698 [pdf, other]

Title: Adaptability Checking in Multi-Level Complex Systems

Authors: Emanuela Merelli, Nicola Paoletti, Luca Tesei

Comments: 57 page, 10 figures, research papaer, submitted

Subjects: Software Engineering (cs.SE)

[113]  arXiv:1404.0703 [pdf, other]

Title: Joins via Geometric Resolutions: Worst-case and Beyond

Authors: Mahmoud Abo Khamis, Hung Q. Ngo, Christopher Ré, Atri Rudra

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

[114]  arXiv:1404.0708 [pdf, ps, other]

Title: Computational Optimization, Modelling and Simulation: Recent Trends and Challenges

Authors: Xin-She Yang, Slawomir Koziel, Leifur Leifsson

Journal-ref: X. S. Yang, S. Koziel, L. Leifsson, Computational Optimization, Modelling and Simulation: Recent Trends and Challenges, Procedia Computer Science, vol. 18, pp. 855-860 (2013)

Subjects: Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)

[115]  arXiv:1404.0718 [pdf, ps, other]

Title: Property Testing on Product Distributions: Optimal Testers for Bounded Derivative Properties

Authors: Deeparnab Chakrabarty, Kashyap Dixit, Madhav Jha, C. Seshadhri

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

[116]  arXiv:1404.0736 [pdf, other]

Title: Exploiting Linear Structure Within Convolutional Networks for Efficient Evaluation

Authors: Remi Denton, Wojciech Zaremba, Joan Bruna, Yann LeCun, Rob Fergus

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

[117]  arXiv:1404.0743 [pdf, other]

Title: Pentago is a First Player Win: Strongly Solving a Game Using Parallel In-Core Retrograde Analysis

Authors: Geoffrey Irving

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

[118]  arXiv:1404.0753 [pdf, other]

Title: Separate, Measure and Conquer: Faster Algorithms for Max 2-CSP and Counting Dominating Sets

Authors: Serge Gaspers, Gregory B. Sorkin

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

[119]  arXiv:1404.0760 [pdf, other]

Title: Information Flow Decomposition in Feedback Systems: General Case Study

Authors: Bertrand Wechsler, Dan Eilat, Nicolas Limal

Comments: 10 pages, 1 figure. Seminar Report

Subjects: Information Theory (cs.IT)

[120]  arXiv:1404.0766 [pdf, ps, other]

Title: Ornstein Isomorphism and Algorithmic Randomness

Authors: Mrinalkanti Ghosh, Satyadev Nandakumar, Atanu Pal

Subjects: Information Theory (cs.IT)

[121]  arXiv:1404.0774 [pdf, other]

Title: GPU Accelerated Fractal Image Compression for Medical Imaging in Parallel Computing Platform

Authors: Md. Enamul Haque, Abdullah Al Kaisan, Mahmudur R Saniat, Aminur Rahman

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computer Vision and Pattern Recognition (cs.CV)

[122]  arXiv:1404.0780 [pdf, ps, other]

Title: Randomized Broadcast in Radio Networks with Collision Detection

Authors: Mohsen Ghaffari, Bernhard Haeupler, Majid Khabbazian

Subjects: Data Structures and Algorithms (cs.DS); Distributed, Parallel, and Cluster Computing (cs.DC)

[123]  arXiv:1404.0781 [pdf, ps, other]

Title: Resistance of Statistical Attacks of Parastrophic Quasigroup Transformation

Authors: Verica Bakeva, Aleksandra Popovska-Mitrovikj, Vesna Dimitrova

Subjects: Cryptography and Security (cs.CR)

[124]  arXiv:1404.0783 [pdf, other]

Title: Task Assignment in Tree-Like Hierarchical Structures

Authors: Cem Evrendilek, Ismail Hakki Toroslu, Sasan Hashemi

Subjects: Data Structures and Algorithms (cs.DS)

[125]  arXiv:1404.0789 [pdf, ps, other]

Title: The Least Wrong Model Is Not in the Data

Authors: Oscar Stiffelman

Comments: added citations and acknowledgements, and replaced the ideal model section with a more intuitive argument

Subjects: Machine Learning (cs.LG)