Resource modalities in game semantics
An enriched category theory of language: from syntax to semantics
Synchronization via interacting reinforcement Incorporating Memory Effects in Phase Separation Processes An Efficient Nonlinear Beamformer Based on P^{th} Root of Detected
  Signals for Linear-Array Photoacoustic Tomography: Application to Sentinel
  Lymph Node Imaging The Kepler problem: polynomial algebra of non-polynomial first integrals Fourier-Based Spectral Analysis with Adaptive Resolution PodSumm -- Podcast Audio Summarization On Atiyah-Segal completion for T-equivariant Hermitian K-theory Uniform generation of RNA pseudoknot structures with genus filtration Recurrence-time statistics in non-Hamiltonian volume preserving maps and
  flows A retrieval strategy for interactive ensemble data assimilation Compact quantum group C^*-algebras as Hopf algebras with approximate
  unit The 4-Body Problem in a (1+1)-Dimensional Self-Gravitating System Numerical solution of stochastic master equations using stochastic
  interacting wave functions TEMPO: Feature-Endowed Teichm\"uller Extremal Mappings of Point Clouds NCrystal : a library for thermal neutron transport Classifying minimum energy states for interacting particles (I) --
  spherical shells Probing Planck Scale Spacetime By Cavity Opto-Atomic $^{87}$Rb
  Interferometry
math.CT cs.CL