Intuitionistic Layered Graph Logic: Semantics and Proof Theory
Rewriting Modulo \beta in the \lambda\Pi-Calculus Modulo
Relativistic Causality and Conservation of Energy in Classical
  Electromagnetic Theory Distributed Constrained Recursive Nonlinear Least-Squares Estimation:
  Algorithms and Asymptotics Fairness Through Computationally-Bounded Awareness Entanglement and seniority Higher order statistics in the annulus square billiard: transport and
  polyspectra The statistics of velocity fluctuations arising from a random
  distribution of point vortices: the speed of fluctuations and the diffusion
  coefficient An integer factorization algorithm which uses diffusion as a
  computational engine Towards A Multi-agent System for Online Hate Speech Detection GeneVis - An interactive visualization tool for combining
  cross-discipline datasets within genetics Weather Radar in Nepal: Opportunities and Challenges in Mountainous
  Region PanGEA: The Panoramic Graph Environment Annotation Toolkit Higher-order Reverse Automatic Differentiation with emphasis on the
  third-order Anomaly Detection in Multi-Agent Trajectories for Automated Driving Counting number of factorizations of a natural number Peristaltic flow of a fluid in a porous channel: A study having
  relevance to flow of bile within ducts in a pathological state Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code Direction Cryptography in Quantum Communications Are both BL Lacs and pulsar wind nebulae the astrophysical counterparts
  of IceCube neutrino events? Accurate determination of the free-free Gaunt factor. II - relativistic
  Gaunt factors Formalising Filesystems in the ACL2 Theorem Prover: an Application to
  FAT32 Probing topological superconductors with emergent gravity Dynamics and Manipulation of Matter-Wave Solitons in Optical
  Superlattices
cs.LO