Computer Science

Authors and titles for Jan 2015, skipping first 800

[801]  arXiv:1501.05588 [pdf, other]

Title: Learning and Designing Stochastic Processes from Logical Constraints

Authors: Luca Bortolussi (University of Trieste), Guido Sanguinetti (University of Edinmburgh)

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 2 (June 1, 2015) lmcs:1563

Subjects: Systems and Control (eess.SY)

[802]  arXiv:1501.05595 [pdf, other]

Title: Protograph-Based LDPC Code Design for Bit-Metric Decoding

Authors: Fabian Steiner, Georg Böcherer, Gianluigi Liva

Comments: 5 pages, 8 figures

Subjects: Information Theory (cs.IT)

[803]  arXiv:1501.05606 [pdf, ps, other]

Title: A rapid algorithm to calculate joint probability matrices for joint entropies of arbitrary order

Authors: Reginald D. Smith

Comments: 4 pages 1 figure

Subjects: Information Theory (cs.IT)

[804]  arXiv:1501.05611 [pdf, other]

Title: Learning Contact-Rich Manipulation Skills with Guided Policy Search

Authors: Sergey Levine, Nolan Wagener, Pieter Abbeel

Journal-ref: S. Levine, N. Wagener, P. Abbeel, "Learning Contact-Rich Manipulation Skills with Guided Policy Search," in International Conference on Robotics and Automation (ICRA), 2015

Subjects: Robotics (cs.RO)

[805]  arXiv:1501.05612 [pdf, other]

Title: Features modeling with an $α$-stable distribution: Application to pattern recognition based on continuous belief functions

Authors: Anthony Fiche, Jean-Christophe Cexus, Arnaud Martin (IRISA), Ali Khenchaf

Journal-ref: Information Fusion, Elsevier, 2013, 14, pp.504 - 520

Subjects: Artificial Intelligence (cs.AI)

[806]  arXiv:1501.05613 [pdf, other]

Title: Second-Order Belief Hidden Markov Models

Authors: Jungyeul Park (IRISA), Mouna Chebbah (IRISA), Siwar Jendoubi (IRISA), Arnaud Martin (IRISA)

Journal-ref: Belief 2014, Sep 2014, Oxford, United Kingdom. pp.284 - 293

Subjects: Artificial Intelligence (cs.AI)

[807]  arXiv:1501.05614 [pdf, other]

Title: Int{é}gration d'une mesure d'ind{é}pendance pour la fusion d'informations

Authors: Mouloud Kharoune (IRISA), Arnaud Martin (IRISA)

