Denotation of syntax and metaprogramming in contextual modal type theory
  (CMTT)
A semantic account of strong normalization in Linear Logic
SOLARPROP: Charge-sign Dependent Solar Modulation for Everyone Geometric Structures on the Cochains of a Manifold Off-the-shelf deep learning is not enough: parsimony, Bayes and
  causality Image Segmentation and Restoration Using Parametric Contours With Free
  Endpoints Gradient descent with identity initialization efficiently learns
  positive definite linear transformations by deep residual networks Recollement for Differential Graded Algebras Correlation Energy of a Weakly Interacting Fermi Gas with Large
  Interaction Potential Classical Higgs mechanism in plasma Accelerating Training in Artificial Neural Networks with Dynamic Mode
  Decomposition Application of LSTM architectures for next frame forecasting in
  Sentinel-1 images time series Higher Koszul brackets on the cotangent complex Poroelasticity of (bio)polymer networks during compression: theory and
  experiment Triple-Poles Complementary Split Ring Resonator for Sensing Diabetics
  Glucose Levels at cm-Band Computing with Noise - Phase Transitions in Boolean Formulas Semi-discrete optimal transport Sigma models on curved space and bubble refraction in doped
  antiferromagnets Solving forward and inverse problems of the logarithmic nonlinear
  Schrodinger equation with PT-symmetric harmonic potential via deep learning Mean Field Theory of Dynamical Systems Driven by External Signals Unsupervised Pattern Discovery from Thematic Speech Archives Based on
  Multilingual Bottleneck Features Cellular burdens and biological effects on tissue level caused by
  inhaled radon progenies General coevolution of topology and dynamics in networks Analytic Continuation for Asymptotically AdS 3D Gravity
cs.LO math.LO