Uniqueness Typing for Resource Management in Message-Passing Concurrency
Semantic Bounds and Strong Call-by-Value Normalization
A model for mutation in bacterial populations Physically interpretable machine learning algorithm on multidimensional
  non-linear fields The magnetic field from a homogeneously magnetized cylindrical tile A Scratch-like visual programming system for Microsoft Windows Phone 8 Simultaneous Coherent Structure Coloring facilitates interpretable
  clustering of scientific data by amplifying dissimilarity Pigeonring: A Principle for Faster Thresholded Similarity Search Abelian categories and definable additive categories Quantum Wigner molecules in semiconductor quantum dots and cold-atom
  optical traps and their mathematical symmetries Spectral Norm of Random Kernel Matrices with Applications to Privacy The origin of life seen from the point of view of non-equilibrium
  statistical mechanics Low-Dimensional Galerkin Approximations of Nonlinear Delay Differential
  Equations Observement as Universal Measurement Cohomological quotients and smashing localizations The Capacity of Private Information Retrieval from Uncoded Storage
  Constrained Databases Fundamental physics tests using the propagation of GNSS signals Minkowski games Hazards Induced by Breach of Liquid Rocket Fuel Tanks: Conditions and
  Risks of Cryogenic Liquid Hydrogen-Oxygen Mixture Explosions Exploring search space trees using an adapted version of Monte Carlo
  tree search for combinatorial optimization problems A Lorentz-Covariant Interacting Electron-Photon System in One Space
  Dimension
cs.LO cs.PL