Coherence for Star-Autonomous Categories
Coherence of Proof-Net Categories
Enumerating rigid sphere packings On Fast Johnson-Lindenstrauss Embeddings of Compact Submanifolds of
  $\mathbb{R}^N$ with Boundary Altruistic Duality in Evolutionary Game Theory Gamma flashes from relativistic electron-positron plasma droplets Random Distances Associated with Rhombuses Pressureless Euler alignment system with control Revisiting FPGA Acceleration of Molecular Dynamics Simulation with
  Dynamic Data Flow Behavior in High-Level Synthesis Phase diagrams and ordering in charged membranes: Binary mixtures of
  charged and neutral lipids Robust Market Making via Adversarial Reinforcement Learning Shape and Fluctuations of Positively Curved Ribbons Proposal: The Neural Network Telescope An interview based study of pioneering experiences in teaching and
  learning Complex Systems in Higher Education Anti-Alignments -- Measuring The Precision of Process Models and Event
  Logs Discretization of Annular-Ring Diffraction Pattern for Large-Scale
  Photonics Beamforming Degree-preserving graph dynamics -- a versatile process to construct
  random networks Probability Density Functions from the Fisher Information Metric Magnitude-squared coherence: A powerful tool for disentangling Doppler
  planet discoveries from stellar activity Turning Channel Noise into an Accelerator for Over-the-Air Principal
  Component Analysis Temperature reconstruction analysis L\'{e}vy scaling: the Diffusion Entropy Analysis applied to DNA
  sequences A prototypical model of universal quantum computer system
math.CT math.LO