A note on the product homomorphism problem and CQ-definability
Verifying Sierpi\'nski and Riesel Numbers in ACL2
Metamorphic Relation Prioritization for Effective Regression Testing Editorial: Special Issue on the Atomic and Molecular Processes in the
  Ultracold Regime, the Chemical Regime, and Astrophysics Computing the Skorokhod Distance between Polygonal Traces (Full Paper) Gravitational instability of finite isothermal spheres Long-period oscillations of active region patterns: least-squares
  mapping on second-order curves Adaptive mesh computation of polycrystalline pattern formation using a
  renormalization-group reduction of the phase-field crystal model ClassiNet -- Predicting Missing Features for Short-Text Classification Cherednik operators and Ruijsenaars-Schneider model at infinity Dynamo induced by time-periodic force On selective influences, marginal selectivity, and Bell/CHSH
  inequalities Calculation of the multiplicative anomaly Coronal Temperature Maps from Solar EUV images: a Blind Source
  Separation Approach Sensor-Augmented Neural Adaptive Bitrate Video Streaming on UAVs Large-scale dynamics of self-propelled particles moving through
  obstacles: model derivation and pattern formation Development of a method for determining the search window for solar
  flare neutrinos Who Gave you the Cauchy-Weierstrass Tale? The Dual History of Rigorous
  Calculus Highly Efficient Lattice-Boltzmann Multiphase Simulations of Immiscible
  Fluids at High-Density Ratios on CPUs and GPUs through Code Generation
cs.DM cs.LO