Revisiting the proof theory of Classical S4
An Intuitionisticaly based Description Logic
From Three Dimensional Manifolds to Modular Tensor Categories Rotating self-gravitating Bose-Einstein condensates with a crust: a
  minimal model for pulsar glitches Complete description of polarization effects in emission of a photon by
  an electron in the field of a strong laser wave First Results from The GlueX Experiment A group with at least subexponential hyperlinear profile Assouad dimension and fractal geometry Spin ordered phase transitions in isospin asymmetric nuclear matter Notes on 1- and 2-gerbes Deep reconstruction of strange attractors from time series Proca Stars: gravitating Bose-Einstein condensates of massive spin 1
  particles Synchronization of Chaotic Systems by Common Random Forcing Sound source ranging using a feed-forward neural network with
  fitting-based early stopping Similarity of operators and geometry of eigenvector bundles Global analysis of neutrino masses, mixings and phases: entering the era
  of leptonic CP violation searches Protein residue networks from a local search perspective A model of cardiac tissue as a conductive system with interacting
  pacemakers and refractory time Fundamental Limitations in Sequential Prediction and Recursive
  Algorithms: $\mathcal{L}_{p}$ Bounds via an Entropic Analysis On building minimal automaton for subset matching queries
cs.LO