Non-finitely axiomatisable modal product logics with infinite canonical
  axiomatisations
Proof-Theoretic Soundness and Completeness
The October 10, 1912 solar eclipse expeditions and the first attempt to
  measure light-bending by the Sun Memory of the Unjamming Transition during Cyclic Tiltings of a Granular
  Pile Stability of Boolean Multilevel Networks Deep neural networks algorithms for stochastic control problems on
  finite horizon: numerical applications Learning local, quenched disorder in plasticity and other crackling
  noise phenomena Explosive percolation in graphs Generalizing the de Finetti--Hewitt--Savage theorem Optimized Field/Circuit Coupling for the Simulation of Quenches in
  Superconducting Magnets Application of Adaptive Multilevel Splitting to High-Dimensional
  Dynamical Systems Comparing Data-mining Algorithms Developed for Longitudinal
  Observational Databases Special Values of Generalized Log-sine Integrals Primely generated refinement monoids First electrical White Rabbit absolute calibration inter-comparison Quasialgebraic Functions Discrete Gradient Line Fields on Surfaces Finite orbits of the pure braid group on the monodromy of the
  $2$-variable Garnier system A numerical measure of the instability of Mapper-type algorithms Laminar and turbulent dynamos in chiral magnetohydrodynamics-I: Theory
cs.LO math.LO