Process algebra with strategic interleaving
Explicit Auditing
Diffusive Logistic Model Towards Predicting Information Diffusion in
  Online Social Networks Quasiparticle and phonon propagation in superheated superconducting
  granules after nuclear recoils Nonexistence of graded unital homomorphisms between Leavitt algebras and
  their Cuntz splices Nonradiative proton--deuteron fusion in stellar plasma Modeling Algorithms in SystemC and ACL2 Parametric fitting of data obtained from detectors with finite
  resolution and limited acceptance An ionization sensor scheme for ultra-low voltage operation using
  one-dimensional nanostructures Computing the Skorokhod Distance between Polygonal Traces (Full Paper) Time Dependent Density Functional Theory meets Dynamical Mean Field
  Theory: Real-Time Dynamics for the 3D Hubbard model Training Adversarial Agents to Exploit Weaknesses in Deep Control
  Policies Poincare's forgotten conferences on wireless telegraphy Variational Policy Propagation for Multi-agent Reinforcement Learning Rapidly Spinning Compact Stars with Deconfinement Phase Transition Electroencephalogram (EEG) for Delineating Objective Measure of Autism
  Spectrum Disorder (ASD) (Extended Version) Multimodal Image Synthesis with Conditional Implicit Maximum Likelihood
  Estimation Approximate symmetries of Hamiltonians Performance boost of time-delay reservoir computing by non-resonant
  clock cycle Pseudodifferential Operators on $\mathbf{Q}_p$ and $L$-Series
cs.LO cs.PL