Interaction and observation, categorically
On the Completeness of Verifying Message Passing Programs under Bounded
  Asynchrony
Comparative Study of Clustering Techniques for Real-Time Dynamic Model
  Reduction The Non-Euclidean Euclidean Algorithm Towards Neural-Guided Program Synthesis for Linear Temporal Logic
  Specifications Explorability and the origin of Network Sparsity in Living Systems Groebner bases in Java with applications in computer graphics Crowdsourcing Multiple Choice Science Questions Driven-Dissipative Dynamics of Atomic Ensembles in a Resonant Cavity II:
  Quasiperiodic Route to Chaos and Chaotic Synchronization Results of search for magnetized quark-nugget dark matter from radial
  impacts on Earth Radiation therapy calculations using an on-demand virtual cluster via
  cloud computing Applications of geometric discrepancy in numerical analysis and
  statistics Expectation of the Largest bet size in Labouchere System Independent Sets from an Algebraic Perspective A recursive enumeration of connected Feynman diagrams with an arbitrary
  number of external legs in the fermionic non-relativistic interacting gas Photon-Plasma: a modern high-order particle-in-cell code Inferring the shape of data: A probabilistic framework for analyzing
  experiments in the natural sciences Bubble-Driven Inertial Micropump On the self-similarity of line segments in decaying homogeneous
  isotropic turbulence Pattern Ensembling for Spatial Trajectory Reconstruction Achieving GWAS with Homomorphic Encryption
cs.PL cs.LO