Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments
Industrial Experience Report on the Formal Specification of a Packet
  Filtering Language Using the K Framework
Synchronization and Maximum Lyapunov Exponents of Cellular Automata Groebner bases of reaction networks with intermediate species Reference Energies for Intramolecular Charge-Transfer Excitations Classifying Data with Local Hamiltonians Twisted Conormal Bundles and Canonical Relations Unsupervised Event Classification with Graphs on Classical and Photonic
  Quantum Computers Global sensitivity analysis using derivative-based sparse Poincar\'e
  chaos expansions How to split the costs among travellers sharing a ride? Aligning
  system's optimum with users' equilibrium Time-resolved and time-scale adaptive measures of spike train synchrony Roots and Fruits of Decoherence Implicit Multiagent Coordination at Unsignalized Intersections via
  Multimodal Inference Enabled by Topological Braids On a relation of pseudoanalytic function theory to the two-dimensional
  stationary Schroedinger equation and Taylor series in formal powers for its
  solutions Gompertz and logistic stochastic dynamics: Advances in an ongoing quest Decision Making with Machine Learning and ROC Curves Generalized elimination of the global translation from explicitly
  correlated Gaussian functions The Information Flow Framework: A Descriptive Category Metatheory A Tutorial on Formulating and Using QUBO Models Design of Sequences with Good Folding Properties in Coarse-Grained
  Protein Models
cs.PL cs.SE