Efficient analysis of caching strategies under dynamic content
  popularity
A Model for Probabilistic Reasoning on Assume/Guarantee Contracts
Monitoring Large Crowds With WiFi: A Privacy-Preserving Approach Banach Zuk's criterion for partite complexes with application to random
  groups Automated Scoring System of HER2 in Pathological Images under the
  Microscope The causal structure of microlocalized Einstein metrics Computational Estimates of Binding Affinities for Estrogen Receptor
  Isoforms in Rainbow Trout Uniformization, Unipotent Flows and the Riemann Hypothesis A Component Based Heuristic Search Method with Evolutionary Eliminations Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum
  Programs Moment-angle complexes and combinatorics of simplicial manifolds Kronecker Graphs: An Approach to Modeling Networks Supplement to "Reversible MCMC on Markov equivalence classes of sparse
  directed acyclic graphs" Hermitian Symmetric Spaces for Graph Embeddings Non-Vacuum Initial States for Cosmological Perturbations of
  Quantum-Mechanical Origin Path computation in multi-layer multi-domain networks: A language
  theoretic approach Charge diffusion in the one-dimensional Hubbard model Man made global warming explained - closing the blinds Thomas-Fermi scaling in the energy spectra of atomic ions Quantum Algorithm for Hilbert's Tenth Problem Gutzwiller's Semiclassical Trace Formula and Maslov-Type Index Theory
  for Symplectic Paths Construction Payment Automation Using Blockchain-Enabled Smart Contracts
  and Reality Capture Technologies Masur's Divergence for Tori and Kummer Surfaces A Novel Proof of the Heine-Borel Theorem
cs.PF