Synthetic differential geometry within homotopy type theory I
A generalization of The Dress construction for a Tambara functor, and
  polynomial Tambara functors
Auxin transport model for leaf venation Higher-order Variational Calculus on Lie algebroids Towards blind user's indoor navigation: a comparative study of beacons
  and decawave for indoor accurate location Communication-Efficient Jaccard Similarity for High-Performance
  Distributed Genome Comparisons Efficient molecular dynamics simulations with many-body potentials on
  graphics processing units Tensor RG approach to high-temperature fixed point Self-organization and Mechanical Properties of Active Filament Bundles Casting light on shadow Somos sequences Two-dimensional few electron systems in high magnetic fields:
  Composite-fermion or rotating-electron-molecule approach? Analysis of the Schmidt, Cohen & Margon (1980) features in the Red
  Rectangle nebula Extracting Complements and Substitutes from Sales Data: A Network
  Perspective A hybrid bio-organic interface for neuronal photo-activation Efficient Searching and Retrieval of Documents in PROSA Pointwise Weyl Laws for Schr\"odinger operators with singular potentials On groups of diffeomorphisms of the interval with finitely many fixed
  points I Full-Duplex vs. Half-Duplex Secret-Key Generation The complete dimension theory of partially ordered systems with
  equivalence and orthogonality A deep ensemble approach to X-ray polarimetry Calculation of resonance energies from Q-values Stochastic Service Placement
math.CT