A naive diagram-chasing approach to formalisation of tame topology
Categorical semantics of metric spaces and continuous logic
Emergence of a spectral gap in a class of random matrices associated
  with split graphs Observations on Factors Affecting Performance of MapReduce based Apriori
  on Hadoop Cluster Ordered and Disordered Defect Chaos Manifestation of the Arnol'd Diffusion in Quantum Systems Slow Mixing of Glauber Dynamics for the Six-Vertex Model in the Ordered
  Phases Rumor Spreading in Random Evolving Graphs A modular framework for randomness extraction based on Trevisan's
  construction Bifurcation diagrams and critical subsystems of the Kowalevski gyrostat
  in two constant fields Cut-out sets, fractal voids and cosmic structure Interbreeding conditions for explaining Neandertal DNA in living humans:
  the nonneutral case Reply to Comment on "On the Original Proof by Reductio ad Absurdum of
  the Hohenberg-Kohn Theorem for Many-Electron Coulomb Systems" [Szczepanik, W;
  Dulak, M.; Wesolowski, T. A., Int. J. Quantum Chem. 106 (2006)] Igor Rostislavovich Shafarevich: in Memoriam Ocasta: Clustering Configuration Settings For Error Recovery Multiplicity of a space over another space Convex Polyhedra in the $3$-Sphere and Tilings of the $2$-Sphere On the Complexity of Robust PCA and $\ell_1$-norm Low-Rank Matrix
  Approximation Gradient descent globally solves average-case non-resonant physical
  design problems An approach to measure route quality and refine the route during the
  voyage using characteristic coefficients On the Time Scaling of Entanglement in Integrable Scale-Invariant
  Theories Reduced Basis Decomposition: a Certified and Fast Lossy Data Compression
  Algorithm Unsupervised Domain Adaptation using Graph Transduction Games
math.CT math.LO