A Decision Procedure for Herbrand Formulae without Skolemization
A duality theoretic view on limits of finite structures: Extended
  version
Explainable Natural Language Processing with Matrix Product States Spectral instability of peakons in the b-family of the Camassa--Holm
  equations Partially Observed, Multi-objective Markov Games Symmetry Reduction of sh-Lie Structures and of Local Functionals Optimal ROC Curves from Score Variable Threshold Tests On Broadcasting Time in the Model of Travelling Agents Contextualizing Artificially Intelligent Morality: A Meta-Ethnography of
  Top-Down, Bottom-Up, and Hybrid Models for Theoretical and Applied Ethics in
  Artificial Intelligence An extensible web interface for databases and its application to storing
  biochemical data Natural Language Web Interface for Database (NLWIDB) Nonparametric instrumental regression with right censored duration
  outcomes Pyramidal Polytopes in the Stability Region SENATE: A Permissionless Byzantine Consensus Protocol in Wireless
  Networks Estimating Sparse Discrete Distributions Under Local Privacy and
  Communication Constraints In Vitro Fertilization (IVF) Cumulative Pregnancy Rate Prediction from
  Basic Patient Characteristics Skyrmion crystals in frustrated Shastry-Sutherland magnets The physics and applications of strongly coupled plasmas levitated in
  electrodynamic traps Non-linear response in the cumulant expansion for core hole
  photoemission Tractable Minor-free Generalization of Planar Zero-field Ising Models Implicit Regularization of Accelerated Methods in Hilbert Spaces The Why and How of Nonnegative Matrix Factorization
cs.LO math.LO