A Team Based Variant of CTL
On the complexity of the model checking problem
The Newcomb-Benford law: Scale invariance and a simple Markov process
  based on it Statefinder parameters for quintom dark energy model Model of cell response to {\alpha}-particle radiation Relaxed Scheduling for Scalable Belief Propagation BFN Springer Theory Bias vs structure of polynomials in large fields, and applications in
  information theory A retrieval strategy for interactive ensemble data assimilation Locally-symplectic neural networks for learning volume-preserving
  dynamics word2vec, node2vec, graph2vec, X2vec: Towards a Theory of Vector
  Embeddings of Structured Data Illustrations of loosely-bound and resonant states in atomic nuclei Physical Representations for Scattering Amplitudes and the Wavefunction
  of the Universe Temporal blocking of finite-difference stencil operators with sparse
  "off-the-grid" sources $n$-dimensional Observables on $k$-Perfect MV-Algebras and $k$-Perfect
  Effect Algebras. I. Characteristic Points Belief Propagation and Loop Series on Planar Graphs Time-ordered exponential on the complex plane and Gell-Mann -- Low
  formula as a mathematical theorem A Bayesian neural network predicts the dissolution of compact planetary
  systems Process Visualization of Manufacturing Execution System (MES) Data Sustaining supercooled mixed phase via resonant oscillations of the
  order parameter VeriMedi: Pill Identification using Proxy-based Deep Metric Learning and
  Exact Solution Numerical studies of the metamodel fitting and validation processes Nanoemulsions obtained via bubble bursting at a compound interface Semi-parametric $\gamma$-ray modeling with Gaussian processes and
  variational inference
cs.LO cs.CC