A cost-aware logical framework
Exercise: +-1 bug and center of an array problem
Real-space construction of crystalline topological superconductors and
  insulators in 2D interacting fermionic systems Noise Correlations and Quantum Coherence in Hard-core Bosons in
  One-dimensional Lattices Rate distortion optimization over large scale video corpus with machine
  learning Optimal secure quantum teleportation of coherent states of light Search for monopoles using superconducting quantum interference device
  (SQUID) Deep Neural Networks to Recover Unknown Physical Parameters from
  Oscillating Time Series Delocalization transition for the Google matrix Teaching Astronomy with an Inquiry Activity on Stellar Populations Blurring Out Cosmic Puzzles Probabilistic Tools for the Analysis of Randomized Optimization
  Heuristics AI and Accessibility: A Discussion of Ethical Considerations Consistency of Proof-of-Stake Blockchains with Concurrent Honest Slot
  Leaders Locality-Sensitive Hashing for f-Divergences: Mutual Information Loss
  and Beyond AICA: a New Pair Force Evaluation Method for Parallel Molecular Dynamics
  in Arbitrary Geometries Annotated-skeleton Biased Motion Planning for Faster Relevant Region
  Discovery Inelastic Dissipation in a Freely Rotating Body. Application to
  Cosmic-Dust Alignment Asymptotic behavior of a stratified perturbation in a three dimensional
  expanding Universe
cs.PL