Conjure Revisited: Towards Automated Constraint Modelling
Learning C to x86 Translation: An Experiment in Neural Compilation
A note on Gromov-Hausdorff-Prokhorov distance between (locally) compact
  measure spaces Noncommutative Pierce Duality between Steinberg Rings and Ample Ringoid
  Bundles Variational Bayes In Private Settings (VIPS) Towards Relativistic Atomic Physics. II. Collective and Relative
  Relativistic Variables for a System of Charged Particles plus the
  Electro-Magnetic Field Automatic Extraction of Protein Interaction in Literature Gravitational Brownian motion as inhomogeneous diffusion: black hole
  populations in globular clusters Software model refactoring based on performance analysis: better working
  on software or performance side? The spin-orbit resonances of the Solar system: A mathematical treatment
  matching physical data Rhythmomimetic drug delivery: modeling, analysis and numerical
  simulation Local incompressibility estimates for the Laughlin phase A Replica Inference Approach to Unsupervised Multi-Scale Image
  Segmentation Unsupervised prototype learning in an associative-memory network Obituary: Aristophanes Dimakis dAIrector: Automatic Story Beat Generation through Knowledge Synthesis m-arcsinh: An Efficient and Reliable Function for SVM and MLP in
  scikit-learn A simple and direct method for generating travelling wave solutions for
  nonlinear equations Learning selection strategies in Buchberger's algorithm A probabilistic framework for particle-based reaction-diffusion dynamics
  using classical Fock space representations On the Nonrelativistic 2D Purely Magnetic Supersymmetric Pauli Operator Higher regularity properties of mappings and morphisms Chemistry on rotating grain surfaces: ro-thermal hopping and segregation
  of molecules in ice mantles The category and operad of matching dialgebras
cs.AI cs.PL