Realizing evaluation strategies by hierarchical graph rewriting
QED at Large: A Survey of Engineering of Formally Verified Software
Competition between shared autonomous vehicles and public transit: A
  case study in Singapore Phase Synchronization between Two Superradiant Lasers Threshold Noise as a Source of Volatility in Random Synchronous
  Asymmetric Neural Networks Analysing Security and Privacy Threats in the Lockdown Periods of
  COVID-19 Pandemic: Twitter Dataset Case Study Formation and morphology of closed and porous films grown from grains
  seeded on substrates: Two-dimensional simulations Unbiased Single-scale and Multi-scale Quantizers for Distributed
  Optimization An empirically-derived formula for the shape of planet-induced gaps in
  protoplanetary disks Characterizing and Improving the Resilience of Accelerators in
  Autonomous Robots Estimating Galactic Distances From Images Using Self-supervised
  Representation Learning New results for the epsilon-expansion of certain one-, two- and
  three-loop Feynman diagrams Nonadiabatic Sunlight-harvesting Analytical Models for Power Networks: The case of the Western US and
  ERCOT grids An Ultra-Compact Single FeFET Binary and Multi-Bit Associative Search
  Engine Grammar-based Compression of Unranked Trees Discovering conservation laws from data for control Computing the partition function for graph homomorphisms with
  multiplicities MPISE: Symbolic Execution of MPI Programs Nonlinear Fokker-Planck Acceleration for Forward-Peaked Transport
  Problems in Slab Geometry The dynamics of natural selection in dispersal-structured populations
cs.LO cs.PL