Minimal Assumptions Refinement for GR(1) Specifications
Decidability, Complexity, and Expressiveness of First-Order Logic Over
  the Subword Ordering
Tensor Regression Using Low-rank and Sparse Tucker Decompositions Nonlocal $p$-Laplacian Variational problems on graphs Quantization Games on Social Networks and Language Evolution Black holes and quantum entanglement Advection, diffusion and delivery over a network Resonant four-photon scattering of collinear laser pulses in plasma Graph fractal dimension and structure of fractal networks: a
  combinatorial perspective Topological defects at the boundary of neutron $^{3}P_{2}$ superfluids
  in neutron stars Sparse Recovery via Partial Regularization: Models, Theory and
  Algorithms Encoding many channels in the same frequency through radio vorticity:
  first experimental test Symbolic dynamics and rotation symmetric Boolean functions Positive Characteristic Darboux-Jouanolou Integrability of Differential
  Forms Generalized stealthy hyperuniform processes : maximal rigidity and the
  bounded holes conjecture Recovering the geometry of a flat spacetime from background radiation Binary Classification as a Phase Separation Process Response to NITRD, NCO, NSF Request for Information on "Update to the
  2016 National Artificial Intelligence Research and Development Strategic
  Plan" Searching for pairing energies in phase space Branching Law for Axons Fredholm criteria for pseudodifferential operators and induced
  representations of groupoid algebras
cs.LO cs.FL