Efficient Synthesis of Network Updates
Robust Contract Evolution in a TypeSafe MicroServices Architecture
First-Digit Law in Nonextensive Statistics Mechanical principles of dynamic terrestrial self-righting using wings Exact Complexity: The Spectral Decomposition of Intrinsic Computation Solving a two-electron quantum dot model in terms of polynomial
  solutions of a Biconfluent Heun Equation Semi-automated Annotation of Signal Events in Clinical EEG Data Hardness of parameter estimation in graphical models Chern_simons Theory of the Anisotropic Quantum Heisenberg
  Antiferromagnet on a Square Lattice FedScale: Benchmarking Model and System Performance of Federated
  Learning at Scale Capture into resonance and escape from it in a forced nonlinear pendulum OntoScene, A Logic-based Scene Interpreter: Implementation and
  Application in the Rock Art Domain Realignment-enhanced coherent anti-Stokes Raman scattering (CARS) and
  three-dimensional imaging in anisotropic fluids Learning to rank music tracks using triplet loss On the Distance Between the Rumor Source and Its Optimal Estimate in a
  Regular Tree Group properties and solutions for the 1D Hall MHD system in the cold
  plasma approximation How random are a learner's mistakes? TaBooN -- Boolean Network Synthesis Based on Tabu Search Parallel Enumeration of Triangulations
cs.PL