What Causes a System to Satisfy a Specification?
A Rational Entailment for Expressive Description Logics via Description
  Logic Programs
Effective Field Theory Approach to Cosmological Initial Conditions:
  Self-Consistency Bounds and Non-Gaussianities Inferring the time-varying functional connectivity of large-scale
  computer networks from emitted events RNA-2QCFA: Evolving Two-way Quantum Finite Automata with Classical
  States for RNA Secondary Structures The Unruh state for massless fermions on Kerr spacetime and its Hadamard
  property Academic Support Network Reflects Doctoral Experience and Productivity Batalin-Vilkovisky structure on Hochschild cohomology of zigzag algebra
  of type $\widetilde{\mathbf{A}}_{1}$ Stability of Matter-Antimatter Molecules On the cohomology of real Grassmann manifolds Maximizing Non-monotone/Non-submodular Functions by Multi-objective
  Evolutionary Algorithms Spectral distribution of the free Jacobi process, revisited Universality class of 3D site-diluted and bond-diluted Ising systems A possible role for stochastic radiation events in the systematic
  disparity between molecular and fossil dates A Neural Network-enhanced Reproducing Kernel Particle Method for
  Modeling Strain Localization Neural Network Solutions to Differential Equations in Non-Convex
  Domains: Solving the Electric Field in the Slit-Well Microfluidic Device A Performance Analysis Model of TCP over Multiple Heterogeneous Paths
  for 5G Mobile Services Deep Learning using Rectified Linear Units (ReLU) Particle-physics constraints from the globular cluster M5: Neutrino
  Dipole Moments A review of learning vector quantization classifiers Why quantum coherence is not important in the Fenna-Matthews-Olsen
  Complex Non-K\"ahler complex structures on $R^4$ Introducing the structural bases of typicality effects in deep learning
cs.LO cs.AI