Proceedings International Workshop on Formal Engineering approaches to
  Software Components and Architectures
vFlow: A GUI-Based Tool for Building Batch Applications for Cloud
  Computing
Crowd-based Multi-Predicate Screening of Papers in Literature Reviews Independent Policy Gradient for Large-Scale Markov Potential Games:
  Sharper Rates, Function Approximation, and Game-Agnostic Convergence Picard-Fuchs Uniformization: Modularity of the Mirror Map and
  Mirror-Moonshine Three Hopf algebras from number theory, physics & topology, and their
  common background I: operadic & simplicial aspects On two biased graph processes Glitch rises as a test for rapid superfluid coupling in neutron stars Scott Continuity in Generalized Probabilistic Theories Chiral Magnetic Effect in finite-size samples of parity-breaking Weyl
  semimetals The chromatic filtration of the Burnside category Riemannian Gaussian distributions, random matrix ensembles and diffusion
  kernels Privacy-Preserving Data Sharing for Genome-Wide Association Studies Tsallis $\delta$-entropy in an accelerating BIon Improving the Visualization of Alloy Instances Numerical Bifurcation Analysis of Conformal Formulations of the Einstein
  Constraints On the Time Average of the Autocorrelation Function in Hamiltonian
  Dynamics Phase-locking in weakly heterogeneous neuronal networks Solitary waves, periodic and elliptic solutions to the Benjamin, Bona &
  Mahony (BBM) equation modified by viscosity Black Holes and Vacuum Cleaners: Using Metaphor, Relevance, and Inquiry
  in Labels for Space Images Spatio-temporal dynamics and plastic flow of vortices in superconductors
  with periodic arrays of pinning sites Remaining useful life prediction with uncertainty quantification:
  development of a highly accurate model for rotating machinery
cs.SE cs.DC