The Geometry of Linear Higher-Order Recursion
Proof Verification Can Be Hard!
Efficient Inner-product Algorithm for Stabilizer States Gap Filling of Biophysical Parameter Time Series with Multi-Output
  Gaussian Processes Any Data, Any Time, Anywhere: Global Data Access for Science Audio-Visual Model Distillation Using Acoustic Images Possibilities of life around Alpha Centauri B No small nondeterministic read-once branching programs for CNFs of
  bounded treewidth A New Approach to Frequency Independent Radiating Systems: Conformal
  Edge Antennas A Novel Bi-directional Interrelated Model for Joint Intent Detection and
  Slot Filling On the Enumerative Structures in Quantum Field Theory Finite sampling interval effects in Kramers-Moyal analysis Homogeneous SPC/E water nucleation in large molecular dynamics
  simulations Numerical simulations of the Princeton magneto-rotational instability
  experiment with conducting axial boundaries Random words, quantum statistics, central limits, random matrices Classification of Periodic Variable Stars with Novel Cyclic-Permutation
  Invariant Neural Networks Ionic Binding in a Susy Background Integration in algebraically closed valued fields with sections Thermal quantum field theory and the Casimir interaction between
  dielectrics Takens-inspired neuromorphic processor: a downsizing tool for random
  recurrent neural networks via feature extraction Multi-solitons with vector mesons on the two-sphere Spectroscopic parameters of phosphine, PH3, in its ground vibrational
  state
cs.LO cs.CC