CoreDiag: Eliminating Redundancy in Constraint Sets
Higher-order Logic as Lingua Franca -- Integrating Argumentative
  Discourse and Deep Logical Analysis
Tropical Abstractions of Max-Plus-Linear Systems The decay width of stringy hadrons The Complexity of Human Computation: A Concrete Model with an
  Application to Passwords Functional Dependence in Strategic Games A theory of algebraic integration An Adaptive Psychoacoustic Model for Automatic Speech Recognition On the Use of Quantum Algebras in Rotation-Vibration Spectroscopy On Linear Time Decidability of Differential Privacy for Programs with
  Unbounded Inputs Orlov spectra: bounds and gaps Memory effects can make the transmission capability of a communication
  channel uncomputable Violation and Revival of Kramers' Degeneracy in Open Quantum Systems A class of symplectic integrators with adaptive timestep for separable
  Hamiltonian systems Bayesian Poisson Tensor Factorization for Inferring Multilateral
  Relations from Sparse Dyadic Event Counts Synthetic Hachimoji DNA Sequencing with Graphene Nanodevice Accelerating a hybrid continuum-atomistic fluidic model with on-the-fly
  machine learning From Large N Matrices to the Noncommutative Torus Reformulation of the extension of the $\nu$-metric for $H^{\infty}$ Stochastic differential equations for limiting description of UCB rule
  for Gaussian multi-armed bandits Browsix: Bridging the Gap Between Unix and the Browser Symplectic geometry and the uniqueness of Grauert tubes Characterizing the Power of Moving Target Defense via Cyber Epidemic
  Dynamics
cs.AI cs.LO