Formal methods and software engineering for DL. Security, safety and
  productivity for DL systems development
RCE: An Integration Environment for Engineering and Science
Quantum versus classical phase-locking transition in a driven-chirped
  oscillator Disease Detection in Weakly Annotated Volumetric Medical Images using a
  Convolutional LSTM Network Parsimonious Physics-Informed Random Projection Neural Networks for
  Initial-Value Problems of ODEs and index-1 DAEs A Method for Fast Diagonalization of a 2x2 or 3x3 Real Symmetric Matrix Solving the Bethe-Salpeter equation on massively parallel architectures Asking Too Much? The Rhetorical Role of Questions in Political Discourse Tangent-point energies and ropelength as Gamma-limit of discrete
  tangent-point energies on biarc curves Exact zero modes in twisted Kitaev chains "Excavating AI" Re-excavated: Debunking a Fallacious Account of the
  JAFFE Dataset Exchange interaction between the triplet exciton and the localized spin
  in copper-phthalocyanine Ensemble learning of diffractive optical networks Temperature-independent thermal radiation Complete hierarchies of efficient approximations to problems in
  entanglement theory Orientability for gauge theories on Calabi-Yau manifolds Maxwell's demon through the looking glass Discrete Integrable Systems, Supersymmetric Quantum Mechanics, and
  Framed BPS States - I Room-temperature oxygen transport in nano-thin BixOySez enables
  precision modulation of 2D materials Autoencoders for unsupervised anomaly detection in high energy physics Complexity of linear circuits and geometry On the ultraviolet finiteness of parity-preserving $U(1) \times U(1)$
  massive QED$_3$
cs.SE cs.DC