Comments: in French, appears in Atelier Fouille de donn{\'e}es complexes, Extraction et Gestion des Connaissances (EGC), Jan 2013, Toulouse, France. arXiv admin note: substantial text overlap with arXiv:1501.04786

Subjects: Artificial Intelligence (cs.AI)

[808]  arXiv:1501.05617 [pdf, ps, other]

Title: Unsupervised image segmentation by Global and local Criteria Optimization Based on Bayesian Networks

Authors: Mohamed Ali Mahjoub, Mohamed Mhiri

Comments: appears in International journal of robotics and imaging; volume 15, issue 1, januray 2015

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

[809]  arXiv:1501.05623 [pdf, other]

Title: A Modular Multiscale Approach to Overlapping Community Detection

Authors: Michael Brutz, Francois G. Meyer

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

[810]  arXiv:1501.05628 [pdf, other]

Title: Identification of a Hybrid Spring Mass Damper via Harmonic Transfer Functions as a Step Towards Data-Driven Models for Legged Locomotion

Authors: İsmail Uyanık, Mustafa Mert Ankaralı, Noah J. Cowan, Ömer Morgül, Uluç Saranlı

Comments: Draft submitted to the 17th International Conference on Advanced Robotics

Subjects: Robotics (cs.RO); Systems and Control (eess.SY); Dynamical Systems (math.DS)

[811]  arXiv:1501.05673 [pdf, ps, other]

Title: System M: A Program Logic for Code Sandboxing and Identification

Authors: Limin Jia, Shayak Sen, Deepak Garg, Anupam Datta

Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[812]  arXiv:1501.05677 [pdf, other]

Title: Output-Sensitive Adaptive Metropolis-Hastings for Probabilistic Programs

Authors: David Tolpin, Jan Willem van de Meent, Brooks Paige, Frank Wood

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

[813]  arXiv:1501.05680 [pdf, other]

Title: Active Mean Fields for Probabilistic Image Segmentation: Connections with Chan-Vese and Rudin-Osher-Fatemi Models

Authors: Marc Niethammer, Kilian M. Pohl, Firdaus Janoos, William M. Wells III

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

[814]  arXiv:1501.05683 [pdf, ps, other]

Title: Polar Lattices for Lossy Compression

Authors: Ling Liu, Jinwen Shi, Cong Ling

Comments: 63 pages, 18 figure

Subjects: Information Theory (cs.IT)

[815]  arXiv:1501.05693 [pdf, other]

Title: Joint Channel Direction Information Quantization For Spatially Correlated 3D MIMO Channels

Authors: Fang Yuan, Chenyang Yang, Yang Song, Lan Chen, Yuichi Kakishima, Huiling Jiang

Comments: submitted to IEEE Transactions on Communications

Subjects: Information Theory (cs.IT)

[816]  arXiv:1501.05695 [pdf, ps, other]

Title: A scalable architecture for distributed receive beamforming: analysis and experimental demonstration

Authors: Francois Quitin, Andrew T. Irish, Upamanyu Madhow

Comments: submitted to IEEE Transactions on Wireless Communications

Subjects: Information Theory (cs.IT)

[817]  arXiv:1501.05696 [pdf, other]

Title: Anima: Adaptive Personalized Software Keyboard

Authors: Panos Sakkos, Dimitrios Kotsakos, Ioannis Katakis, Dimitrios Gunopulos

Comments: 4 pages

Subjects: Human-Computer Interaction (cs.HC)

[818]  arXiv:1501.05700 [pdf, other]

Title: Revealing Multiple Layers of Hidden Community Structure in Networks

Authors: Kun He, Sucheta Soundarajan, Xuezhi Cao, John Hopcroft, Menglong Huang

Comments: 10 pages, 1 figure

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

[819]  arXiv:1501.05703 [pdf, other]

Title: Beyond Frontal Faces: Improving Person Recognition Using Multiple Cues

Authors: Ning Zhang, Manohar Paluri, Yaniv Taigman, Rob Fergus, Lubomir Bourdev

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

[820]  arXiv:1501.05705 [pdf, other]

Title: Safe Neighborhood Computation for Hybrid System Verification

Authors: Yi Deng (Rensselaer Polytechnic Institute), Agung Julius (Rensselaer Polytechnic Institute)

Comments: In Proceedings HAS 2014, arXiv:1501.05405

Journal-ref: EPTCS 174, 2015, pp. 1-12

Subjects: Systems and Control (eess.SY)

[821]  arXiv:1501.05709 [pdf, ps, other]

Title: Associative Arrays: Unified Mathematics for Spreadsheets, Databases, Matrices, and Graphs

Authors: Jeremy Kepner, Julian Chaidez, Vijay Gadepally, Hayden Jansen

Comments: 4 pages, 6 figures; New England Database Summit 2015

Subjects: Databases (cs.DB); Mathematical Software (cs.MS)

[822]  arXiv:1501.05710 [pdf, ps, other]

Title: A Highly Tunable Virtual Topology Controller

Authors: Y. Sinan Hanay, Shinichi Arakawa, Masayuki Murata

Comments: 7 pages, 5 figures

Subjects: Networking and Internet Architecture (cs.NI)

[823]  arXiv:1501.05714 [pdf, ps, other]

Title: Identification of influential nodes in network of networks

Authors: Meizhu Li, Qi Zhang, Qi Liu, Yong Deng

Comments: 3 figures

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

[824]  arXiv:1501.05724 [pdf, ps, other]

Title: Uncertainty in Ontology Matching: A Decision Rule-Based Approach

Authors: Amira Essaid, Arnaud Martin (IRISA), Grégory Smits, Boutheina Ben Yaghlane

Journal-ref: International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU), Jul 2014, Montpellier, France. pp.46 - 55

Subjects: Artificial Intelligence (cs.AI)

