Strong Equivalence for Epistemic Logic Programs Made Easy (Extended
  Version)
A New Term Rewriting Characterisation of ETIME functions
Existence and stability of kayaking orbits for nematic liquid crystals
  in simple shear flow Optical scheme for cryptographic commitments with physical unclonable
  keys Sharpness of Seeger-Sogge-Stein orders for the weak (1,1) boundedness of
  Fourier integral operators Real-Time Sorting of Binary Numbers on One-Dimensional CA Invariants of graph drawings in the plane Approximation of the Lagrange and Markov spectra Chaotic dynamics of graphene and graphene nanoribbons The Three Pillars of Machine Programming PURE: Scalable Phase Unwrapping with Spatial Redundant Arcs Comment on "Universal Distribution of Interearthquake Times" GPS Multipath Detection in the Frequency Domain Charge-conserving, variational particle-in-cell method for the
  drift-kinetic Vlasov-Maxwell system Self-Learning Cloud Controllers: Fuzzy Q-Learning for Knowledge
  Evolution Emergent entropy production and hydrodynamics in quantum many-body
  systems New approach to Borel summation of divergent series and critical
  exponent estimates for an N-vector cubic model in three dimensions from
  five-loop \epsilon expansions A Bayesian Framework for Combining Valuation Estimates Meta-modal Information Flow: A Method for Capturing Multimodal Modular
  Disconnectivity in Schizophrenia Three Dimensional Annihilation Imaging of Antiprotons in a Penning Trap
cs.LO cs.CC