Towards Classification of Web ontologies using the Horizontal and
  Vertical Segmentation
Parallelisable Existential Rules: a Story of Pieces
Transit light curve and inner structure of close-in planets Decision Maker based on Atomic Switches Matrix coefficients, Counting and Primes for orbits of geometrically
  finite groups Rates of convergence for iterative solutions of equations involving
  set-valued accretive operators Engineering an Interstellar Communications Network by Deploying Relay
  Probes Crowd-based Multi-Predicate Screening of Papers in Literature Reviews On the number of roots of self-inversive polynomials on the complex unit
  circle Still no free lunches: the price to pay for tighter PAC-Bayes bounds Non-intrusive hierarchical coupling strategies for multi-scale
  simulations in gravitational dynamics Stability of Conical Shocks in the Three-Dimensional Steady Supersonic
  Isothermal Flows past Lipschitz Perturbed Cones Multi-Objective Maximization of Monotone Submodular Functions with
  Cardinality Constraint Entropy and information in neural spike trains: Progress on the sampling
  problem Mellin-Barnes and the method of brackets On the Effect of Task-to-Worker Assignment in Distributed Computing
  Systems with Stragglers Semiparametric inference for the scale-mixture of normal partial linear
  regression model with censored data Nonvanishing of Kronecker coefficients for rectangular shapes Architecture of a massive parallel processing nano brain operating 100
  billion molecular neurons simultaneously
cs.AI cs.DB