Compositional Scientific Computing with Catlab and SemanticModels
Semantic Proof of Confluence of the Categorical Reduction System for
  Linear Logic
Accelerated Portfolio Optimization with Conditional Value-at-Risk
  Constraints using a Cutting-Plane Method Dynamical effects of the long bar in the Milky Way Evolving the Behavior of Machines: From Micro to Macroevolution Applying the Chebyshev-Tau spectral method to solve the parabolic
  equation model of wide-angle rational approximation in ocean acoustics SLEEF: A Portable Vectorized Library of C Standard Mathematical
  Functions On the validity of the stochastic quasi-steady-state approximation in
  open enzyme catalyzed reactions: Timescale separation or singular
  perturbation? Scale-Free Networks Hidden in Chaotic Dynamical Systems A geometric realisation of tempered representations restricted to
  maximal compact subgroups Galois Theory of Algorithms Trajectories of long duration balloons launched from McMurdo Station in
  Antarctica Sparse recovery for spherical harmonic expansions Generation of Twisted Gamma-Rays via Two-Photon Transition Properties of phoneme N -grams across the world's language families A Reconfigurable Programmable Logic Block for a Multi-Style Asynchronous
  FPGA resistant to Side-Channel Attacks Counterflows in viscous electron-hole fluid The Seiberg-Witten Equations on Manifolds with Boundary I: The Space of
  Monopoles and Their Boundary Values A note on two notions of compliance Dynamic Mortality Risk Predictions in Pediatric Critical Care Using
  Recurrent Neural Networks Kick synchronization versus diffusive synchronization Metastability for reversible probabilistic cellular automata with
  self--interaction Deep Probabilistic Programming
math.CT cs.PL