Formal and Informal Methods for Multi-Core Design Space Exploration
A Comprehensive Study on Software Aging across Android Versions and
  Vendors
K\"ahler Representation Theory The black hole interior and the type II Weyl fermions Computation of the largest Lyapunov exponent using recursive estimation
  with variable factor Indirect Evidence for L\'evy Walks in Squeeze Film Damping Validation and parameter optimization of a hybrid embedded/homogenized
  solid tumor perfusion model Computing Accurate Age and Distance Factors in Cosmology Existence of the solution to a nonlocal-in-time evolutional problem Detecting large extra dimensions with optomechanical levitated sensors Quantum chaos dynamics in long-range power law interaction systems Achieving Synergy in Cognitive Behavior of Humanoids via Deep Learning
  of Dynamic Visuo-Motor-Attentional Coordination Successive Nonnegative Projection Algorithm for Robust Nonnegative Blind
  Source Separation Spectra of large block matrices SporTran: a code to estimate transport coefficients from the cepstral
  analysis of (multivariate) current time series Simultaneous control of multi-species particle transport and segregation
  in driven lattices Exact solution of diffusion limited aggregation in a narrow cylindrical
  geometry
cs.SE cs.PF