Verifying Equivalence of Database-Driven Applications
An Ehrenfeucht-Fraisse Game Approach to Collapse Results in Database
  Theory
Extensions of Ramanujan's reciprocity theorem and the Andrews--Askey
  integral The Parameterized Complexity of Welfare Guarantees in Schelling
  Segregation HOTTBOX: Higher Order Tensor ToolBOX Spectral and resonance properties of Smilansky Hamiltonian Marginally Deformed Starobinsky Gravity Casimir Energies in Light of Quantum Field Theory A possible role for stochastic radiation events in the systematic
  disparity between molecular and fossil dates Sums of squares over totally real fields are rational sums of squares Path integral molecular dynamics simulations for Green's function in a
  system of identical bosons Clustering function: a measure of social influence The Anomaly flow on unimodular Lie groups A non-expert view on Turing machines, Proof Verifiers, and Mental
  reasoning TopologyGAN: Topology Optimization Using Generative Adversarial Networks
  Based on Physical Fields Over the Initial Domain Semifinite harmonic functions on the Gnedin-Kingman graph Evidence for Nonlinear Isotope Shift in Yb$^+$ Search for New Boson pyBKT: An Accessible Python Library of Bayesian Knowledge Tracing Models
cs.LO cs.DB