A Generic Scheme for Qualified Constraint Functional Logic Progamming
Constraint-based Relational Verification
LAMNER: Code Comment Generation Using Character Language Model and Named
  Entity Recognition A new scheme of causal viscous hydrodynamics for relativistic heavy-ion
  collisions: A Riemann solver for quark-gluon plasma Coherent Oscillations of Driven rf SQUID Metamaterials Searching for Dark Matter Constituents with Many Solar Masses Dynamics of fully coupled rotators with unimodal and bimodal frequency
  distribution Cooking pasta with Lie groups DB Category: Denotational Semantics for View-based Database Mappings Biomaterial design inspired by membraneless organelles Sound localization using compressive sensing Geodesics in nilpotent Lie groups Deep Learning Reconstruction of Ultra-Short Pulses Rotor Spectra, Berry Phases, and Monopole Fields: from Antiferromagnets
  to QCD Ricci curvature of finite Markov chains via convexity of the entropy Bid Optimization by Multivariable Control in Display Advertising Easy-to-compute parameterizations of all wavelet filters: input-output
  and state-space A Comparison of Trapped Particle Models in Low Earth Orbit Binary hidden Markov models and varieties Non-parametric Quickest Change Detection for Large Scale Random Matrices Analysis of a malaria model with mosquito host choice and bed-net
  control Correlation function of spectral staircase and particle number
  fluctuations in integrable systems Tolerance analysis of non-depolarizing double-pass polarimetry
cs.PL cs.LO