Computer Science

Authors and titles for April 2014

[101] arXiv:1404.0588 [pdf, other]

Title: Labeling Schemes for Bounded Degree Graphs

David Adjiashvili, Noy Rotbart

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

[102] arXiv:1404.0600 [pdf, other]

Title: MBIS: Multivariate Bayesian Image Segmentation Tool

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)

[103] arXiv:1404.0605 [pdf, other]

Title: The Complexity of the Simplex Method

John Fearnley, Rahul Savani

Subjects: Data Structures and Algorithms (cs.DS)

[104] arXiv:1404.0606 [pdf, other]

Title: Monadic Datalog Containment on Trees

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)

[105] arXiv:1404.0607 [pdf, other]

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

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

Comments: 53 Pages

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

[106] arXiv:1404.0614 [pdf, other]

Title: The secretary returns

Shai Vardi

Subjects: Data Structures and Algorithms (cs.DS)

[107] arXiv:1404.0615 [pdf, other]

Title: Nanowire Volatile RAM as an Alternative to SRAM

Mostafizur Rahman, Santosh Khasanvis, Csaba Andras Moritz

Subjects: Emerging Technologies (cs.ET)

[108] arXiv:1404.0627 [pdf, other]

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

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)

[109] arXiv:1404.0640 [pdf, other]

Title: Conceptive Artificial Intelligence: Insights from design theory

Akin Osman Kazakci (CGS)

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

Subjects: Artificial Intelligence (cs.AI)

[110] arXiv:1404.0644 [pdf, other]

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

Julien Cassaigne, Vesa Halava, Tero Harju, Francois Nicolas

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

[111] 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

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

Comments: 13 pages

Subjects: Machine Learning (cs.LG)

[112] arXiv:1404.0654 [pdf, other]

Title: Two Structural Results for Low Degree Polynomials and Applications

Gil Cohen, Avishay Tal

Subjects: Computational Complexity (cs.CC)

[113] arXiv:1404.0660 [pdf, other]

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

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)

[114] arXiv:1404.0662 [pdf, other]

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

YounSun Cho

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

[115] arXiv:1404.0665 [pdf, other]

Title: Security Analyses of Quantum Communication Protocols

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)

[116] arXiv:1404.0672 [pdf, other]

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

Hammurabi Mendes, Sorin Istrail

Comments: Submitted for peer review

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

[117] arXiv:1404.0695 [pdf, other]

Title: Multi-objective Flower Algorithm for Optimization

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)

[118] arXiv:1404.0696 [pdf, other]

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

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)

[119] arXiv:1404.0698 [pdf, other]

Title: Adaptability Checking in Multi-Level Complex Systems

Emanuela Merelli, Nicola Paoletti, Luca Tesei

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

Subjects: Software Engineering (cs.SE)

[120] arXiv:1404.0703 [pdf, other]

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

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

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

[121] arXiv:1404.0708 [pdf, other]

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

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)

[122] arXiv:1404.0718 [pdf, other]

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

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

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

[123] arXiv:1404.0723 [pdf, other]

Title: Image Segmentation with Eigenfunctions of an Anisotropic Diffusion Operator

Jingyue Wang, Weizhang Huang

Journal-ref: IEEE Transactions on Image Processing 25 (2016), 2155-2167

Subjects: Numerical Analysis (math.NA)

[124] arXiv:1404.0736 [pdf, other]

Title: Exploiting Linear Structure Within Convolutional Networks for Efficient Evaluation

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

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

[125] arXiv:1404.0743 [pdf, other]

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

Geoffrey Irving

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

[126] arXiv:1404.0753 [pdf, other]

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

Serge Gaspers, Gregory B. Sorkin

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

[127] arXiv:1404.0760 [pdf, other]

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

Bertrand Wechsler, Dan Eilat, Nicolas Limal

Comments: 10 pages, 1 figure. Seminar Report

Subjects: Information Theory (cs.IT)

[128] arXiv:1404.0766 [pdf, other]

Title: Ornstein Isomorphism and Algorithmic Randomness

Mrinalkanti Ghosh, Satyadev Nandakumar, Atanu Pal

Subjects: Information Theory (cs.IT)

[129] arXiv:1404.0774 [pdf, other]

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

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)

[130] arXiv:1404.0780 [pdf, other]

Title: Randomized Broadcast in Radio Networks with Collision Detection

Mohsen Ghaffari, Bernhard Haeupler, Majid Khabbazian

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

[131] arXiv:1404.0781 [pdf, other]

Title: Resistance of Statistical Attacks of Parastrophic Quasigroup Transformation

Verica Bakeva, Aleksandra Popovska-Mitrovikj, Vesna Dimitrova

Subjects: Cryptography and Security (cs.CR)

[132] arXiv:1404.0783 [pdf, other]

Title: Task Assignment in Tree-Like Hierarchical Structures

Cem Evrendilek, Ismail Hakki Toroslu, Sasan Hashemi

Subjects: Data Structures and Algorithms (cs.DS)

[133] arXiv:1404.0789 [pdf, other]

Title: The Least Wrong Model Is Not in the Data

