Understanding Lua's Garbage Collection -- Towards a Formalized Static
  Analyzer
Data
Odyssey 2 : A mission toward Neptune and Triton to test General
  Relativity Statistical Mechanics of Interacting Run-and-Tumble Bacteria Practical Groebner Basis Computation Scattering in algebraic approach to quantum theory. Associative algebras 2nd-order Updates with 1st-order Complexity Dependence of nuclear magnetic moments on quark masses and limits on
  temporal variation of fundamental constants from atomic clock experiments Gamma ray vortices from nonlinear inverse Compton scattering of
  circularly polarized light FiLM: Visual Reasoning with a General Conditioning Layer Evaluation of Granger causality measures for constructing networks from
  multivariate time series Strongly Summable Ultrafilters, Union Ultrafilters, and the Trivial Sums
  Property Random graphs with node and block effects: models, goodness-of-fit
  tests, and applications to biological networks Energy-Efficient Multi-Orchestrator Mobile Edge Learning Deep Learning for the Benes Filter Data-driven reduced modelling of turbulent Rayleigh-Benard convection
  using DMD-enhanced Fluctuation-Dissipation Theorem Non-conventional Superconductors and diluted Ising Model Singular Casimir Elements of the Euler Equation and Equilibrium Points Nonlinear Density Waves in the Single-Wave Model Sharp bounds on the radius of relativistic charged spheres: Guilfoyle's
  stars saturate the Buchdahl-Andr\'easson bound Physical limits to sensing material properties Fedder type criteria for quasi-$F$-splitting The Topology of Statistical Verifiability
cs.PL