Resource-Guided Program Synthesis
A type language for message passing component-based systems
Geometry and Dynamics of the Besicovitch and Weyl Spaces Practical Guide to Monte Carlo Seismic Wave Scattering Through a Compressed Hybrid BEM/FEM Method Statistical topology via Morse theory, persistence and nonparametric
  estimation Besov class via heat semigroup on Dirichlet spaces III: BV functions and
  sub-Gaussian heat kernel estimates Rational Extensions of C(X) via Hausdorff Continuous Functions Edge Contractions and Simplicial Homology Invariants of Automorphic Lie Algebras Random Sampling in an Age of Automation: Minimizing Expenditures through
  Balanced Collection and Annotation LS Algebras, Valuations and Schubert Varieties A Cryogenic Infrared Calibration Target Cheeger estimates of Dirichlet-to-Neumann operators on infinite
  subgraphs of graphs Adaptive Deep Learning for Entity Resolution by Risk Analysis Revisiting the universal linear algebraic model for the characteristic
  two case Validation of community robustness Unified Form Language: A domain-specific language for weak formulations
  of partial differential equations Face Morphing Attack Generation & Detection: A Comprehensive Survey A Novel Slip-Kalman Filter to Track the Progression of Reading Through
  Eye-Gaze Measurements A brief review on geometry and spectrum of graphs Auto-encoders: reconstruction versus compression
cs.PL cs.LO