Static Dependency Pair Method based on Strong Computability for
  Higher-Order Rewrite Systems
Tractability of Quantified Temporal Constraints To The Max
Finesse and mirror speed measurement for a suspended Fabry-Perot cavity
  using the ringing effect Many-body treatment of the collisional frequency shift in fermionic
  atoms Energy-Efficient Cyclical Trajectory Design for UAV-Aided Maritime Data
  Collection in Wind Gaussian Belief Space Path Planning for Minimum Sensing Navigation Network Backboning with Noisy Data Nonlocal-interaction equation on graphs: gradient flow structure and
  continuum limit Stellar Absorption Line Analysis of Local Star-Forming Galaxies: The
  Relation Between Stellar Mass, Metallicity, Dust Attenuation and Star
  Formation Rate Sparse MRI for motion correction TriCG and TriMR: Two Iterative Methods for Symmetric Quasi-Definite
  Systems The Analysis of Large Order Bessel Functions in Gravitational Wave
  Signals from Pulsars A function space analysis of finite neural networks with insights from
  sampling theory Multiband NFC for High-Throughput Wireless Computer Vision Sensor
  Network Code C# for chaos analysis of relativistic many-body systems with
  reactions Periodic orbits of the ensemble of Sinai-Arnold cat maps and
  pseudorandom number generation Exploratory numerical experiments with a macroscopic theory of
  interfacial interactions On a symmetry of complex and real multiplication Hybrid Federated and Centralized Learning A Comment on Jones Inclusions with infinite Index
cs.LO