Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than
  LTL (full version)
The Unary Fragments of Metric Interval Temporal Logic: Bounded versus
  Lower bound Constraints (Full Version)
The categorical graph minor theorem An Implicit Cover Problem in Wild Population Study Preliminary steps toward a universal economic dynamics for monetary and
  fiscal policy KAGRA: 2.5 Generation Interferometric Gravitational Wave Detector Poles of Integrale Tritronquee and Anharmonic Oscillators. Asymptotic
  localization from WKB analysis Leaderless deterministic chemical reaction networks Robust Superhedging with Jumps and Diffusion Statistics of electromagnetic transitions as a signature of chaos in
  many-electron atoms Anomalous power law of quantum reversibility for classically regular
  dynamics Unveiling Anomalous Edges and Nominal Connectivity of Attributed
  Networks Machine learning in acoustics: theory and applications Competing Epidemics on Graphs -- Global Convergence and Coexistence Dominant transport pathways in an atmospheric blocking event Pure Differential Modules and a Result of Macaulay on Unmixed Polynomial
  Ideals Assessing Planetary Complexity and Potential Agnostic Biosignatures
  using Epsilon Machines Black Hole Based Quantum Computing in Labs and in the Sky Removing trailing tails and delays induced by artificial dissipation in
  Pad\'e numerical schemes for stable compacton collisions Conserved quantities on multisymplectic manifolds Condensation phase transition in nonlinear fitness networks The Finite-Horizon Two-Armed Bandit Problem with Binary Responses: A
  Multidisciplinary Survey of the History, State of the Art, and Myths
cs.LO cs.FL