Clause Vivification by Unit Propagation in CDCL SAT Solvers
Plausibility Measures and Default Reasoning
Polarimetric SAR Image Smoothing with Stochastic Distances The Origin of RNA Precursors on Exoplanets Algebraic Quantum Field Theory: A Status Report Variational Quantum Algorithms for Trace Distance and Fidelity
  Estimation Raw Waveform Encoder with Multi-Scale Globally Attentive Locally
  Recurrent Networks for End-to-End Speech Recognition Balanced Truncation Model Reduction for Lifted Nonlinear Systems Random hyperbolic surfaces of large genus have first eigenvalues greater
  than $\frac{3}{16}-\epsilon$ High Resolution Viscosity Measurement by Thermal Noise Detection On the Geometry and Extremal Properties of the Edge-Degeneracy Model A Novel Algebraic Geometry Compiling Framework for Adiabatic Quantum
  Computations Manifolds of isospectral matrices and Hessenberg varieties Numerical calculation of Bessel, Hankel and Airy functions Stochastic Chemical Reactions in Micro-domains Stratified Learning: a general-purpose statistical method for improved
  learning under Covariate Shift Spectroscopic properties of a two-level atom interacting with a complex
  spherical nanoshell Output coupling from x-ray free-electron laser cavities with intracavity
  beam splitters Effect of quantified irreducibility on the computability of subshift
  entropy Multicritical phenomena in O(n_1)+O(n_2)-symmetric theories GENESIS: Generative Scene Inference and Sampling with Object-Centric
  Latent Representations An Accelerated LIF Neuronal Network Array for a Large Scale Mixed-Signal
  Neuromorphic Architecture
cs.AI cs.LO