A Model for Interactive Scores with Temporal Constraints and Conditional
  Branching
In search of lost time: Axiomatising parallel composition in process
  algebras
Locally Equivalent Correspondences A dynamic game on Green Supply Chain Management Continuous Analogues for the Binomial Coefficients and the Catalan
  Numbers Dictionary learning of sound speed profiles Monopole and instanton effects in QCD Evidence of ratchet effect in nanowires of a conducting polymer On the relative dual of an $S^1$-gerbe over an orbifold On the group of spheromorphisms of the homogeneous non-locally finite
  tree Degree-based graph construction On the accurate calculation of the dielectric constant and the diffusion
  coefficient from molecular dynamics simulations: the case of SPC/E water A new formulation of the near-equilibrium theory of turbulence How does the electric current propagate through the fully-hydrogenated
  borophene? A Compound Poisson Generator approach to Point-Source Inference in
  Astrophysics Memory Approximate Message Passing About simple variational splines from the Hamiltonian viewpoint Spacetime interpretation of Torsion in Prismatic Bodies Embodied Multimodal Multitask Learning Beth definability and the Stone-Weierstrass Theorem Towards an intelligent VNS heuristic for the k-labelled spanning forest
  problem
cs.LO