The dual geometry of Boolean semirings
W-Types with Reductions and the Small Object Argument
From the Big Bang Theory to the Theory of a Stationary Universe Importance of Coordination and Cultural Diversity for an Efficient and
  Flexible Manufacturing System Poisson approximation of the length spectrum of random surfaces Machine learning based luminance analysis of a $\mu$LED array Ground-state phase diagram of quantum link electrodynamics in $(2+1)$-d Almost-dispersionless pulse transport in long quasiuniform spring-mass
  chains: A new kind of Newton's cradle Skeptical binary inferences in multi-label problems with sets of
  probabilities New theory of screening for 3D and 2D electron gases Fun with colours: the standard model with two colour QCD has radically
  different long distance physics Influence of moving breathers on vacancies migration Improving the accuracy and efficiency of time-resolved electronic
  spectra calculations: Cellular dephasing representation with a prefactor Self-Similar Decay in the Kraichnan Model of a Passive Scalar INTERPOL: Information Theoretically Verifiable Polynomial Evaluation DSCOVR: Randomized Primal-Dual Block Coordinate Algorithms for
  Asynchronous Distributed Optimization Analyzing Cloud Optical Properties Using Sky Cameras On the stability of the stochastic gradient Langevin algorithm with
  dependent data stream A Forward Electricity Contract Price Projection: A Market Equilibrium
  Approach On volumes of quasi-arithmetic hyperbolic lattices Surface density-of-states on semi-infinite topological photonic and
  acoustic crystals
math.CT math.LO