A topos for a nonstandard functional interpretation
Quillen Model Structures-Based Notions of Locality of Logics over Finite
  Models
Comments on "Reverse auction: the lowest positive integer game" Kepler map Runtime Concurrency Control and Operation Scheduling for High
  Performance Neural Network Training Integrable non-commutative equations on quad-graphs. The consistency
  approach Variational equations of Lagrangian systems and Hamilton's principle Espresso: Efficient Forward Propagation for BCNNs Resource Management in Wireless Networks via Multi-Agent Deep
  Reinforcement Learning Reconstructing the thermal Green functions at real times from those at
  imaginary times A Local Law for Singular Values from Diophantine Equations Twisted Superconducting Semilocal Strings DC vacuum breakdown in an external magnetic field Full waveform inversion guided by travel time tomography Dynamic vs Oblivious Routing in Network Design Mapping and Reducing the Brain on the Cloud Finiteness in the Card Game of War Unconventional rotational responses of hadronic superfluids in a neutron
  star caused by strong entrainment and a $\Sigma^-$ hyperon gap Proceedings Third Workshop on Formal Methods for Autonomous Systems An O(1) Solution to the Prefix Sum Problem on a Specialized Memory
  Architecture Introduction to the application of the dynamical systems theory in the
  study of the dynamics of cosmological models of dark energy Large Deviations for Nonlocal Stochastic Neural Fields
math.CT math.LO