Automatic Generation of Proof Tactics for Finite-Valued Logics
Effectively Open Real Functions
Roadmap on Signal Processing for Next Generation Measurement Systems Dynamics on asymptotically conical geometries Action-gradient-minimizing pseudo-orbits and almost-invariant tori Sharp Cheeger-Buser type inequalities in $ \mathsf{RCD}(K,\infty)$
  spaces Nonlocality amplifies echoes What do adoption patterns of solar panels observed so far tell about
  governments' incentive? insight from diffusion models Diffusion Representations Research Directions in Democratizing Innovation through Design
  Automation, One-Click Manufacturing Services and Intelligent Machines A Framework for the Verification of Certifying Computations Generalized Earthquake Frequency-Magnitude Distribution Described by
  Asymmetric Laplace Mixture Modelling Coherent Backscattering of Ultracold Atoms A coordinate Bethe ansatz approach to the calculation of equilibrium and
  nonequilibrium correlations of the one-dimensional Bose gas Adaptive Superresolution in Deconvolution of Sparse Peaks Efficient use of non-equilibrium measurement to estimate free energy
  differences for molecular systems The statistical mechanics of self-gravitating Keplerian disks Potential theory on Sierpinski carpets with applications to
  uniformization Recurrent Neural Network Based Hybrid Model of Gene Regulatory Network Phase space dynamics and control of the quantum particles associated to
  hypergraph states Certifying the Potential Energy Landscape
cs.LO