Use and abuse of instance parameters in the Lean mathematical library
Optimization of Bound Disjunctive Queries with Constraints
SMP Challenge: An Overview of Social Media Prediction Challenge 2019 Refined Hardness of Distance-Optimal Multi-Agent Path Finding Random Antagonistic Matrices Barometric Pressure Correction to Gamma-ray Observations and its Energy
  Dependence Spectrum of the heat equation with memory ECA-LP / ECA-RuleML: A Homogeneous Event-Condition-Action Logic
  Programming Language Topology and Flux of T-Dual Manifolds with Circle Actions Photostable single-photon emission from self-assembled nanocrystals of
  polycyclic aromatic hydrocarbons Cosmogenic production of $^{37}$Ar in the context of the LUX-ZEPLIN
  experiment On topological obstructions to global stabilization of an inverted
  pendulum Proceedings Fourth Workshop on Membrane Computing and Biologically
  Inspired Process Calculi 2010 Simulation-based Value-at-Risk for Nonlinear Portfolios Signal Enhancement for Magnetic Navigation Challenge Problem Behavior of tumors under nonstationary theraphy Memory Efficient Arithmetic
cs.LO