[825]  arXiv:1501.05725 [pdf, ps, other]

Title: Efficient Web-Based SCADA System

Authors: Hosny A. Abbas

Comments: Master thesis, 170 pages

Subjects: Systems and Control (eess.SY)

[826]  arXiv:1501.05738 [pdf, other]

Title: Hybrid Millimeter-Wave Systems: A Novel Paradigm for HetNets

Authors: Hani Mehrpouyan, Michail Matthaiou, Rui Wang, George K. Karagiannidis, Yingbo Hua

Comments: 12 pages, 5 Figures, IEEE Communication Magazine. In press

Subjects: Networking and Internet Architecture (cs.NI)

[827]  arXiv:1501.05739 [pdf, other]

Title: Estimating the effects of water-induced shallow landslides on soil erosion

Authors: Claudio Bosco, Graham Sander

Comments: 14 pages, 4 figures, 1 table, published in IEEE Earthzine 2014 Vol. 7 Issue 2, 910137+ 2nd quarter theme. Geospatial Semantic Array Programming. Available: this http URL

Journal-ref: IEEE Earthzine, vol. 7, no. 2, pp. 910137+, 2014

Subjects: Computational Engineering, Finance, and Science (cs.CE)

[828]  arXiv:1501.05752 [pdf, other]

Title: On structural properties of trees with minimal atom-bond connectivity index II

Authors: Darko Dimitrov

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

[829]  arXiv:1501.05757 [pdf, ps, other]

Title: On the Geometric Ergodicity of Metropolis-Hastings Algorithms for Lattice Gaussian Sampling

Authors: Zheng Wang, Cong Ling

Comments: Submitted to IEEE Transactions on Information Theory

Journal-ref: same version, IEEE Transactions on Information Theory, Volume 64, Issue 2, Feb. 2018, Pages 738 - 751

Subjects: Information Theory (cs.IT)

[830]  arXiv:1501.05759 [pdf, other]

Title: Filtered Channel Features for Pedestrian Detection

Authors: Shanshan Zhang, Rodrigo Benenson, Bernt Schiele

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

[831]  arXiv:1501.05773 [pdf, ps, other]

Title: An ${\cal O}(m\log n)$ algorithm for the weighted stable set problem in claw-free graphs with $α({G}) \le 3$

Authors: Paolo Nobili, Antonio Sassano

Subjects: Discrete Mathematics (cs.DM)

[832]  arXiv:1501.05775 [pdf, ps, other]

Title: An ${\cal O}(n^2 \log(n))$ algorithm for the weighted stable set problem in claw-free graphs

Authors: Paolo Nobili, Antonio Sassano

Subjects: Discrete Mathematics (cs.DM)

[833]  arXiv:1501.05779 [pdf, ps, other]

Title: An alternative use of the NetLogo modeling environment, where the student thinks and acts like an Agent, in order to teach concepts of Ecology

Authors: Aristotelis Gkiolmas, Anthimos Chalkidis, Maria Papaconstantinou, Zafar Iqbal, Constantine Skordoulis

Comments: 9th Pan-Hellenic Conference with International Participation: "ICT's in Education" (HCICTE 2014) 3rd-5th October 2014, University of Crete, Rethymno, Greece

Journal-ref: Proceedings of the 9th Pan-Hellenic Conference with International Participation: "ICT's in Education" (HCICTE 2014) 3rd-5th October 2014, University of Crete, Rethymno, Greece, pp. 379-386

Subjects: Computers and Society (cs.CY)

[834]  arXiv:1501.05789 [pdf, other]

Title: FlexCloud: A Flexible and Extendible Simulator for Performance Evaluation of Virtual Machine Allocation

Authors: Minxian Xu, Wenhong Tian, Xinyang Wang, Qin Xiong

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

[835]  arXiv:1501.05790 [pdf, other]

Title: Taking a Deeper Look at Pedestrians

Authors: Jan Hosang, Mohamed Omran, Rodrigo Benenson, Bernt Schiele

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

[836]  arXiv:1501.05800 [pdf, ps, other]

Title: A Reconfigurations Analogue of Brooks' Theorem and its Consequences

Authors: Carl Feghali, Matthew Johnson, Daniël Paulusma

