Precise asymptotic of eigenvalues of resonant quasilinear systems
Percival's Conjecture for the Bunimovich Mushroom Billiard
Linear Dependent Type Theory for Quantum Programming Languages HapTable: An Interactive Tabletop Providing Online Haptic Feedback for
  Touch Gestures Gravitating vortices and the Einstein--Bogomol'nyi equations Coefficient systems and Jacquet modules Signal to Noise and b-value Analysis for Optimal Intra-Voxel Incoherent
  Motion Imaging in the Brain A Formal Model of a Virtual Filesystem Switch DAG-width of Control Flow Graphs with Applications to Model Checking Realizing Continual Learning through Modeling a Learning System as a
  Fiber Bundle Deterministic site exchange cellular automata model for the spread of
  diseases in human settlements Social choice, computational complexity, Gaussian geometry, and Boolean
  functions Bridging the gap between Markowitz planning and deep reinforcement
  learning Derivations and Dirichlet forms on fractals Dispersionless integrable equations as coisotropic deformations.
  Extensions and reductions Numerical and experimental study of tonal noise sources at the outlet of
  an isolated centrifugal fan Modified Kelvin equations for capillary condensation in narrow and wide
  grooves Fixed points in compactifications and combinatorial counterparts Mixing Time Guarantees for Unadjusted Hamiltonian Monte Carlo A Theory of Hypergames on Graphs for Synthesizing Dynamic Cyber Defense
  with Deception Chemical concrete machine
math.AP math.SP