Non-normal modalities in variants of Linear Logic
Constraint Propagation for First-Order Logic and Inductive Definitions
Deterministic site exchange cellular automata model for the spread of
  diseases in human settlements Homeostatic Fluctuations of a Tissue Surface Cavity approach for modeling and fitting polymer stretching The Stark effect in the charge-dyon system Self-referencing cellular automata: A model of the evolution of
  information control in biological systems Google matrix analysis of directed networks Network Inference and Influence Maximization from Samples Control of eigenfunctions on surfaces of variable curvature Exact Categories Applications of molecular communications to medicine: a survey On hermitian-holomorphic classes related to uniformization, the
  dilogarithm, and the Liouville Action The category of finite strings Planar 2-homogeneous commutative rational vector fields Shuffle group laws. Applications in free probability Space Weather Prediction with Exascale Computing Tensor Programs II: Neural Tangent Kernel for Any Architecture
cs.LO cs.AI