Guarded Dependent Type Theory with Coinductive Types
Linearizability with Ownership Transfer
Single-electron and single-photon sensitivity with a silicon Skipper CCD Multi-channel Opportunistic Access: A Case of Restless Bandits with
  Multiple Plays MPI-FAUN: An MPI-Based Framework for Alternating-Updating Nonnegative
  Matrix Factorization Comment on "Stimulated Raman adiabatic passage from an atomic to a
  molecular Bose-Einstein condensate" Network Offloading Policies for Cloud Robotics: a Learning-based
  Approach Kondo effect with Wilson fermions Black Holes and Wormholes in spinor polariton condensates Linear Dependent Type Theory for Quantum Programming Languages New methods of testing Lorentz violation in electrodynamics Multilayer stochastic block models reveal the multilayer structure of
  complex networks Preferential attachment in the protein network evolution Higher prequantum geometry Multiple Metric Learning for Structured Data Radiation from sub-Larmor scale magnetic fields Mathematical Modeling of the Weaving Structure Design Thermodynamics of Charged Kalb Ramond AdS black hole in presence of
  Gauss-Bonnet coupling Quantum computing with classical bits Chiral plasma instability and primordial Gravitational wave Gr\"atzer-Hofmann-Lawson-Jung-S\"underhauf Duality Conditional Gaussian Nonlinear System: a Fast Preconditioner and a Cheap
  Surrogate Model For Complex Nonlinear Systems
cs.LO cs.PL