Oscar Stiffelman

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

Subjects: Machine Learning (cs.LG)

[134] arXiv:1404.0798 [pdf, other]

Title: Breadth-first serialisation of trees and rational languages

Victor Marsault, Jacques Sakarovitch

Comments: 15 pages

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

[135] arXiv:1404.0799 [pdf, other]

Title: Threesomes, Degenerates, and Love Triangles

Allan Grønlund, Seth Pettie

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

[136] arXiv:1404.0807 [pdf, other]

Title: Maximizing Profit in Green Cellular Networks through Collaborative Games

Cosimo Anglano, Marco Guazzone, Matteo Sereno

Comments: Added publisher info and citation notice

Journal-ref: Computer Networks Volume 75, Part A, 2014, Pages 260-275

Subjects: Computer Science and Game Theory (cs.GT); Networking and Internet Architecture (cs.NI)

[137] arXiv:1404.0812 [pdf, other]

Title: A Radial Basis Function (RBF)-Finite Difference (FD) Method for Diffusion and Reaction-Diffusion Equations on Surfaces

Varun Shankar, Grady B. Wright, Robert M. Kirby, Aaron L. Fogelson

Comments: 29 pages, 12 figures

Subjects: Numerical Analysis (math.NA)

[138] arXiv:1404.0818 [pdf, other]

Title: Fixed-parameter tractable canonization and isomorphism test for graphs of bounded treewidth

Daniel Lokshtanov, Marcin Pilipczuk, Michał Pilipczuk, Saket Saurabh

Comments: Full version of a paper presented at FOCS 2014

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

[139] arXiv:1404.0832 [pdf, other]

Title: Multiple Access Channels with Combined Cooperation and Partial Cribbing

Tal Kopetz, Haim Permuter, Shlomo Shamai (Shitz)

Subjects: Information Theory (cs.IT)

[140] arXiv:1404.0834 [pdf, other]

Title: Expectations or Guarantees? I Want It All! A crossroad between games and MDPs

Véronique Bruyère (Université de Mons, Belgium), Emmanuel Filiot (Université Libre de Bruxelles, Belgium), Mickael Randour (Université de Mons, Belgium), Jean-François Raskin (Université Libre de Bruxelles, Belgium)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 1-8

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

[141] arXiv:1404.0835 [pdf, other]

Title: Games for the Strategic Influence of Expectations

Lluís Godo (IIIA - CSIC), Enrico Marchioni (IRIT - UPS)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 9-15

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

[142] arXiv:1404.0836 [pdf, other]

Title: On Defendability of Security Properties

Wojciech Jamroga (University of Luxembourg), Matthijs Melissen (University of Birmingham), Henning Schnoor (University of Kiel)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 17-25

Subjects: Cryptography and Security (cs.CR); Computer Science and Game Theory (cs.GT)

[143] arXiv:1404.0837 [pdf, other]

Title: Reasoning about Knowledge and Strategies: Epistemic Strategy Logic

Francesco Belardinelli (Université d'Evry)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 27-33

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

[144] arXiv:1404.0838 [pdf, other]

Title: An Epistemic Strategy Logic (Extended Abstract)

Xiaowei Huang (University of New South Wales, Australia), Ron van der Meyden (University of New South Wales, Australia)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 35-41

Subjects: Logic in Computer Science (cs.LO)

[145] arXiv:1404.0839 [pdf, other]

Title: Nash Equilibria in Symmetric Games with Partial Observation

Patricia Bouyer (LSV -- CNRS & ENS Cachan), Nicolas Markey (LSV -- CNRS & ENS Cachan), Steen Vester (DTU, Kgs. Lyngby)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 49-55

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

[146] arXiv:1404.0840 [pdf, other]

Title: Refining and Delegating Strategic Ability in ATL

Dimitar P. Guelev (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 57-63

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

[147] arXiv:1404.0841 [pdf, other]

Title: A Resolution Prover for Coalition Logic

Cláudia Nalon (Department of Computer Science, University of Brasília, Brazil), Lan Zhang (Information School Capital University of Economics and Business, China), Clare Dixon (Department of Computer Science, University of Liverpool, UK), Ullrich Hustadt (Department of Computer Science, University of Liverpool, UK)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 65-73

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

[148] arXiv:1404.0842 [pdf, other]

Title: Efficient Decomposition of Bimatrix Games (Extended Abstract)

Xiang Jiang (University of Cambridge), Arno Pauly (University of Cambridge)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 75-81

Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC)

[149] arXiv:1404.0843 [pdf, other]

Title: First Cycle Games

Benjamin Aminof (IST Austria), Sasha Rubin (IST Austria and TU Wien)

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 83-90

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

[150] arXiv:1404.0844 [pdf, other]

Title: Automata Techniques for Epistemic Protocol Synthesis

Guillaume Aucher, Bastien Maubert, Sophie Pinchinat

Comments: In Proceedings SR 2014, arXiv:1404.0414

Journal-ref: EPTCS 146, 2014, pp. 97-103

Subjects: Logic in Computer Science (cs.LO)