A Reduction-Preserving Completion for Proving Confluence of
  Non-Terminating Term Rewriting Systems
Finite countermodels for safety verification of parameterized tree
  systems
Topological Features of the Quantum Vacuum Tachyonic approach to neutrino dark matter An uncertainty principle for neural coding: Conjugate representations of
  position and velocity are mapped onto firing rates and co-firing rates of
  neural spike trains SENATE: A Permissionless Byzantine Consensus Protocol in Wireless
  Networks Galois cohomology of algebraic groups acting on the tensor product of
  two composition algebras New Methods for Detecting Concentric Objects With High Accuracy A Novel Approach to Forecasting Financial Volatility with Gaussian
  Process Envelopes Identification of Lensed Gravitational Waves with Deep Learning On a Vanishing Theorem of Kontsevich Effective theory for the propagation of a wave-packet in a disordered
  and nonlinear medium Measuring Fundamental Properties of Real-World Complex Networks Averaging Principle for Quasi-Geostrophic Motions under Rapidly
  Oscillating Forcing Proceedings of the The First Workshop on Verification and Validation of
  Cyber-Physical Systems Cauchy, infinitesimals and ghosts of departed quantifiers Hidden scale invariance of metals Beyond relativistic mean-field approach for nuclear octupole excitations Efficient Methods for Unsupervised Learning of Probabilistic Models Artifact reduction in multichannel pervasive EEG using hybrid WPT-ICA
  and WPT-EMD signal decomposition techniques
cs.LO