Relational Verification via Invariant-Guided Synchronization
Contextual Linear Types for Differential Privacy
Implementation of a Practical Distributed Calculation System with
  Browsers and JavaScript, and Application to Distributed Deep Learning Relativistic nature of a magnetoelectric modulus of Cr_2O_3-crystals: a
  new 4-dimensional pseudoscalar and its measurement On some interrelations of generalized $q$-entropies and a generalized
  Fisher information, including a Cram\'er-Rao inequality Domain Decomposition method on GPU cluster Non-Orthogonal Tensor Diagonalization Pitot tube from Euler equations point of view. Application to Formula 1
  cars Complexity Threshold for Functioning Directed Networks in Damage Size
  Distribution Simulating the weak death of the neutron in a femtoscale universe with
  near-Exascale computing Improved Human Emotion Recognition Using Symmetry of Facial Key Points
  with Dihedral Group Search for Interstellar monohydric Thiols pyFRET: A Python Library for Single Molecule Fluorescence Data Analysis Excitons in hexagonal nanonetwork materials Orientifolds and the Refined Topological String Mapping the Gnutella Network: Properties of Large-Scale Peer-to-Peer
  Systems and Implications for System Design Non-commutative Edmonds' problem and matrix semi-invariants Fractal Interpretation of Bacterial Light Harvesters Many-Body Localization from Dynamical Gauge Fields
cs.PL cs.LO