Design, development and implementation of a tool for construction of
  declarative functional descriptions of semantic web services based on WSMO
  methodology
Some Reflections on the Set-based and the Conditional-based
  Interpretations of Statements in Syllogistic Reasoning
Computing Committor Functions for the Study of Rare Events Using Deep
  Learning $R_h=ct$ and the eternal coasting cosmological model Mainstreaming video annotation software for critical video analysis High contrast and resolution 3-D ultrasonography with a clinical linear
  transducer array scanned in a rotate-translate geometry Picard--Vessiot structures Adjoint DSMC for nonlinear Boltzmann equation constrained optimization Some Minimal Notes on Notation and Minima: A Comment on "How Particular
  is the Physics of the Free Energy Principle?" by Aguilera, Millidge,
  Tschantz, and Buckley Room temperature self-assembly of mixed nanoparticles into complex
  material systems and devices Automatic detection and tracking of dust particles in a RF plasma sheath Residual Tracking and Stopping for Iterative Random Sketching Maximum time step for the BDF3 scheme applied to gradient flows Semantic Navigation on the Web of Data: Specification of Routes, Web
  Fragments and Actions Restriction of toral eigenfunctions to totally geodesic submanifolds Lattices from tight frames and vertex transitive graphs Noether-type theorem for fractional variational problems depending on
  fractional derivatives of functions Gear fault diagnosis based on Gaussian correlation of vibrations signals
  and wavelet coefficients Solar-Sail Deep Space Trajectory Optimization Using Successive Convex
  Programming
cs.AI cs.LO