Erlang Code Evolution Control
LXG Compiler - Design and Implementation
Sequential time-window learning with approximate Bayesian computation:
  an application to epidemic forecasting Polyharmonic Hardy Spaces on the Complexified Annulus and Error
  Estimates of Cubature Formulas Catastrophic Cascade of Failures in Interdependent Networks Assignment-based Path Choice Estimation for Metro Systems Using Smart
  Card Data Discrete Dynamical Genetic Programming in XCS Stochastic Resonance in Neural Network, Noise Color Effects Ballooning Spiders: The Case for Electrostatic Flight Support of Closed Walks and Second Eigenvalue Multiplicity of the
  Normalized Adjacency Matrix A comparison of locally analytic group cohomology and Lie algebra
  cohomology for p-adic Lie groups Information Spread with Error Correction L^p operator algebras with approximate identities I Damped oscillations of the probability of random events followed by
  absolute refractory period: exact analytical results Visualization of Model Parameter Sensitivity along Trajectories in
  Numerical Weather Predictions Turing degree spectra of minimal subshifts Variance Allocation and Shapley Value K-homology and K-theory for the lamplighter groups of finite groups Visualization study of counterflow in superfluid helium-4 using
  metastable helium molecules Lie Markov Models
cs.PL cs.SE