A Microkernel Architecture for Constraint Programming
A Physician Advisory System for Chronic Heart Failure Management Based
  on Knowledge Patterns
Extension of the HCOOH and CO2 solid-state reaction network during the
  CO freeze-out stage: inclusion of H2CO Helly numbers of acyclic families Search for Scaling Dimensions for Random Surfaces with c=1 An approximation algorithm for the solution of the nonlinear Lane-Emden
  type equations arising in astrophysics using Hermite functions collocation
  method Integrable hierarchies and the mirror model of local CP1 Exact solutions for ground effect Parameter estimation of wormholes beyond the Heisenberg limit Arnold web and dynamical tunneling in a four-site Bose-Hubbard model Do They Accept or Resist Cybersecurity Measures? Development and
  Validation of the 13-Item Security Attitude Inventory (SA-13) Neural Logic Analogy Learning Reconstructing parameters of spreading models from partial observations Teaching Newton with anticipation(...) Acceleration of the order of convergence of a family of fractional fixed
  point methods and its implementation in the solution of a nonlinear algebraic
  system related to hybrid solar receivers Twin-width and permutations Learning English with Peppa Pig Full Text Searching in the Astrophysics Data System Defending Against Saddle Point Attack in Byzantine-Robust Distributed
  Learning The Faint Stellar Object SDSS J1257+3419 is a Dark Matter Dominated
  System Calculus structure on the Lie conformal algebra complex and the
  variational complex A diagrammatic approach to information flow in encrypted communication
  (extended version) Persistence barcodes and Laplace eigenfunctions on surfaces An $ep$ collider based on proton-driven plasma wakefield acceleration
cs.AI cs.PL