Verifying Temporal Regular Properties of Abstractions of Term Rewriting
  Systems
Bialgebraic Semantics for Logic Programming
The multidimensional truncated Moment Problem: The Moment Cone Categorical Feature Compression via Submodular Optimization A flow-based IDS using Machine Learning in eBPF Slow relaxation, confinement, and solitons Teaching Formal Methods and Discrete Mathematics An age structured demographic theory of technological change Combining Learning from Human Feedback and Knowledge Engineering to
  Solve Hierarchical Tasks in Minecraft Reverse Euclidean and Gaussian isoperimetric inequalities for parallel
  sets with applications Harmonic Measures on the Sphere via Curvature-Dimension Quantum Proton Effects from Density Matrix Renormalization Group
  Calculations Rural-urban migration in d-dimensional lattices Limiting directions for random walks in classical affine Weyl groups Multiscale behavior and fractional kinetics from the data of solar wind
  - magnetosphere coupling Higher Lie theory Perfect cylindrical cloak under gyration, Non-inertial effects make
  perfect cloak visible Constrained Least Squares for Extended Complex Factor Analysis A Linear Model for Distributed Flexibility Markets and DLMPs: A
  Comparison with the SOCP Formulation
cs.LO