Comments: 20 pages

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

[837]  arXiv:1501.05801 [pdf, ps, other]

Title: Online Submodular Maximization with Preemption

Authors: Niv Buchbinder, Moran Feldman, Roy Schwartz

Comments: 32 pages, an extended abstract of this work appeared in SODA 2015

Subjects: Data Structures and Algorithms (cs.DS)

[838]  arXiv:1501.05802 [pdf, ps, other]

Title: Radio Frequency Propagation Model and Fading of Wireless Signal at 2.4 GHz in Underground Coal Mine

Authors: Ashutosh Patri, Devidas S. Nimaje

Comments: 21 pages, 6 figures, 4 tables

Subjects: Information Theory (cs.IT)

[839]  arXiv:1501.05809 [pdf, other]

Title: CRDSA, CRDSA++ and IRSA: Stability and Performance Evaluation

Authors: Alessio Meloni, Maurizio Murroni

Comments: 6th Advanced Satellite Multimedia Systems Conference (ASMS) and 12th Signal Processing for Space Communications Workshop (SPSC), 2012

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

[840]  arXiv:1501.05810 [pdf, other]

Title: Ultrascale Simulations of Non-smooth Granular Dynamics

Authors: Tobias Preclik, Ulrich Rüde

Subjects: Computational Engineering, Finance, and Science (cs.CE); Computational Physics (physics.comp-ph)

[841]  arXiv:1501.05814 [pdf, ps, other]

Title: Infinite Communication Complexity

Authors: Pierre Guillon (I2M), Emmanuel Jeandel (INRIA Nancy - Grand Est / LORIA)

Comments: First Version. Written from the Computer Science POV

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)

[842]  arXiv:1501.05819 [pdf, ps, other]

Title: Signal identification for adaptive spectrum hyperspace access in wireless communications systems

Authors: Ali Gorcin, Huseyin Arslan

Comments: Appears in IEEE Communications Magazine, 2014

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

[843]  arXiv:1501.05821 [pdf, ps, other]

Title: A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs

Authors: Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut

Comments: 12 pages - preliminary work

Subjects: Software Engineering (cs.SE)

[844]  arXiv:1501.05826 [pdf, other]

Title: A Generalized Framework for Virtual Substitution

Authors: Marek Kosta, Thomas Sturm

Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)

[845]  arXiv:1501.05828 [pdf, ps, other]

Title: An $O(n^ε)$ Space and Polynomial Time Algorithm for Reachability in Directed Layered Planar Graphs

Authors: Diptarka Chakraborty, Raghunath Tewari

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

[846]  arXiv:1501.05843 [src]

Title: $\mathbb{N}$-algebraicity of zeta functions of sofic-Dyck shifts

Authors: Marie-Pierre Béal, Cǎtǎlin Dima

Comments: This paper has been withdrawn by the authors due to an error in the proof of the main result

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

[847]  arXiv:1501.05847 [pdf, ps, other]

Title: Robust Decentralized Detection and Social Learning in Tandem Networks

Authors: Jack Ho, Wee Peng Tay, Tony Q.S. Quek, Edwin K.P. Chong

Subjects: Information Theory (cs.IT)

[848]  arXiv:1501.05851 [pdf, ps, other]

Title: An ${\cal O}(n\sqrt{m})$ algorithm for the weighted stable set problem in {claw, net}-free graphs with $α(G) \ge 4$

Authors: Paolo Nobili, Antonio Sassano

Subjects: Discrete Mathematics (cs.DM)

[849]  arXiv:1501.05854 [pdf, ps, other]

Title: Unsupervised Segmentation of Multispectral Images with Cellular Automata

Authors: Wuilian Torres, Antonio Rueda-Toicen

Comments: 6 pages, 6 figures, conference: CIMENICS XII, 2014

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

[850]  arXiv:1501.05882 [pdf, ps, other]

Title: Efficient local search limitation strategy for single machine total weighted tardiness scheduling with sequence-dependent setup times

Authors: Anand Subramanian, Katyanne Farias

Comments: 32 pages, 4 figures

Subjects: Artificial Intelligence (cs.AI)

[851]  arXiv:1501.05887 [pdf, ps, other]

