A Formal Model of Checked C
Protocol Programming: A Connection of the Digital World
Stable polynomials and crystalline measures Artificial Neural Network Based Breast Cancer Screening: A Comprehensive
  Review Marius: Learning Massive Graph Embeddings on a Single Machine The holographic map as a conditional expectation VLT transit and occultation photometry for the bloated planet CoRoT-1b Hair Color Digitization through Imaging and Deep Inverse Graphics Deep Rewiring: Training very sparse deep networks A Positive Quantization on Type I Locally Compact Groups Regular cylindrical algebraic decomposition Causal bootstrapping ProSTformer: Pre-trained Progressive Space-Time Self-attention Model for
  Traffic Flow Forecasting Quantum Monte Carlo methods for nuclear physics Searching for dark matter and variation of fundamental constants with
  laser and maser interferometry Combinations and Mixtures of Optimal Policies in Unichain Markov
  Decision Processes are Optimal Multi-site H-bridge breathers in a DNA--shaped double strand Parity Problem With A Cellular Automaton Solution Symmetry breaking for representations of rank one orthogonal groups II Defending Against Saddle Point Attack in Byzantine-Robust Distributed
  Learning Minimisers of the Allen-Cahn equation and the asymptotic Plateau problem
  on hyperbolic groups Ergodic theorem for a Loeb space and hyperfinite approximations of
  dynamical systems Fairness-Oriented User Scheduling for Bursty Downlink Transmission Using
  Multi-Agent Reinforcement Learning Wafer-Scale Electroactive Nanoporous Silicon: Large and Fully Reversible
  Electrochemo-Mechanical Actuation in Aqueous Electrolytes Mean charged multiplicities in charged-current neutrino scattering on
  hydrogen and deuterium On some Hopf monoids in graphical species
cs.PL cs.SE