Clones and Genoids in Lambda Calculus and First Order Logic
The Abstract Machinery of Interaction (Long Version)
A Faster Algorithm for Solving One-Clock Priced Timed Games Quantum versus classical phase-locking transition in a driven-chirped
  oscillator Triadic resonances driven by thermal convection in a rotating sphere Conductance of ion channels and nanopores with charged walls: a toy
  model Statistical patterns of word frequency suggesting the probabilistic
  nature of human languages Self-Assembly of a Statistically Self-Similar Fractal Parametrically Driven Dark Solitons Detecting continuous gravitational waves with superfluid $^4$He Une g\'{e}n\'{e}ralisation du crit\`{e}re de Boulier -- Buchberger pour
  le calcul des ensembles caract\'{e}ristiques d'id\'{e}aux diff\'{e}rentiels Pinball Loss Minimization for One-bit Compressive Sensing: Convex Models
  and Algorithms Precise H 1S-nS in Boltzmann-Hund double well potential and
  Sommerfeld-Dirac theories probe chiral behavior of atom H Linking Behavior in the PER Coauthorship Network An information geometric perspective on the complexity of macroscopic
  predictions arising from incomplete information Automatic Full Compilation of Julia Programs and ML Models to Cloud TPUs Rigorous theory of nuclear fusion rates in a plasma Finding Black Holes with Black Boxes -- Using Machine Learning to
  Identify Globular Clusters with Black Hole Subsystems On the volume conjecture for classical spin networks Spectral statistics of chaotic many-body systems
cs.LO cs.PL