Title: First- and Second-Order Coding Theorems for Mixed Memoryless Channels with General Mixture

Authors: Hideki Yagi, Te Sun Han, Ryo Nomura

Comments: 29 pages; submitted to IEEE Trans. on Information Theory, Jan. 2015. A conference version of this paper is presented at ISIT2015

Subjects: Information Theory (cs.IT)

[852]  arXiv:1501.05892 [pdf, other]

Title: Capacity-achieving Sparse Superposition Codes via Approximate Message Passing Decoding

Authors: Cynthia Rush, Adam Greig, Ramji Venkataramanan

Comments: 25 pages, 4 figures. IEEE Transactions on Information Theory

Journal-ref: IEEE Transactions on Information Theory, vol. 63, no.3, pp. 1476-1500, March 2017

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

[853]  arXiv:1501.05902 [pdf, other]

Title: Sliding window-based Contention Resolution Diversity Slotted ALOHA

Authors: Alessio Meloni, Maurizio Murroni, Christian Kissling, Matteo Berioli

Comments: IEEE Global Communications Conference (GLOBECOM), 2012

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

[854]  arXiv:1501.05916 [pdf, other]

Title: Anonymously Analyzing Clinical Datasets

Authors: Nafees Qamar, Yilong Yang, Andras Nadas, Zhiming Liu, Janos Sztipanovits

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Databases (cs.DB)

[855]  arXiv:1501.05917 [pdf, ps, other]

Title: On Generalized Rectangular Fuzzy Model for Assessment

Authors: Igor Yakov Subbotin

Comments: arXiv admin note: text overlap with arXiv:1404.7279 by other authors

Subjects: Artificial Intelligence (cs.AI)

[856]  arXiv:1501.05921 [pdf, other]

Title: The Spatial Structure of Transnational Human Activity

Authors: Emanuel Deutschmann

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

[857]  arXiv:1501.05924 [pdf, ps, other]

Title: Wise Computing: Towards Endowing System Development with True Wisdom

Authors: David Harel, Guy Katz, Rami Marelly, Assaf Marron

Subjects: Software Engineering (cs.SE)

[858]  arXiv:1501.05927 [pdf, ps, other]

Title: Multiple-Symbol Interleaved RS Codes and Two-Pass Decoding Algorithm

Authors: Z. Wang, A. Chini, M. Kilani, J. Zhou

Subjects: Information Theory (cs.IT)

[859]  arXiv:1501.05930 [pdf, ps, other]

Title: Sampling Constrained Asynchronous Communication: How to Sleep Efficiently

Authors: Venkat Chandar, Aslan Tchamkerten

Comments: Accepted for publication in the IEEE Transactions on Information Theory

Subjects: Information Theory (cs.IT); Applications (stat.AP)

[860]  arXiv:1501.05936 [pdf, other]

Title: A unified framework for modeling and implementation of hybrid systems with synchronous controllers

Authors: Avinash Malik, Partha Roop

Comments: 16 pages

Subjects: Systems and Control (eess.SY); Programming Languages (cs.PL)

[861]  arXiv:1501.05940 [pdf, ps, other]

Title: A New Efficient Method for Calculating Similarity Between Web Services

Authors: T. Rachad, J. Boutahar, S. El ghazi

Comments: 7 pages, 4 figures, 8 tables, International Journal of Advanced Computer Science and Applications (IJACSA),Vol. 5, No. 8, 2014

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Information Retrieval (cs.IR); Software Engineering (cs.SE)

[862]  arXiv:1501.05963 [pdf, other]

Title: Learning Execution Contexts from System Call Distributions for Intrusion Detection in Embedded Systems

Authors: Man-Ki Yoon, Sibin Mohan, Jaesik Choi, Mihai Christodorescu, Lui Sha

Subjects: Cryptography and Security (cs.CR)

[863]  arXiv:1501.05964 [pdf, other]

Title: Advances in Human Action Recognition: A Survey

Authors: Guangchun Cheng, Yiwen Wan, Abdullah N. Saudagar, Kamesh Namuduri, Bill P. Buckles

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

[864]  arXiv:1501.05970 [pdf, ps, other]

Title: Automatic Objects Removal for Scene Completion

