Computer Science

Authors and titles for May 2016, skipping first 2025

[2026]  arXiv:1605.09177 (cross-list from math.LO) [pdf, ps, other]

Title: Perspectives for proof unwinding by programming languages techniques

Authors: Danko Ilik

Journal-ref: IfColog Journal of Logics and their Applications (FLAP), College Publications, 2017, 4 (10), pp.3487-3508

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

[2027]  arXiv:1605.09181 (cross-list from q-fin.PM) [pdf, other]

Title: The use of the multi-cumulant tensor analysis for the algorithmic optimisation of investment portfolios

Authors: Krzysztof Domino

Comments: 19 pages, 8 figures

Subjects: Portfolio Management (q-fin.PM); Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA)

[2028]  arXiv:1605.09196 (cross-list from stat.ML) [pdf, other]

Title: Forest Floor Visualizations of Random Forests

Authors: Soeren H. Welling, Hanne H.F. Refsgaard, Per B. Brockhoff, Line H. Clemmensen

Comments: 25 pages, 12 figures, supplementary materials. v2->v3: minor proofing, moderated comments on ICE-plots, replaced \psi-operator with the subset named H in equation 13 and 14 to improve simplicity

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

[2029]  arXiv:1605.09219 (cross-list from astro-ph.IM) [pdf, ps, other]

Title: Fine tuning consensus optimization for distributed radio interferometric calibration

Authors: Sarod Yatawatta

Comments: Draft, to be published in the Proceedings of the 24th European Signal Processing Conference (EUSIPCO-2016) in 2016, published by EURASIP

Subjects: Instrumentation and Methods for Astrophysics (astro-ph.IM); Distributed, Parallel, and Cluster Computing (cs.DC)

[2030]  arXiv:1605.09295 (cross-list from astro-ph.IM) [pdf, ps, other]

Title: The Latin American Giant Observatory: a successful collaboration in Latin America based on Cosmic Rays and computer science domains

Authors: H. Asorey, R. Mayo-García, L. A. Núñez, M. Rodríguez-Pascual, A. J. Rubio Montero, M. Suarez-Durán, L. A. Torres-Niño (for the LAGO Collaboration)

Comments: to be published in Proccedings of the 16th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing

Subjects: Instrumentation and Methods for Astrophysics (astro-ph.IM); Distributed, Parallel, and Cluster Computing (cs.DC)

[2031]  arXiv:1605.09333 (cross-list from math.CO) [pdf, ps, other]

Title: Minimum distance of Line Orthogonal Grassmann Codes in even characteristic

Authors: Ilaria Cardinali, Luca Giuzzi

Comments: 15 pages/revised version after review

Journal-ref: J. Pure Applied Algebra 222:10 (2018), 2975-2988

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

[2032]  arXiv:1605.09370 (cross-list from stat.ML) [pdf, other]

Title: Unsupervised Discovery of El Nino Using Causal Feature Learning on Microlevel Climate Data

Authors: Krzysztof Chalupka, Tobias Bischoff, Pietro Perona, Frederick Eberhardt

Comments: Accepted for plenary presentation at UAI 2016

Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Atmospheric and Oceanic Physics (physics.ao-ph)

[2033]  arXiv:1605.09399 (cross-list from physics.comp-ph) [pdf, ps, other]

Title: borealis - A generalized global update algorithm for Boolean optimization problems

Authors: Zheng Zhu, Chao Fang, Helmut G. Katzgraber

Comments: 19 pages, 7 figures, 1 table

Subjects: Computational Physics (physics.comp-ph); Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistical Mechanics (cond-mat.stat-mech); Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC)

[2034]  arXiv:1605.09462 (cross-list from math.OC) [pdf, other]

Title: A Subgradient Approach for Constrained Binary Optimization via Quantum Adiabatic Evolution

Authors: Sahar Karimi, Pooya Ronagh

Journal-ref: Quantum Information Processing, Vol. 16, No. 8, 185 (2017)

Subjects: Optimization and Control (math.OC); Emerging Technologies (cs.ET); Quantum Physics (quant-ph)

[2035]  arXiv:1605.09522 (cross-list from stat.ML) [pdf, ps, other]

Title: Kernel Mean Embedding of Distributions: A Review and Beyond

Authors: Krikamol Muandet, Kenji Fukumizu, Bharath Sriperumbudur, Bernhard Schölkopf

Comments: 147 pages; this is the final version

Journal-ref: Foundations and Trends in Machine Learning: Vol. 10: No. 1-2, pp 1-141 (2017)

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

[2036]  arXiv:1605.09598 (cross-list from quant-ph) [pdf, ps, other]

Title: On Quantum Tensor Product Codes

Authors: Jihao Fan, Yonghui Li, Min-Hsiu Hsieh, Hanwu Chen

