First-order separation over countable ordinals
A Metric for Linear Temporal Logic
Lattice Improvement in Lattice Effective Field Theory Chaos Synchronization using Nonlinear Observers with applications to
  Cryptography An Evolutionary Strategy based on Partial Imitation for Solving
  Optimization Problems Compact operators and algebraic $K$-theory for groups which act properly
  and isometrically on Hilbert space An integrated and multi-purpose microscope for the characterization of
  atomically thin optoelectronic devices Technique for rapid mass determination of airborne micro-particles based
  on release and recapture from an optical dipole force trap Causal Geometry The ERA2 facility: towards application of a fiber-based astronomical
  spectrograph for imaging spectroscopy in life sciences Probing Oort clouds around Milky Way stars with CMB surveys (Biased) Majority Rule Cellular Automata Deconvolution of 3-D Gaussian kernels A fourth-order accurate finite volume method for ideal MHD via upwind
  constrained transport Enabling rootless Linux Containers in multi-user environments: the
  udocker tool Holographic Superconductor/Insulator Transition at Zero Temperature Edge of chaos as a guiding principle for modern neural network training Measuring the knot of degeneracies and the eigenvalue braids near a
  third-order exceptional point Extending RECAST for Truth-Level Reinterpretations Spherical spin-orientation degeneracy of basic antiferromagnetic
  configurations due to the dipolar interaction in cubic lattices A Novel Method for Inference of Acyclic Chemical Compounds with Bounded
  Branch-height Based on Artificial Neural Networks and Integer Programming Mode-based derivation of adjoint equations - a lazy man's approach
cs.LO cs.FL