Action Logic is Undecidable
Mechanization of Separation in Generic Extensions
Universal Critical Behavior at a Phase Transition to Quantum Turbulence On the Kullback-Leibler divergence between pairwise isotropic
  Gaussian-Markov random fields Anomaly in RTT relation for DIM algebra and network matrix models Practical volume computation of structured convex bodies, and an
  application to modeling portfolio dependencies and financial crises Proq: Projection-based Runtime Assertions for Debugging on a Quantum
  Computer LcTools: A Windows-Based Software System for Finding and Recording
  Signals in Lightcurves from NASA Space Missions Nonlinear All Optical Digital Amplification of the Light Pulse in Weakly
  Coupled Photonic Crystal Waveguides eXamine: Exploring annotated modules in networks Honeycomb Schroedinger operators in the strong binding regime Epidemic Spread in Human Networks Minimal Multi-Layer Modifications of Deep Neural Networks Fox-Neuwirth-Fuks cells, quantum shuffle algebras, and Malle's
  conjecture for function fields Role of Symmetry and Geometry in a chaotic Pseudo-Random Bit Generator Generalized three body problem and the instability of the core-halo
  objects in binary systems Polynomial hierarchy, Betti numbers and a real analogue of Toda's
  theorem Self-organization without conservation: Are neuronal avalanches
  generically critical? Learning Agents in Black-Scholes Financial Markets: Consensus Dynamics
  and Volatility Smiles Monopole Josephson Effects in a Dirac Spin Liquid
cs.LO math.LO