The Algorithm of Islamic Jurisprudence (Fiqh) with Validation of an
  Entscheidungsproblem
Reasoning about Counterfactuals and Explanations: Problems, Results and
  Directions
Solubility of Iron in Metallic Hydrogen and Stability of Dense Cores in
  Giant Planets Calculating a function of a matrix with a real spectrum On the two-magnon bound states for the quantum Heisenberg chain with
  variable range exchange Data-driven Discovery of Emergent Behaviors in Collective Dynamics Finite time effects in single and double Compton scattering Pedestrian Simulation: A Review Wavelet Analysis of Big Data in the Global Investigation of Magnetic
  Field Variations in Solar-Terrestrial Physics On the theory of plateau-plateau transitions in Quantum Hall Effect Measurement of Differential Cross Sections for $\nu_\mu$-Ar
  Charged-Current Interactions with Protons and no Pions in the Final State
  with the MicroBooNE Detector Neutrino Non-Standard Interactions: A Status Report Francy - An Interactive Discrete Mathematics Framework for GAP Scaling and correlation in financial data A note on the WKB solutions of difference equations Stable mixed graphs Application of machine learning in Bose-Einstein condensation
  critical-temperature analyses of path-integral Monte Carlo simulations Facial movement synergies and Action Unit detection from distal wearable
  Electromyography and Computer Vision Matrix Distributed Processing: A set of C++ Tools for implementing
  generic lattice computations on parallel systems Explicit construction of RIP matrices is Ramsey-hard Generalized Quantum Mechanics and Nonlinear Gauge Transformations Wireless Multi-Sensor Networks for Smart Cities: A Prototype System with
  Statistical Data Analysis Edible Resonators Algorithmic tests and randomness with respect to a class of measures
cs.AI cs.LO