Toward a Theory of Programming Language and Reasoning Assistant Design:
  Minimizing Cognitive Load
Extensible type checker for parser generation
Directed last passage percolation with discontinuous weights Write error rate of spin-transfer-torque random access memory including
  micromagnetic effects using rare event enhancement Analysing Time-Stamped Co-Editing Networks in Software Development Teams
  using git2net Algorithmic Causal Effect Identification with causaleffect Observation of Prethermalization in Long-Range Interacting Spin Chains Knowledge Distillation for Improved Accuracy in Spoken Question
  Answering Yetter--Drinfeld structures on Heisenberg doubles and chains Basic Thermodynamics A Neuron Based Switch: Application to Low Power Mixed Signal Circuits Analytical Modeling for Rapid Design of Bistable Buckled Beams DeepChrome: Deep-learning for predicting gene expression from histone
  modifications Heavy ion beam lifetimes at relativistic and ultrarelativistic colliders On the interval of fluctuation of the singular values of random matrices Berezin-Toeplitz quantization for compact Kaehler manifolds. A Review of
  Results In-Core Computation of Geometric Centralities with HyperBall: A Hundred
  Billion Nodes and Beyond Invariant Safety for Distributed Applications Extended solutions via the trial-orbit method for two-field models Equitability, interval estimation, and statistical power On the Almost Sure Convergence of Stochastic Gradient Descent in
  Non-Convex Problems Robust Distributed Routing in Dynamical Flow Networks - Part II: Strong
  Resilience, Equilibrium Selection and Cascaded Failures
cs.PL cs.SE