Highly Undecidable Problems For Infinite Computations
Maximizing the Number of Satisfied L-clauses
Higher Categories and Topological Quantum Field Theories Systematic Search For Extreme and Singular Behavior in Some Fundamental
  Models of Fluid Mechanics Optimized Field/Circuit Coupling for the Simulation of Quenches in
  Superconducting Magnets GAPS: Generator for Automatic Polynomial Solvers Experimental observation and spin texture of Dirac node arcs in
  tetradymite topological metals Super-horizon fluctuations and acoustic oscillations in relativistic
  heavy-ion collisions Shot noise spectrum of superradiant entangled excitons Connection between Calogero-Marchioro-Wolfes type few-body models and
  free oscillators Renormalized analytic solution for the enstrophy cascade in
  two-dimensional quantum turbulence Dispersive shallow water wave modelling. Part I: Model derivation on a
  globally flat space Modeling the Marked Spectrum of Matter and Biased Tracers in Real- and
  Redshift-Space Triatomic continuum resonances for large negative scattering lengths The First Months of COVID-19 in Madagascar Rhythms of the nervous system: mathematical themes and variations Crystallization and arrest mechanisms of model colloids Efficient passive membership inference attack in federated learning Dynamic anti-plane sliding of dissimilar anisotropic linear elastic
  solids From Semantic Communication to Semantic-aware Networking: Model,
  Architecture, and Open Problems Moser-Tardos Algorithm with small number of random bits Rigid body equations on spaces of pseudo-differential operators with
  renormalized trace Long-term prediction of chaotic systems with recurrent neural networks
cs.LO cs.CC math.LO