Rota's program on algebraic operators, rewriting systems and
  Gr\"obner-Shirshov bases
Uniqueness and order in sequential effect algebras
IsarStep: a Benchmark for High-level Mathematical Reasoning Two-Particle Microrheology of quasi-2D Viscous Systems Emotion Recognition from Multiple Modalities: Fundamentals and
  Methodologies Fairness in Influence Maximization through Randomization BBGKY Dynamics: from Localization to Pattern Formation A second-order, perfectly matched layer formulation to model 3D
  transient wave propagation in anisotropic elastic media A formal model for ledger management systems based on contracts and
  temporal logic Quantum Monte Carlo simulation of three-dimensional Bose-Fermi mixtures Synchronization in Network Structures: Entangled Topology as Optimal
  Architecture for Network Design Can entropy be defined for, and the Second Law applied to living
  systems? Prevention of infectious diseases by public vaccination and individual
  protection Ramanujan Graphs and the Solution of the Kadison-Singer Problem DIAS: A Domain-Independent Alife-Based Problem-Solving System Helicity detection of the astrophysical magnetic fields from radio
  emission statistics Equation of state of the SU($3$) Yang-Mills theory: a precise
  determination from a moving frame Bitcoin and Decentralized Trust Protocols Pressio: Enabling projection-based model reduction for large-scale
  nonlinear dynamical systems Quantum phase transition for the BEC--BCS crossover in condensed matter
  physics and CPT violation in elementary particle physics
math.RA math.QA