Authors: Jianjun Yang, Yin Wang, Honggang Wang, Kun Hua, Wei Wang, Ju Shen

Comments: 6 pages, IEEE International Conference on Computer Communications (INFOCOM 14), Workshop on Security and Privacy in Big Data, Toronto, Canada, 2014

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

[865]  arXiv:1501.05971 [pdf, ps, other]

Title: Cooperative Greedy Pursuit Strategies for Sparse Signal Representation by Partitioning

Authors: Laura Rebollo-Neira

Comments: A library of routines for implementing the proposed methods, as well as scripts to reproduce the examples in the manuscript, is available on the website this http URL

Subjects: Data Structures and Algorithms (cs.DS)

[866]  arXiv:1501.05978 [pdf, ps, other]

Title: Linear independence of rank 1 matrices and the dimension of *-products of codes

Authors: Hugues Randriambololona

Comments: 13 pages

Subjects: Information Theory (cs.IT)

[867]  arXiv:1501.05980 [pdf, ps, other]

Title: On the Effect of I/Q Imbalance on Energy Detection and a Novel Four-Level Hypothesis Spectrum Sensing

Authors: Omid Semiari, Behrouz Maham, Chau Yuen

Comments: IEEE Transactions on Vehicular Technology (TVT), vol. 63, no. 8, pp. 4136 - 4141, Feb. 2014

Subjects: Information Theory (cs.IT)

[868]  arXiv:1501.05983 [pdf, ps, other]

Title: A new efficient Matching method for web services substitution

Authors: J. Boutahar, T. Rachad, S. El ghazi

Comments: 9 pages, 11 figures, 2 tables

Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 11, Issue 5, No 2,196-204, September 2014

Subjects: Information Retrieval (cs.IR); Distributed, Parallel, and Cluster Computing (cs.DC)

[869]  arXiv:1501.05990 [pdf, ps, other]

Title: Cyber Attacks and Public Embarrassment: A Survey of Some Notable Hacks

Authors: Jana Shakarian, Paulo Shakarian, Andrew Ruef

Subjects: Computers and Society (cs.CY); Cryptography and Security (cs.CR)

[870]  arXiv:1501.05994 [pdf, other]

Title: On MMSE Properties of Codes for the Gaussian Broadcast and Wiretap Channels

Authors: Ronit Bustin, Rafael F. Schaefer, H. Vincent Poor, Shlomo Shamai

Subjects: Information Theory (cs.IT)

[871]  arXiv:1501.06003 [pdf, other]

Title: Improved Lower Bounds for Coded Caching

Authors: Hooshang Ghasemi, Aditya Ramamoorthy

Comments: 31 pages, 12 figures

Subjects: Information Theory (cs.IT)

[872]  arXiv:1501.06005 [pdf, other]

Title: Input Synthesis for Sampled Data Systems by Program Logic

Authors: Takumi Akazaki (The University of Tokyo), Ichiro Hasuo (The University of Tokyo), Kohei Suenaga (Kyoto University)

Comments: In Proceedings HAS 2014, arXiv:1501.05405

Journal-ref: EPTCS 174, 2015, pp. 22-39

Subjects: Systems and Control (eess.SY)

[873]  arXiv:1501.06006 [pdf, ps, other]

Title: Stochastic Analysis of Synchronization in a Supermarket Refrigeration System

Authors: John Leth, Rafael Wisniewski, Jakob Rasmussen, Henrik Schioler

Comments: In Proceedings HAS 2014, arXiv:1501.05405

Journal-ref: EPTCS 174, 2015, pp. 40-50

Subjects: Systems and Control (eess.SY)

[874]  arXiv:1501.06009 [pdf, ps, other]

Title: Are Effective Leaders Creative?

Authors: Liane Gabora

Comments: 5 pages in Psychology Today (online). (2010). this https URL

Subjects: Multiagent Systems (cs.MA)

[875]  arXiv:1501.06026 [pdf, other]

Title: Energy Harvesting Wireless Communications: A Review of Recent Advances

Authors: Sennur Ulukus, Aylin Yener, Elza Erkip, Osvaldo Simeone, Michele Zorzi, Pulkit Grover, Kaibin Huang