Comments: 18 pages, 4 tables

Journal-ref: Quantum Information&Computation, vol. 17, no. 13&14, pp. 1105-1122, 2017

Subjects: Quantum Physics (quant-ph); Information Theory (cs.IT)

[2037]  arXiv:1605.09619 (cross-list from stat.ML) [pdf, other]

Title: Horizontally Scalable Submodular Maximization

Authors: Mario Lucic, Olivier Bachem, Morteza Zadimoghaddam, Andreas Krause

Subjects: Machine Learning (stat.ML); Distributed, Parallel, and Cluster Computing (cs.DC); Discrete Mathematics (cs.DM); Machine Learning (cs.LG)

[2038]  arXiv:1605.09721 (cross-list from stat.ML) [pdf, other]

Title: CYCLADES: Conflict-free Asynchronous Machine Learning

Authors: Xinghao Pan, Maximilian Lam, Stephen Tu, Dimitris Papailiopoulos, Ce Zhang, Michael I. Jordan, Kannan Ramchandran, Chris Re, Benjamin Recht

Subjects: Machine Learning (stat.ML); Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG); Optimization and Control (math.OC)

[2039]  arXiv:1605.09774 (cross-list from stat.ML) [pdf, other]

Title: Asynchrony begets Momentum, with an Application to Deep Learning

Authors: Ioannis Mitliagkas, Ce Zhang, Stefan Hadjis, Christopher Ré

Comments: Full version of a paper published in Annual Allerton Conference on Communication, Control, and Computing (Allerton) 2016

Subjects: Machine Learning (stat.ML); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Optimization and Control (math.OC)

[2040]  arXiv:1605.08511 (cross-list from math.OC) [pdf, ps, other]

Title: Convergence of the Z-Bus Method for Three-Phase Distribution Load-Flow with ZIP Loads

Authors: Mohammadhafez Bazrafshan, Nikolaos Gatsis

Comments: This article has been accepted for publication in the IEEE Transactions on Power Systems

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

[2041]  arXiv:1605.06719 (cross-list from quant-ph) [pdf, ps, other]

Title: (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras

Authors: Dusko Pavlovic (University of Hawaii), Peter-Michael Seidel (University of Hawaii)

Comments: In Proceedings QPL 2016, arXiv:1701.00242

Journal-ref: EPTCS 236, 2017, pp. 145-160

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Mathematical Physics (math-ph); Category Theory (math.CT)

[2042]  arXiv:1605.07747 (cross-list from math.OC) [pdf, other]

Title: NESTT: A Nonconvex Primal-Dual Splitting Method for Distributed and Stochastic Optimization

Authors: Davood Hajinezhad, Mingyi Hong, Tuo Zhao, Zhaoran Wang

Comments: 35 pages, 2 figures

Subjects: Optimization and Control (math.OC); Machine Learning (cs.LG); Machine Learning (stat.ML)

[2043]  arXiv:1605.05146 (cross-list from physics.soc-ph) [pdf, ps, other]

Title: Understanding Social-Force Model in Psychological Principles of Collective Behavior

Authors: Peng Wang

Comments: 34 pages, 20 figure

Subjects: Physics and Society (physics.soc-ph); Multiagent Systems (cs.MA); Social and Information Networks (cs.SI); Adaptation and Self-Organizing Systems (nlin.AO); Fluid Dynamics (physics.flu-dyn)

[2044]  arXiv:1605.05419 (cross-list from q-bio.OT) [pdf, other]

Title: An Introduction to Programming for Bioscientists: A Python-based Primer

Authors: Berk Ekmekci, Charles E. McAnany, Cameron Mura

Comments: 65 pages total, including 45 pages text, 3 figures, 4 tables, numerous exercises, and 19 pages of Supporting Information; currently in press at PLOS Computational Biology

Subjects: Other Quantitative Biology (q-bio.OT); Programming Languages (cs.PL)

[2045]  arXiv:1605.06362 (cross-list from math.MG) [pdf, other]

Title: Reconstruction of convex bodies from moments

Authors: Astrid Kousholt, Julia Schulte

Subjects: Metric Geometry (math.MG); Computational Geometry (cs.CG); Statistics Theory (math.ST)

[2046]  arXiv:1605.01656 (cross-list from stat.ML) [pdf, ps, other]

Title: A Tight Bound of Hard Thresholding

Authors: Jie Shen, Ping Li

Comments: V1 was submitted to COLT 2016. V2 fixes minor flaws, adds extra experiments and discusses time complexity, V3 has been accepted to JMLR

Journal-ref: Journal of Machine Learning Research 18(208): 1-42, 2018

Subjects: Machine Learning (stat.ML); Information Theory (cs.IT); Machine Learning (cs.LG); Numerical Analysis (math.NA); Optimization and Control (math.OC)