MirrorShard: Proof by Computational Reflection with Verified Hints
The Design of GP 2
The calculus of multivectors on noncommutative jet spaces Vectorizing Quantum Turbulence Vortex-Core Lines for Real-Time
  Visualization Handwritten digit recognition by bio-inspired hierarchical networks Performance Measurement Under Increasing Environmental Uncertainty In
  The Context of Interval Type-2 Fuzzy Logic Based Robotic Sailing Pairings of Sheaves of $\mathcal{A}$-Modules through Bilinear
  $\mathcal{A}$-Morphisms Extracting information from free text through unsupervised graph-based
  clustering: an application to patient incident records FastTrack: Minimizing Stalls for CDN-based Over-the-top Video Streaming
  Systems Linking Physicians to Medical Research Results via Knowledge Graph
  Embeddings and Twitter Gravothermal Catastrophe and Generalized Entropy of Self-Gravitating
  Systems Homogeneous Lie Groups and Quantum Probability Continuous Features Discretization for Anomaly Intrusion Detectors
  Generation On the changeover timescales of technology transitions and induced
  efficiency changes: an overarching theory smol: Sensing Soil Moisture using LoRa Anderson-Kitaev spin liquid Open embeddings and pseudoflat epimorphisms Shock-Like Dynamics of Inelastic Gases Traveling and pinned fronts in bistable reaction-diffusion systems on
  network Control of Multistability through Local Sensitivity Analysis:
  Application to Cellular Decision-making Networks Homotopy probability theory on a Riemannian manifold and the Euler
  equation The Practicality of Stochastic Optimization in Imaging Inverse Problems Bilinear log n - log p relation and critical power-law grain size
  distribution of crushable aggregates under compression and shear
cs.PL cs.LO