The model checking problem for intuitionistic propositional logic with
  one variable is AC1-complete
$\mathrm{P}$-Optimal Proof Systems for Each $\mathrm{coNP}$-Complete Set
  and no Complete Problems in $\mathrm{NP}\cap\mathrm{coNP}$ Relative to an
  Oracle
Science Learning via Participation in Online Citizen Science Optical phonons along the c axis of YBa_2Cu_3O_{6+x}, for x=0.5 -> 0.95 Time varying regression with hidden linear dynamics Multi-Context Models for Reasoning under Partial Knowledge: Generative
  Process and Inference Grammar Generic properties of dispersion relations for discrete periodic
  operators Numerical stability analysis of the Pseudo-Spectral Analytical
  Time-Domain PIC algorithm LATTE: LSTM Self-Attention based Anomaly Detection in Embedded
  Automotive Platforms Dubrovin's conjecture for $IG(2,6)$ The nuclear quadrupole moment of 57Fe from microscopic nuclear and
  atomic calculations Self-Sustained Reaction Fronts in Porous Media Relativistic treatment of harmonics from impurity systems in quantum
  wires Yrast line for weakly interacting trapped bosons Semiclassical expansion of quantum characteristics for many-body
  potential scattering problem Identification of diffracted vortex beams at different propagation
  distances using deep learning Weak in the NEES?: Auto-tuning Kalman Filters with Bayesian Optimization Pure states statistical mechanics: On its foundations and applications
  to quantum gravity Dependence of nuclear spin singlet lifetimes on RF spin-locking power Image sequence interpolation using optimal control Propagation of singularities by Osgood vector fields and for 2D inviscid
  incompressible fluids Entropic Priors and Bayesian Model Selection BitTorrent is Apt for Geophysical Data Collection and Distribution
cs.CC cs.LO