The directed plump ordering
Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
Towards a Unified Taxonomy of Biclustering Methods Almost structural completeness; an algebraic approach BrainNNExplainer: An Interpretable Graph Neural Network Framework for
  Brain Network based Disease Analysis Optimal network design for synchronization of coupled oscillators Dynamic boundary conditions for membranes whose surface energy depends
  on the mean and Gaussian curvatures Stochatic Perron's method and verification without smoothness using
  viscosity comparison: the linear case Introduction: The FuturICT Knowledge Accelerator Towards a More
  Resilient and Sustainable Future Acceleration in a nonplanar time-dependent billiard A proof of concept for scale-adaptive parameterizations: the case of the
  Lorenz '96 model The magnitude and spectral geometry Information Verification for Humanitarians: A Critical Review Empirically Assessing Opportunities for Prefetching and Caching in
  Mobile Apps The Inverse function theorem for curved L-infinity spaces Pre-Calabi-Yau structures and moduli of representations Electronic structure of $\alpha-$RuCl$_3$ by fixed-node and fixed-phase
  diffusion Monte Carlo methods Show, Describe and Conclude: On Exploiting the Structure Information of
  Chest X-Ray Reports Uncertainty Updating in the Description of Coupled Heat and Moisture
  Transport in Heterogeneous Materials Sum-of-squares chordal decomposition of polynomial matrix inequalities Stable vortex in Bose-Einstein condensate dark matter Using integral transforms to estimate higher order derivatives L\'evy-noise versus Gaussian-noise-induced Transitions in the
  Ghil-Sellers Energy Balance Model The Inconsistency of Superfluid Dark Matter with Milky Way Dynamics
cs.LO math.LO