RulePad: Interactive Authoring of Checkable Design Rules
On the free, safe, and timely execution of component-based systems
Microwave Superconductivity Ultrafast renormalization of the onsite Coulomb repulsion in a cuprate
  superconductor Anomalous internal pair conversion signaling elusive light neutral
  particles The Convex Configurations of "Sei Shonagon Chie no Ita" and Other
  Dissection Puzzles Euclid-Roman joint microlensing survey: early mass measurement, free
  floating planets and exomoons Offset Hypersurfaces and Persistent Homology of Algebraic Varieties On the Complexity and Parallel Implementation of Hensel's Lemma and
  Weierstrass Preparation Tensor networks for unsupervised machine learning Nuclear Georeactor Generation of Earth's Geomagnetic Field A Categorical Approach for Recognizing Emotional Effects of Music Deep learning for pedestrians: backpropagation in CNNs Three Candidate Plurality is Stablest for Small Correlations Ahlfors' contribution to the theory of meromorphic functions An Adversarial Attack Analysis on Malicious Advertisement URL Detection
  Framework An $L^2$-identity and pinned distance problem Alignment of Tractography Streamlines using Deformation Transfer via
  Parallel Transport Towards an Economic Analysis of Routing in Payment Channel Networks An Analysis of Publication Venues for Automatic Differentiation Research
cs.SE