Normalisation and Subformula Property for a System of Classical Logic
  with Tarski's Rule
On the Remarkable Features of Binding Forms
BrainNNExplainer: An Interpretable Graph Neural Network Framework for
  Brain Network based Disease Analysis String theory, Einstein, and the identity of physics: Theory assessment
  in absence of the empirical Minimal Surfaces, Screw Dislocations and Twist Grain Boundaries Molecular-dynamics simulation of clustering processes in sea-ice floes Optical Microscopy of Soft Matter Systems How ice grows from premelting films and water droplets Procedural Noise Adversarial Examples for Black-Box Attacks on Deep
  Convolutional Networks Broken Detailed Balance and Non-Equilibrium Dynamics in Noisy Social
  Learning Models Effects of the nuclear equation of state on the r-mode instability and
  evolution of neutron stars Phonon Assisted Multimagnon Optical Absorption and Long Lived Two-Magnon
  States in Undoped Lamellar Copper Oxides Computing Optimal Control of Cascading Failure in DC Networks On the extension of the Laplace-Lagrange secular theory to order two in
  the masses for extrasolar systems Exploiting Grids for applications in Condensed Matter Physics Distributed saddle point problems for strongly concave-convex functions Discovering the laws of urbanisation StateAFL: Greybox Fuzzing for Stateful Network Servers A Verified Algebra for Linked Data Incremental Visual-Inertial 3D Mesh Generation with Structural
  Regularities Statistical mechanics of random geometric graphs: Geometry-induced first
  order phase transition Recent Enhancements to the MARS15 Code
cs.LO math.LO