Assume-Guarantee Abstraction Refinement for Probabilistic Systems
The FO^2 alternation hierarchy is decidable
A hybrid molecular dynamics/atomic-scale finite element method for
  quasi-static atomistic simulations at finite temperature On the lattice of subracks of the rack of a finite group A review of mathematical representations of biomolecules Learning enables adaptation in cooperation for multi-player stochastic
  games Triplicate Dual Series of Dougall--Dixon Theorem Feynman rules for wave turbulence Topology Distillation for Recommender System Multivariate information measures: a unification using M\"obius
  operators on subset lattices Interacting line-node semimetal: Proximity effect and spontaneous
  symmetry breaking Entanglement Entropy, Relative Entropy and Duality Moving-Target Defense Against Cyber-Physical Attacks in Power Grids via
  Game Theory Constraints on ion vs. electron heating by plasma turbulence at low beta How changing physical constants and violation of local position
  invariance may occur? Pair Correlation Estimates for the Zeros of the Zeta Function via
  Semidefinite Programming Ellipsometric measurements of the refractive indices of linear
  alkylbenzene and EJ-301 scintillators from 210 to 1000 nm Calculations in the theory of tearing instability The effect of signal digitisation in CMB experiments Finesse and mirror speed measurement for a suspended Fabry-Perot cavity
  using the ringing effect
cs.LO cs.FL