Term satisfiability in FL$_\mathrm{ew}$-algebras
On the information carried by programs about the objects they compute
Hardware Random number Generator for cryptography A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems Quantum Turbulence Coupled with Externally Driven Normal-Fluid
  Turbulence in Superfluid $^4$He Adaptive cognitive fit: Artificial intelligence augmented management of
  information facets and representations BPS counting for knots and combinatorics on words Causal Modeling of Dynamical Systems On the computational tractability of statistical estimation on amenable
  graphs The iisignature library: efficient calculation of iterated-integral
  signatures and log signatures Lonely individuals process the world in idiosyncratic ways Modelling Selforganization and Innovation Processes in Networks Localizable Particles in the Classical Limit of Quantum Field Theory Multiple generalized cluster structures on $D(\text{GL}_n)$ Rescuing ecosystems from extinction cascades through compensatory
  perturbations Neuromorphic Algorithm-hardware Codesign for Temporal Pattern Learning A subquadratic algorithm for computing the n-th Bernoulli number One-fluid equations of general relativistic two-fluid plasma with the
  Landau-Lifshitz radiation reaction force in curved space Dark State Induced Heat Rectification A Spin-Polaron Technique Utilized on Triangular-Lattice Antiferromagnet Some aspects of the five-dimensional Lovelock black hole spacetime:
  strong homotopy retract, perihelion precession and quasistationary levels Nonlinear geometric effects in mechanical bistable morphing structures Bloom Origami Assays: Practical Group Testing
cs.LO math.LO