Model-Checking of Linear-Time Properties in Multi-Valued Systems
Generalized Post Embedding Problems
Parameter-free Online Linear Optimization with Side Information via
  Universal Coin Betting Multiresolution and Multimodal Speech Recognition with Transformers Optimal rotations of deformable bodies and orbits in magnetic fields Dynamics and Stability of Bose-Einstein Condensates: the Nonlinear
  Schrodinger Equation with Periodic Potential Network Programming via Computable Products On the Stability of Mixed Finite-Element Formulations for
  High-Temperature Superconductors Quantum Spin probabilities at positive temperature are H\"older Gibbs
  probabilities Major and minor. The formula of musical emotions Inhibition of tunnelling and edge state control in polariton topological
  insulators Information parity in complex networks Stochastic Smoothing for Nonsmooth Minimizations: Accelerating SGD by
  Exploiting Structure Workshop Report: Brightest Light Initiative (March 27-29 2019, OSA
  Headquarters, Washington, D.C.) Competition of Self-Organized Rotating Spiral Autowaves in a
  Nonequilibrium Dissipative System of Three-Level Phaser Three dimensional four-fermion models - A Monte Carlo study Loewner's Differential Equation and Spidernets Einstein's unpublished opening lecture for his course on relativity
  theory in Argentina, 1925
cs.LO cs.FL