Dependency Stochastic Boolean Satisfiability: A Logical Formalism for
  NEXPTIME Decision Problems with Uncertainty
Decidable Models of Recursive Asynchronous Concurrency
New supersymmetric index of heterotic compactifications with torsion Rigidity, counting and equidistribution of quaternionic Cartan chains Quantum Interferometry in $\rho^0$ Production in Ultra-Peripheral Heavy
  Ion Collisions Neutrino Education, Outreach, and Communications Activities: Captivating
  Examples from IceCube Traces of Newton-Sobolev, Hajlasz-Sobolev and BV functions on metric
  spaces Crack tip fields and fracture resistance parameters based on strain
  gradient plasticity Hidden timescale in the response of harmonically driven chaotic systems Polyadic Hopf algebras and quantum groups New Quasi Exactly Solvable Difference Equation Pushmepullyou: An efficient micro-swimmer A noncommutative model for higher twisted K-Theory Pulsatile localized dynamics in delayed neural-field equations in
  arbitrary dimension Spectral properties of periodic systems cut at an angle A formal proof of the Lax equivalence theorem for finite difference
  schemes Hidden symmetries and categorical representation theory Singlet oxygen luminescence detection with a fiber-coupled
  superconducting nanowire single-photon detector A Comparative Study on Approaches to Acoustic Scene Classification using
  CNNs Can a CNN trained on the Ising model detect the phase transition of the
  $q$-state Potts model? Distributed Vector Representations of Folksong Motifs Emergent self-organized complex network topology out of stability
  constraints
cs.LO cs.CC