Inferring Invariants with Quantifier Alternations: Taming the Search
  Space Explosion
Divide-and-Conquer Checkpointing for Arbitrary Programs with No User
  Annotation
Minimal Sufficient Conditions for Structural
  Observability/Controllability of Composite Networks via Kronecker Product Managing conflicts between users in Wikipedia Classification of $K$-type formulas for the Heisenberg ultrahyperbolic
  operator $\square_s$ for $\widetilde{SL}(3,\mathbb{R})$ and tridiagonal
  determinants for local Heun functions Merging Gravitation with Thermodynamics to Understand Cosmology Learning algebraic decompositions using Prony structures The third Milgram-Priddy class lifts A model-independent theory of consensus and dissensus decision making Besicovitch-Federer projection theorem and geodesic flows on Riemann
  surfaces Robust artificial neural networks and outlier detection. Technical
  report Featured Team Automata Phase Diffusion and Lamb-Shift-Like Spectrum Shift in Classical
  Oscillators Thermal Energy Generation in the Earth An Invitation to Polynomiography via Exponential Series Suppression of kHz-Frequency Switching Noise in Digital Micro-Mirror
  Devices Barnacle: An Assembly Algorithm for Clone-based Sequences of Whole
  Genomes A Data-driven Storage Control Framework for Dynamic Pricing A semiquantal approach to finite systems of interacting particles
cs.PL