Efficient Instantiation of Parameterised Boolean Equation Systems to
  Parity Games
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with
  Costs
A dynamic-kinematic 3D model for density-driven ocean circulation flows:
  Construction, global well-posedness and dynamics Stability of Chiral States, Role of Intermolecular Interactions and
  Molecular Parity Violation Assessing the effect of advertising expenditures upon sales: a Bayesian
  structural time series model Changing Fashion Cultures Time-dependent entropy of a cooling Bose gas Machine Learning Classification Informed by a Functional Biophysical
  System Real-Time Thermospheric Density Estimation Via Two-Line-Element Data
  Assimilation Resonant Hamiltonian systems and weakly nonlinear dynamics in AdS
  spacetimes Jacobi stability analysis of the classical restricted three body problem Ehrenfeucht-Fraisse Games on Omega-Terms Gravity's Relentless Pull: An interactive, multimedia website about
  black holes for Education and Public Outreach Theoretical Model for Faraday Waves with Multiple-Frequency Forcing Special 2-cocycles and 3--3 Pachner move relations in Grassmann algebra Seeker based Adaptive Guidance via Reinforcement Meta-Learning Applied
  to Asteroid Close Proximity Operations Eigenvectors from eigenvalues: A survey of a basic identity in linear
  algebra Machine learning for accelerating effective property prediction for
  poroelasticity problem in stochastic media Predicting Physical World Destinations for Commands Given to
  Self-Driving Cars Universal physics of three bosons with isospin
cs.LO cs.GT