Undecidability of model-checking branching-time properties of stateless
  probabilistic pushdown process
Visibly Linear Dynamic Logic
Hybrid Quantum-Classical Neural Network for Cloud-supported In-Vehicle
  Cyberattack Detection A Topological Criterion for Alice Strings Nonlinearity and Multifractality of Climate Change in the Past 420,000
  Years Ensemble Methods for Convex Regression with Applications to Geometric
  Programming Based Circuit Design Web search queries can predict stock market volumes Lax pairs for the equations describing compatible nonlocal Poisson
  brackets of hydrodynamic type, and integrable reductions of the Lame
  equations Similarity Solutions and Collapse in the Attractive Gross-Pitaevskii
  Equation KW-models for (multivariate) linear differential systems Supersymmetric Construction of Exactly Solvable Potentials and
  Non-Linear Algebras Causal Data Science for Financial Stress Testing Extreme Scale FMM-Accelerated Boundary Integral Equation Solver for Wave
  Scattering Symmetry Breaking Predicates for SAT-based DFA Identification Significance of distinct electron correlation effects in determining the
  P,T-odd electric dipole moment of $^{171}$Yb Merging and fragmentation in the Burgers dynamics Audio Classical Composer Identification by Deep Neural Network Cumulative effects of collision integral, strong magnetic field, and
  quasiparticle description on charge and heat transport in thermal QCD medium Berezin-Toeplitz quantization for compact Kaehler manifolds. A Review of
  Results Infinite-dimensional Polish groups and Property (T) Quantum walks on simplicial complexes
cs.LO cs.FL