Automatic modular abstractions for template numerical constraints
Static Analysis for Regular Expression Exponential Runtime via
  Substructural Logics (Extended)
High-pressure behavior of dense hydrogen up to 3.5 TPa from density
  functional theory calculations On Abelian Group Representability of Finite Groups Leibniz Rules and Reality Conditions Clusters in middle-phase percolation on hyperbolic plane A First Runtime Analysis of the NSGA-II on a Multimodal Problem Measuring the Fidelity of Asteroid Regolith and Cobble Simulants Diffeomorphism groups of prime 3-manifolds Categories of quantum liquids I Identification of Tissue Optical Properties During Thermal Laser-Tissue
  Interactions: An Ensemble Kalman Filter-Based Approach Detecting nonlinear acoustic waves in liquids with nonlinear dipole
  optical antennae End-to-End Deep Neural Networks and Transfer Learning for Automatic
  Analysis of Nation-State Malware Recognizing the Value of the Solar Gravitational Lens for Direct
  Multipixel Imaging and Spectroscopy of an Exoplanet Credal Model Averaging for classification: representing prior ignorance
  and expert opinions Transport of hot carriers in plasmonic nanostructures A shared frequency set between the historical mid-latitude aurora
  records and the global surface temperature Geometric dynamics of Vlasov kinetic theory and its moments Pairing correlations across the superfluid phase transition in the
  unitary Fermi gas Lensless multicore-fiber microendoscope for real-time tailored light
  field generation with phase encoder neural network (CoreNet) ENDOR study of nitrogen hyperfine and quadrupole tensors in vanadyl
  porphyrins of heavy crude oil
cs.PL cs.LO