Formal Foundations of Serverless Computing
Lambda-lifting and CPS conversion in an imperative language
Fixation and Polarization in a Three-Species Opinion Dynamics Model Tracking Emerges by Colorizing Videos Variational Autoencoders for Learning Nonlinear Dynamics of Physical
  Systems Tracking Tensor Subspaces with Informative Random Sampling for Real-Time
  MR Imaging Effects of modal energy scattering and friction on the resonance
  mitigation with an impact absorber A Model of a Trust-based Recommendation System on a Social Network Recent Progress on Particle Acceleration and Reconnection Physics during
  Magnetic Reconnectionin the Magnetically-dominated Relativistic Regime Reconstruction of modular data from $SL_2(\mathbb{Z})$ representations Entanglement Entropy and Mutual Information Production Rates in Acoustic
  Black Holes Proof of the marginal stability bound for the Swift-Hohenberg equation
  and related equations Fluctuating hydrodynamics of multi-species, non-reactive mixtures Algebra+Homotopy=Operad Improved Generalized Periods Estimates Over Curves on Riemannian
  Surfaces with Nonpositive Curvature Multifractal analysis of three-dimensional grayscale images:
  Characterization of natural porous structures Dynamics of (Pseudo) Automorphisms of 3-space: Periodicity versus
  positive entropy Harer-Zagier formulas for knot matrix models GAM(e) changer or not? An evaluation of interpretable machine learning
  models based on additive model constraints Unruh effect for interacting particles with ultracold atoms Combining Graph Neural Networks with Expert Knowledge for Smart Contract
  Vulnerability Detection Nonlinear Attitude Estimation Using Intermittent Linear Velocity and
  Vector Measurements
cs.PL