On the Decidability and Complexity of Some Fragments of Metric Temporal
  Logic
Tractability frontiers in probabilistic team semantics and existential
  second-order logic over the reals
Language as a matrix product state Calibration of a SEIR-SEI epidemic model to describe the Zika virus
  outbreak in Brazil A Paradoxical Property of the Monkey Book "What's (the) Matter?", A Show on Elementary Particle Physics with 28
  Demonstration Experiments Finite-State Classical Mechanics Tight List-Sizes for Oblivious AVCs under Constraints Quadratic Dynamical Decoupling: Universality Proof and Error Analysis Chiral effects in magnetized quantum spinor matter in particle and
  astroparticle physics Buoyancy driven dissolution of inclined blocks: Erosion rate and pattern
  formation The Mereology of Thermodynamic Equilibrium Coherent states in real parameterization up to SU(5) and classical
  dynamics of spin systems New security and control protocol for VoIP based on steganography and
  digital watermarking A Digital Hardware Fast Algorithm and FPGA-based Prototype for a Novel
  16-point Approximate DCT for Image Compression Applications Learning to Prune Deep Neural Networks via Reinforcement Learning Reinforcement Learning Based Temporal Logic Control with Soft
  Constraints Using Limit-deterministic Generalized Buchi Automata Normalizing flows for atomic solids Support of the Brown measure of the product of a free unitary Brownian
  motion by a free self-adjoint projection A renormalisation group method. II. Approximation by local polynomials Effect of a magnetic flux on the critical behavior of a system with long
  range hopping Dielectric response effects in attosecond time-resolved streaked
  photoelectron spectra of metal surfaces Statics and dynamics of selfish interactions in distributed service
  systems Realizing an exact entangling gate using Fibonacci anyons
cs.LO