An analysis of the equational properties of the well-founded fixed point
Verifying Sierpi\'nski and Riesel Numbers in ACL2
Singular perturbations approach to localized surface-plasmon resonance:
  Nearly touching metal nanospheres Quantifying the multi-objective cost of uncertainty Bayesian Heuristics for Group Decisions Accelerating science with human versus alien artificial intelligences Mitigation of Rayleigh-like waves in granular media via multi-layer
  resonant metabarriers Sub-Suns and Low Reynolds Number Flow For high-precision bosonic Josephson junctions, many-body effects matter Automated Enterprise Architecture Model Mining Exploring the "Middle Earth" of Network Spectra via a Gaussian Matrix
  Function From cosmic explosions to terrestrial fires? Twelve Years of Education and Public Outreach with the Fermi Gamma-ray
  Space Telescope A Batch-Incremental Video Background Estimation Model using Weighted
  Low-Rank Approximation of Matrices Near-Linear Time Local Polynomial Nonparametric Estimation with Box
  Kernels Solar-Sail Trajectory Design for Multiple Near Earth Asteroid
  Exploration Based on Deep Neural Networks Understanding the Automated Parameter Optimization on Transfer Learning
  for CPDP: An Empirical Study Fast computation of the principal components of genotype matrices in
  Julia Algorithms for weighted multi-tape automata Transfer operators and dynamical zeta functions for a class of lattice
  spin models Compressed Matrix Multiplication Self-similar voiding solutions of a single layered model of folding
  rocks Alan Turing and the Origins of Complexity
cs.DM cs.LO