The G\"odel Fibration
Unification of Modal Logic via Topological Categories I
HEAX: An Architecture for Computing on Encrypted Data Chaos in chiral condensates in gauge theories Disabling equational theories in unification for cryptographic protocol
  analysis through tagging Remarks on Lubbock's summation formulae Light Transport and Localization in Diffusive Random Lasers Overview of the Heisenberg--Weyl Algebra and Subsets of Riordan
  Subgroups Where is your place, Visual Place Recognition? Semigenerated step-3 Carnot algebras and applications to sub-Riemannian
  perimeter Variational phase recovering without phase unwrapping in phase-shifting
  interferometry SKA-Athena Synergy White Paper Markov Chain-based Cost-Optimal Control Charts for Healthcare Data New approach to nonrelativistic ideal magnetohydrodynamics Initial explorations of ARM processors for scientific computing The $E$-cohomological Conley Index, Cup-Lengths and the Arnold
  Conjecture on $T^{2n}$ A theoretical connection between the noisy leaky integrate-and-fire and
  escape rate models: the non-autonomous case Atomistic simulation of PDADMAC/PSS oligoelectrolyte multilayers:
  overall comparison of tri- and tetra-layer systems Automorphisms of hyperk\"ahler manifolds and groups acting on CAT(0)
  spaces Localization of a mobile impurity interacting with an Anderson insulator Spatio-Temporal Differential Dynamic Programming for Control of Fields Input Perturbations for Adaptive Control and Learning
math.CT math.LO