Debug-Localize-Repair: A Symbiotic Construction for Heap Manipulations
Proceedings of the Eleventh Workshop on Logic Programming Environments
  (WLPE'01)
XNet: A convolutional neural network (CNN) implementation for medical
  X-Ray image segmentation suitable for small datasets Should You Derive, Or Let the Data Drive? An Optimization Framework for
  Hybrid First-Principles Data-Driven Modeling Compatible structures on unary binary nonsymmetric operads with
  quadratic and cubic relations A Landauer Formula for Bioelectronic Applications How close are the option pricing formulas of Bachelier and
  Black-Merton-Scholes? Low-Rank Matrix Approximation in the Infinity Norm Group Theoretical Formulation of Quantum Partial Search Algorithm Limited-Information Maximum Likelihood based Model Selection Procedures
  for Binary Outcomes Predicting Requests in Large-Scale Online P2P Ridesharing Stability of Filters for the Navier-Stokes Equation Enumerating Finitary Processes Planar Para Algebras, Reflection Positivity Rigorous computer-assisted bounds on renormalisation fixed point
  functions, eigenfunctions, and universal constants On extensions of partial isometries Half-filled Kondo lattice on the honeycomb lattice Quantitative towers in finite difference calculus approximating the
  continuum A Robust Measure of Cosmic Structure beyond the Power-Spectrum: Cosmic
  Filaments and the Temperature of Dark Matter Deep multi-survey classification of variable stars
cs.PL cs.SE