Expected-Cost Analysis for Probabilistic Programs and Semantics-Level
  Adaption of Optional Stopping Theorems
From Mathematics to Abstract Machine: A formal derivation of an
  executable Krivine machine
Proceedings of the First International Workshop on FPGAs for Software
  Programmers (FSP 2014) Holographic Phase Retrieval and Reference Design Idempotent and tropical mathematics. Complexity of algorithms and
  interval analysis Large deviations of empirical measures of diffusions in weighted
  topologies A unified approach to determining forms for the 2D Navier-Stokes
  equations - the general interpolants case Penalty Decomposition Methods for $L0$-Norm Minimization Probabilistic multivariate electricity price forecasting using implicit
  generative ensemble post-processing Clustering acoustic emission data streams with sequentially appearing
  clusters using mixture models Lyapunov exponents and transport in the Zhang model of Self-Organized
  Criticality Review on the astronomical estimators of number of flare stars On Turing dynamical systems and the Atiyah problem Representations of Conformal Nets, Universal C*-Algebras and K-Theory Analysis of 3GM Callisto Gravity Experiment of the JUICE Mission Lie algebroids as $L_\infty$ spaces Minimal resonances in annular non-Euclidean strips Collapsing domain walls in the two-Higgs-doublet model and deep insights
  from the EDM Numerical Algorithm for Detecting Ion Diffusion Regions in the
  Geomagnetic Tail with Applications to MMS Tail Season May 1 -- September 30,
  2017 CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in
  Coq Dynamics of stellar black holes in young star clusters with different
  metallicities - II. Black hole-black hole binaries Augmented Reality and Gamification: A Framework for Developing
  Supplementary Learning Tool Felix: A Topology based Framework for Visual Exploration of Cosmic
  Filaments
cs.PL