Relatively Complete Verification of Probabilistic Programs
A Formal Semantics of the GraalVM Intermediate Representation
Non-locally Encoder-Decoder Convolutional Network for Whole Brain QSM
  Inversion M\"obius Photogrammetry From quasi-entropy to skew information On the dynamics of the contagious rate under isolation measures Minimal universal model for chaos in laser with feedback Effect of Receptor Density and Size on Signal Reception in Molecular
  Communication via Diffusion with an Absorbing Receiver A deterministic global optimization using smooth diagonal auxiliary
  functions Scaling Neural Tangent Kernels via Sketching and Random Features Multivariate Polynomials in Sage Conformal bootstrap in Liouville Theory Isometric Embeddings in Imaging and Vision: Facts and Fiction Git4Voc: Git-based Versioning for Collaborative Vocabulary Development A correction of the decomposability result in a paper by Meyer-Neutsch ExSpliNet: An interpretable and expressive spline-based neural network Non-Reciprocal Interactions Induced by Water in Confinement Precision Annealing Monte Carlo Methods for Statistical Data
  Assimilation: Metropolis-Hastings Procedures Combinatorial and approximative analyses in a spatially random division
  process
cs.LO cs.PL