Basic completion strategies as another application of the Maude strategy
  language
Type-based Enforcement of Infinitary Trace Properties for Java
Symmetric products of a real curve and the moduli space of Higgs bundles A theorem on the absence of phase transitions in one-dimensional growth
  models with onsite periodic potentials Fronts and interfaces in bistable extended mappings Model Checking Probabilistic Real-Time Properties for Service-Oriented
  Systems with Service Level Agreements Short-distance and short-time structure of a unitary Fermi gas Optimizing Tensor Network Contraction Using Reinforcement Learning One dimensional scattering of a two body interacting system by an
  infinite wall Self-Supervised Vision-Based Detection of the Active Speaker as Support
  for Socially-Aware Language Acquisition The VLT-FLAMES Tarantula Survey An application of incomplete pairwise comparison matrices for ranking
  top tennis players Emerging Ideas in Nanocantilever based Biological Sensors Applying the Roofline model for Deep Learning performance optimizations The Functional Integration and the Two-Point Correlation Function of the
  One-Dimensional Bose Gas in the Harmonic Potential On Specialization of a Program Model of Naive Pattern Matching in
  Strings (Extended Abstract) Weyl hydrodynamics in a strong magnetic field Propagation of Rarefaction Pulses in Discrete Materials with
  Strain-Softening Behavior Similarity transformed equation of motion coupled cluster theory
  revisited: a benchmark study of valence excited states Convergence of the Finite Volume Method for scalar conservation laws
  with multiplicative noise: an approach by kinetic formulation Global optimization of dielectric metasurfaces using a physics-driven
  neural network Signatures of Witt spaces with boundary
cs.LO cs.PL