Preliminary Notes on Termination and Non-Termination Reasoning
Pointer Life Cycle Types for Lock-Free Data Structures with Memory
  Reclamation
The Unit-B Method -- Refinement Guided by Progress Concerns Invariant Measures for Stochastic PDE's in Unbounded Domains Millimetre-scale magnetocardiography of living rats using a solid-state
  quantum sensor Yum-me: A Personalized Nutrient-based Meal Recommender System Language guided machine action Symplectic invariants of semitoric systems and the inverse problem for
  quantum systems Probabilistic Search for Structured Data via Probabilistic Programming
  and Nonparametric Bayes Towards Relativistic Atomic Physics. I. The Rest-Frame Instant Form of
  Dynamics and a Canonical Transformation for a System of Charged Particles
  plus the Electro-Magnetic Field Cosmic Strings as Emitters of Extremely High Energy Neutrinos Cartesian modules over representations of small categories Who is the best player ever? A complex network analysis of the history
  of professional tennis Generalized Technical Analysis. Effects of transaction volume and risk Generalized modulation theory for strongly nonlinear gravity waves in a
  compressible atmosphere Snowmass2021 Cosmic Frontier White Paper: 21cm Radiation as a Probe of
  Physics Across Cosmic Ages Separating Topology and Geometry in Space Planning Superconvergence analysis of linear FEM based on the polynomial
  preserving recovery and Richardson extrapolation for Helmholtz equation with
  high wave number Helicity within the vortex filament model Iterative Solution of the Ornstein-Zernike Equation with Various
  Closures Using Vector Extrapolation Can nuclear matter consist of $\alpha$-particles? Suppression of axionic charge density wave and onset of
  superconductivity in the chiral Weyl semimetal Ta$_2$Se$_8$I A scalable DG solver for the electroneutral Nernst-Planck equations A homology theory for tropical cycles on integral affine manifolds and a
  perfect pairing
cs.PL