On Uniform Equivalence of Epistemic Logic Programs
Verifying Tight Logic Programs with anthem and Vampire
A Test of a Test for Chaos Surface tension of the core-crust interface of neutron stars with global
  charge neutrality Ultra-high resolution and broadband chip-scale speckle enhanced
  Fourier-transform spectrometer The World as Evolving Information The Numerical Unified Transform Method for the Nonlinear Schr\"odinger
  equation on the half-line Exact Ground State of Lieb-Mattis Hamiltonian as a Superposition of
  N\'eel states TrollsWithOpinion: A Dataset for Predicting Domain-specific Opinion
  Manipulation in Troll Memes A hybrid barrier certificate approach to satisfy linear temporal logic
  specifications Global minimization via classical tunneling assisted by collective force
  field formation Global Convergence of Three-layer Neural Networks in the Mean Field
  Regime Nonlinear optics and optical limiting properties of multifunctional
  fullerenol/polymer composite Finite Automata Intersection Non-Emptiness: Parameterized Complexity
  Revisited Smoothing and Interpolating Noisy GPS Data with Smoothing Splines Asymmetric quantum shot noise in magnon transport An algorithm for autonomously plotting solution sets in the presence of
  turning points A Tutorial on Solution Properties of State Space Models of Dynamical
  Systems Defining AI in Policy versus Practice Enabling wave-based inversion on GPUs with randomized trace estimation Fast online 3D reconstruction of dynamic scenes from individual
  single-photon detection events Towards Deep Modeling of Music Semantics using EEG Regularizers Stringy orbifolds Characterisation of a TES-Based X-ray Microcalorimeter in the Energy
  Range from 150 to 1800 eV Using an Adiabatic Demagnetisation Refrigerator
cs.LO cs.AI