Delta -- new logic programming language and Delta-methodology for
  p-computable programs on Turing Complete Languages
Limitations of the Invertible-Map Equivalences
Admissible Transformations and Normalized Classes of Nonlinear
  Schroedinger Equations Content Based Image Retrieval System Using NOHIS-tree Finiteness and infiniteness results for Torelli groups of
  (hyper-)K\"ahler manifolds Noncommutative geometry, gauge theory and renormalization A continuation of solutions to convolution equations with the loss of
  smoothness Cloud-Cluster Architecture for Detection in Intermittently Connected
  Sensor Networks Two-point theory for the differential self-interrogation Feynman-alpha
  method Bidding in Smart Grid PDAs: Theory, Analysis and Strategy (Extended
  Version) Classification of traces and hypertraces on spaces of classical
  pseudodifferential operators Multi-robot Deployment From LTL Specifications with Reduced
  Communication Computing the Independence Polynomial: from the Tree Threshold down to
  the Roots Implementing Homomorphic Encryption Based Secure Feedback Control for
  Physical Systems Learning the optimal state-feedback via supervised imitation learning Paracausal deformations of Lorentzian metrics and M{\o}ller isomorphisms
  in algebraic quantum field theory An Experimental Comparison of SONC and SOS Certificates for
  Unconstrained Optimization Language Modeling with Reduced Densities A mono-material Nernst thermopile with hermaphroditic legs Unifying Lattice Models, Links and Quantum Geometric Langlands via
  Branes in String Theory
cs.LO math.LO