A fix-point characterization of Herbrand equivalence of expressions in
  data flow frameworks
Relational reasoning via probabilistic coupling
A moving mesh unstaggered constrained transport scheme for
  magnetohydrodynamics Brownian Motion in a Speckle Light Field: Tunable Anomalous Diffusion
  and Deterministic Optical Manipulation Optimal information transfer in enzymatic networks: A field theoretic
  formulation PRT (Personal Rapid Transit) network simulation Chaos and Annealing in Social networks Comparing Time and Frequency Domain for Audio Event Recognition Using
  Deep Learning Grounding Natural Language Commands to StarCraft II Game States for
  Narration-Guided Reinforcement Learning Dynamical Eigenmodes of Star and Tadpole Polymers Three-state interactions determine the second-order nonlinear optical
  response Dynamical Clustering of Exchange Rates Spectrum of the Signless 1-Laplacian and the Dual Cheeger Constant on
  Graphs Characterization of Rational Ruled Surfaces A nonlinear theory of distributional geometry Solar system constraints on Rindler acceleration Storage of RF photons in minimal conditions Quadratic Reflected BSDEs with Unbounded Obstacles Generalized Internal Boundaries (GIB) Turbulence models generator
cs.LO cs.PL