Axiomatizing Causal Reasoning
Temporal Logic Programs with Variables
Study Notes on Numerical Solutions of the Wave Equation with the Finite
  Difference Method Tip-Enhanced Infrared Difference-Nanospectroscopy of the Proton Pump
  Activity of Bacteriorhodopsin in Single Purple Membrane Patches Memory of Quark Matter Card Game Simple Analysis of Johnson-Lindenstrauss Transform under Neuroscience
  Constraints Fast plunges into Kerr black holes Dynamic Kerr and Pockels Electro-Optics of Liquid Crystals in Nanopores
  for Active Photonic Metamaterials Approximate Pythagoras Numbers On negative streamers: a deterministic approach Fluctuation dissipation theorem and electrical noise revisited A data-reconstructed fractional volatility model An Abstraction-guided Approach to Scalable and Rigorous Floating-Point
  Error Analysis A test case for application of convolutional neural networks to
  spatio-temporal climate data: Re-identifying clustered weather patterns Heterogeneous Force Chains in Cellularized Biopolymer Network A cellular topological field theory Magnetic field amplification by the Weibel instability at planetary and
  astrophysical high-Mach-number shocks Toward a muon-specific electronic structure theory: Effective electronic
  Hartree-Fock equations for the muonic molecules Prediction of Bayesian Intervals for Tropical Storms Grounded Discovery of Coordinate Term Relationships between Software
  Entities Vortex geometry for the equatorial slice of the Kerr black hole
cs.AI cs.LO