O-Minimal Hybrid Reachability Games
Generating and Solving Symbolic Parity Games
A linear isoperimetric inequality for the punctured Euclidean plane Solar Flares as Cascades of Reconnecting Magnetic Loops A "partitioned leaping" approach for multiscale modeling of chemical
  reaction dynamics Quantum gravity on polygons and $\Bbb R\times \Bbb Z_n$ FLRW model Quantaloids Describing Causation and Propagation of Physical Properties Why does the meter beat the second? Dualities in population genetics: a fresh look with new dualities Boundary amenability of groups via ultrapowers Relational VAE: A Continuous Latent Variable Model for Graph Structured
  Data Enormous Berry-Curvature-Driven Anomalous Hall Effect in Topological
  Insulator (Bi,Sb)2Te3 on Ferrimagnetic Europium Iron Garnet beyond 400 K Complex spectrogram enhancement by convolutional neural network with
  multi-metrics learning Numerical simulation and entropy dissipative cure of the carbuncle
  instability for the shallow water circular hydraulic jump Reconstruct the Hierarchical Structure in a Complex Network Parameter Space Noise for Exploration Machine Learning Etudes in Astrophysics: Selection Functions for Mock
  Cluster Catalogs Transverse conductance of DNA nucleotides in a graphene nanogap from
  first principles Thermophoresis as persistent random walk Real-time digital holographic microscopy observable in multi-view and
  multi-resolution Quantum Black Holes in the Sky
cs.LO cs.GT