Constraint Reductions
Verification of indefinite-horizon POMDPs
Linear connections for reproducing kernels on vector bundles GRASS: Graph Spectral Sparsification Leveraging Scalable Spectral
  Perturbation Analysis Multiscale modeling of oscillations and spiral waves in Dictyostelium
  populations Higher homotopy categories, higher derivators, and K-theory A Hilbert Space of Stationary Ergodic Processes Tracking Algorithms for TPCs using Consensus-Based Robust Estimators Derivations of Group Algebras A sticky business: the status of the conjectured viscosity/entropy
  density bound The Sun as a probe of Fundamental Physics and Cosmology Melzer's identities revisited Turbulence without pressure in d dimensions On compression rate of quantum autoencoders: Control design, numerical
  and experimental realization Earthquake Prediction With Artificial Neural Network Method: The
  Application Of West Anatolian Fault In Turkey Pseudo-scheduling: A New Approach to the Broadcast Scheduling Problem Spectral theory of a Neumann-Poincare-type operator and analysis of
  cloaking due to anomalous localized resonance Higher regularity properties of mappings and morphisms Approximations of dispersive PDEs in the presence of low-regularity
  randomness Multi-Radical Lipkin-Meshkov-Glick Model for Avian Navigation On computable approximations of Landau's constant On weak equivalences of gradings On slow solar wind with high Alfv\'enicity: from composition and
  microphysics to spectral properties Weyl-von Neumann Theorem and Borel Complexity of Unitary Equivalence
  Modulo Compacts of Self-Adjoint Operators
cs.AI cs.LO