Dynamic Reductions for Model Checking Concurrent Software
Satisfiability and Model Checking for the Logic of Sub-Intervals under
  the Homogeneity Assumption
Structural Analysis of Metal doped Calcium Oxalate Locally Private Bayesian Inference for Count Models Stationary vs. singular points in an accelerating FRW cosmology derived
  from six-dimensional Einstein-Gauss-Bonnet gravity Learning Frame Level Attention for Environmental Sound Classification Opening the Blackbox: Accelerating Neural Differential Equations by
  Regularizing Internal Solver Heuristics Optimal-power Configurations for Hover Solutions in Mono-spinners Minimal two-spheres in three-spheres Multi-Frequency Phase Synchronization Bergman kernels on punctured Riemann surfaces Indoor Navigation Assistance for Visually Impaired People via Dynamic
  SLAM and Panoptic Segmentation with an RGB-D Sensor Anatomy of Fluorescence: Quantum trajectory statistics from continuously
  measuring spontaneous emission Singular Sturm-Liouville Problems with Zero Potential (q=0) and Singular
  Slow Feature Analysis Electrostatic interaction energies of homogeneous cubic charge
  distributions Beyond Boltzmann: The Potential Energy Distribution of Objects in the
  Atmosphere Asymptotic Analysis of the Paradox in Log-Stretch Dip Moveout Quantum torus methods for Kauffman bracket skein modules Streaming, Memory Limited Matrix Completion with Noise Surrogate-Assisted Reference Vector Adaptation to Various Pareto Front
  Shapes for Many-Objective Bayesian Optimization The phases of large networks with edge and triangle constraints Some proves of integrated influence of geomagnetic activity and weather
  changes on human health
cs.LO cs.FL