Pretty-big-step-semantics-based Certified Abstract Interpretation
  (Preliminary version)
RPO, Second-order Contexts, and Lambda-calculus
Exact Results for the Crossover from Gaussian to Non-Gaussian Order
  Parameter Fluctuations in Quasi One-Dimensional Electronic Systems Modularity produces small-world networks with dynamical time-scale
  separation From Environmental Sound Representation to Robustness of 2D CNN Models
  Against Adversarial Attacks Processing Information in Quantum Decision Theory Parametric resonance in quantum field theory Slant products on the Higson-Roe exact sequence Adaptive Thermostats for Noisy Gradient Systems Earthquake Response Analysis of Yielding Structures Coupled with Rocking
  Walls HORIZON: Accelerated General Relativistic Magnetohydrodynamics Penalty Constraints and Kernelization of M-Estimation Based Fuzzy
  C-Means Cerebellar-Inspired Learning Rule for Gain Adaptation of Feedback
  Controllers Graphene and non-Abelian quantization Universal orderability of Legendrian isotopy classes Permutation Invariant Gaussian Matrix Models On the Computation of the Higher Order Statistics of the Channel
  Capacity over Generalized Fading Channels Linear PDE with Constant Coefficients Stochastic self-consistent second-order Green's function method for
  correlation energies of large electronic systems Technical Reports Compilation: Detecting the Fire Drill anti-pattern
  using Source Code and issue-tracking data
cs.PL cs.LO