A Classical Realizability Model arising from a Stable Model of Untyped
  Lambda Calculus
The Maximality of Cartesian Categories
MuMiN: A Large-Scale Multilingual Multimodal Fact-Checked Misinformation
  Social Network Dataset An ontology for the formalization and visualization of scientific
  knowledge Sequential Dimensionality Reduction for Extracting Localized Features Fast Minimal Presentations of Bi-graded Persistence Modules Temporally Guided Music-to-Body-Movement Generation Using Back-Scattering to Enhance Efficiency in Neutron Detectors Neutrino Physics with Dark Matter Experiments and the Signature of New
  Baryonic Neutral Currents In-situ force microscopy to investigate fracture in stretchable
  electronics: insights on local surface mechanics and conductivity Fizeau's "aether-drag" experiment in the undergraduate laboratory Stability of higher-dimensional interval decomposable persistence
  modules One swallow does not make a summer: 160 years of Richard Carrington's
  legacy Lattice reduction by cubification A Model for Using Physiological Conditions for Proactive Tourist
  Recommendations Autonomous Spacecraft Navigation With Pulsars Proceedings 12th International Workshop on Verification of
  Infinite-State Systems Average Case Analysis of Leaf-Centric Binary Tree Sources Recommender Systems Proof that the Kalman gain minimizes the generalized variance A universal formula for the field enhancement factor Witten Genus and Elliptic genera for proper actions Corrigendum to "Regularity structures and renormalisation of
  FitzHugh-Nagumo SPDEs in three space dimensions"
math.CT math.LO