Syntactic completeness of proper display calculi
Parametrised bar recursion: A unifying framework for realizability
  interpretations of classical dependent choice
GSGP-CUDA -- a CUDA framework for Geometric Semantic Genetic Programming Uncertain Transport in Unsteady Flows Choice Set Confounding in Discrete Choice Limiting spherical integrals of bounded continuous functions Stochastic differential equations for limiting description of UCB rule
  for Gaussian multi-armed bandits A Big-Data Approach to Handle Process Variations: Uncertainty
  Quantification by Tensor Recovery Time Alignment using Lip Images for Frame-based Electrolaryngeal Voice
  Conversion Simulating spin systems on IANUS, an FPGA-based computer CBIR using features derived by Deep Learning Expected yields of $^{181}$Ta (e,e') $^{181}$Ta$^*$ in the multi-keV
  range with a plasma-cathode electron beam Fast Complete Algorithm for Multiplayer Nash Equilibrium Novel Time Domain Based Upper-Limb Prosthesis Control using Incremental
  Learning Approach Evidence of dispersion relations for the nonlinear response of the
  Lorenz 63 system Towards the reproducibility in soil erosion modeling: a new Pan-European
  soil erosion map Graph Collaborative Reasoning
cs.LO math.LO