Towards a Semantic Measure of the Execution Time in Call-by-Value
  lambda-Calculus (Long Version)
First-Order Modal $\xi$-Calculus: Application and Bisimulation
Categorical Matrix Completion Pattern Formation in Liquid-Vapor Systems under Periodic Potential and
  Shear Exosphere -- Bringing The Cloud Closer Learning Data-Driven PCHD Models for Control Engineering Applications Dataflow Matrix Machines as a Model of Computations with Linear Streams Kuramoto model for populations of quadratic integrate-and-fire neurons
  with chemical and electrical coupling The 4-Body Problem in a (1+1)-Dimensional Self-Gravitating System Evaluating the Merger Rate of Binary Black Holes from Direct Captures
  and Third-Body Soft Interactions Using the Milky Way Globular Clusters Social Judgment Theory Based Model On Opinion Formation, Polarization
  And Evolution Constructing of constraint preserving scheme for Einstein equations Quantum One-Way Communication is Exponentially Stronger Than Classical
  Communication On the Foundations of the Theory of Evolution Computing the speed of convergence of ergodic averages and pseudorandom
  points in computable dynamical systems sPortfolio: Stratified Visual Analysis of Stock Portfolios From Nano-Communications to Body Area Networks: A Perspective on Truly
  Personal Communications Stability of elliptic Harnack inequality Physics-Informed Machine Learning for Optical Modes in Composites Chromatic Aberration in Metalenses An Atomistic Fingerprint Algorithm for Learning Ab Initio Molecular
  Force Fields Rising Above Chaotic Likelihoods
cs.LO math.LO