Computer Science

Authors and titles for Apr 2016, skipping first 1915

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

Title: The Succinctness of First-order Logic over Modal Logic via a Formula Size Game

Authors: Lauri Hella, Miikka Vilander

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

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

Title: The number of labeled graphs of bounded treewidth

Authors: Julien Baste, Marc Noy, Ignasi Sau

Comments: 12 pages, 3 figures

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

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

Title: A graphical calculus for semi-groupal categories

Authors: Sen Hu, Xuexing Lu, Yu Ye

Comments: 32 pages. To appear in Applied Categorical Structures

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Mathematical Physics (math-ph); Category Theory (math.CT)

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

Title: Division by zero

Authors: Emil Jeřábek

Comments: 15 pages; fixed typos

Journal-ref: Archive for Mathematical Logic 55 (2016), no. 7, pp. 997--1013

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

[1920]  arXiv:1604.07343 (cross-list from physics.data-an) [pdf, other]

Title: Hybrid Monte Carlo with Chaotic Mixing

Authors: Nirag Kadakia

Subjects: Data Analysis, Statistics and Probability (physics.data-an); Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)

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

Title: Fast nonlinear embeddings via structured matrices

Authors: Krzysztof Choromanski, Francois Fagan

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

[1922]  arXiv:1604.07397 (cross-list from stat.OT) [pdf, other]

Title: Teaching Data Science

Authors: Robert J. Brunner, Edward J. Kim

Comments: 10 pages, 4 figures, International Conference on Computational Science (ICCS 2016)

Subjects: Other Statistics (stat.OT); Computers and Society (cs.CY); Physics Education (physics.ed-ph)

[1923]  arXiv:1604.07457 (cross-list from q-bio.NC) [pdf, other]

Title: Modeling the Contribution of Central Versus Peripheral Vision in Scene, Object, and Face Recognition

Authors: Panqu Wang, Garrison Cottrell

Comments: CogSci 2016 Conference Paper

Subjects: Neurons and Cognition (q-bio.NC); Computer Vision and Pattern Recognition (cs.CV)

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

Title: Robust Worst-Case Analysis of Demand-Side Management in Smart Grids

Authors: Javier Zazo, Santiago Zazo, Sergio Valcarcel Macua

Comments: in IEEE Transactions on Smart Grid, 2016

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

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

Title: Total positive influence domination on weighted networks

Authors: Danica Vukadinović Greetham, Nathaniel Charlton, Anush Poghosyan

Subjects: Optimization and Control (math.OC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)