A Compilation of Succinctness Results for Arithmetic Circuits
Scarf is Ppad-Complete
Ultrafast viscosity measurement with ballistic optical tweezers Melioration of the radiocesium contaminated land Algorithmic Aspects of Regular Graph Covers Piecewise Deterministic Markov Processes for Continuous-Time Monte Carlo Treedy: A Heuristic for Counting and Sampling Subsets Quasi-nodal lines in rhombohedral magnetic materials Zeros of Gaussian power series, Hardy spaces and determinantal point
  processes Ergodicity Coefficients are Induced Matrix Seminorms Opacity of nondeterministic transition systems: A (bi)simulation
  relation approach Simplicial cascades are orchestrated by the multidimensional geometry of
  neuronal complexes BooST: Boosting Smooth Trees for Partial Effect Estimation in Nonlinear
  Regressions Abelianization of Matrix Orthogonal Polynomials Thermodynamic Analysis of Snowball Earth Hysteresis Experiment:
  Efficiency, Entropy Production, and Irreversibility Finding Person Relations in Image Data of the Internet Archive Mapping Equivalence for Symbolic Sequences: Theory and Applications Two-point theory for the differential self-interrogation Feynman-alpha
  method Nonequilibrium Josephson oscillations in Bose-Einstein condensates
  without dissipation Towards a scientific blockchain framework for reproducible data analysis Transitions to Line-Defect Turbulence in Complex Oscillatory Media Blind Construction of Optimal Nonlinear Recursive Predictors for
  Discrete Sequences On the Synchronization Rate for e-machines Non-computable Julia sets
cs.CC