Guarded Kleene Algebra with Tests: Verification of Uninterpreted
  Programs in Nearly Linear Time
Modules over relative monads for syntax and semantics
Boundary-law scaling of entanglement entropy in diffusive metals Reconfigurable Integrated Optical Interferometer Network-Based
  Physically Unclonable Function LAC : LSTM AUTOENCODER with Community for Insider Threat Detection Genetic Algorithm for SU(N) gauge theory on a lattice Understanding 3-manifolds in the context of permutations Xampling: Compressed Sensing of Analog Signals Chimera states: Effects of different coupling topologies Statistical mechanics of the lattice sphere packing problem Freezing and melting of 3D complex plasma structures under microgravity
  conditions driven by neutral gas pressure manipulation Monolingual and bilingual language networks in healthy subjects using
  functional MRI and graph theory Mathematical surprises and Dirac's formalism in quantum mechanics Generation of musical patterns through operads Exact microscopic theory of electromagnetic heat transfer between a
  dielectric sphere and plate Shear shock waves are observed in the brain Characterizing the spatial pattern of solar supergranulation using the
  bispectrum Neighborhood Selection for Thresholding-based Subspace Clustering Performance bounds in wormhole routing, a network calculus approach Dark Radiation and Inflationary Freedom Two Timescale Stochastic Approximation with Controlled Markov noise and
  Off-policy temporal difference learning From Algebraic Geometry to Machine Learning
cs.LO cs.PL