Comments: To appear in the IEEE Journal of Selected Areas in Communications (Special Issue: Wireless Communications Powered by Energy Harvesting and Wireless Energy Transfer)

Subjects: Information Theory (cs.IT)

[876]  arXiv:1501.06027 [pdf, ps, other]

Title: Optimal Design of the Adaptive Normalized Matched Filter Detector

Authors: Abla Kammoun, Romain Couillet, Frederic Pascal, Mohamed-Slim Alouini

Comments: Submitted to IEEE Transactions on Signal Processing

Subjects: Information Theory (cs.IT)

[877]  arXiv:1501.06032 [pdf, ps, other]

Title: Gain-scheduled Leader-follower Tracking Control for Interconnected Parameter Varying Systems

Authors: Yi Cheng, V. Ugrinovskii

Subjects: Systems and Control (eess.SY)

[878]  arXiv:1501.06042 [pdf, ps, other]

Title: Tsallis entropy of complex networks

Authors: Qi Zhang, Meizhu Li, Yong Deng, Sankaran Mahadevan

Comments: 12 pages

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

[879]  arXiv:1501.06059 [pdf, other]

Title: !-Graphs with Trivial Overlap are Context-Free

Authors: Aleks Kissinger (University of Oxford), Vladimir Zamdzhiev (University of Oxford)

Comments: In Proceedings GaM 2015, arXiv:1504.02448

Journal-ref: EPTCS 181, 2015, pp. 16-31

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

[880]  arXiv:1501.06076 [pdf, ps, other]

Title: Fourier Analysis of MAC Polarization

Authors: Rajai Nasser, Emre Telatar

Comments: 33 pages, accepted to IEEE Trans. Inform. Theory and presented in part in ISIT2015

Subjects: Information Theory (cs.IT)

[881]  arXiv:1501.06080 [pdf, other]

Title: Numerical Investigation of Graph Spectra and Information Interpretability of Eigenvalues

Authors: Hector Zenil, Narsis A. Kiani, Jesper Tegnér

Comments: Forthcoming in 3rd International Work-Conference on Bioinformatics and Biomedical Engineering (IWBBIO), Lecture Notes in Bioinformatics, 2015

Subjects: Information Theory (cs.IT); Dynamical Systems (math.DS); Spectral Theory (math.SP)

[882]  arXiv:1501.06091 [pdf, ps, other]

Title: Relaxed Polar Codes

Authors: Mostafa El-Khamy, Hessam Mahdavifar, Gennady Feygin, Jungwon Lee, Inyup Kang

Comments: Conference version,Relaxed Channel Polarization for Reduced Complexity Polar Coding, accepted for presentation at IEEE Wireless Communications and Networking Conference WCNC 2015

Journal-ref: IEEE Transactions on Information Theory, 2017

Subjects: Information Theory (cs.IT)

[883]  arXiv:1501.06095 [pdf, other]

Title: Between Pure and Approximate Differential Privacy

Authors: Thomas Steinke, Jonathan Ullman

Subjects: Data Structures and Algorithms (cs.DS); Cryptography and Security (cs.CR); Machine Learning (cs.LG)

[884]  arXiv:1501.06099 [pdf, ps, other]

Title: Quantifying Potential Energy Efficiency Gain in Green Cellular Wireless Networks

Authors: Kemal Davaslioglu, Ender Ayanoglu

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

Journal-ref: IEEE Communications Surveys and Tutorials, Vol. 16, pp. 2065-2091, Fourth Quarter 2014

Subjects: Networking and Internet Architecture (cs.NI)

[885]  arXiv:1501.06102 [pdf, other]

Title: Development of a Big Data Framework for Connectomic Research

Authors: Terrence Adams

Comments: 6 pages, 9 figures

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

[886]  arXiv:1501.06114 [pdf, ps, other]

Title: Accurate automatic segmentation of retina layers with emphasis on first layer

Authors: Mahdi Salarian

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

[887]  arXiv:1501.06115 [pdf, ps, other]

Title: Constrained Extreme Learning Machines: A Study on Classification Cases

Authors: Wentao Zhu, Jun Miao, Laiyun Qing

Comments: 14 pages, 6 figure, journel

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

[888]  arXiv:1501.06120 [pdf, other]

