Approximate Evaluation of First-Order Counting Queries
Coinduction up to in a fibrational setting
Asymptotic expansion for nonlinear eigenvalue problems Preserving Peer Replicas By Rate-Limited Sampled Voting in LOCKSS Radiation Induced Fermion Resonance Localization Schemes: A Framework for Proving Mixing Bounds for Markov
  Chains A 2-Dimensional Functional Central Limit Theorem for Non-stationary
  Dependent Random Fields Improved Intolerance Intervals and Size Bounds for a Schelling-Type Spin
  System Towards Antihydrogen Trapping and Spectroscopy at ALPHA Proof: Accelerating Approximate Aggregation Queries with Expensive
  Predicates Inverse Mean Curvature Flow and the Stability of the Positive Mass
  Theorem PIV/BOS Synthetic Image Generation in Variable Density Environments for
  Error Analysis and Experiment Design Existence, uniqueness and a constructive solution algorithm for a class
  of finite Markov moment problems A Convolutional Autoencoder-Based Pipeline for Anomaly Detection and
  Classification of Periodic Variables Signatures of macroscopic quantum coherence in ultracold dilute Fermi
  gases Partition Rank and Analytic Rank are Uniformly Equivalent Inpainting of long audio segments with similarity graphs Mean Field Behavior of Cluster Dynamics The Sudbury Neutrino Observatory Expanders via Local Edge Flips Stability of the bipartite matching model Pattern formation with trapped ions On the jets emitted by driven Bose-Einstein condensates Online Learning of Power Transmission Dynamics
cs.LO cs.DM