Where First-Order and Monadic Second-Order Logic Coincide
Satisfiability vs. Finite Satisfiability in Elementary Modal Logics
Quasi-particle transitions in charge-phase qubits probed by rf
  oscillations Learning Similarity Metrics for Numerical Simulations Parallel and distributed asynchronous adaptive stochastic gradient
  methods Implementing Suffix Array Algorithm Using Apache Big Table Data
  Implementation Learning Based Hybrid Beamforming Design for Full-Duplex Millimeter Wave
  Systems Towards transverse toric geometry Network-ensemble comparisons with stochastic rewiring and von Neumann
  entropy Differential-henselianity and maximality of asymptotic valued
  differential fields A Hybrid Model of a Genetic Regulatory Network in Mammalian Sclera Risks of Large Portfolios Preliminary constraints on the location of the recently hypothesized new
  planet of the Solar System from planetary orbital dynamics Parametric model order reduction using pyMOR Struggles with the Continuum Boundary Estimation from Point Clouds: Algorithms, Guarantees and
  Applications Exact Bivariate Polynomial Factorization in Q by Approximation of Roots First observation of long-lived $\pi^+ \pi^-$ atoms Online Orthogonal Dictionary Learning Based on Frank-Wolfe Method Even Faster Accelerated Coordinate Descent Using Non-Uniform Sampling Neutrino-Flux Variability, Nuclear-Decay Variability, and Their Apparent
  Relationship Optimal asymptotic bounds for designs on manifolds
cs.LO cs.CC