Deciding SHACL Shape Containment through Description Logics Reasoning
  (Extended Version)
Constraint Solving for Finite Model Finding in SMT Solvers
A Hybrid Approach for Improved Content-based Image Retrieval using
  Segmentation Controlled objects as a symmetric monoidal functor Machine Learning Allows Calibration Models to Predict Trace Element
  Concentration in Soil with Generalized LIBS Spectra Bayesian Inference on Volatility in the Presence of Infinite Jump
  Activity and Microstructure Noise Supervisor Synthesis of POMDP based on Automata Learning Cycle complex over the projective line minus three points : toward
  multiple zeta values cycles Random quantum graphs Combining the Mersenne Twister and the Xorgens Designs A Bayesian Reflection on Surfaces A sorting algorithm for complex eigenvalues Hypermultiplet metric and D-instantons On the Saturation of Astrophysical Dynamos: Numerical Experiments with
  the No-cosines flow Propagation of Vortex Electron Wave Functions in a Magnetic Field Beyond integrability: Baryon-baryon backward scattering in the massive
  Gross-Neveu model Probing the topology of the quantum analog of a classical skyrmion ZBroker: A Query Routing Broker for Z39.50 Databases New Reductions and Nonlinear Systems for 2D Schrodinger Operators Learn-Memorize-Recall-Reduce A Robotic Cloud Computing Paradigm
cs.LO