Title: A Unified Framework for Identifiability Analysis in Bilinear Inverse Problems with Applications to Subspace and Sparsity Models

Authors: Yanjun Li, Kiryung Lee, Yoram Bresler

Comments: 40 pages, 3 figures

Subjects: Information Theory (cs.IT)

[889]  arXiv:1501.06123 [pdf, ps, other]

Title: On Interference Alignment with Imperfect CSI: Characterizations of Outage Probability, Ergodic Rate and SER

Authors: Xiaoming Chen, Chau Yuen

Comments: 12 pages, 9 figures, IEEE Transactions on Vehicular Technology, 2015

Subjects: Information Theory (cs.IT)

[890]  arXiv:1501.06125 [pdf, other]

Title: Proof Normalisation in a Logic Identifying Isomorphic Propositions

Authors: Alejandro Díaz-Caro, Gilles Dowek

Journal-ref: 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) - LIPIcs 131:14, 2019

Subjects: Logic in Computer Science (cs.LO)

[891]  arXiv:1501.06129 [pdf, ps, other]

Title: An Occlusion Reasoning Scheme for Monocular Pedestrian Tracking in Dynamic Scenes

Authors: Sourav Garg, Swagat Kumar, Rajesh Ratnakaram, Prithwijit Guha

Comments: 8 pages

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

[892]  arXiv:1501.06137 [pdf, other]

Title: Building Bridges into the Unknown: Personalizing Connections to Little-known Countries

Authors: Yelena Mejova, Javier Borge-Holthoefer, Ingmar Weber

Subjects: Social and Information Networks (cs.SI); Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)

[893]  arXiv:1501.06140 [pdf, other]

Title: Better Online Deterministic Packet Routing on Grids

Authors: Guy Even, Moti Medina, Boaz Patt-Shamir

Subjects: Data Structures and Algorithms (cs.DS)

[894]  arXiv:1501.06148 [pdf, ps, other]

Title: A tie-break model for graph search

Authors: Derek G. Corneil, Jeremie Dusart, Michel Habib, Fabien de Montgolfier

Subjects: Data Structures and Algorithms (cs.DS)

[895]  arXiv:1501.06158 [pdf, other]

Title: TSP with Time Windows and Service Time

Authors: Yossi Azar, Adi Vardi

Comments: arXiv admin note: substantial text overlap with arXiv:1309.0251

Subjects: Data Structures and Algorithms (cs.DS)

[896]  arXiv:1501.06160 [pdf, other]

Title: Sensorless Battery Internal Temperature Estimation using a Kalman Filter with Impedance Measurement

Authors: Robert R. Richardson, David A. Howey

Comments: 10 pages, 9 figures, accepted for publication in IEEE Transactions on Sustainable Energy, 2015

Subjects: Systems and Control (eess.SY)

[897]  arXiv:1501.06166 [pdf, ps, other]

Title: HARQ Buffer Management: An Information-Theoretic View

Authors: Wonju Lee, Osvaldo Simeone, Joonhyuk Kang, Sundeep Rangan, Petar Popovski

Comments: submitted to IEEE International Symposium on Information Theory (ISIT) 2015. 29 pages, 12 figures, submitted to journal publication

Subjects: Information Theory (cs.IT)

[898]  arXiv:1501.06170 [pdf, other]

Title: Unsupervised Object Discovery and Localization in the Wild: Part-based Matching with Bottom-up Region Proposals

Authors: Minsu Cho, Suha Kwak, Cordelia Schmid, Jean Ponce

Comments: CVPR 2015

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

[899]  arXiv:1501.06180 [pdf, other]

Title: Exploring Human Vision Driven Features for Pedestrian Detection

Authors: Shanshan Zhang, Christian Bauckhage, Dominik A. Klein, Armin B. Cremers

Comments: Accepted for publication in IEEE Transactions on Circuits and Systems for Video Technology (TCSVT)

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

[900]  arXiv:1501.06194 [pdf, other]

Title: Do Read Errors Matter for Genome Assembly?

Authors: Ilan Shomorony, Thomas Courtade, David Tse

Comments: Submitted to ISIT 2015

Subjects: Information Theory (cs.IT); Genomics (q-bio.GN)