Verifying Handcoded Probabilistic Inference Procedures
Linear Tabling Strategies and Optimizations
Forming Compatible Teams in Signed Networks Wavelets and their use Complete positivity of nonlinear evolution: A case study Dark Matter in Stars Reparametrization modes, shadow operators, and quantum chaos in
  higher-dimensional CFTs Deterministic Secure Positioning in Wireless Sensor Networks Polynomial recognition of cluster algebras of finite type Dynamics of Dry Friction: A Numerical Investigation Accuracy and Performance Comparison of Video Action Recognition
  Approaches Local trace formulae and scaling asymptotics in Toeplitz quantization,
  II Alternative Astronomical FITS imaging Periodic functions with variable period Ergodic Annealing Parametric investigation of nonlinear fluctuations in a dc glow
  discharge plasma
cs.PL