On the construction of Lyapunov functions with computer assistance
Rigorous numerics of finite-time singularities in dynamical systems -
  methodology and applications
Bayesian Data Analysis in Empirical Software Engineering Research Algorithmic problems in twisted groups of Lie type Crossing the Logarithmic Barrier for Dynamic Boolean Data Structure
  Lower Bounds Latent Equilibrium: A unified learning theory for arbitrarily fast
  computation with arbitrarily slow neurons Imaging Nematic Transitions in Iron-Pnictide Superconductors with a
  Quantum Gas Morita equivalence and duality Spectral ergodicity and normal modes in ensembles of sparse matrices Novel Attacks against Contingency Analysis in Power Grids Magnetic molecules created by hydrogenation of Polycyclic Aromatic
  Hydrocarbons A Review of Computer Vision Methods in Network Security Fermionic Networks: Modeling Adaptive Complex Networks with Fermionic
  Gases Using analog computers in today's largest computational challenges Tensor-Ring Decomposition with Index-Splitting Accurate and Robust Neural Networks for Security Related Applications
  Exampled by Face Morphing Attacks Geometric Learning and Topological Inference with Biobotic Networks:
  Convergence Analysis Bursting and excitability in neuromorphic resonant tunneling diodes Large Deviations and Effective Equidistribution Flows, scaling, and the control of moment hierarchies for stochastic
  chemical reaction networks
math.NA math.DS