Non-Termination Inference of Logic Programs
A Higher-Order Abstract Syntax Approach to the Verified Compilation of
  Functional Programs
Shearless transport barriers in unsteady two-dimensional flows and maps A formally verified proof of the Central Limit Theorem Oscillons and oscillating kinks in the Abelian-Higgs model Self-similar behaviour of a non-local diffusion equation with time delay On numerical density approximations of solutions of SDEs with unbounded
  coefficients Ontologies and tag-statistics Gravity, torsion, Dirac field and computer algebra using MAPLE and
  REDUCE Dynamic Pooling Improves Nanopore Base Calling Accuracy Accelerating the computation of FLAPW methods on heterogeneous
  architectures Comprehensive review on Froehlich entropy estimation: a technique to
  investigate the state of order in condensed matter Role of water in the enzymatic catalysis: study of ATP + AMP -> 2ADP
  conversion by adenylate kinase Uncharged compactlike and fractional Lorentz-violating BPS vortices in
  the CPT-even sector of the standard model extension The dynamics of straight vortex filaments in a Bose-Einstein condensate
  with a Gaussian density profile Rotating and vibrating symmetric top molecule RaOCH$_3$ in the
  fundamental $\mathcal{P}$, $\mathcal{T}$-violation searches Stochastic estimations of a total number of classes for the clusterings
  with too enormous samples to be accommodate into a clustering engine Nonparametric estimation of the division rate of a size-structured
  population Computational Arithmetic Geometry I: Sentences Nearly in the Polynomial
  Hierarchy Elastic Energy and Phase Structure in a Continuous Spin Ising Chain with
  Applications to the Protein Folding Problem The Microscopic Origin of the Macroscopic Dielectric Permittivity of
  Crystals: A Mathematical Viewpoint Along the lines of nonadditive entropies: $q$-prime numbers and $q$-zeta
  functions Imitation Learning: Progress, Taxonomies and Opportunities
cs.PL cs.LO